temp

Author: manasij7479

CMakeLists.txt

@@ -11,7 +11,7 @@ endif()
 if (NOT LLVM_BUILD_TYPE)
   set(LLVM_BUILD_TYPE ${CMAKE_BUILD_TYPE})
 endif()
-set(LLVM_CONFIG_EXECUTABLE ${CMAKE_SOURCE_DIR}/third_party/llvm-${LLVM_BUILD_TYPE}-install/bin/llvm-config)
+set(LLVM_CONFIG_EXECUTABLE ${CMAKE_SOURCE_DIR}/third_party/llvm-Release-install/bin/llvm-config)
 if(NOT EXISTS ${LLVM_CONFIG_EXECUTABLE})
   message(FATAL_ERROR "llvm-config could not be found!")
 endif()

lib/Infer/Preconditions.cpp

@@ -4,6 +4,11 @@
 #include <llvm/Support/CommandLine.h>
 using llvm::APInt;
 
+static llvm::cl::opt<bool> FixitNoVar("fixit-no-vars",
+    llvm::cl::desc("Do not restrict vars."
+                   "(default=false)"),
+    llvm::cl::init(false));
+
 namespace souper {
 std::vector<std::map<Inst *, llvm::KnownBits>>
   inferAbstractKBPreconditions(SynthesisContext &SC, Inst *RHS,
@@ -35,6 +40,16 @@ std::vector<std::map<Inst *, llvm::KnownBits>>
     std::vector<Inst *> Vars;
     findVars(Mapping.LHS, Vars);
 
+    std::set<Inst *> FilteredVars;
+
+    for (auto Var : Vars) {
+      std::string NamePrefix = Var->Name;
+      NamePrefix.resize(4);
+      if (!FixitNoVar || Var->K != Inst::Var || NamePrefix == "fake") {
+        FilteredVars.insert(Var);
+      }
+    }
+
     std::map<Inst *, VarInfo> OriginalState;
 
     for (auto V : Vars) {
@@ -106,6 +121,11 @@ std::vector<std::map<Inst *, llvm::KnownBits>>
       std::map<Inst *, llvm::KnownBits> Known;
       if (FoundWeakest) {
         for (unsigned J = 0; J < ModelInsts.size(); ++J) {
+          if (FilteredVars.find(ModelInsts[J]) == FilteredVars.end()) {
+            Known[ModelInsts[J]].One = llvm::APInt(ModelInsts[J]->Width, 0);
+            Known[ModelInsts[J]].Zero = llvm::APInt(ModelInsts[J]->Width, 0);
+            continue;
+          }
           llvm::KnownBits KBCurrent(ModelInsts[J]->Width);
           Known[ModelInsts[J]].One = ModelVals[J];
           if (DebugLevel >= 3) {
@@ -126,10 +146,16 @@ std::vector<std::map<Inst *, llvm::KnownBits>>
         }
       }
       for (unsigned J = 0; J < Vars.size(); ++J) {
+        if (FilteredVars.find(Vars[J]) == FilteredVars.end()) {
+          continue;
+        }
         Vars[J]->KnownZeros = Known[Vars[J]].Zero;
         Vars[J]->KnownOnes = Known[Vars[J]].One;
       }
       for (unsigned J = 0; J < Vars.size(); ++J) {
+        if (FilteredVars.find(Vars[J]) == FilteredVars.end()) {
+          continue;
+        }
         auto W = Vars[J]->Width;
         for (unsigned I=0; I< W; I++) {
           if (Known[Vars[J]].Zero[I]) {