Skip to content

Commit 693626e

Browse files
author
Robert Marsh
committed
C++: accept value numbering test changes
1 parent 14f1fa5 commit 693626e

File tree

1 file changed

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

1 file changed

+25
-25
lines changed

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

Lines changed: 25 additions & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ test.cpp:
22
# 1| void test00(int, int)
33
# 1| Block 0
44
# 1| v1_1(void) = EnterFunction :
5-
# 1| m1_2(unknown) = AliasedDefinition :
5+
# 1| %m1_2(unknown) = AliasedDefinition :
66
# 1| valnum = unique
77
# 1| r1_3(glval<int>) = VariableAddress[p0] :
88
# 1| valnum = r1_3, r5_1, r6_1
@@ -68,7 +68,7 @@ test.cpp:
6868
# 12| void test01(int, int)
6969
# 12| Block 0
7070
# 12| v12_1(void) = EnterFunction :
71-
# 12| m12_2(unknown) = AliasedDefinition :
71+
# 12| %m12_2(unknown) = AliasedDefinition :
7272
# 12| valnum = unique
7373
# 12| r12_3(glval<int>) = VariableAddress[p0] :
7474
# 12| valnum = r12_3, r16_1, r17_1
@@ -146,7 +146,7 @@ test.cpp:
146146
# 25| void test02(int, int)
147147
# 25| Block 0
148148
# 25| v25_1(void) = EnterFunction :
149-
# 25| m25_2(unknown) = AliasedDefinition :
149+
# 25| %m25_2(unknown) = AliasedDefinition :
150150
# 25| valnum = unique
151151
# 25| r25_3(glval<int>) = VariableAddress[p0] :
152152
# 25| valnum = r25_3, r29_1, r31_1
@@ -193,7 +193,7 @@ test.cpp:
193193
# 30| v30_2(void) = Call[change_global02] : func:r30_1
194194
# 30| m30_3(unknown) = ^CallSideEffect : ~m25_2
195195
# 30| valnum = unique
196-
# 30| m30_4(unknown) = Chi : total:m25_2, partial:m30_3
196+
# 30| %m30_4(unknown) = Chi : total:m25_2, partial:m30_3
197197
# 30| valnum = unique
198198
# 31| r31_1(glval<int>) = VariableAddress[p0] :
199199
# 31| valnum = r25_3, r29_1, r31_1
@@ -231,7 +231,7 @@ test.cpp:
231231
# 39| void test03(int, int, int*)
232232
# 39| Block 0
233233
# 39| v39_1(void) = EnterFunction :
234-
# 39| m39_2(unknown) = AliasedDefinition :
234+
# 39| %m39_2(unknown) = AliasedDefinition :
235235
# 39| valnum = unique
236236
# 39| r39_3(glval<int>) = VariableAddress[p0] :
237237
# 39| valnum = r39_3, r43_1, r45_1
@@ -330,7 +330,7 @@ test.cpp:
330330
# 49| unsigned int my_strspn(char const*, char const*)
331331
# 49| Block 0
332332
# 49| v49_1(void) = EnterFunction :
333-
# 49| m49_2(unknown) = AliasedDefinition :
333+
# 49| %m49_2(unknown) = AliasedDefinition :
334334
# 49| valnum = unique
335335
# 49| r49_3(glval<char *>) = VariableAddress[str] :
336336
# 49| valnum = r49_3, r53_2, r56_6
@@ -500,7 +500,7 @@ test.cpp:
500500
# 75| void test04(two_values*)
501501
# 75| Block 0
502502
# 75| v75_1(void) = EnterFunction :
503-
# 75| m75_2(unknown) = AliasedDefinition :
503+
# 75| %m75_2(unknown) = AliasedDefinition :
504504
# 75| valnum = unique
505505
# 75| r75_3(glval<two_values *>) = VariableAddress[vals] :
506506
# 75| valnum = r75_3, r79_4, r79_9
@@ -518,7 +518,7 @@ test.cpp:
518518
# 77| valnum = unique
519519
# 77| m77_4(unknown) = ^CallSideEffect : ~m75_2
520520
# 77| valnum = unique
521-
# 77| m77_5(unknown) = Chi : total:m75_2, partial:m77_4
521+
# 77| %m77_5(unknown) = Chi : total:m75_2, partial:m77_4
522522
# 77| valnum = unique
523523
# 77| r77_6(signed short) = Convert : r77_3
524524
# 77| valnum = m77_7, r77_6, r79_2
@@ -565,7 +565,7 @@ test.cpp:
565565
# 80| valnum = unique
566566
# 80| m80_3(unknown) = ^CallSideEffect : ~m77_5
567567
# 80| valnum = unique
568-
# 80| m80_4(unknown) = Chi : total:m77_5, partial:m80_3
568+
# 80| %m80_4(unknown) = Chi : total:m77_5, partial:m80_3
569569
# 80| valnum = unique
570570
# 80| r80_5(signed short) = Convert : r80_2
571571
# 80| valnum = m80_7, r80_5
@@ -576,18 +576,18 @@ test.cpp:
576576
#-----| Goto -> Block 2
577577

578578
# 82| Block 2
579-
# 82| m82_1(unknown) = Phi : from 0:~m77_5, from 1:~m80_4
579+
# 82| %m82_1(unknown) = Phi : from 0:~m77_5, from 1:~m80_4
580580
# 82| valnum = unique
581-
# 82| v82_2(void) = NoOp :
582-
# 75| v75_7(void) = ReturnIndirection[vals] : &:r75_5, m75_6
583-
# 75| v75_8(void) = ReturnVoid :
584-
# 75| v75_9(void) = AliasedUse : ~m82_1
585-
# 75| v75_10(void) = ExitFunction :
581+
# 82| v82_2(void) = NoOp :
582+
# 75| v75_7(void) = ReturnIndirection[vals] : &:r75_5, m75_6
583+
# 75| v75_8(void) = ReturnVoid :
584+
# 75| v75_9(void) = AliasedUse : ~m82_1
585+
# 75| v75_10(void) = ExitFunction :
586586

587587
# 84| void test05(int, int, void*)
588588
# 84| Block 0
589589
# 84| v84_1(void) = EnterFunction :
590-
# 84| m84_2(unknown) = AliasedDefinition :
590+
# 84| %m84_2(unknown) = AliasedDefinition :
591591
# 84| valnum = unique
592592
# 84| r84_3(glval<int>) = VariableAddress[x] :
593593
# 84| valnum = r84_3, r88_11
@@ -663,7 +663,7 @@ test.cpp:
663663
# 91| int regression_test00()
664664
# 91| Block 0
665665
# 91| v91_1(void) = EnterFunction :
666-
# 91| m91_2(unknown) = AliasedDefinition :
666+
# 91| %m91_2(unknown) = AliasedDefinition :
667667
# 91| valnum = unique
668668
# 92| r92_1(glval<int>) = VariableAddress[x] :
669669
# 92| valnum = r92_1, r92_3, r93_2
@@ -694,7 +694,7 @@ test.cpp:
694694
# 104| int inheritanceConversions(Derived*)
695695
# 104| Block 0
696696
# 104| v104_1(void) = EnterFunction :
697-
# 104| m104_2(unknown) = AliasedDefinition :
697+
# 104| %m104_2(unknown) = AliasedDefinition :
698698
# 104| valnum = unique
699699
# 104| r104_3(glval<Derived *>) = VariableAddress[pd] :
700700
# 104| valnum = r104_3, r105_2, r106_2
@@ -758,7 +758,7 @@ test.cpp:
758758
# 112| void test06()
759759
# 112| Block 0
760760
# 112| v112_1(void) = EnterFunction :
761-
# 112| m112_2(unknown) = AliasedDefinition :
761+
# 112| %m112_2(unknown) = AliasedDefinition :
762762
# 112| valnum = unique
763763
# 113| r113_1(glval<char[2]>) = StringConstant["a"] :
764764
# 113| valnum = r113_1, r115_1
@@ -776,7 +776,7 @@ test.cpp:
776776
# 124| void test_read_arg_same(A*, int)
777777
# 124| Block 0
778778
# 124| v124_1(void) = EnterFunction :
779-
# 124| m124_2(unknown) = AliasedDefinition :
779+
# 124| %m124_2(unknown) = AliasedDefinition :
780780
# 124| valnum = unique
781781
# 124| r124_3(glval<A *>) = VariableAddress[pa] :
782782
# 124| valnum = r124_3, r125_2, r126_2, r128_3, r129_2
@@ -849,7 +849,7 @@ test.cpp:
849849
# 135| void test_read_global_same()
850850
# 135| Block 0
851851
# 135| v135_1(void) = EnterFunction :
852-
# 135| m135_2(unknown) = AliasedDefinition :
852+
# 135| %m135_2(unknown) = AliasedDefinition :
853853
# 135| valnum = unique
854854
# 136| r136_1(glval<int>) = VariableAddress[b] :
855855
# 136| valnum = unique
@@ -887,7 +887,7 @@ test.cpp:
887887
# 139| valnum = r136_4, r137_4, r139_5
888888
# 139| m139_6(int) = Store[?] : &:r139_5, r139_2
889889
# 139| valnum = m139_6, r139_2
890-
# 139| m139_7(unknown) = Chi : total:m135_2, partial:m139_6
890+
# 139| %m139_7(unknown) = Chi : total:m135_2, partial:m139_6
891891
# 139| valnum = unique
892892
# 140| r140_1(glval<int>) = VariableAddress[d] :
893893
# 140| valnum = unique
@@ -909,7 +909,7 @@ test.cpp:
909909
# 143| void test_read_arg_different(A*)
910910
# 143| Block 0
911911
# 143| v143_1(void) = EnterFunction :
912-
# 143| m143_2(unknown) = AliasedDefinition :
912+
# 143| %m143_2(unknown) = AliasedDefinition :
913913
# 143| valnum = unique
914914
# 143| r143_3(glval<A *>) = VariableAddress[pa] :
915915
# 143| valnum = r143_3, r144_2, r145_2, r147_3, r149_2
@@ -978,7 +978,7 @@ test.cpp:
978978
# 152| void test_read_global_different(int)
979979
# 152| Block 0
980980
# 152| v152_1(void) = EnterFunction :
981-
# 152| m152_2(unknown) = AliasedDefinition :
981+
# 152| %m152_2(unknown) = AliasedDefinition :
982982
# 152| valnum = unique
983983
# 152| r152_3(glval<int>) = VariableAddress[n] :
984984
# 152| valnum = r152_3, r156_1
@@ -1020,7 +1020,7 @@ test.cpp:
10201020
# 156| valnum = unique
10211021
# 156| m156_6(int) = Store[?] : &:r156_5, r156_2
10221022
# 156| valnum = m152_4, m156_6, r156_2
1023-
# 156| m156_7(unknown) = Chi : total:m152_2, partial:m156_6
1023+
# 156| %m156_7(unknown) = Chi : total:m152_2, partial:m156_6
10241024
# 156| valnum = unique
10251025
# 158| r158_1(glval<int>) = VariableAddress[d] :
10261026
# 158| valnum = unique

0 commit comments

Comments
 (0)