// MIR for `shift_unsigned` after built

fn shift_unsigned(_1: u8, _2: i128, _3: u8, _4: u32, _5: u128) -> ([u8; 3], [i128; 3]) {
    debug small => _1;                   // in scope 0 at $DIR/shifts.rs:+0:19: +0:24
    debug big => _2;                     // in scope 0 at $DIR/shifts.rs:+0:30: +0:33
    debug a => _3;                       // in scope 0 at $DIR/shifts.rs:+0:41: +0:42
    debug b => _4;                       // in scope 0 at $DIR/shifts.rs:+0:48: +0:49
    debug c => _5;                       // in scope 0 at $DIR/shifts.rs:+0:56: +0:57
    let mut _0: ([u8; 3], [i128; 3]);    // return place in scope 0 at $DIR/shifts.rs:+0:68: +0:88
    let mut _6: [u8; 3];                 // in scope 0 at $DIR/shifts.rs:+2:9: +2:45
    let mut _7: u8;                      // in scope 0 at $DIR/shifts.rs:+2:10: +2:20
    let mut _8: u8;                      // in scope 0 at $DIR/shifts.rs:+2:10: +2:15
    let mut _9: u8;                      // in scope 0 at $DIR/shifts.rs:+2:19: +2:20
    let mut _10: bool;                   // in scope 0 at $DIR/shifts.rs:+2:10: +2:20
    let mut _11: u8;                     // in scope 0 at $DIR/shifts.rs:+2:22: +2:32
    let mut _12: u8;                     // in scope 0 at $DIR/shifts.rs:+2:22: +2:27
    let mut _13: u32;                    // in scope 0 at $DIR/shifts.rs:+2:31: +2:32
    let mut _14: bool;                   // in scope 0 at $DIR/shifts.rs:+2:22: +2:32
    let mut _15: u8;                     // in scope 0 at $DIR/shifts.rs:+2:34: +2:44
    let mut _16: u8;                     // in scope 0 at $DIR/shifts.rs:+2:34: +2:39
    let mut _17: u128;                   // in scope 0 at $DIR/shifts.rs:+2:43: +2:44
    let mut _18: bool;                   // in scope 0 at $DIR/shifts.rs:+2:34: +2:44
    let mut _19: [i128; 3];              // in scope 0 at $DIR/shifts.rs:+3:9: +3:39
    let mut _20: i128;                   // in scope 0 at $DIR/shifts.rs:+3:10: +3:18
    let mut _21: i128;                   // in scope 0 at $DIR/shifts.rs:+3:10: +3:13
    let mut _22: u8;                     // in scope 0 at $DIR/shifts.rs:+3:17: +3:18
    let mut _23: bool;                   // in scope 0 at $DIR/shifts.rs:+3:10: +3:18
    let mut _24: i128;                   // in scope 0 at $DIR/shifts.rs:+3:20: +3:28
    let mut _25: i128;                   // in scope 0 at $DIR/shifts.rs:+3:20: +3:23
    let mut _26: u32;                    // in scope 0 at $DIR/shifts.rs:+3:27: +3:28
    let mut _27: bool;                   // in scope 0 at $DIR/shifts.rs:+3:20: +3:28
    let mut _28: i128;                   // in scope 0 at $DIR/shifts.rs:+3:30: +3:38
    let mut _29: i128;                   // in scope 0 at $DIR/shifts.rs:+3:30: +3:33
    let mut _30: u128;                   // in scope 0 at $DIR/shifts.rs:+3:37: +3:38
    let mut _31: bool;                   // in scope 0 at $DIR/shifts.rs:+3:30: +3:38

    bb0: {
        StorageLive(_6);                 // scope 0 at $DIR/shifts.rs:+2:9: +2:45
        StorageLive(_7);                 // scope 0 at $DIR/shifts.rs:+2:10: +2:20
        StorageLive(_8);                 // scope 0 at $DIR/shifts.rs:+2:10: +2:15
        _8 = _1;                         // scope 0 at $DIR/shifts.rs:+2:10: +2:15
        StorageLive(_9);                 // scope 0 at $DIR/shifts.rs:+2:19: +2:20
        _9 = _3;                         // scope 0 at $DIR/shifts.rs:+2:19: +2:20
        _10 = Lt(_9, const 8_u8);        // scope 0 at $DIR/shifts.rs:+2:10: +2:20
        assert(move _10, "attempt to shift right by `{}`, which would overflow", _9) -> [success: bb1, unwind: bb7]; // scope 0 at $DIR/shifts.rs:+2:10: +2:20
    }

    bb1: {
        _7 = Shr(move _8, move _9);      // scope 0 at $DIR/shifts.rs:+2:10: +2:20
        StorageDead(_9);                 // scope 0 at $DIR/shifts.rs:+2:19: +2:20
        StorageDead(_8);                 // scope 0 at $DIR/shifts.rs:+2:19: +2:20
        StorageLive(_11);                // scope 0 at $DIR/shifts.rs:+2:22: +2:32
        StorageLive(_12);                // scope 0 at $DIR/shifts.rs:+2:22: +2:27
        _12 = _1;                        // scope 0 at $DIR/shifts.rs:+2:22: +2:27
        StorageLive(_13);                // scope 0 at $DIR/shifts.rs:+2:31: +2:32
        _13 = _4;                        // scope 0 at $DIR/shifts.rs:+2:31: +2:32
        _14 = Lt(_13, const 8_u32);      // scope 0 at $DIR/shifts.rs:+2:22: +2:32
        assert(move _14, "attempt to shift right by `{}`, which would overflow", _13) -> [success: bb2, unwind: bb7]; // scope 0 at $DIR/shifts.rs:+2:22: +2:32
    }

    bb2: {
        _11 = Shr(move _12, move _13);   // scope 0 at $DIR/shifts.rs:+2:22: +2:32
        StorageDead(_13);                // scope 0 at $DIR/shifts.rs:+2:31: +2:32
        StorageDead(_12);                // scope 0 at $DIR/shifts.rs:+2:31: +2:32
        StorageLive(_15);                // scope 0 at $DIR/shifts.rs:+2:34: +2:44
        StorageLive(_16);                // scope 0 at $DIR/shifts.rs:+2:34: +2:39
        _16 = _1;                        // scope 0 at $DIR/shifts.rs:+2:34: +2:39
        StorageLive(_17);                // scope 0 at $DIR/shifts.rs:+2:43: +2:44
        _17 = _5;                        // scope 0 at $DIR/shifts.rs:+2:43: +2:44
        _18 = Lt(_17, const 8_u128);     // scope 0 at $DIR/shifts.rs:+2:34: +2:44
        assert(move _18, "attempt to shift right by `{}`, which would overflow", _17) -> [success: bb3, unwind: bb7]; // scope 0 at $DIR/shifts.rs:+2:34: +2:44
    }

    bb3: {
        _15 = Shr(move _16, move _17);   // scope 0 at $DIR/shifts.rs:+2:34: +2:44
        StorageDead(_17);                // scope 0 at $DIR/shifts.rs:+2:43: +2:44
        StorageDead(_16);                // scope 0 at $DIR/shifts.rs:+2:43: +2:44
        _6 = [move _7, move _11, move _15]; // scope 0 at $DIR/shifts.rs:+2:9: +2:45
        StorageDead(_15);                // scope 0 at $DIR/shifts.rs:+2:44: +2:45
        StorageDead(_11);                // scope 0 at $DIR/shifts.rs:+2:44: +2:45
        StorageDead(_7);                 // scope 0 at $DIR/shifts.rs:+2:44: +2:45
        StorageLive(_19);                // scope 0 at $DIR/shifts.rs:+3:9: +3:39
        StorageLive(_20);                // scope 0 at $DIR/shifts.rs:+3:10: +3:18
        StorageLive(_21);                // scope 0 at $DIR/shifts.rs:+3:10: +3:13
        _21 = _2;                        // scope 0 at $DIR/shifts.rs:+3:10: +3:13
        StorageLive(_22);                // scope 0 at $DIR/shifts.rs:+3:17: +3:18
        _22 = _3;                        // scope 0 at $DIR/shifts.rs:+3:17: +3:18
        _23 = Lt(_22, const 128_u8);     // scope 0 at $DIR/shifts.rs:+3:10: +3:18
        assert(move _23, "attempt to shift left by `{}`, which would overflow", _22) -> [success: bb4, unwind: bb7]; // scope 0 at $DIR/shifts.rs:+3:10: +3:18
    }

    bb4: {
        _20 = Shl(move _21, move _22);   // scope 0 at $DIR/shifts.rs:+3:10: +3:18
        StorageDead(_22);                // scope 0 at $DIR/shifts.rs:+3:17: +3:18
        StorageDead(_21);                // scope 0 at $DIR/shifts.rs:+3:17: +3:18
        StorageLive(_24);                // scope 0 at $DIR/shifts.rs:+3:20: +3:28
        StorageLive(_25);                // scope 0 at $DIR/shifts.rs:+3:20: +3:23
        _25 = _2;                        // scope 0 at $DIR/shifts.rs:+3:20: +3:23
        StorageLive(_26);                // scope 0 at $DIR/shifts.rs:+3:27: +3:28
        _26 = _4;                        // scope 0 at $DIR/shifts.rs:+3:27: +3:28
        _27 = Lt(_26, const 128_u32);    // scope 0 at $DIR/shifts.rs:+3:20: +3:28
        assert(move _27, "attempt to shift left by `{}`, which would overflow", _26) -> [success: bb5, unwind: bb7]; // scope 0 at $DIR/shifts.rs:+3:20: +3:28
    }

    bb5: {
        _24 = Shl(move _25, move _26);   // scope 0 at $DIR/shifts.rs:+3:20: +3:28
        StorageDead(_26);                // scope 0 at $DIR/shifts.rs:+3:27: +3:28
        StorageDead(_25);                // scope 0 at $DIR/shifts.rs:+3:27: +3:28
        StorageLive(_28);                // scope 0 at $DIR/shifts.rs:+3:30: +3:38
        StorageLive(_29);                // scope 0 at $DIR/shifts.rs:+3:30: +3:33
        _29 = _2;                        // scope 0 at $DIR/shifts.rs:+3:30: +3:33
        StorageLive(_30);                // scope 0 at $DIR/shifts.rs:+3:37: +3:38
        _30 = _5;                        // scope 0 at $DIR/shifts.rs:+3:37: +3:38
        _31 = Lt(_30, const 128_u128);   // scope 0 at $DIR/shifts.rs:+3:30: +3:38
        assert(move _31, "attempt to shift left by `{}`, which would overflow", _30) -> [success: bb6, unwind: bb7]; // scope 0 at $DIR/shifts.rs:+3:30: +3:38
    }

    bb6: {
        _28 = Shl(move _29, move _30);   // scope 0 at $DIR/shifts.rs:+3:30: +3:38
        StorageDead(_30);                // scope 0 at $DIR/shifts.rs:+3:37: +3:38
        StorageDead(_29);                // scope 0 at $DIR/shifts.rs:+3:37: +3:38
        _19 = [move _20, move _24, move _28]; // scope 0 at $DIR/shifts.rs:+3:9: +3:39
        StorageDead(_28);                // scope 0 at $DIR/shifts.rs:+3:38: +3:39
        StorageDead(_24);                // scope 0 at $DIR/shifts.rs:+3:38: +3:39
        StorageDead(_20);                // scope 0 at $DIR/shifts.rs:+3:38: +3:39
        _0 = (move _6, move _19);        // scope 0 at $DIR/shifts.rs:+1:5: +4:6
        StorageDead(_19);                // scope 0 at $DIR/shifts.rs:+4:5: +4:6
        StorageDead(_6);                 // scope 0 at $DIR/shifts.rs:+4:5: +4:6
        return;                          // scope 0 at $DIR/shifts.rs:+5:2: +5:2
    }

    bb7 (cleanup): {
        resume;                          // scope 0 at $DIR/shifts.rs:+0:1: +5:2
    }
}