src/test/mir-opt/inline/inline_into_box_place.main.Inline.diff.64bit

   1 - // MIR for `main` before Inline
   2 + // MIR for `main` after Inline
   3
   4   fn main() -> () {
   5       let mut _0: ();                      // return place in scope 0 at $DIR/inline-into-box-place.rs:7:11: 7:11
   6       let _1: std::boxed::Box<std::vec::Vec<u32>>; // in scope 0 at $DIR/inline-into-box-place.rs:8:9: 8:11
   7       let mut _2: std::boxed::Box<std::vec::Vec<u32>>; // in scope 0 at $DIR/inline-into-box-place.rs:8:29: 8:43
   8       let mut _3: ();                      // in scope 0 at $DIR/inline-into-box-place.rs:8:42: 8:43
   9 +     let mut _4: &mut std::vec::Vec<u32>; // in scope 0 at $DIR/inline-into-box-place.rs:8:33: 8:43
  10       scope 1 {
  11           debug _x => _1;                  // in scope 1 at $DIR/inline-into-box-place.rs:8:9: 8:11
  12       }
  13 +     scope 2 {
  14 +     }
  15
  16       bb0: {
  17           StorageLive(_1);                 // scope 0 at $DIR/inline-into-box-place.rs:8:9: 8:11
  18           StorageLive(_2);                 // scope 0 at $DIR/inline-into-box-place.rs:8:29: 8:43
  19           _2 = Box(std::vec::Vec<u32>);    // scope 0 at $DIR/inline-into-box-place.rs:8:29: 8:43
  20 -         (*_2) = const std::vec::Vec::<u32>::new() -> [return: bb2, unwind: bb4]; // scope 0 at $DIR/inline-into-box-place.rs:8:33: 8:43
  21 +         _4 = &mut (*_2);                 // scope 0 at $DIR/inline-into-box-place.rs:8:33: 8:43
  22 +         ((*_4).0: alloc::raw_vec::RawVec<u32>) = const alloc::raw_vec::RawVec::<u32> { ptr: std::ptr::Unique::<u32> { pointer: {0x4 as *const u32}, _marker: std::marker::PhantomData::<u32> }, cap: 0_usize, alloc: std::alloc::Global }; // scope 2 at $SRC_DIR/alloc/src/vec.rs:LL:COL
  23                                            // ty::Const
  24 -                                          // + ty: fn() -> std::vec::Vec<u32> {std::vec::Vec::<u32>::new}
  25 -                                          // + val: Value(Scalar(<ZST>))
  26 +                                          // + ty: alloc::raw_vec::RawVec<u32>
  27 +                                          // + val: Value(ByRef { alloc: Allocation { bytes: [4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], relocations: Relocations(SortedMap { data: [] }), init_mask: InitMask { blocks: [65535], len: Size { raw: 16 } }, size: Size { raw: 16 }, align: Align { pow2: 3 }, mutability: Not, extra: () }, offset: Size { raw: 0 } })
  28                                            // mir::Constant
  29 -                                          // + span: $DIR/inline-into-box-place.rs:8:33: 8:41
  30 -                                          // + user_ty: UserType(1)
  31 -                                          // + literal: Const { ty: fn() -> std::vec::Vec<u32> {std::vec::Vec::<u32>::new}, val: Value(Scalar(<ZST>)) }
  32 -     }
  33 -
  34 -     bb1 (cleanup): {
  35 -         resume;                          // scope 0 at $DIR/inline-into-box-place.rs:7:1: 9:2
  36 -     }
  37 -
  38 -     bb2: {
  39 +                                          // + span: $SRC_DIR/alloc/src/vec.rs:LL:COL
  40 +                                          // + user_ty: UserType(0)
  41 +                                          // + literal: Const { ty: alloc::raw_vec::RawVec<u32>, val: Value(ByRef { alloc: Allocation { bytes: [4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], relocations: Relocations(SortedMap { data: [] }), init_mask: InitMask { blocks: [65535], len: Size { raw: 16 } }, size: Size { raw: 16 }, align: Align { pow2: 3 }, mutability: Not, extra: () }, offset: Size { raw: 0 } }) }
  42 +         ((*_4).1: usize) = const 0_usize; // scope 2 at $SRC_DIR/alloc/src/vec.rs:LL:COL
  43           _1 = move _2;                    // scope 0 at $DIR/inline-into-box-place.rs:8:29: 8:43
  44           StorageDead(_2);                 // scope 0 at $DIR/inline-into-box-place.rs:8:42: 8:43
  45           _0 = const ();                   // scope 0 at $DIR/inline-into-box-place.rs:7:11: 9:2
  46                                            // ty::Const
  47                                            // + ty: ()
  48                                            // + val: Value(Scalar(<ZST>))
  49                                            // mir::Constant
  50                                            // + span: $DIR/inline-into-box-place.rs:7:11: 9:2
  51                                            // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
  52 -         drop(_1) -> [return: bb3, unwind: bb1]; // scope 0 at $DIR/inline-into-box-place.rs:9:1: 9:2
  53 +         drop(_1) -> [return: bb2, unwind: bb1]; // scope 0 at $DIR/inline-into-box-place.rs:9:1: 9:2
  54       }
  55
  56 -     bb3: {
  57 -         StorageDead(_1);                 // scope 0 at $DIR/inline-into-box-place.rs:9:1: 9:2
  58 -         return;                          // scope 0 at $DIR/inline-into-box-place.rs:9:2: 9:2
  59 +     bb1 (cleanup): {
  60 +         resume;                          // scope 0 at $DIR/inline-into-box-place.rs:7:1: 9:2
  61       }
  62
  63 -     bb4 (cleanup): {
  64 -         _3 = const alloc::alloc::box_free::<std::vec::Vec<u32>>(move (_2.0: std::ptr::Unique<std::vec::Vec<u32>>)) -> bb1; // scope 0 at $DIR/inline-into-box-place.rs:8:42: 8:43
  65 -                                          // ty::Const
  66 -                                          // + ty: unsafe fn(std::ptr::Unique<std::vec::Vec<u32>>) {alloc::alloc::box_free::<std::vec::Vec<u32>>}
  67 -                                          // + val: Value(Scalar(<ZST>))
  68 -                                          // mir::Constant
  69 -                                          // + span: $DIR/inline-into-box-place.rs:8:42: 8:43
  70 -                                          // + literal: Const { ty: unsafe fn(std::ptr::Unique<std::vec::Vec<u32>>) {alloc::alloc::box_free::<std::vec::Vec<u32>>}, val: Value(Scalar(<ZST>)) }
  71 +     bb2: {
  72 +         StorageDead(_1);                 // scope 0 at $DIR/inline-into-box-place.rs:9:1: 9:2
  73 +         return;                          // scope 0 at $DIR/inline-into-box-place.rs:9:2: 9:2
  74       }
  75   }
  76