27 lines
532 B
Rust
27 lines
532 B
Rust
// compile-flags: -O
|
|
|
|
#![crate_type = "lib"]
|
|
|
|
pub enum Foo {
|
|
A, B
|
|
}
|
|
|
|
// CHECK-LABEL: @lookup
|
|
#[no_mangle]
|
|
pub fn lookup(buf: &[u8; 2], f: Foo) -> u8 {
|
|
// CHECK-NOT: panic_bounds_check
|
|
buf[f as usize]
|
|
}
|
|
|
|
pub enum Bar {
|
|
A = 2,
|
|
B = 3
|
|
}
|
|
|
|
// CHECK-LABEL: @lookup_unmodified
|
|
#[no_mangle]
|
|
pub fn lookup_unmodified(buf: &[u8; 5], f: Bar) -> u8 {
|
|
// FIXME: panic check can be removed by adding the assumes back after https://github.com/rust-lang/rust/pull/98332
|
|
// CHECK: panic_bounds_check
|
|
buf[f as usize]
|
|
}
|