Feat/rtlib/verbose mode

DiscoPoP/DiscoPoP.cpp

@@ -176,7 +176,9 @@ bool DiscoPoP::doInitialization(Module &M) {
 
 // DPInstrumentationOmission
     {
-        int bbDepCount = 0;
+        bbDepCount = 0;
+
+        initializeBBDepCounter();
 
         ReportBB = M.getOrInsertFunction(
                 "__dp_report_bb",
@@ -233,6 +235,15 @@ bool DiscoPoP::doFinalization(Module &M) {
             }
         }
     }
+    // write the current count of BBs to a file to avoid duplicate BBids
+    outBBDepCounter = new std::ofstream();
+    outBBDepCounter->open(".discopop/profiler/DP_BBDepCounter.txt", std::ios_base::out);
+    if (outBBDepCounter && outBBDepCounter->is_open()) {
+        *outBBDepCounter << bbDepCount;
+        outBBDepCounter->flush();
+        outBBDepCounter->close();
+    }
+
     // DPInstrumentationOmission end
 
     return true;
@@ -893,6 +904,15 @@ void DiscoPoP::initializeCUIDCounter() {
     }
 }
 
+void DiscoPoP::initializeBBDepCounter(){
+    std::string BBDepCounterFile = ".discopop/profiler/DP_BBDepCounter.txt";
+    if (dputil::fexists(BBDepCounterFile)) {
+        std::fstream inBBDepCounter(BBDepCounterFile, std::ios_base::in);;
+        inBBDepCounter >> bbDepCount;
+        inBBDepCounter.close();
+    }
+}
+
 bool DiscoPoP::isRecursive(Function &F, CallGraph &CG) {
     auto callNode = CG[&F];
     for (unsigned i = 0; i < callNode->size(); i++) {

DiscoPoP/DiscoPoP.hpp

@@ -85,6 +85,7 @@ namespace {
 // CUGeneration
 
     static unsigned int CUIDCounter;
+    static unsigned int bbDepCount;
     static bool defaultIsGlobalVariableValue;
     int32_t fileID;
 
@@ -217,6 +218,7 @@ namespace {
         ofstream *outCUs;
         ofstream *outOriginalVariables;
         ofstream *outCUIDCounter;
+        ofstream *outBBDepCounter;
         // Mohammad 23.12.2020
         map <string, string> loopStartLines;
 
@@ -319,7 +321,6 @@ namespace {
 // DPInstrumentation end
 
 // DPInstrumentationOmission
-        int bbDepCount;
         string bbDepString;
         string fileName;
         int32_t fid;
@@ -385,6 +386,7 @@ namespace {
 
         // Output function
         void initializeCUIDCounter();
+        void initializeBBDepCounter();
 
         string xmlEscape(string data);
 

docs/Manual_Quickstart/Manual_Setup.md

@@ -45,6 +45,7 @@ If you have installed LLVM <b>using the package manager</b>, specifying this var
 Note: In case you want to use a specific Version of LLVM, it is possible to specify the `-DUSE_LLVM_VERSION=<version>` flag.
 
 Note: In case your application uses PThreads, please specify `-DDP_PTHREAD_COMPATIBILITY_MODE=1`. Note, however, that this can influence the runtime of the profiling.
+Note: In case you require a more verbose output of the runtime library, specify the `-DDP_RTLIB_VERBOSE=1` flag.
 
 Once the configuration process is successfully finished, compile the DiscoPoP libraries using `make`. All created shared objects will be stored in the build directory and can be found inside a folder named `libi/`.
 

rtlib/CMakeLists.txt

@@ -32,8 +32,14 @@ if(DEFINED DP_PTHREAD_COMPATIBILITY_MODE)
         if(NOT ${DP_PTHREAD_COMPATIBILITY_MODE} EQUAL 0)
                 target_compile_definitions(DiscoPoP_RT PUBLIC DP_PTHREAD_COMPATIBILITY_MODE=${DP_PTHREAD_COMPATIBILITY_MODE})
         endif()
+endif()
 
+if(DEFINED DP_RTLIB_VERBOSE)
+        if(NOT ${DP_RTLIB_VERBOSE} EQUAL 0)
+                target_compile_definitions(DiscoPoP_RT PUBLIC DP_RTLIB_VERBOSE=${DP_RTLIB_VERBOSE})
+        endif()
 endif()
+# end of compiler flags
 
 install(TARGETS DiscoPoP_RT ARCHIVE DESTINATION lib)