| - // MIR for `make_pointers` before LowerIntrinsics |
| + // MIR for `make_pointers` after LowerIntrinsics |
| |
| fn make_pointers(_1: *const u8, _2: *mut (), _3: usize) -> () { |
| debug a => _1; |
| debug b => _2; |
| debug n => _3; |
| let mut _0: (); |
| let _4: *const i32; |
| let mut _5: *const u8; |
| let mut _6: (); |
| let mut _8: *mut (); |
| let mut _9: (); |
| let mut _11: *const u8; |
| let mut _12: usize; |
| let mut _14: *mut (); |
| let mut _15: usize; |
| scope 1 { |
| debug _thin_const => _4; |
| let _7: *mut u8; |
| scope 2 { |
| debug _thin_mut => _7; |
| let _10: *const [u16]; |
| scope 3 { |
| debug _slice_const => _10; |
| let _13: *mut [u64]; |
| scope 4 { |
| debug _slice_mut => _13; |
| } |
| } |
| } |
| } |
| |
| bb0: { |
| StorageLive(_4); |
| StorageLive(_5); |
| _5 = copy _1; |
| StorageLive(_6); |
| _6 = (); |
| - _4 = aggregate_raw_ptr::<*const i32, *const u8, ()>(move _5, move _6) -> [return: bb1, unwind unreachable]; |
| + _4 = *const i32 from (move _5, move _6); |
| + goto -> bb1; |
| } |
| |
| bb1: { |
| StorageDead(_6); |
| StorageDead(_5); |
| StorageLive(_7); |
| StorageLive(_8); |
| _8 = copy _2; |
| StorageLive(_9); |
| _9 = (); |
| - _7 = aggregate_raw_ptr::<*mut u8, *mut (), ()>(move _8, move _9) -> [return: bb2, unwind unreachable]; |
| + _7 = *mut u8 from (move _8, move _9); |
| + goto -> bb2; |
| } |
| |
| bb2: { |
| StorageDead(_9); |
| StorageDead(_8); |
| StorageLive(_10); |
| StorageLive(_11); |
| _11 = copy _1; |
| StorageLive(_12); |
| _12 = copy _3; |
| - _10 = aggregate_raw_ptr::<*const [u16], *const u8, usize>(move _11, move _12) -> [return: bb3, unwind unreachable]; |
| + _10 = *const [u16] from (move _11, move _12); |
| + goto -> bb3; |
| } |
| |
| bb3: { |
| StorageDead(_12); |
| StorageDead(_11); |
| StorageLive(_13); |
| StorageLive(_14); |
| _14 = copy _2; |
| StorageLive(_15); |
| _15 = copy _3; |
| - _13 = aggregate_raw_ptr::<*mut [u64], *mut (), usize>(move _14, move _15) -> [return: bb4, unwind unreachable]; |
| + _13 = *mut [u64] from (move _14, move _15); |
| + goto -> bb4; |
| } |
| |
| bb4: { |
| StorageDead(_15); |
| StorageDead(_14); |
| _0 = const (); |
| StorageDead(_13); |
| StorageDead(_10); |
| StorageDead(_7); |
| StorageDead(_4); |
| return; |
| } |
| } |
| |