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 //     _2 = _1;
  29 //     ...
  30 //     _4 = _2;
  31 //     _3 = Foo::A(_4,);
  32 //     ...
  33 //     _6 = _2;
  34 //     _5 = Foo::A(_6,);
  35 //     ...
  36 //     _0 = [_3, _5];
  37 //     ...
  38 //     return;
  39 // }
  40 // END rustc.node10.Deaggregator.before.mir
  41 // START rustc.node10.Deaggregator.after.mir
  42 // bb0: {
  43 //     ...
  44 //     _2 = _1;
  45 //     ...
  46 //     _4 = _2;
  47 //     ((_3 as A).0: i32) = _4;
  48 //     discriminant(_3) = 0;
  49 //     ...
  50 //     _6 = _2;
  51 //     ((_5 as A).0: i32) = _6;
  52 //     discriminant(_5) = 0;
  53 //     ...
  54 //     _0 = [_3, _5];
  55 //     ...
  56 //     return;
  57 // }
  58 // END rustc.node10.Deaggregator.after.mir