blob: f12dc7cdfe2c455b39dad87195bf2c29f0f20f3a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
//@ compile-flags: -Copt-level=3
//@ only-x86_64
// Test for #118306.
// Make sure we don't create `br` or `select` instructions.
#![crate_type = "lib"]
#[no_mangle]
pub fn branchy(input: u64) -> u64 {
// CHECK-LABEL: @branchy(
// CHECK-NEXT: start:
// CHECK-NEXT: [[_2:%.*]] = and i64 [[INPUT:%.*]], 3
// CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds{{( nuw)?}} [4 x i64], ptr @switch.table.branchy, i64 0, i64 [[_2]]
// CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i64, ptr [[SWITCH_GEP]]
// CHECK-NEXT: ret i64 [[SWITCH_LOAD]]
match input % 4 {
1 | 2 => 1,
3 => 2,
_ => 0,
}
}
|
