FileCheck ref_deref. · rust-lang/rust@6baec3c (original) (raw)
4 files changed
lines changed
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -7,6 +7,9 @@ | ||
| 7 | 7 | let mut _2: &i32; |
| 8 | 8 | let _3: i32; |
| 9 | 9 | let mut _4: &i32; |
| 10 | + scope 1 { | |
| 11 | + debug a => _1; | |
| 12 | + } | |
| 10 | 13 | |
| 11 | 14 | bb0: { |
| 12 | 15 | StorageLive(_1); |
| @@ -15,8 +18,8 @@ | ||
| 15 | 18 | _2 = &(*_4); |
| 16 | 19 | _1 = (*_2); |
| 17 | 20 | StorageDead(_2); |
| 18 | - StorageDead(_1); | |
| 19 | 21 | _0 = const (); |
| 22 | + StorageDead(_1); | |
| 20 | 23 | return; |
| 21 | 24 | } |
| 22 | 25 | } |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,7 +1,9 @@ | ||
| 1 | -// skip-filecheck | |
| 2 | 1 | // unit-test: ConstProp |
| 3 | -// EMIT_MIR ref_deref.main.ConstProp.diff | |
| 4 | 2 | |
| 3 | +// EMIT_MIR ref_deref.main.ConstProp.diff | |
| 5 | 4 | fn main() { |
| 6 | -*(&4); | |
| 5 | +// CHECK-LABEL: fn main( | |
| 6 | +// CHECK: debug a => [[a:_.*]]; | |
| 7 | +// CHECK: [[a]] = (*{{_.*}}); | |
| 8 | +let a = *(&4); | |
| 7 | 9 | } |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -7,6 +7,9 @@ | ||
| 7 | 7 | let mut _2: &i32; |
| 8 | 8 | let _3: (i32, i32); |
| 9 | 9 | let mut _4: &(i32, i32); |
| 10 | + scope 1 { | |
| 11 | + debug a => _1; | |
| 12 | + } | |
| 10 | 13 | |
| 11 | 14 | bb0: { |
| 12 | 15 | StorageLive(_1); |
| @@ -15,8 +18,8 @@ | ||
| 15 | 18 | _2 = &((*_4).1: i32); |
| 16 | 19 | _1 = (*_2); |
| 17 | 20 | StorageDead(_2); |
| 18 | - StorageDead(_1); | |
| 19 | 21 | _0 = const (); |
| 22 | + StorageDead(_1); | |
| 20 | 23 | return; |
| 21 | 24 | } |
| 22 | 25 | } |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,7 +1,10 @@ | ||
| 1 | -// skip-filecheck | |
| 1 | +// This does not currently propagate (#67862) | |
| 2 | 2 | // unit-test: ConstProp |
| 3 | -// EMIT_MIR ref_deref_project.main.ConstProp.diff | |
| 4 | 3 | |
| 4 | +// EMIT_MIR ref_deref_project.main.ConstProp.diff | |
| 5 | 5 | fn main() { |
| 6 | -*(&(4, 5).1); // This does not currently propagate (#67862) | |
| 6 | +// CHECK-LABEL: fn main( | |
| 7 | +// CHECK: debug a => [[a:_.*]]; | |
| 8 | +// CHECK: [[a]] = (*{{_.*}}); | |
| 9 | +let a = *(&(4, 5).1); | |
| 7 | 10 | } |