// MIR for `add` before PreCodegen | |
fn add() -> u32 { | |
let mut _0: u32; | |
let mut _1: (u32, bool); | |
bb0: { | |
_1 = const (4_u32, false); | |
assert(!const false, "attempt to compute `{} + {}`, which would overflow", const 2_u32, const 2_u32) -> [success: bb1, unwind continue]; | |
} | |
bb1: { | |
_0 = const 4_u32; | |
return; | |
} | |
} | |
ALLOC0 (size: 8, align: 4) { | |
04 00 00 00 00 __ __ __ │ .....░░░ | |
} |