tests/mir-opt/dataflow-const-prop/self_assign.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

//@ unit-test: DataflowConstProp

// EMIT_MIR self_assign.main.DataflowConstProp.diff

// CHECK-LABEL: fn main(
fn main() {
    // CHECK: debug a => [[a:_.*]];
    // CHECK: debug b => [[b:_.*]];

    let mut a = 0;

    // CHECK: [[a]] = Add(move {{_.*}}, const 1_i32);
    a = a + 1;

    // CHECK: [[a]] = move {{_.*}};
    a = a;

    // CHECK: [[b]] = &[[a]];
    let mut b = &a;

    // CHECK: [[b]] = move {{_.*}};
    b = b;

    // CHECK: [[a]] = move {{_.*}};
    a = *b;
}