@@ -61,23 +61,23 @@ int main() {
61
61
}
62
62
63
63
// clang-format off
64
- // CHECK: DEVID: 0 SGN:5 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:0 md_UB:4995
65
- // CHECK: DEVID: 1 SGN:5 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:4996 md_UB:9992
64
+ // CHECK: DEVID: 0 SGN:7 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:0 md_UB:4995
65
+ // CHECK: DEVID: 1 SGN:7 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:4996 md_UB:9992
66
66
67
- // CHECK: DEVID: 0 SGN:5 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:0 md_UB:4995
68
- // CHECK: DEVID: 1 SGN:5 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:4996 md_UB:9992
67
+ // CHECK: DEVID: 0 SGN:7 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:0 md_UB:4995
68
+ // CHECK: DEVID: 1 SGN:7 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:4996 md_UB:9992
69
69
70
- // CHECK: DEVID: 0 SGN:5 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:0 md_UB:4995
71
- // CHECK: DEVID: 1 SGN:5 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:4996 md_UB:9992
70
+ // CHECK: DEVID: 0 SGN:7 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:0 md_UB:4995
71
+ // CHECK: DEVID: 1 SGN:7 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:4996 md_UB:9992
72
72
73
- // CHECK: DEVID: 0 SGN:5 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:0 md_UB:4995
74
- // CHECK: DEVID: 1 SGN:5 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:4996 md_UB:9992
73
+ // CHECK: DEVID: 0 SGN:7 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:0 md_UB:4995
74
+ // CHECK: DEVID: 1 SGN:7 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:4996 md_UB:9992
75
75
76
- // CHECK: DEVID: 0 SGN:5 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:0 md_UB:4995
77
- // CHECK: DEVID: 1 SGN:5 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:4996 md_UB:9992
76
+ // CHECK: DEVID: 0 SGN:7 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:0 md_UB:4995
77
+ // CHECK: DEVID: 1 SGN:7 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:4996 md_UB:9992
78
78
79
- // CHECK: DEVID: 0 SGN:5 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:0 md_UB:4995
80
- // CHECK: DEVID: 1 SGN:5 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:4996 md_UB:9992
79
+ // CHECK: DEVID: 0 SGN:7 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:0 md_UB:4995
80
+ // CHECK: DEVID: 1 SGN:7 {{.*}} tripcount:9993 rpc:0 md:1 md_LB:4996 md_UB:9992
81
81
// clang-format on
82
82
83
83
// CHECK: a[40] = 12
0 commit comments