diff options
Diffstat (limited to 'test/CodeGen/SPARC/64abi.ll')
-rw-r--r-- | test/CodeGen/SPARC/64abi.ll | 59 |
1 files changed, 55 insertions, 4 deletions
diff --git a/test/CodeGen/SPARC/64abi.ll b/test/CodeGen/SPARC/64abi.ll index 8b752a1..3771888 100644 --- a/test/CodeGen/SPARC/64abi.ll +++ b/test/CodeGen/SPARC/64abi.ll @@ -180,7 +180,7 @@ define void @call_inreg_fi(i32* %p, i32 %i1, float %f5) { } ; CHECK: inreg_ff -; CHECK: fsubs %f0, %f1, %f1 +; CHECK: fsubs %f0, %f1, %f0 define float @inreg_ff(float inreg %a0, ; %f0 float inreg %a1) { ; %f1 %rv = fsub float %a0, %a1 @@ -262,10 +262,10 @@ define void @call_ret_i64_pair(i64* %i0) { ret void } -; This is not a C struct, each member uses 8 bytes. +; This is not a C struct, the i32 member uses 8 bytes, but the float only 4. ; CHECK: ret_i32_float_pair ; CHECK: ld [%i2], %i0 -; CHECK: ld [%i3], %f3 +; CHECK: ld [%i3], %f2 define { i32, float } @ret_i32_float_pair(i32 %a0, i32 %a1, i32* %p, float* %q) { %r1 = load i32* %p @@ -279,7 +279,7 @@ define { i32, float } @ret_i32_float_pair(i32 %a0, i32 %a1, ; CHECK: call_ret_i32_float_pair ; CHECK: call ret_i32_float_pair ; CHECK: st %o0, [%i0] -; CHECK: st %f3, [%i1] +; CHECK: st %f2, [%i1] define void @call_ret_i32_float_pair(i32* %i0, float* %i1) { %rv = call { i32, float } @ret_i32_float_pair(i32 undef, i32 undef, i32* undef, float* undef) @@ -411,3 +411,54 @@ entry: } declare i32 @use_buf(i32, i8*) + +; CHECK-LABEL: test_fp128_args +; CHECK-DAG: std %f0, [%fp+{{.+}}] +; CHECK-DAG: std %f2, [%fp+{{.+}}] +; CHECK-DAG: std %f6, [%fp+{{.+}}] +; CHECK-DAG: std %f4, [%fp+{{.+}}] +; CHECK: add %fp, [[Offset:[0-9]+]], %o0 +; CHECK: call _Qp_add +; CHECK: ldd [%fp+[[Offset]]], %f0 +define fp128 @test_fp128_args(fp128 %a, fp128 %b) { +entry: + %0 = fadd fp128 %a, %b + ret fp128 %0 +} + +declare i64 @receive_fp128(i64 %a, ...) + +; CHECK-LABEL: test_fp128_variable_args +; CHECK-DAG: std %f4, [%sp+[[Offset0:[0-9]+]]] +; CHECK-DAG: std %f6, [%sp+[[Offset1:[0-9]+]]] +; CHECK-DAG: ldx [%sp+[[Offset0]]], %o2 +; CHECK-DAG: ldx [%sp+[[Offset1]]], %o3 +; CHECK: call receive_fp128 +define i64 @test_fp128_variable_args(i64 %a, fp128 %b) { +entry: + %0 = call i64 (i64, ...)* @receive_fp128(i64 %a, fp128 %b) + ret i64 %0 +} + +; CHECK-LABEL: test_call_libfunc +; CHECK: st %f1, [%fp+[[Offset0:[0-9]+]]] +; CHECK: fmovs %f3, %f1 +; CHECK: call cosf +; CHECK: st %f0, [%fp+[[Offset1:[0-9]+]]] +; CHECK: ld [%fp+[[Offset0]]], %f1 +; CHECK: call sinf +; CHECK: ld [%fp+[[Offset1]]], %f1 +; CHECK: fmuls %f1, %f0, %f0 + +define inreg float @test_call_libfunc(float %arg0, float %arg1) { +entry: + %0 = tail call inreg float @cosf(float %arg1) + %1 = tail call inreg float @sinf(float %arg0) + %2 = fmul float %0, %1 + ret float %2 +} + +declare inreg float @cosf(float %arg) readnone nounwind +declare inreg float @sinf(float %arg) readnone nounwind + + |