24 lines
659 B
Rust
24 lines
659 B
Rust
|
//@ compile-flags: -O
|
||
|
|
//@ min-llvm-version: 19
|
||
|
|
//@ 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 [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,
|
||
|
|
}
|
||
|
|
}
|