checked_ops.step_forward.PreCodegen.after.panic-abort.mir

// MIR for `step_forward` after PreCodegen

fn step_forward(_1: u16, _2: usize) -> u16 {
    debug x => _1;
    debug n => _2;
    let mut _0: u16;
    scope 1 (inlined <u16 as Step>::forward) {
        let mut _8: u16;
        scope 2 {
        }
        scope 3 (inlined <u16 as Step>::forward_checked) {
            scope 4 {
                scope 6 (inlined core::num::<impl u16>::checked_add) {
                    let mut _5: (u16, bool);
                    let mut _6: bool;
                    let mut _7: bool;
                }
            }
            scope 5 (inlined convert::num::ptr_try_from_impls::<impl TryFrom<usize> for u16>::try_from) {
                let mut _3: bool;
                let mut _4: u16;
            }
        }
        scope 7 (inlined Option::<u16>::is_none) {
            scope 8 (inlined Option::<u16>::is_some) {
            }
        }
        scope 9 (inlined core::num::<impl u16>::wrapping_add) {
        }
    }

    bb0: {
        StorageLive(_4);
        StorageLive(_3);
        _3 = Gt(_2, const 65535_usize);
        switchInt(move _3) -> [0: bb1, otherwise: bb5];
    }

    bb1: {
        _4 = _2 as u16 (IntToInt);
        StorageDead(_3);
        StorageLive(_7);
        StorageLive(_6);
        StorageLive(_5);
        _5 = AddWithOverflow(_1, _4);
        _6 = (_5.1: bool);
        _7 = unlikely(move _6) -> [return: bb2, unwind unreachable];
    }

    bb2: {
        switchInt(move _7) -> [0: bb3, otherwise: bb4];
    }

    bb3: {
        StorageDead(_5);
        StorageDead(_6);
        StorageDead(_7);
        goto -> bb7;
    }

    bb4: {
        StorageDead(_5);
        StorageDead(_6);
        StorageDead(_7);
        goto -> bb6;
    }

    bb5: {
        StorageDead(_3);
        goto -> bb6;
    }

    bb6: {
        assert(!const true, "attempt to compute `{} + {}`, which would overflow", const core::num::<impl u16>::MAX, const 1_u16) -> [success: bb7, unwind unreachable];
    }

    bb7: {
        StorageLive(_8);
        _8 = _2 as u16 (IntToInt);
        _0 = Add(_1, _8);
        StorageDead(_8);
        StorageDead(_4);
        return;
    }
}