Rollup merge of #76961 - bugadani:test-34634, r=Mark-Simulacrum

Add test for issue #34634

Closes #34634
This commit is contained in:
Ralf Jung 2020-09-21 10:40:43 +02:00 committed by GitHub
commit 5760b081a6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -0,0 +1,16 @@
// Test that `wrapping_div` only checks divisor once.
// This test checks that there is only a single compare agains -1 and -1 is not present as a
// switch case (the second check present until rustc 1.12).
// This test also verifies that a single panic call is generated (for the division by zero case).
// compile-flags: -O
#![crate_type = "lib"]
// CHECK-LABEL: @f
#[no_mangle]
pub fn f(x: i32, y: i32) -> i32 {
// CHECK-COUNT-1: icmp eq i32 %y, -1
// CHECK-COUNT-1: panic
// CHECK-NOT: i32 -1, label
x.wrapping_div(y)
}