fix srcmap: place recursive predicates at the head and treat revertCl…

…oner same way
nevillegrech · Jan 11, 2025 · 266b0d7 · 266b0d7
1 parent 352b9bb
commit 266b0d7
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/logic/local.dl b/logic/local.dl
@@ -24,8 +24,8 @@ PreTransStatement_OriginalStatement(ogStmt, ogStmt) :-
   factReader.Statement_Opcode(ogStmt, _).
 
 PreTransStatement_OriginalStatement(rvtClStmt, ogStmt) :-
-  revertCloner.StatementToClonedStatement(_, ogStmt, rvtClStmt).
-
+  PreTransStatement_OriginalStatement(stmt, ogStmt),
+  revertCloner.StatementToClonedStatement(_, stmt, rvtClStmt).
 
 .init revertCloner = RevertBlockCloner
 COPY_CODE(revertCloner, factReader)
@@ -77,12 +77,12 @@ blockCloner.Prev_Block_OriginalBlock(block, originalBlock):- revertCloner.Block_
 COPY_OUTPUT(preTrans, blockCloner)
 
 PreTransStatement_OriginalStatement(insStmt, ogStmt) :-
-  clonerHelperInsertor.InsertedOpNewStatement(ogOrMidStmt, _, insStmt),
-  PreTransStatement_OriginalStatement(ogOrMidStmt, ogStmt).
+  PreTransStatement_OriginalStatement(ogOrMidStmt, ogStmt),
+  clonerHelperInsertor.InsertedOpNewStatement(ogOrMidStmt, _, insStmt).
 
 PreTransStatement_OriginalStatement(heurClStmt, ogStmt) :-
-  blockCloner.StatementToClonedStatement(_, ogOrMidStmt, heurClStmt),
-  PreTransStatement_OriginalStatement(ogOrMidStmt, ogStmt).
+  PreTransStatement_OriginalStatement(ogOrMidStmt, ogStmt),
+  blockCloner.StatementToClonedStatement(_, ogOrMidStmt, heurClStmt).
 
 ValidSelector(optionalSelector):-
   blockCloner.analysis.ValidSelector(optionalSelector).