@@ -77,21 +77,21 @@ bool func(bool a, bool b) {
7777 return (maybe_has_side_effects (), a) ?: b;
7878}
7979
80- // CHECK: cir.func @_Z4funcbb(%arg0 : !cir.bool
81- // CHECK: cir.alloca !cir.bool, !cir.ptr<!cir.bool>, ["a", init]
82- // CHECK: cir.alloca !cir.bool, !cir.ptr<!cir.bool>, ["b", init]
83- // CHECK: cir.alloca !cir.bool, !cir.ptr<!cir.bool>, ["__retval"]
84- // CHECK: cir.store %arg0, %0 : !cir.bool, !cir.ptr<!cir.bool>
85- // CHECK: cir.store %arg1, %1 : !cir.bool, !cir.ptr<!cir.bool>
80+ // CHECK: cir.func @_Z4funcbb([[ARG_A:%.*]] : !cir.bool {{.*}}, [[ARG_B:%.*]]: !cir.bool {{.*}}
81+ // CHECK: [[ALLOC_A:%.*]] = cir.alloca !cir.bool, !cir.ptr<!cir.bool>, ["a", init]
82+ // CHECK: [[ALLOC_B:%.*]] = cir.alloca !cir.bool, !cir.ptr<!cir.bool>, ["b", init]
83+ // CHECK: [[ALLOC_RET:%.*]] = cir.alloca !cir.bool, !cir.ptr<!cir.bool>, ["__retval"]
84+ // CHECK: cir.store [[ARG_A]], [[ALLOC_A]] : !cir.bool, !cir.ptr<!cir.bool>
85+ // CHECK: cir.store [[ARG_B]], [[ALLOC_B]] : !cir.bool, !cir.ptr<!cir.bool>
8686// CHECK: cir.call @_Z22maybe_has_side_effectsv() : () -> ()
87- // CHECK: [[A0:%.*]] = cir.load %0 : !cir.ptr<!cir.bool>, !cir.bool
87+ // CHECK: [[A0:%.*]] = cir.load [[ALLOC_A]] : !cir.ptr<!cir.bool>, !cir.bool
8888// CHECK: [[RES:%.*]] = cir.ternary([[A0]], true {
89- // CHECK: [[A1:%.*]] = cir.load %0 : !cir.ptr<!cir.bool>, !cir.bool
89+ // CHECK: [[A1:%.*]] = cir.load [[ALLOC_A]] : !cir.ptr<!cir.bool>, !cir.bool
9090// CHECK: cir.yield [[A1]] : !cir.bool
9191// CHECK: }, false {
92- // CHECK: [[B0:%.*]] = cir.load %1 : !cir.ptr<!cir.bool>, !cir.bool
92+ // CHECK: [[B0:%.*]] = cir.load [[ALLOC_B]] : !cir.ptr<!cir.bool>, !cir.bool
9393// CHECK: cir.yield [[B0]] : !cir.bool
9494// CHECK: }) : (!cir.bool) -> !cir.bool
95- // CHECK: cir.store [[RES]], %2 : !cir.bool, !cir.ptr<!cir.bool>
96- // CHECK: [[R:%.*]] = cir.load %2 : !cir.ptr<!cir.bool>, !cir.bool
95+ // CHECK: cir.store [[RES]], [[ALLOC_RET]] : !cir.bool, !cir.ptr<!cir.bool>
96+ // CHECK: [[R:%.*]] = cir.load [[ALLOC_RET]] : !cir.ptr<!cir.bool>, !cir.bool
9797// CHECK: cir.return [[R]] : !cir.bool
0 commit comments