src/test/mir-opt/const_prop/optimizes_into_variable/64bit/rustc.main.SimplifyLocals.after.mir

   1 // MIR for `main` after SimplifyLocals
   2
   3 fn main() -> () {
   4     let mut _0: ();                      // return place in scope 0 at $DIR/optimizes_into_variable.rs:11:11: 11:11
   5     let _1: i32;                         // in scope 0 at $DIR/optimizes_into_variable.rs:12:9: 12:10
   6     scope 1 {
   7         debug x => _1;                   // in scope 1 at $DIR/optimizes_into_variable.rs:12:9: 12:10
   8         let _2: i32;                     // in scope 1 at $DIR/optimizes_into_variable.rs:13:9: 13:10
   9         scope 2 {
  10             debug y => _2;               // in scope 2 at $DIR/optimizes_into_variable.rs:13:9: 13:10
  11             let _3: u32;                 // in scope 2 at $DIR/optimizes_into_variable.rs:14:9: 14:10
  12             scope 3 {
  13                 debug z => _3;           // in scope 3 at $DIR/optimizes_into_variable.rs:14:9: 14:10
  14             }
  15         }
  16     }
  17
  18     bb0: {
  19         StorageLive(_1);                 // bb0[0]: scope 0 at $DIR/optimizes_into_variable.rs:12:9: 12:10
  20         _1 = const 4i32;                 // bb0[1]: scope 0 at $DIR/optimizes_into_variable.rs:12:13: 12:18
  21                                          // ty::Const
  22                                          // + ty: i32
  23                                          // + val: Value(Scalar(0x00000004))
  24                                          // mir::Constant
  25                                          // + span: $DIR/optimizes_into_variable.rs:12:13: 12:18
  26                                          // + literal: Const { ty: i32, val: Value(Scalar(0x00000004)) }
  27         StorageLive(_2);                 // bb0[2]: scope 1 at $DIR/optimizes_into_variable.rs:13:9: 13:10
  28         _2 = const 3i32;                 // bb0[3]: scope 1 at $DIR/optimizes_into_variable.rs:13:13: 13:34
  29                                          // ty::Const
  30                                          // + ty: i32
  31                                          // + val: Value(Scalar(0x00000003))
  32                                          // mir::Constant
  33                                          // + span: $DIR/optimizes_into_variable.rs:13:13: 13:34
  34                                          // + literal: Const { ty: i32, val: Value(Scalar(0x00000003)) }
  35         StorageLive(_3);                 // bb0[4]: scope 2 at $DIR/optimizes_into_variable.rs:14:9: 14:10
  36         _3 = const 42u32;                // bb0[5]: scope 2 at $DIR/optimizes_into_variable.rs:14:13: 14:38
  37                                          // ty::Const
  38                                          // + ty: u32
  39                                          // + val: Value(Scalar(0x0000002a))
  40                                          // mir::Constant
  41                                          // + span: $DIR/optimizes_into_variable.rs:14:13: 14:38
  42                                          // + literal: Const { ty: u32, val: Value(Scalar(0x0000002a)) }
  43         _0 = const ();                   // bb0[6]: scope 0 at $DIR/optimizes_into_variable.rs:11:11: 15:2
  44                                          // ty::Const
  45                                          // + ty: ()
  46                                          // + val: Value(Scalar(<ZST>))
  47                                          // mir::Constant
  48                                          // + span: $DIR/optimizes_into_variable.rs:11:11: 15:2
  49                                          // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
  50         StorageDead(_3);                 // bb0[7]: scope 2 at $DIR/optimizes_into_variable.rs:15:1: 15:2
  51         StorageDead(_2);                 // bb0[8]: scope 1 at $DIR/optimizes_into_variable.rs:15:1: 15:2
  52         StorageDead(_1);                 // bb0[9]: scope 0 at $DIR/optimizes_into_variable.rs:15:1: 15:2
  53         return;                          // bb0[10]: scope 0 at $DIR/optimizes_into_variable.rs:15:2: 15:2
  54     }
  55 }