C++: Improve order of parameters in SSA def/use

jbj · jbj · commit 3afefce8efe6 · 2019-02-03T13:34:02.000+01:00
This changes the order so the parameter that's sometimes projected away
is the last one, making the projection cheap.
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll
@@ -352,7 +352,7 @@ cached private module Cached {
   }
 
   private predicate ssa_variableUpdate(Alias::VirtualVariable vvar,
-      OldInstruction instr, OldBlock block, int index) {
+      OldBlock block, int index, OldInstruction instr) {
     block.getInstruction(index) = instr and
     Alias::getResultMemoryAccess(instr).getVirtualVariable() = vvar
   }
@@ -370,11 +370,11 @@ cached private module Cached {
   }
 
   private predicate defUseRank(Alias::VirtualVariable vvar, OldBlock block, int rankIndex, int index) {
-    index = rank[rankIndex](int j | hasDefinition(vvar, block, j) or hasUse(vvar, _, block, j))
+    index = rank[rankIndex](int j | hasDefinition(vvar, block, j) or hasUse(vvar, block, j, _))
   }
 
-  private predicate hasUse(Alias::VirtualVariable vvar, OldInstruction use, OldBlock block,
-      int index) {
+  private predicate hasUse(Alias::VirtualVariable vvar, OldBlock block, int index,
+      OldInstruction use) {
     exists(Alias::MemoryAccess access |
       (
         access = Alias::getOperandMemoryAccess(use.getAnOperand())
@@ -393,15 +393,15 @@ cached private module Cached {
 
   private predicate variableLiveOnEntryToBlock(Alias::VirtualVariable vvar, OldBlock block) {
     exists(int firstAccess |
-      hasUse(vvar, _, block, firstAccess) and
+      hasUse(vvar, block, firstAccess, _) and
       firstAccess = min(int index |
-          hasUse(vvar, _, block, index)
+          hasUse(vvar, block, index, _)
           or
-          ssa_variableUpdate(vvar, _, block, index)
+          ssa_variableUpdate(vvar, block, index, _)
         )
     )
     or
-    (variableLiveOnExitFromBlock(vvar, block) and not ssa_variableUpdate(vvar, _, block, _))
+    (variableLiveOnExitFromBlock(vvar, block) and not ssa_variableUpdate(vvar, block, _, _))
   }
 
   pragma[noinline]
@@ -428,7 +428,7 @@ cached private module Cached {
   private predicate hasUseAtRank(Alias::VirtualVariable vvar, OldBlock block, int rankIndex,
       OldInstruction use) {
     exists(int index |
-      hasUse(vvar, use, block, index) and
+      hasUse(vvar, block, index, use) and
       defUseRank(vvar, block, rankIndex, index)
     )
   }
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll
@@ -352,7 +352,7 @@ cached private module Cached {
   }
 
   private predicate ssa_variableUpdate(Alias::VirtualVariable vvar,
-      OldInstruction instr, OldBlock block, int index) {
+      OldBlock block, int index, OldInstruction instr) {
     block.getInstruction(index) = instr and
     Alias::getResultMemoryAccess(instr).getVirtualVariable() = vvar
   }
@@ -370,11 +370,11 @@ cached private module Cached {
   }
 
   private predicate defUseRank(Alias::VirtualVariable vvar, OldBlock block, int rankIndex, int index) {
-    index = rank[rankIndex](int j | hasDefinition(vvar, block, j) or hasUse(vvar, _, block, j))
+    index = rank[rankIndex](int j | hasDefinition(vvar, block, j) or hasUse(vvar, block, j, _))
   }
 
-  private predicate hasUse(Alias::VirtualVariable vvar, OldInstruction use, OldBlock block,
-      int index) {
+  private predicate hasUse(Alias::VirtualVariable vvar, OldBlock block, int index,
+      OldInstruction use) {
     exists(Alias::MemoryAccess access |
       (
         access = Alias::getOperandMemoryAccess(use.getAnOperand())
@@ -393,15 +393,15 @@ cached private module Cached {
 
   private predicate variableLiveOnEntryToBlock(Alias::VirtualVariable vvar, OldBlock block) {
     exists(int firstAccess |
-      hasUse(vvar, _, block, firstAccess) and
+      hasUse(vvar, block, firstAccess, _) and
       firstAccess = min(int index |
-          hasUse(vvar, _, block, index)
+          hasUse(vvar, block, index, _)
           or
-          ssa_variableUpdate(vvar, _, block, index)
+          ssa_variableUpdate(vvar, block, index, _)
         )
     )
     or
-    (variableLiveOnExitFromBlock(vvar, block) and not ssa_variableUpdate(vvar, _, block, _))
+    (variableLiveOnExitFromBlock(vvar, block) and not ssa_variableUpdate(vvar, block, _, _))
   }
 
   pragma[noinline]
@@ -428,7 +428,7 @@ cached private module Cached {
   private predicate hasUseAtRank(Alias::VirtualVariable vvar, OldBlock block, int rankIndex,
       OldInstruction use) {
     exists(int index |
-      hasUse(vvar, use, block, index) and
+      hasUse(vvar, block, index, use) and
       defUseRank(vvar, block, rankIndex, index)
     )
   }

Original file line number	Diff line number	Diff line change
`@@ -352,7 +352,7 @@ cached private module Cached {`
`352`	`352`	`}`
`353`	`353`
`354`	`354`	`private predicate ssa_variableUpdate(Alias::VirtualVariable vvar,`
`355`		`- OldInstruction instr, OldBlock block, int index) {`
	`355`	`+ OldBlock block, int index, OldInstruction instr) {`
`356`	`356`	`block.getInstruction(index) = instr and`
`357`	`357`	`Alias::getResultMemoryAccess(instr).getVirtualVariable() = vvar`
`358`	`358`	`}`
`@@ -370,11 +370,11 @@ cached private module Cached {`
`370`	`370`	`}`
`371`	`371`
`372`	`372`	`private predicate defUseRank(Alias::VirtualVariable vvar, OldBlock block, int rankIndex, int index) {`
`373`		`- index = rank[rankIndex](int j \| hasDefinition(vvar, block, j) or hasUse(vvar, _, block, j))`
	`373`	`+ index = rank[rankIndex](int j \| hasDefinition(vvar, block, j) or hasUse(vvar, block, j, _))`
`374`	`374`	`}`
`375`	`375`
`376`		`- private predicate hasUse(Alias::VirtualVariable vvar, OldInstruction use, OldBlock block,`
`377`		`- int index) {`
	`376`	`+ private predicate hasUse(Alias::VirtualVariable vvar, OldBlock block, int index,`
	`377`	`+ OldInstruction use) {`
`378`	`378`	`exists(Alias::MemoryAccess access \|`
`379`	`379`	`(`
`380`	`380`	`access = Alias::getOperandMemoryAccess(use.getAnOperand())`
`@@ -393,15 +393,15 @@ cached private module Cached {`
`393`	`393`
`394`	`394`	`private predicate variableLiveOnEntryToBlock(Alias::VirtualVariable vvar, OldBlock block) {`
`395`	`395`	`exists(int firstAccess \|`
`396`		`- hasUse(vvar, _, block, firstAccess) and`
	`396`	`+ hasUse(vvar, block, firstAccess, _) and`
`397`	`397`	`firstAccess = min(int index \|`
`398`		`- hasUse(vvar, _, block, index)`
	`398`	`+ hasUse(vvar, block, index, _)`
`399`	`399`	`or`
`400`		`- ssa_variableUpdate(vvar, _, block, index)`
	`400`	`+ ssa_variableUpdate(vvar, block, index, _)`
`401`	`401`	`)`
`402`	`402`	`)`
`403`	`403`	`or`
`404`		`- (variableLiveOnExitFromBlock(vvar, block) and not ssa_variableUpdate(vvar, _, block, _))`
	`404`	`+ (variableLiveOnExitFromBlock(vvar, block) and not ssa_variableUpdate(vvar, block, _, _))`
`405`	`405`	`}`
`406`	`406`
`407`	`407`	`pragma[noinline]`
`@@ -428,7 +428,7 @@ cached private module Cached {`
`428`	`428`	`private predicate hasUseAtRank(Alias::VirtualVariable vvar, OldBlock block, int rankIndex,`
`429`	`429`	`OldInstruction use) {`
`430`	`430`	`exists(int index \|`
`431`		`- hasUse(vvar, use, block, index) and`
	`431`	`+ hasUse(vvar, block, index, use) and`
`432`	`432`	`defUseRank(vvar, block, rankIndex, index)`
`433`	`433`	`)`
`434`	`434`	`}`