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

   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);                 // scope 0 at $DIR/const_allocation2.rs:5:5: 5:8
  10         StorageLive(_2);                 // scope 0 at $DIR/const_allocation2.rs:5:5: 5:8
  11         _2 = const {alloc0: &&[(std::option::Option<i32>, &[&u8])]}; // 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))
  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)) }
  18         _1 = (*_2);                      // scope 0 at $DIR/const_allocation2.rs:5:5: 5:8
  19         StorageDead(_2);                 // scope 0 at $DIR/const_allocation2.rs:5:8: 5:9
  20         StorageDead(_1);                 // scope 0 at $DIR/const_allocation2.rs:5:8: 5:9
  21         _0 = const ();                   // scope 0 at $DIR/const_allocation2.rs:4:11: 6:2
  22         return;                          // scope 0 at $DIR/const_allocation2.rs:6:2: 6:2
  23     }
  24 }
  25
  26 alloc0 (static: FOO, size: 16, align: 8) {
  27     ╾───────alloc23───────╼ 03 00 00 00 00 00 00 00 │ ╾──────╼........
  28 }
  29
  30 alloc23 (size: 72, align: 8) {
  31     0x00 │ 00 00 00 00 __ __ __ __ ╾───────alloc8────────╼ │ ....░░░░╾──────╼
  32     0x10 │ 00 00 00 00 00 00 00 00 00 00 00 00 __ __ __ __ │ ............░░░░
  33     0x20 │ ╾───────alloc13───────╼ 02 00 00 00 00 00 00 00 │ ╾──────╼........
  34     0x30 │ 01 00 00 00 2a 00 00 00 ╾───────alloc21───────╼ │ ....*...╾──────╼
  35     0x40 │ 03 00 00 00 00 00 00 00                         │ ........
  36 }
  37
  38 alloc8 (size: 0, align: 8) {}
  39
  40 alloc13 (size: 16, align: 8) {
  41     ╾───────alloc11───────╼ ╾───────alloc12───────╼ │ ╾──────╼╾──────╼
  42 }
  43
  44 alloc11 (size: 1, align: 1) {
  45     05                                              │ .
  46 }
  47
  48 alloc12 (size: 1, align: 1) {
  49     06                                              │ .
  50 }
  51
  52 alloc21 (size: 24, align: 8) {
  53     0x00 │ ╾─────alloc17+0x3─────╼ ╾───────alloc18───────╼ │ ╾──────╼╾──────╼
  54     0x10 │ ╾─────alloc20+0x2─────╼                         │ ╾──────╼
  55 }
  56
  57 alloc17 (size: 4, align: 1) {
  58     2a 45 15 6f                                     │ *E.o
  59 }
  60
  61 alloc18 (size: 1, align: 1) {
  62     2a                                              │ *
  63 }
  64
  65 alloc20 (size: 4, align: 1) {
  66     2a 45 15 6f                                     │ *E.o
  67 }