Skip to content

Commit 5e5bd92

Browse files
MathiasVPMathiasVP
committed
C++: Accept output
1 parent 54f0b4a commit 5e5bd92

File tree

1 file changed

+35
-35
lines changed
  • cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering

1 file changed

+35
-35
lines changed

‎cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/ir_gvn.expected‎

Lines changed: 35 additions & 35 deletions
Original file line numberDiff line numberDiff line change
@@ -118,7 +118,7 @@ test.cpp:
118118
# 16| r16_6(glval<int>) = VariableAddress[global01] :
119119
# 16| valnum = r16_6
120120
# 16| r16_7(int) = Load : &:r16_6, ~m12_3
121-
# 16| valnum = unique
121+
# 16| valnum = r16_7
122122
# 16| r16_8(int) = Add : r16_5, r16_7
123123
# 16| valnum = r16_8
124124
# 16| r16_9(glval<int>) = VariableAddress[x] :
@@ -138,21 +138,21 @@ test.cpp:
138138
# 17| r17_6(glval<int>) = VariableAddress[global01] :
139139
# 17| valnum = r16_6
140140
# 17| r17_7(int) = Load : &:r17_6, ~m12_3
141-
# 17| valnum = unique
141+
# 17| valnum = r16_7
142142
# 17| r17_8(int) = Add : r17_5, r17_7
143-
# 17| valnum = r17_8
143+
# 17| valnum = r16_8
144144
# 17| r17_9(glval<int>) = VariableAddress[x] :
145145
# 17| valnum = r13_1
146146
# 17| m17_10(int) = Store : &:r17_9, r17_8
147-
# 17| valnum = r17_8
147+
# 17| valnum = r16_8
148148
# 18| r18_1(glval<int>) = VariableAddress[x] :
149149
# 18| valnum = r13_1
150150
# 18| r18_2(int) = Load : &:r18_1, m17_10
151-
# 18| valnum = r17_8
151+
# 18| valnum = r16_8
152152
# 18| r18_3(glval<int>) = VariableAddress[y] :
153153
# 18| valnum = r13_3
154154
# 18| m18_4(int) = Store : &:r18_3, r18_2
155-
# 18| valnum = r17_8
155+
# 18| valnum = r16_8
156156
# 19| v19_1(void) = NoOp :
157157
# 12| r12_10(glval<int>) = VariableAddress[#return] :
158158
# 12| valnum = unique
@@ -307,7 +307,7 @@ test.cpp:
307307
# 43| r43_6(glval<int>) = VariableAddress[global03] :
308308
# 43| valnum = r43_6
309309
# 43| r43_7(int) = Load : &:r43_6, ~m39_3
310-
# 43| valnum = unique
310+
# 43| valnum = r43_7
311311
# 43| r43_8(int) = Add : r43_5, r43_7
312312
# 43| valnum = r43_8
313313
# 43| r43_9(glval<int>) = VariableAddress[x] :
@@ -339,21 +339,21 @@ test.cpp:
339339
# 45| r45_6(glval<int>) = VariableAddress[global03] :
340340
# 45| valnum = r43_6
341341
# 45| r45_7(int) = Load : &:r45_6, ~m39_3
342-
# 45| valnum = unique
342+
# 45| valnum = r43_7
343343
# 45| r45_8(int) = Add : r45_5, r45_7
344-
# 45| valnum = r45_8
344+
# 45| valnum = r43_8
345345
# 45| r45_9(glval<int>) = VariableAddress[x] :
346346
# 45| valnum = r40_1
347347
# 45| m45_10(int) = Store : &:r45_9, r45_8
348-
# 45| valnum = r45_8
348+
# 45| valnum = r43_8
349349
# 46| r46_1(glval<int>) = VariableAddress[x] :
350350
# 46| valnum = r40_1
351351
# 46| r46_2(int) = Load : &:r46_1, m45_10
352-
# 46| valnum = r45_8
352+
# 46| valnum = r43_8
353353
# 46| r46_3(glval<int>) = VariableAddress[y] :
354354
# 46| valnum = r40_3
355355
# 46| m46_4(int) = Store : &:r46_3, r46_2
356-
# 46| valnum = r45_8
356+
# 46| valnum = r43_8
357357
# 47| v47_1(void) = NoOp :
358358
# 39| v39_14(void) = ReturnIndirection : &:r39_12, ~m44_6
359359
# 39| r39_15(glval<int>) = VariableAddress[#return] :
@@ -410,9 +410,9 @@ test.cpp:
410410
# 53| r53_3(char *) = Load : &:r53_2, m49_7
411411
# 53| valnum = m49_7
412412
# 53| r53_4(char) = Load : &:r53_3, ~m49_9
413-
# 53| valnum = unique
413+
# 53| valnum = r53_4
414414
# 53| r53_5(int) = Convert : r53_4
415-
# 53| valnum = unique
415+
# 53| valnum = r53_5
416416
# 53| r53_6(int) = Constant[0] :
417417
# 53| valnum = r53_6
418418
# 53| r53_7(bool) = CompareNE : r53_5, r53_6
@@ -448,9 +448,9 @@ test.cpp:
448448
# 56| r56_7(char *) = Load : &:r56_6, m49_7
449449
# 56| valnum = m49_7
450450
# 56| r56_8(char) = Load : &:r56_7, ~m49_9
451-
# 56| valnum = unique
451+
# 56| valnum = r53_4
452452
# 56| r56_9(int) = Convert : r56_8
453-
# 56| valnum = unique
453+
# 56| valnum = r53_5
454454
# 56| r56_10(bool) = CompareNE : r56_5, r56_9
455455
# 56| valnum = unique
456456
# 56| v56_11(void) = ConditionalBranch : r56_10
@@ -807,17 +807,17 @@ test.cpp:
807807
# 107| r107_4(glval<int>) = FieldAddress[b] : r107_3
808808
# 107| valnum = r105_5
809809
# 107| r107_5(int) = Load : &:r107_4, ~m104_9
810-
# 107| valnum = r107_5
810+
# 107| valnum = r105_6
811811
# 107| m107_6(int) = Store : &:r107_1, r107_5
812-
# 107| valnum = r107_5
812+
# 107| valnum = r105_6
813813
# 109| r109_1(glval<int>) = VariableAddress[#return] :
814814
# 109| valnum = r109_1
815815
# 109| r109_2(glval<int>) = VariableAddress[y] :
816816
# 109| valnum = r107_1
817817
# 109| r109_3(int) = Load : &:r109_2, m107_6
818-
# 109| valnum = r107_5
818+
# 109| valnum = r105_6
819819
# 109| m109_4(int) = Store : &:r109_1, r109_3
820-
# 109| valnum = r107_5
820+
# 109| valnum = r105_6
821821
# 104| v104_10(void) = ReturnIndirection : &:r104_8, m104_9
822822
# 104| r104_11(glval<int>) = VariableAddress[#return] :
823823
# 104| valnum = r109_1
@@ -895,9 +895,9 @@ test.cpp:
895895
# 126| r126_4(glval<int>) = FieldAddress[x] : r126_3
896896
# 126| valnum = r125_4
897897
# 126| r126_5(int) = Load : &:r126_4, ~m124_9
898-
# 126| valnum = r126_5
898+
# 126| valnum = r125_5
899899
# 126| m126_6(int) = Store : &:r126_1, r126_5
900-
# 126| valnum = r126_5
900+
# 126| valnum = r125_5
901901
# 128| r128_1(glval<int>) = VariableAddress[n] :
902902
# 128| valnum = r124_10
903903
# 128| r128_2(int) = Load : &:r128_1, m124_11
@@ -947,9 +947,9 @@ test.cpp:
947947
# 136| r136_2(glval<A *>) = VariableAddress[global_a] :
948948
# 136| valnum = r136_2
949949
# 136| r136_3(A *) = Load : &:r136_2, ~m135_3
950-
# 136| valnum = unique
950+
# 136| valnum = r136_3
951951
# 136| r136_4(glval<int>) = FieldAddress[x] : r136_3
952-
# 136| valnum = unique
952+
# 136| valnum = r136_4
953953
# 136| r136_5(int) = Load : &:r136_4, ~m135_4
954954
# 136| valnum = r136_5
955955
# 136| m136_6(int) = Store : &:r136_1, r136_5
@@ -959,9 +959,9 @@ test.cpp:
959959
# 137| r137_2(glval<A *>) = VariableAddress[global_a] :
960960
# 137| valnum = r136_2
961961
# 137| r137_3(A *) = Load : &:r137_2, ~m135_3
962-
# 137| valnum = unique
962+
# 137| valnum = r136_3
963963
# 137| r137_4(glval<int>) = FieldAddress[x] : r137_3
964-
# 137| valnum = unique
964+
# 137| valnum = r136_4
965965
# 137| r137_5(int) = Load : &:r137_4, ~m135_4
966966
# 137| valnum = r137_5
967967
# 137| m137_6(int) = Store : &:r137_1, r137_5
@@ -973,9 +973,9 @@ test.cpp:
973973
# 139| r139_3(glval<A *>) = VariableAddress[global_a] :
974974
# 139| valnum = r136_2
975975
# 139| r139_4(A *) = Load : &:r139_3, ~m135_3
976-
# 139| valnum = unique
976+
# 139| valnum = r136_3
977977
# 139| r139_5(glval<int>) = FieldAddress[x] : r139_4
978-
# 139| valnum = unique
978+
# 139| valnum = r136_4
979979
# 139| m139_6(int) = Store : &:r139_5, r139_2
980980
# 139| valnum = r139_2
981981
# 139| m139_7(unknown) = Chi : total:m135_4, partial:m139_6
@@ -1064,9 +1064,9 @@ test.cpp:
10641064
# 149| r149_4(glval<int>) = FieldAddress[x] : r149_3
10651065
# 149| valnum = r144_4
10661066
# 149| r149_5(int) = Load : &:r149_4, ~m143_9
1067-
# 149| valnum = r149_5
1067+
# 149| valnum = r144_5
10681068
# 149| m149_6(int) = Store : &:r149_1, r149_5
1069-
# 149| valnum = r149_5
1069+
# 149| valnum = r144_5
10701070
# 150| v150_1(void) = NoOp :
10711071
# 143| v143_10(void) = ReturnIndirection : &:r143_8, ~m147_7
10721072
# 143| v143_11(void) = ReturnVoid :
@@ -1094,9 +1094,9 @@ test.cpp:
10941094
# 153| r153_2(glval<A *>) = VariableAddress[global_a] :
10951095
# 153| valnum = r153_2
10961096
# 153| r153_3(A *) = Load : &:r153_2, ~m152_3
1097-
# 153| valnum = unique
1097+
# 153| valnum = r153_3
10981098
# 153| r153_4(glval<int>) = FieldAddress[x] : r153_3
1099-
# 153| valnum = unique
1099+
# 153| valnum = r153_4
11001100
# 153| r153_5(int) = Load : &:r153_4, ~m152_4
11011101
# 153| valnum = r153_5
11021102
# 153| m153_6(int) = Store : &:r153_1, r153_5
@@ -1106,9 +1106,9 @@ test.cpp:
11061106
# 154| r154_2(glval<A *>) = VariableAddress[global_a] :
11071107
# 154| valnum = r153_2
11081108
# 154| r154_3(A *) = Load : &:r154_2, ~m152_3
1109-
# 154| valnum = unique
1109+
# 154| valnum = r153_3
11101110
# 154| r154_4(glval<int>) = FieldAddress[x] : r154_3
1111-
# 154| valnum = unique
1111+
# 154| valnum = r153_4
11121112
# 154| r154_5(int) = Load : &:r154_4, ~m152_4
11131113
# 154| valnum = r154_5
11141114
# 154| m154_6(int) = Store : &:r154_1, r154_5
@@ -1120,7 +1120,7 @@ test.cpp:
11201120
# 156| r156_3(glval<A *>) = VariableAddress[global_a] :
11211121
# 156| valnum = r153_2
11221122
# 156| r156_4(A *) = Load : &:r156_3, ~m152_3
1123-
# 156| valnum = unique
1123+
# 156| valnum = r153_3
11241124
# 156| r156_5(glval<int>) = FieldAddress[y] : r156_4
11251125
# 156| valnum = unique
11261126
# 156| m156_6(int) = Store : &:r156_5, r156_2

0 commit comments

Comments
 (0)