tests/mir-opt/div_overflow.const_dividend.PreCodegen.after.mir


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// MIR for `const_dividend` after PreCodegen

fn const_dividend(_1: i32) -> i32 {
    debug a => _1;                       // in scope 0 at $DIR/div_overflow.rs:+0:23: +0:24
    let mut _0: i32;                     // return place in scope 0 at $DIR/div_overflow.rs:+0:34: +0:37
    let mut _2: bool;                    // in scope 0 at $DIR/div_overflow.rs:+1:5: +1:12

    bb0: {
        _2 = Eq(_1, const 0_i32);        // scope 0 at $DIR/div_overflow.rs:+1:5: +1:12
        assert(!move _2, "attempt to divide `{}` by zero", const 256_i32) -> bb1; // scope 0 at $DIR/div_overflow.rs:+1:5: +1:12
    }

    bb1: {
        _0 = Div(const 256_i32, _1);     // scope 0 at $DIR/div_overflow.rs:+1:5: +1:12
        return;                          // scope 0 at $DIR/div_overflow.rs:+2:2: +2:2
    }
}