Skip to content

Commit 6ef9dba

Browse files
MathiasVPMathiasVP
committed
C++: Accept test changes.
1 parent 89f0705 commit 6ef9dba

File tree

3 files changed

+47
-105
lines changed

3 files changed

+47
-105
lines changed

‎cpp/ql/test/library-tests/ir/ir/aliased_ir.expected

Lines changed: 47 additions & 41 deletions
Original file line numberDiff line numberDiff line change
@@ -18581,16 +18581,17 @@ ir.cpp:
1858118581
# 2602| v2602_1(void) = EnterFunction :
1858218582
# 2602| m2602_2(unknown) = AliasedDefinition :
1858318583
# 2602| m2602_3(unknown) = InitializeNonLocal :
18584-
# 2602| m2602_4(unknown) = Chi : total:~m?, partial:m2602_3
18584+
# 2602| m2602_4(unknown) = Chi : total:m2602_2, partial:m2602_3
1858518585
# 2602| m2602_5(Recursive *) = InitializeGroup[a,b] :
18586-
# 2602| r2602_6(glval<Recursive *>) = VariableAddress[a] :
18587-
# 2602| m2602_7(Recursive *) = InitializeParameter[a] : &:r2602_6
18588-
# 2602| r2602_8(Recursive *) = Load[a] : &:r2602_6, m2602_7
18589-
# 2602| m2602_9(unknown) = InitializeIndirection[a] : &:r2602_8
18590-
# 2602| m2602_10(unknown) = Chi : total:m2602_4, partial:m2602_9
18586+
# 2602| m2602_6(unknown) = Chi : total:m2602_4, partial:m2602_5
18587+
# 2602| r2602_7(glval<Recursive *>) = VariableAddress[a] :
18588+
# 2602| m2602_8(Recursive *) = InitializeParameter[a] : &:r2602_7
18589+
# 2602| r2602_9(Recursive *) = Load[a] : &:r2602_7, m2602_8
18590+
# 2602| m2602_10(unknown) = InitializeIndirection[a] : &:r2602_9
18591+
# 2602| m2602_11(unknown) = Chi : total:m2602_6, partial:m2602_10
1859118592
# 2604| r2604_1(glval<Recursive *>) = VariableAddress[b] :
1859218593
# 2604| m2604_2(Recursive *) = Uninitialized[b] : &:r2604_1
18593-
# 2604| m2604_3(unknown) = Chi : total:m2602_10, partial:m2604_2
18594+
# 2604| m2604_3(unknown) = Chi : total:m2602_11, partial:m2604_2
1859418595
# 2605| r2605_1(glval<Recursive **>) = VariableAddress[p] :
1859518596
# 2605| r2605_2(glval<Recursive *>) = VariableAddress[b] :
1859618597
# 2605| r2605_3(Recursive **) = CopyValue : r2605_2
@@ -18610,14 +18611,14 @@ ir.cpp:
1861018611

1861118612
# 2609| Block 2
1861218613
# 2609| r2609_1(glval<Recursive *>) = VariableAddress[a] :
18613-
# 2609| r2609_2(Recursive *) = Load[a] : &:r2609_1, m2602_7
18614+
# 2609| r2609_2(Recursive *) = Load[a] : &:r2609_1, m2602_8
1861418615
# 2609| r2609_3(glval<Recursive **>) = VariableAddress[p] :
1861518616
# 2609| r2609_4(Recursive **) = Load[p] : &:r2609_3, m2607_2
1861618617
# 2609| r2609_5(glval<Recursive *>) = CopyValue : r2609_4
1861718618
# 2609| m2609_6(Recursive *) = Store[?] : &:r2609_5, r2609_2
1861818619
# 2609| m2609_7(unknown) = Chi : total:m2607_6, partial:m2609_6
1861918620
# 2610| r2610_1(glval<Recursive *>) = VariableAddress[a] :
18620-
# 2610| r2610_2(Recursive *) = Load[a] : &:r2610_1, m2602_7
18621+
# 2610| r2610_2(Recursive *) = Load[a] : &:r2610_1, m2602_8
1862118622
# 2610| r2610_3(glval<Recursive *>) = FieldAddress[next] : r2610_2
1862218623
# 2610| r2610_4(Recursive **) = CopyValue : r2610_3
1862318624
# 2610| r2610_5(glval<Recursive **>) = VariableAddress[p] :
@@ -18629,31 +18630,32 @@ ir.cpp:
1862918630
# 2613| r2613_2(glval<Recursive *>) = VariableAddress[b] :
1863018631
# 2613| r2613_3(Recursive *) = Load[b] : &:r2613_2, ~m2607_6
1863118632
# 2613| m2613_4(Recursive *) = Store[#return] : &:r2613_1, r2613_3
18632-
# 2602| v2602_11(void) = ReturnIndirection[a] : &:r2602_8, ~m2607_6
18633-
# 2602| r2602_12(glval<Recursive *>) = VariableAddress[#return] :
18634-
# 2602| v2602_13(void) = ReturnValue : &:r2602_12, m2613_4
18635-
# 2602| v2602_14(void) = AliasedUse : ~m2607_6
18636-
# 2602| v2602_15(void) = ExitFunction :
18633+
# 2602| v2602_12(void) = ReturnIndirection[a] : &:r2602_9, ~m2607_6
18634+
# 2602| r2602_13(glval<Recursive *>) = VariableAddress[#return] :
18635+
# 2602| v2602_14(void) = ReturnValue : &:r2602_13, m2613_4
18636+
# 2602| v2602_15(void) = AliasedUse : ~m2607_6
18637+
# 2602| v2602_16(void) = ExitFunction :
1863718638

1863818639
# 2618| void escaping_pointer(bool)
1863918640
# 2618| Block 0
1864018641
# 2618| v2618_1(void) = EnterFunction :
1864118642
# 2618| m2618_2(unknown) = AliasedDefinition :
1864218643
# 2618| m2618_3(unknown) = InitializeNonLocal :
18643-
# 2618| m2618_4(unknown) = Chi : total:~m?, partial:m2618_3
18644+
# 2618| m2618_4(unknown) = Chi : total:m2618_2, partial:m2618_3
1864418645
# 2618| m2618_5(unknown) = InitializeGroup[l1,l2] :
18645-
# 2618| r2618_6(glval<bool>) = VariableAddress[b] :
18646-
# 2618| m2618_7(bool) = InitializeParameter[b] : &:r2618_6
18646+
# 2618| m2618_6(unknown) = Chi : total:m2618_4, partial:m2618_5
18647+
# 2618| r2618_7(glval<bool>) = VariableAddress[b] :
18648+
# 2618| m2618_8(bool) = InitializeParameter[b] : &:r2618_7
1864718649
# 2620| r2620_1(glval<int *>) = VariableAddress[data] :
1864818650
# 2620| m2620_2(int *) = Uninitialized[data] : &:r2620_1
1864918651
# 2621| r2621_1(glval<int>) = VariableAddress[l1] :
1865018652
# 2621| m2621_2(int) = Uninitialized[l1] : &:r2621_1
18651-
# 2621| m2621_3(unknown) = Chi : total:m2618_4, partial:m2621_2
18653+
# 2621| m2621_3(unknown) = Chi : total:m2618_6, partial:m2621_2
1865218654
# 2621| r2621_4(glval<int>) = VariableAddress[l2] :
1865318655
# 2621| m2621_5(int) = Uninitialized[l2] : &:r2621_4
1865418656
# 2621| m2621_6(unknown) = Chi : total:m2621_3, partial:m2621_5
1865518657
# 2622| r2622_1(glval<bool>) = VariableAddress[b] :
18656-
# 2622| r2622_2(bool) = Load[b] : &:r2622_1, m2618_7
18658+
# 2622| r2622_2(bool) = Load[b] : &:r2622_1, m2618_8
1865718659
# 2622| v2622_3(void) = ConditionalBranch : r2622_2
1865818660
#-----| False -> Block 2
1865918661
#-----| True -> Block 1
@@ -18683,22 +18685,24 @@ ir.cpp:
1868318685
# 2630| m2630_8(unknown) = Chi : total:m2621_6, partial:m2630_7
1868418686
# 2630| v2630_9(void) = ^BufferReadSideEffect[0] : &:r2630_5, ~m2630_8
1868518687
# 2631| v2631_1(void) = NoOp :
18686-
# 2618| v2618_8(void) = ReturnVoid :
18687-
# 2618| v2618_9(void) = AliasedUse : ~m2630_8
18688-
# 2618| v2618_10(void) = ExitFunction :
18688+
# 2618| v2618_9(void) = ReturnVoid :
18689+
# 2618| v2618_10(void) = AliasedUse : ~m2630_8
18690+
# 2618| v2618_11(void) = ExitFunction :
1868918691

1869018692
# 2639| void needs_chi_for_initialize_groups()
1869118693
# 2639| Block 0
1869218694
# 2639| v2639_1(void) = EnterFunction :
1869318695
# 2639| m2639_2(unknown) = AliasedDefinition :
1869418696
# 2639| m2639_3(unknown) = InitializeNonLocal :
18695-
# 2639| m2639_4(unknown) = Chi : total:~m?, partial:m2639_3
18697+
# 2639| m2639_4(unknown) = Chi : total:m2639_2, partial:m2639_3
1869618698
# 2639| m2639_5(unknown) = InitializeGroup :
18697-
# 2639| m2639_6(unknown) = InitializeGroup :
18699+
# 2639| m2639_6(unknown) = Chi : total:m2639_4, partial:m2639_5
18700+
# 2639| m2639_7(unknown) = InitializeGroup :
18701+
# 2639| m2639_8(unknown) = Chi : total:m2639_6, partial:m2639_7
1869818702
# 2641| r2641_1(glval<unknown>) = FunctionAddress[predicateA] :
1869918703
# 2641| r2641_2(bool) = Call[predicateA] : func:r2641_1
18700-
# 2641| m2641_3(unknown) = ^CallSideEffect : ~m2639_4
18701-
# 2641| m2641_4(unknown) = Chi : total:m2639_4, partial:m2641_3
18704+
# 2641| m2641_3(unknown) = ^CallSideEffect : ~m2639_8
18705+
# 2641| m2641_4(unknown) = Chi : total:m2639_8, partial:m2641_3
1870218706
# 2641| v2641_5(void) = ConditionalBranch : r2641_2
1870318707
#-----| False -> Block 4
1870418708
#-----| True -> Block 1
@@ -18798,9 +18802,9 @@ ir.cpp:
1879818802
# 2659| Block 7
1879918803
# 2659| m2659_1(unknown) = Phi : from 3:~m2648_9, from 6:~m2657_9
1880018804
# 2659| v2659_2(void) = NoOp :
18801-
# 2639| v2639_7(void) = ReturnVoid :
18802-
# 2639| v2639_8(void) = AliasedUse : ~m2659_1
18803-
# 2639| v2639_9(void) = ExitFunction :
18805+
# 2639| v2639_9(void) = ReturnVoid :
18806+
# 2639| v2639_10(void) = AliasedUse : ~m2659_1
18807+
# 2639| v2639_11(void) = ExitFunction :
1880418808

1880518809
# 2663| void phi_with_single_input_at_merge(bool)
1880618810
# 2663| Block 0
@@ -18849,14 +18853,16 @@ ir.cpp:
1884918853
# 2684| v2684_1(void) = EnterFunction :
1885018854
# 2684| m2684_2(unknown) = AliasedDefinition :
1885118855
# 2684| m2684_3(unknown) = InitializeNonLocal :
18852-
# 2684| m2684_4(unknown) = Chi : total:~m?, partial:m2684_3
18856+
# 2684| m2684_4(unknown) = Chi : total:m2684_2, partial:m2684_3
1885318857
# 2684| m2684_5(unknown) = InitializeGroup[#string2686:22,#string2686:27] :
18854-
# 2684| m2684_6(unknown) = InitializeGroup[#string2686:22,#string2686:27] :
18855-
# 2684| r2684_7(glval<bool>) = VariableAddress[b] :
18856-
# 2684| m2684_8(bool) = InitializeParameter[b] : &:r2684_7
18858+
# 2684| m2684_6(unknown) = Chi : total:m2684_4, partial:m2684_5
18859+
# 2684| m2684_7(unknown) = InitializeGroup[#string2686:22,#string2686:27] :
18860+
# 2684| m2684_8(unknown) = Chi : total:m2684_6, partial:m2684_7
18861+
# 2684| r2684_9(glval<bool>) = VariableAddress[b] :
18862+
# 2684| m2684_10(bool) = InitializeParameter[b] : &:r2684_9
1885718863
# 2686| r2686_1(glval<unknown>) = FunctionAddress[use] :
1885818864
# 2686| r2686_2(glval<bool>) = VariableAddress[b] :
18859-
# 2686| r2686_3(bool) = Load[b] : &:r2686_2, m2684_8
18865+
# 2686| r2686_3(bool) = Load[b] : &:r2686_2, m2684_10
1886018866
# 2686| v2686_4(void) = ConditionalBranch : r2686_3
1886118867
#-----| False -> Block 3
1886218868
#-----| True -> Block 2
@@ -18866,12 +18872,12 @@ ir.cpp:
1886618872
# 2686| r2686_6(glval<char *>) = VariableAddress[#temp2686:18] :
1886718873
# 2686| r2686_7(char *) = Load[#temp2686:18] : &:r2686_6, m2686_5
1886818874
# 2686| v2686_8(void) = Call[use] : func:r2686_1, 0:r2686_7
18869-
# 2686| m2686_9(unknown) = ^CallSideEffect : ~m2684_4
18870-
# 2686| m2686_10(unknown) = Chi : total:m2684_4, partial:m2686_9
18875+
# 2686| m2686_9(unknown) = ^CallSideEffect : ~m2684_8
18876+
# 2686| m2686_10(unknown) = Chi : total:m2684_8, partial:m2686_9
1887118877
# 2686| v2686_11(void) = ^BufferReadSideEffect[0] : &:r2686_7, ~m2686_10
1887218878
# 2686| r2686_12(glval<unknown>) = FunctionAddress[use] :
1887318879
# 2686| r2686_13(glval<bool>) = VariableAddress[b] :
18874-
# 2686| r2686_14(bool) = Load[b] : &:r2686_13, m2684_8
18880+
# 2686| r2686_14(bool) = Load[b] : &:r2686_13, m2684_10
1887518881
# 2686| v2686_15(void) = ConditionalBranch : r2686_14
1887618882
#-----| False -> Block 6
1887718883
#-----| True -> Block 5
@@ -18919,12 +18925,12 @@ ir.cpp:
1891918925

1892018926
# 2687| Block 7
1892118927
# 2687| v2687_1(void) = NoOp :
18922-
# 2684| v2684_9(void) = ReturnVoid :
18923-
# 2684| v2684_10(void) = AliasedUse : ~m2686_29
18924-
# 2684| v2684_11(void) = ExitFunction :
18928+
# 2684| v2684_11(void) = ReturnVoid :
18929+
# 2684| v2684_12(void) = AliasedUse : ~m2686_29
18930+
# 2684| v2684_13(void) = ExitFunction :
1892518931

1892618932
# 2684| Block 8
18927-
# 2684| v2684_12(void) = Unreached :
18933+
# 2684| v2684_14(void) = Unreached :
1892818934

1892918935
perf-regression.cpp:
1893018936
# 6| void Big::Big()

0 commit comments

Comments
 (0)