Implementation of return value check

Author: Gab-San

passes/ASPIS.h

@@ -180,20 +180,20 @@ class RACFED : public PassInfoMixin<RACFED> {
 				 GlobalVariable *RuntimeSigGV, Type *IntType);
 
   // --- UPDATE BRANCH SIGNATURE BEFORE JUMP ---
+  void checkBranches(Module &Md,  GlobalVariable *RuntimeSigGV, Type *IntType,
+		     BasicBlock &BB);
 
-  void checkBranches(Module &Md,  GlobalVariable *RuntimeSigGV, Type *IntType, 
-		     IRBuilder<> B, BasicBlock &BB);
-
-  void splitBBsAtCalls(Module &Md);
-  // int countOriginalInstructions(BasicBlock &BB);
-  CallBase *isCallBB(BasicBlock &BB);
-  void initializeEntryBlocksMap(Module &Md);
-  Value *getCondition(Instruction &I);
-  // void createCFGVerificationBB(BasicBlock &BB,
-  //                              std::unordered_map<BasicBlock *, int> &RandomNumberBBs,
-  //                              std::unordered_map<BasicBlock *, int> &SubRanPrevVals,
-  //                              Value &RuntimeSig, Value &RetSig,
-  //                              BasicBlock &ErrBB);
+  // --- UPDATE RETURN VALUE AND CHECK ---
+  void checkReturnValue(Module &Md, Function &Fn, 
+			GlobalVariable *RuntimeSigGV, 
+			Type *I32, Type *I64, BasicBlock &BB, std::unordered_map<std::string, std::vector<StringRef>> &lMap);
+			
+
+
+  // void splitBBsAtCalls(Module &Md);
+  // CallBase *isCallBB(BasicBlock &BB);
+  // void initializeEntryBlocksMap(Module &Md);
+  // Value *getCondition(Instruction &I);
 
 public:
   PreservedAnalyses run(Module &Md, ModuleAnalysisManager &);