]> git.lizzy.rs Git - rust.git/blob - src/test/mir-opt/deaggregator_test_multiple.rs
Auto merge of #45353 - wesleywiser:untracked_queries, r=michaelwoerister
[rust.git] / src / test / mir-opt / deaggregator_test_multiple.rs
1 // Copyright 2016 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
4 //
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
10
11 // Test that deaggregate fires more than once per block
12
13 enum Foo {
14     A(i32),
15     B,
16 }
17
18 fn test(x: i32) -> [Foo; 2] {
19     [Foo::A(x), Foo::A(x)]
20 }
21
22 fn main() { }
23
24 // END RUST SOURCE
25 // START rustc.node10.Deaggregator.before.mir
26 // bb0: {
27 //     ...
28 //     _3 = _1;
29 //     ...
30 //     _2 = Foo::A(_3,);
31 //     ...
32 //     _5 = _1;
33 //     _4 = Foo::A(_5,);
34 //     ...
35 //     _0 = [_2, _4];
36 //     ...
37 //     return;
38 // }
39 // END rustc.node10.Deaggregator.before.mir
40 // START rustc.node10.Deaggregator.after.mir
41 // bb0: {
42 //     ...
43 //     _3 = _1;
44 //     ...
45 //     ((_2 as A).0: i32) = _3;
46 //     discriminant(_2) = 0;
47 //     ...
48 //     _5 = _1;
49 //     ((_4 as A).0: i32) = _5;
50 //     discriminant(_4) = 0;
51 //     ...
52 //     _0 = [_2, _4];
53 //     ...
54 //     return;
55 // }
56 // END rustc.node10.Deaggregator.after.mir