src/test/mir-opt/const_allocation2/64bit/rustc.main.ConstProp.after.mir

   1 // MIR for `main` after ConstProp
   2
   3 fn main() -> () {
   4     let mut _0: ();                      // return place in scope 0 at $DIR/const_allocation2.rs:4:11: 4:11
   5     let _1: &[(std::option::Option<i32>, &[&u8])]; // in scope 0 at $DIR/const_allocation2.rs:5:5: 5:8
   6     let mut _2: &&[(std::option::Option<i32>, &[&u8])]; // in scope 0 at $DIR/const_allocation2.rs:5:5: 5:8
   7
   8     bb0: {
   9         StorageLive(_1);                 // bb0[0]: scope 0 at $DIR/const_allocation2.rs:5:5: 5:8
  10         StorageLive(_2);                 // bb0[1]: scope 0 at $DIR/const_allocation2.rs:5:5: 5:8
  11         _2 = const {alloc0+0: &&[(std::option::Option<i32>, &[&u8])]}; // bb0[2]: scope 0 at $DIR/const_allocation2.rs:5:5: 5:8
  12                                          // ty::Const
  13                                          // + ty: &&[(std::option::Option<i32>, &[&u8])]
  14                                          // + val: Value(Scalar(alloc0+0))
  15                                          // mir::Constant
  16                                          // + span: $DIR/const_allocation2.rs:5:5: 5:8
  17                                          // + literal: Const { ty: &&[(std::option::Option<i32>, &[&u8])], val: Value(Scalar(alloc0+0)) }
  18         _1 = (*_2);                      // bb0[3]: scope 0 at $DIR/const_allocation2.rs:5:5: 5:8
  19         StorageDead(_2);                 // bb0[4]: scope 0 at $DIR/const_allocation2.rs:5:8: 5:9
  20         StorageDead(_1);                 // bb0[5]: scope 0 at $DIR/const_allocation2.rs:5:8: 5:9
  21         _0 = const ();                   // bb0[6]: scope 0 at $DIR/const_allocation2.rs:4:11: 6:2
  22                                          // ty::Const
  23                                          // + ty: ()
  24                                          // + val: Value(Scalar(<ZST>))
  25                                          // mir::Constant
  26                                          // + span: $DIR/const_allocation2.rs:4:11: 6:2
  27                                          // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
  28         return;                          // bb0[7]: scope 0 at $DIR/const_allocation2.rs:6:2: 6:2
  29     }
  30 }
  31
  32 alloc0 (static: FOO, size: 16, align: 8) {
  33     ╾──────alloc24+0──────╼ 03 00 00 00 00 00 00 00 │ ╾──────╼........
  34 }
  35
  36 alloc24 (size: 72, align: 8) {
  37     0x00 │ 00 00 00 00 __ __ __ __ ╾──────alloc9+0───────╼ │ ....░░░░╾──────╼
  38     0x10 │ 00 00 00 00 00 00 00 00 00 00 00 00 __ __ __ __ │ ............░░░░
  39     0x20 │ ╾──────alloc14+0──────╼ 02 00 00 00 00 00 00 00 │ ╾──────╼........
  40     0x30 │ 01 00 00 00 2a 00 00 00 ╾──────alloc22+0──────╼ │ ....*...╾──────╼
  41     0x40 │ 03 00 00 00 00 00 00 00                         │ ........
  42 }
  43
  44 alloc9 (size: 0, align: 8) {}
  45
  46 alloc14 (size: 16, align: 8) {
  47     ╾──────alloc12+0──────╼ ╾──────alloc13+0──────╼ │ ╾──────╼╾──────╼
  48 }
  49
  50 alloc12 (size: 1, align: 1) {
  51     05                                              │ .
  52 }
  53
  54 alloc13 (size: 1, align: 1) {
  55     06                                              │ .
  56 }
  57
  58 alloc22 (size: 24, align: 8) {
  59     0x00 │ ╾──────alloc18+3──────╼ ╾──────alloc19+0──────╼ │ ╾──────╼╾──────╼
  60     0x10 │ ╾──────alloc21+2──────╼                         │ ╾──────╼
  61 }
  62
  63 alloc18 (size: 4, align: 1) {
  64     2a 45 15 6f                                     │ *E.o
  65 }
  66
  67 alloc19 (size: 1, align: 1) {
  68     2a                                              │ *
  69 }
  70
  71 alloc21 (size: 4, align: 1) {
  72     2a 45 15 6f                                     │ *E.o
  73 }