| //! Verify that we manage to propagate the value of aggregate `a` even without directly mentioning |
| //! the contained scalars. |
| //@ test-mir-pass: DataflowConstProp |
| //@ compile-flags: -Zdump-mir-exclude-alloc-bytes |
| |
| const Foo: (u32, u32) = (5, 3); |
| |
| fn foo() -> u32 { |
| // CHECK-LABEL: fn foo( |
| // CHECK: debug a => [[a:_.*]]; |
| // CHECK: debug b => [[b:_.*]]; |
| // CHECK: debug c => [[c:_.*]]; |
| |
| // CHECK:bb0: { |
| // CHECK: [[a]] = const Foo; |
| // CHECK: [[b]] = const (5_u32, 3_u32); |
| // CHECK: [[c]] = const 3_u32; |
| // CHECK: {{_.*}} = const 3_u32; |
| // CHECK: {{_.*}} = const true; |
| // CHECK: switchInt(const true) -> [0: bb2, otherwise: bb1]; |
| |
| // CHECK:bb1: { |
| // CHECK: _0 = const 5_u32; |
| // CHECK: goto -> bb3; |
| |
| // CHECK:bb2: { |
| // CHECK: _0 = const 13_u32; |
| // CHECK: goto -> bb3; |
| |
| let a = Foo; |
| // This copies the struct in `a`. We want to ensure that we do track the contents of `a` |
| // because we need to read `b` later. |
| let b = a; |
| let c = b.1; |
| if c >= 2 { b.0 } else { 13 } |
| } |
| |
| fn main() { |
| // CHECK-LABEL: fn main( |
| foo(); |
| } |
| |
| // EMIT_MIR aggregate_copy.foo.DataflowConstProp.diff |
