Skip to content

Commit 1c72ea9

Browse files
author
Robert Marsh
committed
C++: accept phi node reorderings in IR tests
1 parent 8bc7e59 commit 1c72ea9

2 files changed

Lines changed: 14 additions & 14 deletions

File tree

cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir.expected

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -219,11 +219,11 @@ ssa.cpp:
219219
#-----| Goto -> Block 1
220220

221221
# 69| Block 1
222-
# 69| m69_1(char *) = Phi : from 0:m68_8, from 2:m70_6
223-
# 69| m69_2(int) = Phi : from 0:m68_6, from 2:m69_8
224-
# 69| m69_3(unknown) = Phi : from 0:~m68_4, from 2:~m70_10
222+
# 69| m69_1(unknown) = Phi : from 0:~m68_4, from 2:~m70_10
223+
# 69| m69_2(char *) = Phi : from 0:m68_8, from 2:m70_6
224+
# 69| m69_3(int) = Phi : from 0:m68_6, from 2:m69_8
225225
# 69| r69_4(glval<int>) = VariableAddress[n] :
226-
# 69| r69_5(int) = Load[n] : &:r69_4, m69_2
226+
# 69| r69_5(int) = Load[n] : &:r69_4, m69_3
227227
# 69| r69_6(int) = Constant[1] :
228228
# 69| r69_7(int) = Sub : r69_5, r69_6
229229
# 69| m69_8(int) = Store[n] : &:r69_4, r69_7
@@ -237,21 +237,21 @@ ssa.cpp:
237237
# 70| Block 2
238238
# 70| r70_1(char) = Constant[0] :
239239
# 70| r70_2(glval<char *>) = VariableAddress[p] :
240-
# 70| r70_3(char *) = Load[p] : &:r70_2, m69_1
240+
# 70| r70_3(char *) = Load[p] : &:r70_2, m69_2
241241
# 70| r70_4(int) = Constant[1] :
242242
# 70| r70_5(char *) = PointerAdd[1] : r70_3, r70_4
243243
# 70| m70_6(char *) = Store[p] : &:r70_2, r70_5
244244
# 70| r70_7(char *) = CopyValue : r70_3
245245
# 70| r70_8(glval<char>) = CopyValue : r70_7
246246
# 70| m70_9(char) = Store[?] : &:r70_8, r70_1
247-
# 70| m70_10(unknown) = Chi : total:m69_3, partial:m70_9
247+
# 70| m70_10(unknown) = Chi : total:m69_1, partial:m70_9
248248
#-----| Goto (back edge) -> Block 1
249249

250250
# 71| Block 3
251251
# 71| v71_1(void) = NoOp :
252252
# 68| v68_11(void) = ReturnIndirection[p] : &:r68_9, m68_10
253253
# 68| v68_12(void) = ReturnVoid :
254-
# 68| v68_13(void) = AliasedUse : ~m69_3
254+
# 68| v68_13(void) = AliasedUse : ~m69_1
255255
# 68| v68_14(void) = ExitFunction :
256256

257257
# 75| void ScalarPhi(bool)

cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir_unsound.expected

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -219,11 +219,11 @@ ssa.cpp:
219219
#-----| Goto -> Block 1
220220

221221
# 69| Block 1
222-
# 69| m69_1(char *) = Phi : from 0:m68_8, from 2:m70_6
223-
# 69| m69_2(int) = Phi : from 0:m68_6, from 2:m69_8
224-
# 69| m69_3(unknown) = Phi : from 0:~m68_4, from 2:~m70_10
222+
# 69| m69_1(unknown) = Phi : from 0:~m68_4, from 2:~m70_10
223+
# 69| m69_2(char *) = Phi : from 0:m68_8, from 2:m70_6
224+
# 69| m69_3(int) = Phi : from 0:m68_6, from 2:m69_8
225225
# 69| r69_4(glval<int>) = VariableAddress[n] :
226-
# 69| r69_5(int) = Load[n] : &:r69_4, m69_2
226+
# 69| r69_5(int) = Load[n] : &:r69_4, m69_3
227227
# 69| r69_6(int) = Constant[1] :
228228
# 69| r69_7(int) = Sub : r69_5, r69_6
229229
# 69| m69_8(int) = Store[n] : &:r69_4, r69_7
@@ -237,21 +237,21 @@ ssa.cpp:
237237
# 70| Block 2
238238
# 70| r70_1(char) = Constant[0] :
239239
# 70| r70_2(glval<char *>) = VariableAddress[p] :
240-
# 70| r70_3(char *) = Load[p] : &:r70_2, m69_1
240+
# 70| r70_3(char *) = Load[p] : &:r70_2, m69_2
241241
# 70| r70_4(int) = Constant[1] :
242242
# 70| r70_5(char *) = PointerAdd[1] : r70_3, r70_4
243243
# 70| m70_6(char *) = Store[p] : &:r70_2, r70_5
244244
# 70| r70_7(char *) = CopyValue : r70_3
245245
# 70| r70_8(glval<char>) = CopyValue : r70_7
246246
# 70| m70_9(char) = Store[?] : &:r70_8, r70_1
247-
# 70| m70_10(unknown) = Chi : total:m69_3, partial:m70_9
247+
# 70| m70_10(unknown) = Chi : total:m69_1, partial:m70_9
248248
#-----| Goto (back edge) -> Block 1
249249

250250
# 71| Block 3
251251
# 71| v71_1(void) = NoOp :
252252
# 68| v68_11(void) = ReturnIndirection[p] : &:r68_9, m68_10
253253
# 68| v68_12(void) = ReturnVoid :
254-
# 68| v68_13(void) = AliasedUse : ~m69_3
254+
# 68| v68_13(void) = AliasedUse : ~m69_1
255255
# 68| v68_14(void) = ExitFunction :
256256

257257
# 75| void ScalarPhi(bool)

0 commit comments

Comments
 (0)