42 lines
831 B
Rust
42 lines
831 B
Rust
// Test LVI load hardening on SGX inline assembly code
|
|
|
|
// assembly-output: emit-asm
|
|
// compile-flags: --crate-type staticlib
|
|
// only-x86_64-fortanix-unknown-sgx
|
|
|
|
#![feature(asm)]
|
|
|
|
#[no_mangle]
|
|
pub extern fn get(ptr: *const u64) -> u64 {
|
|
let value : u64;
|
|
unsafe {
|
|
asm!(".start_inline_asm:",
|
|
"mov {}, [{}]",
|
|
".end_inline_asm:",
|
|
out(reg) value,
|
|
in(reg) ptr);
|
|
}
|
|
value
|
|
}
|
|
|
|
// CHECK: get
|
|
// CHECK: .start_inline_asm
|
|
// CHECK-NEXT: movq
|
|
// CHECK-NEXT: lfence
|
|
// CHECK-NEXT: .end_inline_asm
|
|
|
|
#[no_mangle]
|
|
pub extern fn myret() {
|
|
unsafe {
|
|
asm!(".start_myret_inline_asm:
|
|
ret
|
|
.end_myret_inline_asm:");
|
|
}
|
|
}
|
|
|
|
// CHECK: myret
|
|
// CHECK: .start_myret_inline_asm
|
|
// CHECK-NEXT: shlq $0, (%rsp)
|
|
// CHECK-NEXT: lfence
|
|
// CHECK-NEXT: retq
|