summaryrefslogtreecommitdiffstats
path: root/src/test/codegen/slice-windows-no-bounds-check.rs
blob: 4f5f4425c271cda8d6f5642431a46913ff4156e3 (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
#![crate_type = "lib"]

// compile-flags: -O

use std::slice::Windows;

// CHECK-LABEL: @naive_string_search
#[no_mangle]
pub fn naive_string_search(haystack: &str, needle: &str) -> Option<usize> {
    if needle.is_empty() {
        return Some(0);
    }
    // CHECK-NOT: panic
    // CHECK-NOT: fail
    haystack
        .as_bytes()
        .windows(needle.len())
        .position(|sub| sub == needle.as_bytes())
}

// CHECK-LABEL: @next
#[no_mangle]
pub fn next<'a>(w: &mut Windows<'a, u32>) -> Option<&'a [u32]> {
    // CHECK-NOT: panic
    // CHECK-NOT: fail
    w.next()
}

// CHECK-LABEL: @next_back
#[no_mangle]
pub fn next_back<'a>(w: &mut Windows<'a, u32>) -> Option<&'a [u32]> {
    // CHECK-NOT: panic
    // CHECK-NOT: fail
    w.next_back()
}