blob: 1daa213fc821392f6ebefe5ce99ca36387af7c17 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
// This test case checks that slice::{r}position functions do not
// prevent optimizing away bounds checks
// compile-flags: -O
// ignore-debug: the debug assertions get in the way
#![crate_type="rlib"]
// CHECK-LABEL: @test
#[no_mangle]
pub fn test(y: &[u32], x: &u32, z: &u32) -> bool {
let result = match y.iter().position(|a| a == x) {
Some(p) => Ok(p),
None => Err(()),
};
if let Ok(p) = result {
// CHECK-NOT: panic
y[p] == *z
} else {
false
}
}
// CHECK-LABEL: @rtest
#[no_mangle]
pub fn rtest(y: &[u32], x: &u32, z: &u32) -> bool {
let result = match y.iter().rposition(|a| a == x) {
Some(p) => Ok(p),
None => Err(()),
};
if let Ok(p) = result {
// CHECK-NOT: panic
y[p] == *z
} else {
false
}
}
|
