Sketched profiling loop

Author: davidebaroffio-polimi

aspis.sh

@@ -407,24 +407,39 @@ run_aspis() {
         done < "$asm_file";
     fi;
 
-    ## Backend
-    exe $OPT $build_dir/out.ll -o $build_dir/out.ll -S $opt_flags
-    if [[ -n "$enable_profiling" ]]; then
-        title_msg "ASPIS Profiling"
-        exe $OPT --enable-new-pm=1 -load-pass-plugin=$DIR/build/passes/libPROFILER.so --passes="aspis-insert-check-profile" $build_dir/out.ll -o $build_dir/out.ll -S
-        success_msg "Code instrumented."
+    #passes="annotation2metadata,forceattrs,inferattrs,coro-early,function<eager-inv>(lower-expect,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;no-switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts>,sroa<modify-cfg>,early-cse<>),openmp-opt,ipsccp,called-value-propagation,globalopt,function(mem2reg),function<eager-inv>(instcombine,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts>),require<globals-aa>,function(invalidate<aa>),require<profile-summary>,cgscc(devirt<4>(inline<only-mandatory>,inline,function-attrs,openmp-opt-cgscc,function<eager-inv>(sroa<modify-cfg>,early-cse<memssa>,speculative-execution,jump-threading,correlated-propagation,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts>,instcombine,libcalls-shrinkwrap,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts>,reassociate,require<opt-remark-emit>,loop-mssa(loop-instsimplify,loop-simplifycfg,licm<no-allowspeculation>,loop-rotate,licm<allowspeculation>,simple-loop-unswitch<no-nontrivial;trivial>),simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts>,instcombine,loop(loop-idiom,indvars,loop-deletion,loop-unroll-full),sroa<modify-cfg>,vector-combine,mldst-motion<no-split-footer-bb>,gvn<>,sccp,bdce,instcombine,jump-threading,correlated-propagation,adce,memcpyopt,dse,loop-mssa(licm<allowspeculation>),coro-elide,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;hoist-common-insts;sink-common-insts>,instcombine),coro-split)),deadargelim,coro-cleanup,globalopt,globaldce,elim-avail-extern,rpo-function-attrs,recompute-globalsaa,function<eager-inv>(float2int,lower-constant-intrinsics,loop(loop-rotate,loop-deletion),loop-distribute,inject-tli-mappings,loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>,loop-load-elim,instcombine,simplifycfg<bonus-inst-threshold=1;forward-switch-cond;switch-range-to-icmp;switch-to-lookup;no-keep-loops;hoist-common-insts;sink-common-insts>,slp-vectorizer,vector-combine,instcombine,loop-unroll<O2>,transform-warning,sroa<preserve-cfg>,instcombine,require<opt-remark-emit>,loop-mssa(licm<allowspeculation>),alignment-from-assumptions,loop-sink,instsimplify,div-rem-pairs,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts>),globaldce,constmerge,cg-profile,rel-lookup-table-converter,function(annotation-remarks),verify"
+    IFS=',' read -r -a items <<< "$passes"
 
-        exe $CLANG $clang_options $build_dir/out.ll $asm_files -o $build_dir/$output_file 
-        success_msg "Instrumented binary emitted."
+    > analysis.txt
+    touch analysis.txt
 
-        exe $build_dir/$output_file
-        success_msg "Profiled code executed."
+    if [[ "$enable_profiling" == "true" ]]; then
+        mv out.ll preopt.ll
+        while [ "${#items[@]}" -gt 0 ]; do
+            # Print the current array as comma-separated values
+            seq=$(IFS=','; echo "${items[*]}")
 
-        echo -e "Analyzing..."
-        exe $OPT --enable-new-pm=1 -load-pass-plugin=$DIR/build/passes/libPROFILER.so --passes="aspis-check-profile" $build_dir/out.ll -o $build_dir/out.ll -S
+            ## Backend
+            exe $OPT $build_dir/preopt.ll -o $build_dir/out.ll -S --enable-new-pm=1 --passes=$seq # -print-pipeline-passes
+            
+            title_msg "ASPIS Profiling"
+            exe $OPT --enable-new-pm=1 -load-pass-plugin=$DIR/build/passes/libPROFILER.so --passes="aspis-insert-check-profile" $build_dir/out.ll -o $build_dir/out.ll -S
+            success_msg "Code instrumented."
+
+            exe $CLANG $clang_options $build_dir/out.ll $asm_files -o $build_dir/$output_file 
+            success_msg "Instrumented binary emitted."
+
+            exe $build_dir/$output_file
+            success_msg "Profiled code executed."
+
+            echo -e "Analyzing..."
+            $OPT --enable-new-pm=1 -load-pass-plugin=$DIR/build/passes/libPROFILER.so --passes="aspis-check-profile" $build_dir/out.ll -o $build_dir/out.ll -S 2>> analysis.txt
+
+            # Remove the last element
+            unset 'items[-1]'
+        done
         exit
     fi;
-
     exe $CLANG $clang_options $build_dir/out.ll $asm_files -o $build_dir/$output_file 
     success_msg "Binary emitted."
 

passes/EDDI.cpp

@@ -1190,7 +1190,7 @@ PreservedAnalyses EDDI::run(Module &Md, ModuleAnalysisManager &AM) {
       }
       else {
         //auto FnDup = getFunctionDuplicate(&Fn);
-        if (/* !Fn.getName().equals("main") && */ !Fn.getName().equals("DataCorruption_Handler") && !Fn.getName().equals("SigMismatch_Handler") && !Fn.isDeclaration() && Fn.getNumUses() == 0) {
+        if (!Fn.getName().equals("main") && !Fn.getName().equals("DataCorruption_Handler") && !Fn.getName().equals("SigMismatch_Handler") && !Fn.isDeclaration() && Fn.getNumUses() == 0) {
           FnsToRemove.push_back(&Fn);
         }
       }

passes/Profiling/ASPISCheckProfiler.cpp

@@ -153,7 +153,7 @@ PreservedAnalyses ASPISCheckProfiler::run(Module &Md, ModuleAnalysisManager &AM)
     }
   }
 
-  errs() << "Found " << SyncPts.size() << " Syncronization Points\n";
+  // errs() << "Found " << SyncPts.size() << " Syncronization Points\n";
 
   std::set<Instruction*> done;
   for (auto I : SyncPts) {