hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 03:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Accept test results for GVN and sign analysis

Browse Source
This commit is contained in:
Jonas Jensen
2019-10-24 15:17:16 +02:00
parent 7a6ec83572
commit 11da4a5328
2 changed files with 101 additions and 161 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
cpp/ql/test/library-tests/rangeanalysis/signanalysis/SignAnalysis.expected
View File

@@ -13,7 +13,6 @@
| bounded_bounds.c:16:12:16:12 | Load: x | negative strictlyNegative |
| bounded_bounds.c:16:12:16:12 | Store: x | negative strictlyNegative |
| inline_assembly.c:9:23:9:23 | Uninitialized: definition of y | positive |
| inline_assembly.c:10:3:10:7 | CopyValue: ... = ... | positive strictlyPositive |
| inline_assembly.c:10:3:10:7 | Store: ... = ... | positive strictlyPositive |
| inline_assembly.c:10:7:10:7 | Constant: (unsigned int)... | positive strictlyPositive |
| inline_assembly.c:12:32:12:32 | Load: y | positive strictlyPositive |
@@ -28,10 +27,8 @@
| minmax.c:18:37:18:37 | Load: x | positive strictlyPositive |
| minmax.c:18:40:18:40 | Load: y | positive strictlyPositive |
| minmax.c:18:43:18:43 | Load: z | positive strictlyPositive |
| minmax.c:20:2:24:3 | CopyValue: ... = ... | positive |
| minmax.c:20:2:24:3 | Store: ... = ... | positive |
| minmax.c:20:6:24:3 | CopyValue: (statement expression) | positive |
| minmax.c:22:18:22:22 | CopyValue: ... = ... | positive strictlyPositive |
| minmax.c:22:18:22:22 | Store: ... = ... | positive strictlyPositive |
| minmax.c:22:22:22:22 | Load: x | positive strictlyPositive |
| minmax.c:23:3:23:3 | Load: t | positive |
@@ -40,7 +37,6 @@
| minmax.c:26:40:26:40 | Load: y | positive strictlyPositive |
| minmax.c:26:43:26:43 | Load: z | positive |
| test.c:7:10:7:10 | Phi: p | positive |
| test.c:8:5:8:19 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:8:5:8:19 | Store: ... = ... | positive strictlyPositive |
| test.c:8:13:8:17 | Load: count | positive |
| test.c:8:13:8:19 | Add: ... + ... | positive strictlyPositive |
@@ -48,7 +44,6 @@
| test.c:10:10:10:14 | Load: count | positive |
| test.c:10:10:10:14 | Store: count | positive |
| test.c:15:10:15:10 | Phi: p | positive |
| test.c:16:5:16:26 | CopyValue: ... = ... | positive |
| test.c:16:5:16:26 | Store: ... = ... | positive |
| test.c:16:13:16:26 | Rem: ... % ... | positive |
| test.c:16:14:16:18 | Load: count | positive |
@@ -62,7 +57,6 @@
| test.c:24:5:24:11 | Constant: ... ++ | positive strictlyPositive |
| test.c:24:5:24:11 | Load: ... ++ | positive |
| test.c:24:5:24:11 | Store: ... ++ | positive strictlyPositive |
| test.c:25:5:25:22 | CopyValue: ... = ... | positive |
| test.c:25:5:25:22 | Store: ... = ... | positive |
| test.c:25:13:25:17 | Load: count | positive strictlyPositive |
| test.c:25:13:25:22 | Rem: ... % ... | positive |
@@ -73,7 +67,6 @@
| test.c:33:15:33:15 | Phi: i | positive |
| test.c:33:15:33:15 | Phi: i | positive |
| test.c:33:19:33:19 | Constant: 2 | positive strictlyPositive |
| test.c:33:22:33:28 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:33:22:33:28 | Store: ... = ... | positive strictlyPositive |
| test.c:33:26:33:26 | Load: i | positive |
| test.c:33:26:33:28 | Add: ... + ... | positive strictlyPositive |
@@ -108,7 +101,6 @@
| test.c:51:15:51:17 | Add: ... + ... | positive strictlyPositive |
| test.c:51:17:51:17 | Constant: 2 | positive strictlyPositive |
| test.c:51:21:51:21 | Constant: 4 | positive strictlyPositive |
| test.c:51:24:51:30 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:51:24:51:30 | Store: ... = ... | positive strictlyPositive |
| test.c:51:28:51:28 | Load: i | positive |
| test.c:51:28:51:30 | Add: ... + ... | positive strictlyPositive |
@@ -467,7 +459,6 @@
| test.c:343:5:343:7 | Constant: ... ++ | positive strictlyPositive |
| test.c:343:5:343:7 | Load: ... ++ | positive |
| test.c:343:5:343:7 | Store: ... ++ | positive strictlyPositive |
| test.c:345:3:345:7 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:345:3:345:7 | Store: ... = ... | positive strictlyPositive |
| test.c:345:7:345:7 | Load: i | positive strictlyPositive |
| test.c:346:7:346:7 | Load: x | positive |
@@ -483,7 +474,6 @@
| test.c:356:36:356:37 | Uninitialized: definition of y6 | positive |
| test.c:356:40:356:41 | Uninitialized: definition of y7 | positive |
| test.c:356:44:356:45 | Uninitialized: definition of y8 | positive |
| test.c:357:3:357:23 | CopyValue: ... = ... | positive |
| test.c:357:3:357:23 | Store: ... = ... | positive |
| test.c:357:8:357:8 | Load: x | positive |
| test.c:357:8:357:23 | Load: ... ? ... : ... | positive |
@@ -493,7 +483,6 @@
| test.c:357:12:357:14 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:357:18:357:18 | Load: x | positive |
| test.c:357:22:357:23 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:358:3:358:24 | CopyValue: ... = ... | positive |
| test.c:358:3:358:24 | Store: ... = ... | positive |
| test.c:358:8:358:8 | Load: x | positive |
| test.c:358:8:358:24 | Load: ... ? ... : ... | positive |
@@ -505,7 +494,6 @@
| test.c:358:24:358:24 | Load: x | positive |
| test.c:365:7:365:7 | Load: x | positive |
| test.c:365:11:365:13 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:366:5:366:15 | CopyValue: ... = ... | positive |
| test.c:366:5:366:15 | Store: ... = ... | positive |
| test.c:366:10:366:10 | Load: x | positive |
| test.c:366:10:366:15 | Load: ... ? ... : ... | positive |
@@ -513,7 +501,6 @@
| test.c:366:10:366:15 | Store: ... ? ... : ... | positive |
| test.c:366:10:366:15 | Store: ... ? ... : ... | positive strictlyPositive |
| test.c:366:15:366:15 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:367:5:367:17 | CopyValue: ... = ... | positive |
| test.c:367:5:367:17 | Store: ... = ... | positive |
| test.c:367:10:367:10 | Load: x | positive |
| test.c:367:10:367:17 | Load: ... ? ... : ... | positive |
@@ -521,7 +508,6 @@
| test.c:367:10:367:17 | Store: ... ? ... : ... | positive |
| test.c:367:10:367:17 | Store: ... ? ... : ... | positive strictlyPositive |
| test.c:367:15:367:17 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:368:5:368:21 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:368:5:368:21 | Store: ... = ... | positive strictlyPositive |
| test.c:368:10:368:21 | Load: ... ? ... : ... | positive strictlyPositive |
| test.c:368:10:368:21 | Store: ... ? ... : ... | positive strictlyPositive |
@@ -529,7 +515,6 @@
| test.c:368:11:368:13 | Add: ... + ... | positive strictlyPositive |
| test.c:368:13:368:13 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:368:19:368:21 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:369:5:369:36 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:369:5:369:36 | Store: ... = ... | positive strictlyPositive |
| test.c:369:10:369:36 | Convert: (unsigned int)... | positive strictlyPositive |
| test.c:369:10:369:36 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -539,7 +524,6 @@
| test.c:369:27:369:29 | Add: ... + ... | positive strictlyPositive |
| test.c:369:29:369:29 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:369:36:369:36 | Constant: 5 | positive strictlyPositive |
| test.c:370:5:370:38 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:370:5:370:38 | Store: ... = ... | positive strictlyPositive |
| test.c:370:10:370:38 | Convert: (unsigned int)... | positive strictlyPositive |
| test.c:370:10:370:38 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -549,7 +533,6 @@
| test.c:370:27:370:29 | Add: ... + ... | positive strictlyPositive |
| test.c:370:29:370:29 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:370:36:370:38 | Constant: 500 | positive strictlyPositive |
| test.c:371:5:371:39 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:371:5:371:39 | Store: ... = ... | positive strictlyPositive |
| test.c:371:10:371:39 | Convert: (unsigned int)... | positive strictlyPositive |
| test.c:371:10:371:39 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -587,7 +570,6 @@
| test.c:378:24:378:25 | Uninitialized: definition of y3 | positive |
| test.c:378:28:378:29 | Uninitialized: definition of y4 | positive |
| test.c:378:32:378:33 | Uninitialized: definition of y5 | positive |
| test.c:379:3:379:24 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:379:3:379:24 | Store: ... = ... | positive strictlyPositive |
| test.c:379:8:379:8 | Load: x | positive |
| test.c:379:8:379:24 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -597,7 +579,6 @@
| test.c:379:12:379:14 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:379:18:379:18 | Load: x | positive strictlyPositive |
| test.c:379:22:379:24 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:380:3:380:25 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:380:3:380:25 | Store: ... = ... | positive strictlyPositive |
| test.c:380:8:380:8 | Load: x | positive |
| test.c:380:8:380:25 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -607,18 +588,14 @@
| test.c:380:13:380:15 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:380:19:380:21 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:380:25:380:25 | Load: x | positive strictlyPositive |
| test.c:381:3:381:11 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:381:3:381:11 | Store: ... = ... | positive strictlyPositive |
| test.c:381:8:381:11 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:382:3:382:11 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:382:3:382:11 | Store: ... = ... | positive strictlyPositive |
| test.c:382:8:382:11 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:383:3:383:11 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:383:3:383:11 | Store: ... = ... | positive strictlyPositive |
| test.c:383:8:383:11 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:384:7:384:7 | Load: x | positive |
| test.c:384:12:384:14 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:385:5:385:21 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:385:5:385:21 | Store: ... = ... | positive strictlyPositive |
| test.c:385:10:385:21 | Load: ... ? ... : ... | positive strictlyPositive |
| test.c:385:10:385:21 | Store: ... ? ... : ... | positive strictlyPositive |
@@ -626,7 +603,6 @@
| test.c:385:11:385:15 | Sub: ... - ... | positive |
| test.c:385:13:385:15 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:385:21:385:21 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:386:5:386:21 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:386:5:386:21 | Store: ... = ... | positive strictlyPositive |
| test.c:386:10:386:21 | Load: ... ? ... : ... | positive strictlyPositive |
| test.c:386:10:386:21 | Store: ... ? ... : ... | positive strictlyPositive |
@@ -634,7 +610,6 @@
| test.c:386:11:386:15 | Sub: ... - ... | positive |
| test.c:386:13:386:15 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:386:21:386:21 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:387:5:387:38 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:387:5:387:38 | Store: ... = ... | positive strictlyPositive |
| test.c:387:10:387:38 | Convert: (unsigned int)... | positive strictlyPositive |
| test.c:387:10:387:38 | Load: ... ? ... : ... | positive strictlyPositive |
@@ -669,7 +644,6 @@
| test.c:394:34:394:36 | Constant: (unsigned int)... | positive strictlyPositive |
| test.c:395:16:395:17 | Uninitialized: definition of y1 | positive |
| test.c:396:16:396:17 | Uninitialized: definition of y2 | positive |
| test.c:397:3:397:15 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:397:3:397:15 | Store: ... = ... | positive strictlyPositive |
| test.c:397:9:397:11 | Add: ++ ... | positive strictlyPositive |
| test.c:397:9:397:11 | Constant: ++ ... | positive strictlyPositive |
@@ -677,13 +651,11 @@
| test.c:397:9:397:11 | Store: ++ ... | positive strictlyPositive |
| test.c:397:9:397:14 | CopyValue: ... , ... | positive strictlyPositive |
| test.c:397:14:397:14 | Load: y | positive strictlyPositive |
| test.c:398:3:398:23 | CopyValue: ... = ... | positive strictlyPositive |
| test.c:398:3:398:23 | Store: ... = ... | positive strictlyPositive |
| test.c:398:9:398:11 | Add: ... ++ | positive strictlyPositive |
| test.c:398:9:398:11 | Constant: ... ++ | positive strictlyPositive |
| test.c:398:9:398:11 | Load: ... ++ | positive strictlyPositive |
| test.c:398:9:398:11 | Store: ... ++ | positive strictlyPositive |
| test.c:398:9:398:19 | CopyValue: ... , ... | positive strictlyPositive |
| test.c:398:9:398:22 | CopyValue: ... , ... | positive strictlyPositive |
| test.c:398:14:398:19 | Add: ... += ... | positive strictlyPositive |
| test.c:398:14:398:19 | Load: ... += ... | positive strictlyPositive |

234
cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/ir_gvn.expected
View File

@@ -40,40 +40,34 @@ test.cpp:
# 5| valnum = r0_7
# 5| m0_19(int) = Store : &:r0_18, r0_17
# 5| valnum = r0_17
# 5| r0_20(glval<int>) = CopyValue : r0_18
# 5| valnum = r0_7
# 6| r0_21(glval<int>) = VariableAddress[p0] :
# 6| r0_20(glval<int>) = VariableAddress[p0] :
# 6| valnum = r0_3
# 6| r0_22(int) = Load : &:r0_21, m0_4
# 6| r0_21(int) = Load : &:r0_20, m0_4
# 6| valnum = m0_4
# 6| r0_23(glval<int>) = VariableAddress[p1] :
# 6| r0_22(glval<int>) = VariableAddress[p1] :
# 6| valnum = r0_5
# 6| r0_24(int) = Load : &:r0_23, m0_6
# 6| r0_23(int) = Load : &:r0_22, m0_6
# 6| valnum = m0_6
# 6| r0_25(int) = Add : r0_22, r0_24
# 6| r0_24(int) = Add : r0_21, r0_23
# 6| valnum = r0_17
# 6| r0_26(glval<int>) = VariableAddress[x] :
# 6| r0_25(glval<int>) = VariableAddress[x] :
# 6| valnum = r0_7
# 6| m0_27(int) = Store : &:r0_26, r0_25
# 6| m0_26(int) = Store : &:r0_25, r0_24
# 6| valnum = r0_17
# 6| r0_28(glval<int>) = CopyValue : r0_26
# 6| valnum = r0_7
# 7| r0_29(glval<int>) = VariableAddress[x] :
# 7| r0_27(glval<int>) = VariableAddress[x] :
# 7| valnum = r0_7
# 7| r0_30(int) = Load : &:r0_29, m0_27
# 7| r0_28(int) = Load : &:r0_27, m0_26
# 7| valnum = r0_17
# 7| r0_31(glval<int>) = VariableAddress[y] :
# 7| r0_29(glval<int>) = VariableAddress[y] :
# 7| valnum = r0_9
# 7| m0_32(int) = Store : &:r0_31, r0_30
# 7| m0_30(int) = Store : &:r0_29, r0_28
# 7| valnum = r0_17
# 7| r0_33(glval<int>) = CopyValue : r0_31
# 7| valnum = r0_9
# 8| v0_34(void) = NoOp :
# 1| r0_35(glval<int>) = VariableAddress[#return] :
# 8| v0_31(void) = NoOp :
# 1| r0_32(glval<int>) = VariableAddress[#return] :
# 1| valnum = unique
# 1| v0_36(void) = ReturnValue : &:r0_35
# 1| v0_37(void) = UnmodeledUse : mu*
# 1| v0_38(void) = ExitFunction :
# 1| v0_33(void) = ReturnValue : &:r0_32
# 1| v0_34(void) = UnmodeledUse : mu*
# 1| v0_35(void) = ExitFunction :
# 12| int test01(int, int)
# 12| Block 0
@@ -122,46 +116,40 @@ test.cpp:
# 16| valnum = r0_7
# 16| m0_22(int) = Store : &:r0_21, r0_20
# 16| valnum = r0_20
# 16| r0_23(glval<int>) = CopyValue : r0_21
# 16| valnum = r0_7
# 17| r0_24(glval<int>) = VariableAddress[p0] :
# 17| r0_23(glval<int>) = VariableAddress[p0] :
# 17| valnum = r0_3
# 17| r0_25(int) = Load : &:r0_24, m0_4
# 17| r0_24(int) = Load : &:r0_23, m0_4
# 17| valnum = m0_4
# 17| r0_26(glval<int>) = VariableAddress[p1] :
# 17| r0_25(glval<int>) = VariableAddress[p1] :
# 17| valnum = r0_5
# 17| r0_27(int) = Load : &:r0_26, m0_6
# 17| r0_26(int) = Load : &:r0_25, m0_6
# 17| valnum = m0_6
# 17| r0_28(int) = Add : r0_25, r0_27
# 17| r0_27(int) = Add : r0_24, r0_26
# 17| valnum = r0_17
# 17| r0_29(glval<int>) = VariableAddress[global01] :
# 17| r0_28(glval<int>) = VariableAddress[global01] :
# 17| valnum = r0_18
# 17| r0_30(int) = Load : &:r0_29, ~m0_1
# 17| r0_29(int) = Load : &:r0_28, ~m0_1
# 17| valnum = unique
# 17| r0_31(int) = Add : r0_28, r0_30
# 17| valnum = r0_31
# 17| r0_32(glval<int>) = VariableAddress[x] :
# 17| r0_30(int) = Add : r0_27, r0_29
# 17| valnum = r0_30
# 17| r0_31(glval<int>) = VariableAddress[x] :
# 17| valnum = r0_7
# 17| m0_33(int) = Store : &:r0_32, r0_31
# 17| valnum = r0_31
# 17| r0_34(glval<int>) = CopyValue : r0_32
# 17| valnum = r0_7
# 18| r0_35(glval<int>) = VariableAddress[x] :
# 17| m0_32(int) = Store : &:r0_31, r0_30
# 17| valnum = r0_30
# 18| r0_33(glval<int>) = VariableAddress[x] :
# 18| valnum = r0_7
# 18| r0_36(int) = Load : &:r0_35, m0_33
# 18| valnum = r0_31
# 18| r0_37(glval<int>) = VariableAddress[y] :
# 18| r0_34(int) = Load : &:r0_33, m0_32
# 18| valnum = r0_30
# 18| r0_35(glval<int>) = VariableAddress[y] :
# 18| valnum = r0_9
# 18| m0_38(int) = Store : &:r0_37, r0_36
# 18| valnum = r0_31
# 18| r0_39(glval<int>) = CopyValue : r0_37
# 18| valnum = r0_9
# 19| v0_40(void) = NoOp :
# 12| r0_41(glval<int>) = VariableAddress[#return] :
# 18| m0_36(int) = Store : &:r0_35, r0_34
# 18| valnum = r0_30
# 19| v0_37(void) = NoOp :
# 12| r0_38(glval<int>) = VariableAddress[#return] :
# 12| valnum = unique
# 12| v0_42(void) = ReturnValue : &:r0_41
# 12| v0_43(void) = UnmodeledUse : mu*
# 12| v0_44(void) = ExitFunction :
# 12| v0_39(void) = ReturnValue : &:r0_38
# 12| v0_40(void) = UnmodeledUse : mu*
# 12| v0_41(void) = ExitFunction :
# 25| int test02(int, int)
# 25| Block 0
@@ -210,53 +198,47 @@ test.cpp:
# 29| valnum = r0_7
# 29| m0_22(int) = Store : &:r0_21, r0_20
# 29| valnum = r0_20
# 29| r0_23(glval<int>) = CopyValue : r0_21
# 29| valnum = r0_7
# 30| r0_24(glval<unknown>) = FunctionAddress[change_global02] :
# 30| r0_23(glval<unknown>) = FunctionAddress[change_global02] :
# 30| valnum = unique
# 30| v0_25(void) = Call : func:r0_24
# 30| m0_26(unknown) = ^CallSideEffect : ~m0_1
# 30| v0_24(void) = Call : func:r0_23
# 30| m0_25(unknown) = ^CallSideEffect : ~m0_1
# 30| valnum = unique
# 30| m0_27(unknown) = Chi : total:m0_1, partial:m0_26
# 30| m0_26(unknown) = Chi : total:m0_1, partial:m0_25
# 30| valnum = unique
# 31| r0_28(glval<int>) = VariableAddress[p0] :
# 31| r0_27(glval<int>) = VariableAddress[p0] :
# 31| valnum = r0_3
# 31| r0_29(int) = Load : &:r0_28, m0_4
# 31| r0_28(int) = Load : &:r0_27, m0_4
# 31| valnum = m0_4
# 31| r0_30(glval<int>) = VariableAddress[p1] :
# 31| r0_29(glval<int>) = VariableAddress[p1] :
# 31| valnum = r0_5
# 31| r0_31(int) = Load : &:r0_30, m0_6
# 31| r0_30(int) = Load : &:r0_29, m0_6
# 31| valnum = m0_6
# 31| r0_32(int) = Add : r0_29, r0_31
# 31| r0_31(int) = Add : r0_28, r0_30
# 31| valnum = r0_17
# 31| r0_33(glval<int>) = VariableAddress[global02] :
# 31| r0_32(glval<int>) = VariableAddress[global02] :
# 31| valnum = r0_18
# 31| r0_34(int) = Load : &:r0_33, ~m0_27
# 31| r0_33(int) = Load : &:r0_32, ~m0_26
# 31| valnum = unique
# 31| r0_35(int) = Add : r0_32, r0_34
# 31| valnum = r0_35
# 31| r0_36(glval<int>) = VariableAddress[x] :
# 31| r0_34(int) = Add : r0_31, r0_33
# 31| valnum = r0_34
# 31| r0_35(glval<int>) = VariableAddress[x] :
# 31| valnum = r0_7
# 31| m0_37(int) = Store : &:r0_36, r0_35
# 31| valnum = r0_35
# 31| r0_38(glval<int>) = CopyValue : r0_36
# 31| valnum = r0_7
# 32| r0_39(glval<int>) = VariableAddress[x] :
# 31| m0_36(int) = Store : &:r0_35, r0_34
# 31| valnum = r0_34
# 32| r0_37(glval<int>) = VariableAddress[x] :
# 32| valnum = r0_7
# 32| r0_40(int) = Load : &:r0_39, m0_37
# 32| valnum = r0_35
# 32| r0_41(glval<int>) = VariableAddress[y] :
# 32| r0_38(int) = Load : &:r0_37, m0_36
# 32| valnum = r0_34
# 32| r0_39(glval<int>) = VariableAddress[y] :
# 32| valnum = r0_9
# 32| m0_42(int) = Store : &:r0_41, r0_40
# 32| valnum = r0_35
# 32| r0_43(glval<int>) = CopyValue : r0_41
# 32| valnum = r0_9
# 33| v0_44(void) = NoOp :
# 25| r0_45(glval<int>) = VariableAddress[#return] :
# 32| m0_40(int) = Store : &:r0_39, r0_38
# 32| valnum = r0_34
# 33| v0_41(void) = NoOp :
# 25| r0_42(glval<int>) = VariableAddress[#return] :
# 25| valnum = unique
# 25| v0_46(void) = ReturnValue : &:r0_45
# 25| v0_47(void) = UnmodeledUse : mu*
# 25| v0_48(void) = ExitFunction :
# 25| v0_43(void) = ReturnValue : &:r0_42
# 25| v0_44(void) = UnmodeledUse : mu*
# 25| v0_45(void) = ExitFunction :
# 39| int test03(int, int, int*)
# 39| Block 0
@@ -309,60 +291,52 @@ test.cpp:
# 43| valnum = r0_9
# 43| m0_24(int) = Store : &:r0_23, r0_22
# 43| valnum = r0_22
# 43| r0_25(glval<int>) = CopyValue : r0_23
# 43| valnum = r0_9
# 44| r0_26(int) = Constant[0] :
# 44| valnum = r0_26
# 44| r0_27(glval<int *>) = VariableAddress[p2] :
# 44| r0_25(int) = Constant[0] :
# 44| valnum = r0_25
# 44| r0_26(glval<int *>) = VariableAddress[p2] :
# 44| valnum = r0_7
# 44| r0_28(int *) = Load : &:r0_27, m0_8
# 44| r0_27(int *) = Load : &:r0_26, m0_8
# 44| valnum = m0_8
# 44| r0_29(glval<int>) = CopyValue : r0_28
# 44| r0_28(glval<int>) = CopyValue : r0_27
# 44| valnum = m0_8
# 44| m0_30(int) = Store : &:r0_29, r0_26
# 44| valnum = r0_26
# 44| m0_31(unknown) = Chi : total:m0_1, partial:m0_30
# 44| m0_29(int) = Store : &:r0_28, r0_25
# 44| valnum = r0_25
# 44| m0_30(unknown) = Chi : total:m0_1, partial:m0_29
# 44| valnum = unique
# 44| r0_32(glval<int>) = CopyValue : r0_29
# 44| valnum = m0_8
# 45| r0_33(glval<int>) = VariableAddress[p0] :
# 45| r0_31(glval<int>) = VariableAddress[p0] :
# 45| valnum = r0_3
# 45| r0_34(int) = Load : &:r0_33, m0_4
# 45| r0_32(int) = Load : &:r0_31, m0_4
# 45| valnum = m0_4
# 45| r0_35(glval<int>) = VariableAddress[p1] :
# 45| r0_33(glval<int>) = VariableAddress[p1] :
# 45| valnum = r0_5
# 45| r0_36(int) = Load : &:r0_35, m0_6
# 45| r0_34(int) = Load : &:r0_33, m0_6
# 45| valnum = m0_6
# 45| r0_37(int) = Add : r0_34, r0_36
# 45| r0_35(int) = Add : r0_32, r0_34
# 45| valnum = r0_19
# 45| r0_38(glval<int>) = VariableAddress[global03] :
# 45| r0_36(glval<int>) = VariableAddress[global03] :
# 45| valnum = r0_20
# 45| r0_39(int) = Load : &:r0_38, ~m0_31
# 45| r0_37(int) = Load : &:r0_36, ~m0_30
# 45| valnum = unique
# 45| r0_40(int) = Add : r0_37, r0_39
# 45| valnum = r0_40
# 45| r0_41(glval<int>) = VariableAddress[x] :
# 45| r0_38(int) = Add : r0_35, r0_37
# 45| valnum = r0_38
# 45| r0_39(glval<int>) = VariableAddress[x] :
# 45| valnum = r0_9
# 45| m0_42(int) = Store : &:r0_41, r0_40
# 45| valnum = r0_40
# 45| r0_43(glval<int>) = CopyValue : r0_41
# 45| valnum = r0_9
# 46| r0_44(glval<int>) = VariableAddress[x] :
# 45| m0_40(int) = Store : &:r0_39, r0_38
# 45| valnum = r0_38
# 46| r0_41(glval<int>) = VariableAddress[x] :
# 46| valnum = r0_9
# 46| r0_45(int) = Load : &:r0_44, m0_42
# 46| valnum = r0_40
# 46| r0_46(glval<int>) = VariableAddress[y] :
# 46| r0_42(int) = Load : &:r0_41, m0_40
# 46| valnum = r0_38
# 46| r0_43(glval<int>) = VariableAddress[y] :
# 46| valnum = r0_11
# 46| m0_47(int) = Store : &:r0_46, r0_45
# 46| valnum = r0_40
# 46| r0_48(glval<int>) = CopyValue : r0_46
# 46| valnum = r0_11
# 47| v0_49(void) = NoOp :
# 39| r0_50(glval<int>) = VariableAddress[#return] :
# 46| m0_44(int) = Store : &:r0_43, r0_42
# 46| valnum = r0_38
# 47| v0_45(void) = NoOp :
# 39| r0_46(glval<int>) = VariableAddress[#return] :
# 39| valnum = unique
# 39| v0_51(void) = ReturnValue : &:r0_50
# 39| v0_52(void) = UnmodeledUse : mu*
# 39| v0_53(void) = ExitFunction :
# 39| v0_47(void) = ReturnValue : &:r0_46
# 39| v0_48(void) = UnmodeledUse : mu*
# 39| v0_49(void) = ExitFunction :
# 49| unsigned int my_strspn(char const*, char const*)
# 49| Block 0
@@ -419,8 +393,6 @@ test.cpp:
# 55| valnum = r0_7
# 55| m2_3(char *) = Store : &:r2_2, r2_1
# 55| valnum = m0_6
# 55| r2_4(glval<char *>) = CopyValue : r2_2
# 55| valnum = r0_7
#-----| Goto -> Block 3
# 56| Block 3
@@ -602,8 +574,6 @@ test.cpp:
# 80| valnum = r0_5
# 80| m1_6(signed short) = Store : &:r1_5, r1_4
# 80| valnum = r1_4
# 80| r1_7(glval<signed short>) = CopyValue : r1_5
# 80| valnum = r0_5
#-----| Goto -> Block 2
# 82| Block 2
@@ -680,12 +650,10 @@ test.cpp:
# 88| valnum = r0_9
# 88| m3_4(int) = Store : &:r3_3, r3_2
# 88| valnum = m3_0
# 88| r3_5(glval<int>) = CopyValue : r3_3
# 88| valnum = r0_9
# 89| v3_6(void) = NoOp :
# 84| v3_7(void) = ReturnVoid :
# 84| v3_8(void) = UnmodeledUse : mu*
# 84| v3_9(void) = ExitFunction :
# 89| v3_5(void) = NoOp :
# 84| v3_6(void) = ReturnVoid :
# 84| v3_7(void) = UnmodeledUse : mu*
# 84| v3_8(void) = ExitFunction :
# 91| int regression_test00()
# 91| Block 0