| @@ -1,8 +1,21 @@ |
|
|
| 1 |
|
-// skip-filecheck |
| 2 |
1 |
// unit-test: ConstProp |
| 3 |
2 |
|
| 4 |
3 |
// EMIT_MIR address_of_pair.fn0.ConstProp.diff |
| 5 |
4 |
pub fn fn0() -> bool { |
|
5 |
+// CHECK-LABEL: fn fn0( |
|
6 |
+// CHECK: debug pair => [[pair:_.*]]; |
|
7 |
+// CHECK: debug ptr => [[ptr:_.*]]; |
|
8 |
+// CHECK: debug ret => [[ret:_.*]]; |
|
9 |
+// CHECK: (*[[ptr]]) = const true; |
|
10 |
+// CHECK-NOT: = const false; |
|
11 |
+// CHECK-NOT: = const true; |
|
12 |
+// CHECK: [[tmp:_.*]] = ([[pair]].1: bool); |
|
13 |
+// CHECK-NOT: = const false; |
|
14 |
+// CHECK-NOT: = const true; |
|
15 |
+// CHECK: [[ret]] = Not(move [[tmp]]); |
|
16 |
+// CHECK-NOT: = const false; |
|
17 |
+// CHECK-NOT: = const true; |
|
18 |
+// CHECK: _0 = [[ret]]; |
| 6 |
19 |
let mut pair = (1, false); |
| 7 |
20 |
let ptr = core::ptr::addr_of_mut!(pair.1); |
| 8 |
21 |
pair = (1, false); |