[chore] Strip llvm.dbg.declare

UnitTestBot · Oct 20, 2023 · d5c8825 · d5c8825
1 parent 74cb168
commit d5c8825
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/lib/Module/Optimize.cpp b/lib/Module/Optimize.cpp
@@ -72,6 +72,11 @@ static cl::opt<bool>
                cl::desc("Strip debugger symbol info from executable"),
                cl::init(false), cl::cat(klee::ModuleCat));
 
+static cl::opt<bool>
+    StripDebugDeclare("strip-debug-declare",
+                      cl::desc("Strip all llvm.dbg.declare intrinsics"),
+                      cl::init(true), cl::cat(klee::ModuleCat));
+
 static cl::alias A1("S", cl::desc("Alias for --strip-debug"),
                     cl::aliasopt(StripDebug));
 
@@ -98,6 +103,8 @@ static void AddStandardCompilePasses(legacy::PassManager &PM) {
   // If the -strip-debug command line option was specified, do it.
   if (StripDebug)
     addPass(PM, createStripSymbolsPass(true));
+  if (StripDebugDeclare)
+    addPass(PM, createStripDebugDeclarePass());
 
   addPass(PM, createCFGSimplificationPass());       // Clean up disgusting code
   addPass(PM, createPromoteMemoryToRegisterPass()); // Kill useless allocas