| // MIR for `array_casts` after SimplifyCfg-elaborate-drops |
| |
| fn array_casts() -> () { |
| let mut _0: (); // return place in scope 0 at $DIR/retag.rs:+0:18: +0:18 |
| let mut _1: [usize; 2]; // in scope 0 at $DIR/retag.rs:+1:9: +1:14 |
| let mut _3: *mut [usize; 2]; // in scope 0 at $DIR/retag.rs:+2:13: +2:19 |
| let mut _4: &mut [usize; 2]; // in scope 0 at $DIR/retag.rs:+2:13: +2:19 |
| let _5: (); // in scope 0 at $DIR/retag.rs:+3:5: +3:30 |
| let mut _6: *mut usize; // in scope 0 at $DIR/retag.rs:+3:15: +3:23 |
| let mut _7: *mut usize; // in scope 0 at $DIR/retag.rs:+3:15: +3:16 |
| let mut _10: *const [usize; 2]; // in scope 0 at $DIR/retag.rs:+6:13: +6:15 |
| let _11: &[usize; 2]; // in scope 0 at $DIR/retag.rs:+6:13: +6:15 |
| let _12: (); // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let mut _13: (&usize, &usize); // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let mut _14: &usize; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let _15: usize; // in scope 0 at $DIR/retag.rs:+7:16: +7:36 |
| let mut _16: *const usize; // in scope 0 at $DIR/retag.rs:+7:26: +7:34 |
| let mut _17: *const usize; // in scope 0 at $DIR/retag.rs:+7:26: +7:27 |
| let mut _18: &usize; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let _19: usize; // in scope 0 at $DIR/retag.rs:+7:38: +7:39 |
| let mut _22: bool; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let mut _23: bool; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let mut _24: usize; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let mut _25: usize; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let mut _26: !; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let _28: !; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let mut _29: core::panicking::AssertKind; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let mut _30: &usize; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let _31: &usize; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let mut _32: &usize; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let _33: &usize; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let mut _34: std::option::Option<std::fmt::Arguments<'_>>; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| scope 1 { |
| debug x => _1; // in scope 1 at $DIR/retag.rs:+1:9: +1:14 |
| let _2: *mut usize; // in scope 1 at $DIR/retag.rs:+2:9: +2:10 |
| scope 2 { |
| debug p => _2; // in scope 2 at $DIR/retag.rs:+2:9: +2:10 |
| let _8: [usize; 2]; // in scope 2 at $DIR/retag.rs:+5:9: +5:10 |
| scope 3 { |
| } |
| scope 4 { |
| debug x => _8; // in scope 4 at $DIR/retag.rs:+5:9: +5:10 |
| let _9: *const usize; // in scope 4 at $DIR/retag.rs:+6:9: +6:10 |
| scope 5 { |
| debug p => _9; // in scope 5 at $DIR/retag.rs:+6:9: +6:10 |
| let _20: &usize; // in scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let _21: &usize; // in scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let mut _35: &usize; // in scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| scope 6 { |
| } |
| scope 7 { |
| debug left_val => _20; // in scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| debug right_val => _21; // in scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| let _27: core::panicking::AssertKind; // in scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| scope 8 { |
| debug kind => _27; // in scope 8 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| } |
| } |
| } |
| } |
| } |
| } |
| |
| bb0: { |
| StorageLive(_1); // scope 0 at $DIR/retag.rs:+1:9: +1:14 |
| _1 = [const 0_usize, const 0_usize]; // scope 0 at $DIR/retag.rs:+1:29: +1:35 |
| StorageLive(_2); // scope 1 at $DIR/retag.rs:+2:9: +2:10 |
| StorageLive(_3); // scope 1 at $DIR/retag.rs:+2:13: +2:19 |
| StorageLive(_4); // scope 1 at $DIR/retag.rs:+2:13: +2:19 |
| _4 = &mut _1; // scope 1 at $DIR/retag.rs:+2:13: +2:19 |
| _3 = &raw mut (*_4); // scope 1 at $DIR/retag.rs:+2:13: +2:19 |
| _2 = move _3 as *mut usize (Pointer(ArrayToPointer)); // scope 1 at $DIR/retag.rs:+2:13: +2:33 |
| StorageDead(_3); // scope 1 at $DIR/retag.rs:+2:32: +2:33 |
| StorageDead(_4); // scope 1 at $DIR/retag.rs:+2:33: +2:34 |
| StorageLive(_5); // scope 2 at $DIR/retag.rs:+3:5: +3:30 |
| StorageLive(_6); // scope 3 at $DIR/retag.rs:+3:15: +3:23 |
| StorageLive(_7); // scope 3 at $DIR/retag.rs:+3:15: +3:16 |
| _7 = _2; // scope 3 at $DIR/retag.rs:+3:15: +3:16 |
| _6 = ptr::mut_ptr::<impl *mut usize>::add(move _7, const 1_usize) -> bb1; // scope 3 at $DIR/retag.rs:+3:15: +3:23 |
| // mir::Constant |
| // + span: $DIR/retag.rs:61:17: 61:20 |
| // + literal: Const { ty: unsafe fn(*mut usize, usize) -> *mut usize {ptr::mut_ptr::<impl *mut usize>::add}, val: Value(<ZST>) } |
| } |
| |
| bb1: { |
| StorageDead(_7); // scope 3 at $DIR/retag.rs:+3:22: +3:23 |
| (*_6) = const 1_usize; // scope 3 at $DIR/retag.rs:+3:14: +3:27 |
| StorageDead(_6); // scope 3 at $DIR/retag.rs:+3:27: +3:28 |
| _5 = const (); // scope 3 at $DIR/retag.rs:+3:5: +3:30 |
| StorageDead(_5); // scope 2 at $DIR/retag.rs:+3:29: +3:30 |
| StorageLive(_8); // scope 2 at $DIR/retag.rs:+5:9: +5:10 |
| _8 = [const 0_usize, const 1_usize]; // scope 2 at $DIR/retag.rs:+5:25: +5:31 |
| StorageLive(_9); // scope 4 at $DIR/retag.rs:+6:9: +6:10 |
| StorageLive(_10); // scope 4 at $DIR/retag.rs:+6:13: +6:15 |
| StorageLive(_11); // scope 4 at $DIR/retag.rs:+6:13: +6:15 |
| _11 = &_8; // scope 4 at $DIR/retag.rs:+6:13: +6:15 |
| _10 = &raw const (*_11); // scope 4 at $DIR/retag.rs:+6:13: +6:15 |
| _9 = move _10 as *const usize (Pointer(ArrayToPointer)); // scope 4 at $DIR/retag.rs:+6:13: +6:31 |
| StorageDead(_10); // scope 4 at $DIR/retag.rs:+6:30: +6:31 |
| StorageDead(_11); // scope 4 at $DIR/retag.rs:+6:31: +6:32 |
| StorageLive(_12); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_13); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_14); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_15); // scope 5 at $DIR/retag.rs:+7:16: +7:36 |
| StorageLive(_16); // scope 6 at $DIR/retag.rs:+7:26: +7:34 |
| StorageLive(_17); // scope 6 at $DIR/retag.rs:+7:26: +7:27 |
| _17 = _9; // scope 6 at $DIR/retag.rs:+7:26: +7:27 |
| _16 = ptr::const_ptr::<impl *const usize>::add(move _17, const 1_usize) -> bb2; // scope 6 at $DIR/retag.rs:+7:26: +7:34 |
| // mir::Constant |
| // + span: $DIR/retag.rs:65:28: 65:31 |
| // + literal: Const { ty: unsafe fn(*const usize, usize) -> *const usize {ptr::const_ptr::<impl *const usize>::add}, val: Value(<ZST>) } |
| } |
| |
| bb2: { |
| StorageDead(_17); // scope 6 at $DIR/retag.rs:+7:33: +7:34 |
| _15 = (*_16); // scope 6 at $DIR/retag.rs:+7:25: +7:34 |
| _14 = &_15; // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_18); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _35 = const _; // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| // mir::Constant |
| // + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| // + literal: Const { ty: &usize, val: Unevaluated(array_casts, [], Some(promoted[0])) } |
| Retag(_35); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _18 = &(*_35); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _13 = (move _14, move _18); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| Retag(_13); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageDead(_18); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageDead(_14); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_20); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _20 = (_13.0: &usize); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| Retag(_20); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_21); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _21 = (_13.1: &usize); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| Retag(_21); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_22); // scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_23); // scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_24); // scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _24 = (*_20); // scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_25); // scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _25 = (*_21); // scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _23 = Eq(move _24, move _25); // scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageDead(_25); // scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageDead(_24); // scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _22 = Not(move _23); // scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageDead(_23); // scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| switchInt(move _22) -> [0: bb4, otherwise: bb3]; // scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| } |
| |
| bb3: { |
| StorageLive(_27); // scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _27 = core::panicking::AssertKind::Eq; // scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_28); // scope 8 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_29); // scope 8 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _29 = move _27; // scope 8 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_30); // scope 8 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_31); // scope 8 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _31 = &(*_20); // scope 8 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _30 = &(*_31); // scope 8 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_32); // scope 8 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_33); // scope 8 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _33 = &(*_21); // scope 8 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _32 = &(*_33); // scope 8 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageLive(_34); // scope 8 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _34 = Option::<Arguments<'_>>::None; // scope 8 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| Retag(_34); // scope 8 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _28 = core::panicking::assert_failed::<usize, usize>(move _29, move _30, move _32, move _34); // scope 8 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| // mir::Constant |
| // + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| // + literal: Const { ty: for<'a, 'b, 'c> fn(core::panicking::AssertKind, &'a usize, &'b usize, Option<Arguments<'c>>) -> ! {core::panicking::assert_failed::<usize, usize>}, val: Value(<ZST>) } |
| } |
| |
| bb4: { |
| _12 = const (); // scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageDead(_22); // scope 7 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageDead(_21); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageDead(_20); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageDead(_16); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageDead(_15); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageDead(_13); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| StorageDead(_12); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| _0 = const (); // scope 0 at $DIR/retag.rs:+0:18: +8:2 |
| StorageDead(_9); // scope 4 at $DIR/retag.rs:+8:1: +8:2 |
| StorageDead(_8); // scope 2 at $DIR/retag.rs:+8:1: +8:2 |
| StorageDead(_2); // scope 1 at $DIR/retag.rs:+8:1: +8:2 |
| StorageDead(_1); // scope 0 at $DIR/retag.rs:+8:1: +8:2 |
| return; // scope 0 at $DIR/retag.rs:+8:2: +8:2 |
| } |
| } |