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

   1 // MIR for `main` after ConstProp
   2
   3 fn main() -> () {
   4     let mut _0: ();                      // return place in scope 0 at $DIR/const_allocation3.rs:4:11: 4:11
   5     let _1: &Packed;                     // in scope 0 at $DIR/const_allocation3.rs:5:5: 5:8
   6     let mut _2: &&Packed;                // in scope 0 at $DIR/const_allocation3.rs:5:5: 5:8
   7
   8     bb0: {
   9         StorageLive(_1);                 // scope 0 at $DIR/const_allocation3.rs:5:5: 5:8
  10         StorageLive(_2);                 // scope 0 at $DIR/const_allocation3.rs:5:5: 5:8
  11         _2 = const {alloc0: &&Packed};   // scope 0 at $DIR/const_allocation3.rs:5:5: 5:8
  12                                          // ty::Const
  13                                          // + ty: &&Packed
  14                                          // + val: Value(Scalar(alloc0))
  15                                          // mir::Constant
  16                                          // + span: $DIR/const_allocation3.rs:5:5: 5:8
  17                                          // + literal: Const { ty: &&Packed, val: Value(Scalar(alloc0)) }
  18         _1 = (*_2);                      // scope 0 at $DIR/const_allocation3.rs:5:5: 5:8
  19         StorageDead(_2);                 // scope 0 at $DIR/const_allocation3.rs:5:8: 5:9
  20         StorageDead(_1);                 // scope 0 at $DIR/const_allocation3.rs:5:8: 5:9
  21         _0 = const ();                   // scope 0 at $DIR/const_allocation3.rs:4:11: 6:2
  22         return;                          // scope 0 at $DIR/const_allocation3.rs:6:2: 6:2
  23     }
  24 }
  25
  26 alloc0 (static: FOO, size: 8, align: 8) {
  27     ╾───────alloc9────────╼                         │ ╾──────╼
  28 }
  29
  30 alloc9 (size: 180, align: 1) {
  31     0x00 │ ab ab ab ab ab ab ab ab ab ab ab ab ab ab ab ab │ ................
  32     0x10 │ ab ab ab ab ab ab ab ab ab ab ab ab ╾──alloc4── │ ............╾───
  33     0x20 │ ──────────╼ 01 ef cd ab 00 00 00 00 00 00 00 00 │ ───╼............
  34     0x30 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
  35     0x40 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
  36     0x50 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
  37     0x60 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
  38     0x70 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
  39     0x80 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ╾──── │ ..............╾─
  40     0x90 │ ─────alloc6─────╼ 00 00 ╾─────alloc7+0x63─────╼ │ ─────╼..╾──────╼
  41     0xa0 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
  42     0xb0 │ 00 00 00 00                                     │ ....
  43 }
  44
  45 alloc4 (size: 4, align: 4) {
  46     2a 00 00 00                                     │ *...
  47 }
  48
  49 alloc6 (fn: main)
  50
  51 alloc7 (size: 100, align: 1) {
  52     0x00 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
  53     0x10 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
  54     0x20 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
  55     0x30 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
  56     0x40 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
  57     0x50 │ 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 │ ................
  58     0x60 │ 00 00 00 00                                     │ ....
  59 }