Slamp

liberty/.clangd

@@ -1,5 +1,5 @@
 CompileFlags:                     # Tweak the parse settings
-  Add: [-Wold-style-cast]                   # treat all files as C++, enable more warnings
+  Add: [-Wold-style-cast, -Wunused-variable, -Wsigned-compare]                   # treat all files as C++, enable more warnings
 Diagnostics:
   ClangTidy:
     Add: bugprone-*

liberty/include/liberty/SLAMP/SLAMP.h

@@ -49,6 +49,7 @@ class SLAMP: public ModulePass
   void instrumentDestructor(Module& m);
   void instrumentGlobalVars(Module& m, Function* ctor);
   void instrumentAllocas(Module& m);
+  void instrumentBasePointer(Module &m, Loop *l);
 
   // functions used in instrumentAllocas
   void findLifetimeMarkers(Value* i, set<const Value*>& already, std::vector<Instruction*>& starts, std::vector<Instruction*>& ends);
@@ -58,7 +59,8 @@ class SLAMP: public ModulePass
 
   void instrumentNonStandards(Module& m, Function* ctor);
   void allocErrnoLocation(Module& m, Function* ctor);
-
+  void instrumentLoopStartStopForAll(Module &m);
+  void instrumentFunctionStartStop(Module&m);
   void instrumentLoopStartStop(Module&m, Loop* l);
   void instrumentInstructions(Module& m, Loop* l);
 

liberty/lib/Repl/ReplParse.hpp

@@ -18,6 +18,7 @@ enum ReplAction {
   RemoveAll,
   Parallelize,
   Modref,
+  Save,
   Unknown = -1
 };
 
@@ -45,6 +46,7 @@ const map<string, ReplAction> ReplActions = {
   {"parallelize", ReplAction::Parallelize},
   {"p", ReplAction::Parallelize},
   {"modref", ReplAction::Modref},
+  {"save", ReplAction::Save}
 };
 
 // a helper to get the vocabulary of Repl, to help the auto completion
@@ -70,6 +72,7 @@ const map<ReplAction, string> HelpText = {
   {RemoveAll, "removeAll/ra $inst_id: \tremove all dependences from and to a instruction from the loop"},
   {Parallelize, "paralelize/p: \tparallelize the selected loop with current dependences"},
   {Modref, "modref/mr $inst_id1, $inst_id2: \tquery the modref between two instructions"},
+  {Save, "save $filename:  \tsave the loop to a file"},
   {Quit, "quit/q: quit the repl"},
 };