Restrict input bits for analysis implementations in the presence of PC

google · Nov 18, 2019 · 81a58a3 · 81a58a3
1 parent 4a56872
commit 81a58a3
Show file tree

Hide file tree

Showing 2 changed files with 45 additions and 8 deletions.
diff --git a/include/souper/Infer/Pruning.h b/include/souper/Infer/Pruning.h
@@ -62,6 +62,7 @@ class PruningManager {
   std::vector<ValueCache> generateInputSets(std::vector<Inst *> &Inputs);
   // For the LHS contained in @SC, check if the given input in @Cache is valid.
   bool isInputValid(ValueCache &Cache);
+  std::unordered_map<Inst *, llvm::APInt> computeInputRestrictions();
   Inst *Ante;
 };
 

diff --git a/lib/Infer/Pruning.cpp b/lib/Infer/Pruning.cpp
@@ -119,6 +119,32 @@ std::pair<llvm::APInt, llvm::APInt> knownBitsNarrowing
   return {KnownNotZero, KnownNotOne};
 }
 
+std::unordered_map<Inst *, llvm::APInt>
+PruningManager::computeInputRestrictions() {
+  std::unordered_map<Inst *, std::pair<llvm::APInt, llvm::APInt>> Seen;
+  // ^ SeenZero, SeenOne
+
+  for (auto &&V : InputVars) {
+    Seen[V].first = llvm::APInt(V->Width, 0);
+    Seen[V].second = Seen[V].first;
+  }
+
+  for (auto &&VC : InputVals) {
+    for (auto &&V : InputVars) {
+      if (VC[V].hasValue()) {
+        auto Val = VC[V].getValue();
+        Seen[V].first |= ~Val;
+        Seen[V].second |= Val;
+      }
+    }
+  }
+  std::unordered_map<Inst *, llvm::APInt> Result;
+  for (auto &&V : InputVars) {
+    Result[V] = ~(Seen[V].first & Seen[V].second);
+  }
+  return Result;
+}
+
 // TODO : Comment out debug stmts and conditions before benchmarking
 bool PruningManager::isInfeasible(souper::Inst *RHS,
                                  unsigned StatsLevel) {
@@ -133,15 +159,25 @@ bool PruningManager::isInfeasible(souper::Inst *RHS,
   getConstants(RHS, Constants);
 
   if (!Constants.empty()) {
-    auto RestrictedBits = RestrictedBitsAnalysis().findRestrictedBits(RHS);
-    if ((~RestrictedBits & (LHSKnownBitsNoSpec.Zero | LHSKnownBitsNoSpec.One)) != 0) {
-//     if (RestrictedBits == 0 && (LHSKB.Zero != 0 || LHSKB.One != 0)) {
-      if (StatsLevel > 2) {
-        llvm::errs() << "  pruned using restricted bits analysis.\n";
-        llvm::errs() << "  LHSKB : " << KnownBitsAnalysis::knownBitsString(LHSKnownBitsNoSpec) << "\n";
-        llvm::errs() << "  RB    : " << RestrictedBits.toString(2, false) << "\n";
+    auto RBA = RestrictedBitsAnalysis();
+    if (!SC.PCs.empty()) {
+      // `Unrestricts` bits for which PC validated inputs
+      // have both zero and one values. Default is all `restricted`
+      // Instead of treating inputs as completely unrestricted,
+      // this imposes restrictions on inputs if there are no valid
+      // inputs to demonstrate otherwise.
+      RBA.RBCache = computeInputRestrictions();
+    }
+    if (SC.PCs.empty() || !InputVals.empty()) {
+      auto RestrictedBits = RBA.findRestrictedBits(RHS);
+      if ((~RestrictedBits & (LHSKnownBitsNoSpec.Zero | LHSKnownBitsNoSpec.One)) != 0) {
+        if (StatsLevel > 2) {
+          llvm::errs() << "  pruned using restricted bits analysis.\n";
+          llvm::errs() << "  LHSKB : " << KnownBitsAnalysis::knownBitsString(LHSKnownBitsNoSpec) << "\n";
+          llvm::errs() << "  RB    : " << RestrictedBits.toString(2, false) << "\n";
+        }
+        return true;
       }
-      return true;
     }
 
 //     auto LHSCR = ConstantRangeAnalysis().findConstantRange(SC.LHS, BlankCI, false);