mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-22 23:04:33 +00:00
Remove obsolete test.
This commit is contained in:
parent
c9409136c7
commit
483525eed3
@ -1,17 +0,0 @@
|
||||
// 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
|
||||
}
|
||||
}
|
@ -1,11 +0,0 @@
|
||||
// MIR for `const_divisor` after PreCodegen
|
||||
|
||||
fn const_divisor(_1: i32) -> i32 {
|
||||
debug a => _1; // in scope 0 at $DIR/div_overflow.rs:+0:22: +0:23
|
||||
let mut _0: i32; // return place in scope 0 at $DIR/div_overflow.rs:+0:33: +0:36
|
||||
|
||||
bb0: {
|
||||
_0 = Div(_1, const 256_i32); // scope 0 at $DIR/div_overflow.rs:+1:5: +1:12
|
||||
return; // scope 0 at $DIR/div_overflow.rs:+2:2: +2:2
|
||||
}
|
||||
}
|
@ -1,19 +0,0 @@
|
||||
// ignore-wasm32 compiled with panic=abort by default
|
||||
// compile-flags: -Copt-level=0 -Coverflow-checks=yes
|
||||
|
||||
// Tests that division with a const does not emit a panicking branch for overflow
|
||||
|
||||
// EMIT_MIR div_overflow.const_divisor.PreCodegen.after.mir
|
||||
pub fn const_divisor(a: i32) -> i32 {
|
||||
a / 256
|
||||
}
|
||||
|
||||
// EMIT_MIR div_overflow.const_dividend.PreCodegen.after.mir
|
||||
pub fn const_dividend(a: i32) -> i32 {
|
||||
256 / a
|
||||
}
|
||||
|
||||
fn main() {
|
||||
const_divisor(123);
|
||||
const_dividend(123);
|
||||
}
|
Loading…
Reference in New Issue
Block a user