diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2024-06-27 14:51:58 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2024-07-13 11:54:25 +0000 |
| commit | 76f5bc6a9ffcd0b3255b5266cc963635a12f6016 (patch) | |
| tree | ebc537fd2d61f3198eb3a656d24a84c192a16c76 /tests/mir-opt/dataflow-const-prop/struct.rs | |
| parent | 44fb8575dee0c1f2d454962ae78b09817a0f32b1 (diff) | |
| download | rust-76f5bc6a9ffcd0b3255b5266cc963635a12f6016.tar.gz rust-76f5bc6a9ffcd0b3255b5266cc963635a12f6016.zip | |
Create mapped places upon seeing them in the body.
Diffstat (limited to 'tests/mir-opt/dataflow-const-prop/struct.rs')
| -rw-r--r-- | tests/mir-opt/dataflow-const-prop/struct.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/mir-opt/dataflow-const-prop/struct.rs b/tests/mir-opt/dataflow-const-prop/struct.rs index 4b160c3dab7..89ad1b87029 100644 --- a/tests/mir-opt/dataflow-const-prop/struct.rs +++ b/tests/mir-opt/dataflow-const-prop/struct.rs @@ -46,7 +46,7 @@ fn main() { const SMALL_VAL: SmallStruct = SmallStruct(4., Some(S(1)), &[]); // CHECK: [[a1]] = const 4f32; - // CHECK: [[b1]] = const Option::<S>::Some(S(1_i32)); + // CHECK: [[b1]] = ({{_.*}}.1: std::option::Option<S>); // CHECK: [[c1]] = ({{_.*}}.2: &[f32]); let SmallStruct(a1, b1, c1) = SMALL_VAL; @@ -69,12 +69,12 @@ fn main() { static BIG_STAT: &BigStruct = &BigStruct(82., Some(S(35)), &[45., 72.]); // CHECK: [[a4]] = const 82f32; - // CHECK: [[b4]] = const Option::<S>::Some(S(35_i32)); + // CHECK: [[b4]] = ((*{{_.*}}).1: std::option::Option<S>); // CHECK: [[c4]] = ((*{{_.*}}).2: &[f32]); let BigStruct(a4, b4, c4) = *BIG_STAT; // We arbitrarily limit the size of synthetized values to 4 pointers. // `BigStruct` can be read, but we will keep a MIR aggregate for this. - // CHECK: [[bs]] = BigStruct(const 82f32, const Option::<S>::Some(S(35_i32)), move {{_.*}}); + // CHECK: [[bs]] = BigStruct(const 82f32, move {{.*}}, move {{_.*}}); let bs = BigStruct(a4, b4, c4); } |
