|  | //@ add-core-stubs | 
|  | //@ assembly-output: emit-asm | 
|  | //@ compile-flags: --target riscv64imac-unknown-none-elf -Ctarget-feature=+f,+d | 
|  | //@ needs-llvm-components: riscv | 
|  | //@ revisions: LLVM-PRE-20 LLVM-POST-20 | 
|  | //@ [LLVM-PRE-20] max-llvm-major-version: 19 | 
|  | //@ [LLVM-POST-20] min-llvm-version: 20 | 
|  |  | 
|  | #![feature(no_core, lang_items, f16)] | 
|  | #![crate_type = "lib"] | 
|  | #![no_core] | 
|  |  | 
|  | extern crate minicore; | 
|  | use minicore::*; | 
|  |  | 
|  | // This test checks that the floats are all returned in `a0` as required by the `lp64` ABI. | 
|  |  | 
|  | // CHECK-LABEL: read_f16 | 
|  | #[no_mangle] | 
|  | pub extern "C" fn read_f16(x: &f16) -> f16 { | 
|  | // CHECK: lh a0, 0(a0) | 
|  | // CHECK-NEXT: lui a1, 1048560 | 
|  | // CHECK-NEXT: or a0, a0, a1 | 
|  | // CHECK-NEXT: ret | 
|  | *x | 
|  | } | 
|  |  | 
|  | // CHECK-LABEL: read_f32 | 
|  | #[no_mangle] | 
|  | pub extern "C" fn read_f32(x: &f32) -> f32 { | 
|  | // LLVM-PRE-20: flw fa5, 0(a0) | 
|  | // LLVM-PRE-20-NEXT: fmv.x.w a0, fa5 | 
|  | // LLVM-PRE-20-NEXT: ret | 
|  | // LLVM-POST-20: lw a0, 0(a0) | 
|  | // LLVM-POST-20-NEXT: ret | 
|  | *x | 
|  | } | 
|  |  | 
|  | // CHECK-LABEL: read_f64 | 
|  | #[no_mangle] | 
|  | pub extern "C" fn read_f64(x: &f64) -> f64 { | 
|  | // CHECK: ld a0, 0(a0) | 
|  | // CHECK-NEXT: ret | 
|  | *x | 
|  | } |