| //@ 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\]|i64|\[8 x i8\]}}, 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, | |
| } | |
| } |