tests/mir-opt/derefer_inline_test.main.Derefer.diff

   1 - // MIR for `main` before Derefer
   2 + // MIR for `main` after Derefer
   3
   4   fn main() -> () {
   5       let mut _0: ();                      // return place in scope 0 at $DIR/derefer_inline_test.rs:+0:11: +0:11
   6       let _1: std::boxed::Box<std::boxed::Box<u32>>; // in scope 0 at $DIR/derefer_inline_test.rs:+1:5: +1:12
   7       let mut _2: usize;                   // in scope 0 at $DIR/derefer_inline_test.rs:+1:5: +1:12
   8       let mut _3: usize;                   // in scope 0 at $DIR/derefer_inline_test.rs:+1:5: +1:12
   9       let mut _4: *mut u8;                 // in scope 0 at $DIR/derefer_inline_test.rs:+1:5: +1:12
  10       let mut _5: std::boxed::Box<std::boxed::Box<u32>>; // in scope 0 at $DIR/derefer_inline_test.rs:+1:5: +1:12
  11       scope 1 {
  12       }
  13
  14       bb0: {
  15           StorageLive(_1);                 // scope 0 at $DIR/derefer_inline_test.rs:+1:5: +1:12
  16           _2 = SizeOf(std::boxed::Box<u32>); // scope 1 at $DIR/derefer_inline_test.rs:+1:5: +1:12
  17           _3 = AlignOf(std::boxed::Box<u32>); // scope 1 at $DIR/derefer_inline_test.rs:+1:5: +1:12
  18           _4 = alloc::alloc::exchange_malloc(move _2, move _3) -> bb1; // scope 1 at $DIR/derefer_inline_test.rs:+1:5: +1:12
  19                                            // mir::Constant
  20                                            // + span: $DIR/derefer_inline_test.rs:11:5: 11:12
  21                                            // + literal: Const { ty: unsafe fn(usize, usize) -> *mut u8 {alloc::alloc::exchange_malloc}, val: Value(<ZST>) }
  22       }
  23
  24       bb1: {
  25           StorageLive(_5);                 // scope 0 at $DIR/derefer_inline_test.rs:+1:5: +1:12
  26           _5 = ShallowInitBox(move _4, std::boxed::Box<u32>); // scope 0 at $DIR/derefer_inline_test.rs:+1:5: +1:12
  27           (*_5) = f() -> [return: bb2, unwind: bb6]; // scope 0 at $DIR/derefer_inline_test.rs:+1:9: +1:12
  28                                            // mir::Constant
  29                                            // + span: $DIR/derefer_inline_test.rs:11:9: 11:10
  30                                            // + literal: Const { ty: fn() -> Box<u32> {f}, val: Value(<ZST>) }
  31       }
  32
  33       bb2: {
  34           _1 = move _5;                    // scope 0 at $DIR/derefer_inline_test.rs:+1:5: +1:12
  35           drop(_5) -> [return: bb3, unwind: bb5]; // scope 0 at $DIR/derefer_inline_test.rs:+1:11: +1:12
  36       }
  37
  38       bb3: {
  39           StorageDead(_5);                 // scope 0 at $DIR/derefer_inline_test.rs:+1:11: +1:12
  40           drop(_1) -> bb4;                 // scope 0 at $DIR/derefer_inline_test.rs:+1:12: +1:13
  41       }
  42
  43       bb4: {
  44           StorageDead(_1);                 // scope 0 at $DIR/derefer_inline_test.rs:+1:12: +1:13
  45           _0 = const ();                   // scope 0 at $DIR/derefer_inline_test.rs:+0:11: +2:2
  46           return;                          // scope 0 at $DIR/derefer_inline_test.rs:+2:2: +2:2
  47       }
  48
  49       bb5 (cleanup): {
  50           drop(_1) -> bb7;                 // scope 0 at $DIR/derefer_inline_test.rs:+1:12: +1:13
  51       }
  52
  53       bb6 (cleanup): {
  54           drop(_5) -> bb7;                 // scope 0 at $DIR/derefer_inline_test.rs:+1:11: +1:12
  55       }
  56
  57       bb7 (cleanup): {
  58           resume;                          // scope 0 at $DIR/derefer_inline_test.rs:+0:1: +2:2
  59       }
  60   }
  61