about summary refs log tree commit diff
path: root/src/test/mir-opt/deaggregator_test_multiple.rs
blob: 34c41af273fea08b013cac696f68d048cb9b1b1a (plain)
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
// Test that deaggregate fires more than once per block

enum Foo {
    A(i32),
    B,
}

fn test(x: i32) -> [Foo; 2] {
    [Foo::A(x), Foo::A(x)]
}

fn main() {
    // Make sure the function actually gets instantiated.
    test(0);
}

// END RUST SOURCE
// START rustc.test.Deaggregator.before.mir
// bb0: {
//     ...
//     _3 = _1;
//     ...
//     _2 = Foo::A(move _3,);
//     ...
//     _5 = _1;
//     _4 = Foo::A(move _5,);
//     ...
//     _0 = [move _2, move _4];
//     ...
//     return;
// }
// END rustc.test.Deaggregator.before.mir
// START rustc.test.Deaggregator.after.mir
// bb0: {
//     ...
//     _3 = _1;
//     ...
//     ((_2 as A).0: i32) = move _3;
//     discriminant(_2) = 0;
//     ...
//     _5 = _1;
//     ((_4 as A).0: i32) = move _5;
//     discriminant(_4) = 0;
//     ...
//     _0 = [move _2, move _4];
//     ...
//     return;
// }
// END rustc.test.Deaggregator.after.mir