34 lines
933 B
Rust
34 lines
933 B
Rust
|
//@ revisions: WIN LIN
|
||
|
|
//@ [WIN] only-windows
|
||
|
|
//@ [LIN] only-linux
|
||
|
|
//@ assembly-output: emit-asm
|
||
|
|
//@ compile-flags: --crate-type=lib -O -C llvm-args=-x86-asm-syntax=intel
|
||
|
|
//@ only-x86_64
|
||
|
|
//@ ignore-sgx
|
||
|
|
|
||
|
|
#![feature(str_internals)]
|
||
|
|
|
||
|
|
// CHECK-LABEL: is_ascii_simple_demo:
|
||
|
|
#[no_mangle]
|
||
|
|
pub fn is_ascii_simple_demo(bytes: &[u8]) -> bool {
|
||
|
|
// Linux (System V): pointer is rdi; length is rsi
|
||
|
|
// Windows: pointer is rcx; length is rdx.
|
||
|
|
|
||
|
|
// CHECK-NOT: mov
|
||
|
|
// CHECK-NOT: test
|
||
|
|
// CHECK-NOT: cmp
|
||
|
|
|
||
|
|
// CHECK: .[[LOOPHEAD:.+]]:
|
||
|
|
// CHECK-NEXT: mov [[TEMP:.+]], [[LEN:rsi|rdx]]
|
||
|
|
// CHECK-NEXT: sub [[LEN]], 1
|
||
|
|
// CHECK-NEXT: jb .[[LOOPEXIT:.+]]
|
||
|
|
// CHECK-NEXT: cmp byte ptr [{{rdi|rcx}} + [[TEMP]] - 1], 0
|
||
|
|
// CHECK-NEXT: jns .[[LOOPHEAD]]
|
||
|
|
|
||
|
|
// CHECK-NEXT: .[[LOOPEXIT]]:
|
||
|
|
// CHECK-NEXT: test [[TEMP]], [[TEMP]]
|
||
|
|
// CHECK-NEXT: sete al
|
||
|
|
// CHECK-NEXT: ret
|
||
|
|
core::slice::is_ascii_simple(bytes)
|
||
|
|
}
|