]> git.lizzy.rs Git - rust.git/blob - src/test/mir-opt/deaggregator_test_enum.rs
[WIP] Move MIR towards a single kind of local
[rust.git] / src / test / mir-opt / deaggregator_test_enum.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 enum Baz {
12     Empty,
13     Foo { x: usize },
14 }
15
16 fn bar(a: usize) -> Baz {
17     Baz::Foo { x: a }
18 }
19
20 fn main() {
21     let x = bar(10);
22     match x {
23         Baz::Empty => println!("empty"),
24         Baz::Foo { x } => println!("{}", x),
25     };
26 }
27
28 // END RUST SOURCE
29 // START rustc.node10.Deaggregator.before.mir
30 // bb0: {
31 //     local2 = local1;                     // scope 0 at main.rs:7:8: 7:9
32 //     local3 = local2;                     // scope 1 at main.rs:8:19: 8:20
33 //     local0 = Baz::Foo { x: local3 };   // scope 1 at main.rs:8:5: 8:21
34 //     goto -> bb1;                     // scope 1 at main.rs:7:1: 9:2
35 // }
36 // END rustc.node10.Deaggregator.before.mir
37 // START rustc.node10.Deaggregator.after.mir
38 // bb0: {
39 //     local2 = local1;                     // scope 0 at main.rs:7:8: 7:9
40 //     local3 = local2;                     // scope 1 at main.rs:8:19: 8:20
41 //     ((local0 as Foo).0: usize) = local3; // scope 1 at main.rs:8:5: 8:21
42 //     discriminant(local0) = 1;         // scope 1 at main.rs:8:5: 8:21
43 //     goto -> bb1;                     // scope 1 at main.rs:7:1: 9:2
44 // }
45 // END rustc.node10.Deaggregator.after.mir