summary refs log tree commit diff
path: root/tests/codegen/slice-windows-no-bounds-check.rs
blob: db3211c8defdbbc27031cb23b8394b94f10c1909 (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
#![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()
}