temp

Author: manasij7479

tools/generalize.cpp

@@ -65,12 +65,9 @@ void Generalize(InstContext &IC, Solver *S, ParsedReplacement Input) {
 }
 
 void SymbolizeAndGeneralize(InstContext &IC,
-                            Solver *S, ParsedReplacement Input) {
-  std::vector<Inst *> LHSConsts, RHSConsts;
-  auto Pred = [](Inst *I) {return I->K == Inst::Const;};
-  findInsts(Input.Mapping.LHS, LHSConsts, Pred);
-  findInsts(Input.Mapping.RHS, RHSConsts, Pred);
-
+                            Solver *S, ParsedReplacement Input,
+                            std::vector<Inst *> LHSConsts,
+                            std::vector<Inst *> RHSConsts) {
   if (RHSConsts.size() != 1) {
     return;
     // TODO: Relax this restriction later
@@ -182,6 +179,23 @@ void SymbolizeAndGeneralize(InstContext &IC,
   }
 }
 
+void SymbolizeAndGeneralize(InstContext &IC,
+                            Solver *S, ParsedReplacement Input) {
+  std::vector<Inst *> LHSConsts, RHSConsts;
+  auto Pred = [](Inst *I) {return I->K == Inst::Const;};
+  findInsts(Input.Mapping.LHS, LHSConsts, Pred);
+  findInsts(Input.Mapping.RHS, RHSConsts, Pred);
+  // One LHS const at a time
+  for (auto LHSConst : LHSConsts) {
+    SymbolizeAndGeneralize(IC, S, Input, {LHSConst}, RHSConsts);
+  }
+
+  // All at once
+  SymbolizeAndGeneralize(IC, S, Input, LHSConsts, RHSConsts);
+
+  // TODO Find other useful configurations
+}
+
 // TODO: Return modified instructions instead of just printing out
 void RemoveLeafAndGeneralize(InstContext &IC,
                                Solver *S, ParsedReplacement Input) {