| Jubilee Young | 3c0c9b6 | 2025-02-08 19:45:40 -0800 | [diff] [blame] | 1 | //@ compile-flags: -Copt-level=3 |
| Ariel Ben-Yehuda | 45fe3a1 | 2016-10-04 19:24:49 +0300 | [diff] [blame] | 2 | |
| 3 | #![crate_type = "lib"] |
| 4 | |
| 5 | pub enum Foo { |
| Nicholas Nethercote | 72800d3 | 2024-05-29 14:11:20 +1000 | [diff] [blame] | 6 | A, |
| 7 | B, |
| Ariel Ben-Yehuda | 45fe3a1 | 2016-10-04 19:24:49 +0300 | [diff] [blame] | 8 | } |
| 9 | |
| 10 | // CHECK-LABEL: @lookup |
| 11 | #[no_mangle] |
| 12 | pub fn lookup(buf: &[u8; 2], f: Foo) -> u8 { |
| 13 | // CHECK-NOT: panic_bounds_check |
| 14 | buf[f as usize] |
| 15 | } |
| Dániel Buga | 1d157ce | 2020-08-25 11:44:18 +0200 | [diff] [blame] | 16 | |
| 17 | pub enum Bar { |
| 18 | A = 2, |
| Nicholas Nethercote | 72800d3 | 2024-05-29 14:11:20 +1000 | [diff] [blame] | 19 | B = 3, |
| Dániel Buga | 1d157ce | 2020-08-25 11:44:18 +0200 | [diff] [blame] | 20 | } |
| 21 | |
| 22 | // CHECK-LABEL: @lookup_unmodified |
| 23 | #[no_mangle] |
| 24 | pub fn lookup_unmodified(buf: &[u8; 5], f: Bar) -> u8 { |
| ouz-a | a1672ad | 2022-10-26 17:50:11 +0300 | [diff] [blame] | 25 | // CHECK-NOT: panic_bounds_check |
| Dániel Buga | 1d157ce | 2020-08-25 11:44:18 +0200 | [diff] [blame] | 26 | buf[f as usize] |
| 27 | } |
