diff options
Diffstat (limited to 'llvm/test/CodeGen/X86/llround-conv.ll')
| -rw-r--r-- | llvm/test/CodeGen/X86/llround-conv.ll | 404 |
1 files changed, 248 insertions, 156 deletions
diff --git a/llvm/test/CodeGen/X86/llround-conv.ll b/llvm/test/CodeGen/X86/llround-conv.ll index 19a980b72809..ef4df82e9e57 100644 --- a/llvm/test/CodeGen/X86/llround-conv.ll +++ b/llvm/test/CodeGen/X86/llround-conv.ll @@ -1,88 +1,84 @@ ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py -; RUN: llc < %s -mtriple=i686-unknown | FileCheck %s --check-prefix=X86 -; RUN: llc < %s -mtriple=i686-unknown -mattr=sse2 | FileCheck %s --check-prefix=SSE2 +; RUN: llc < %s -mtriple=i686-unknown | FileCheck %s --check-prefixes=X86,X86-NOSSE +; RUN: llc < %s -mtriple=i686-unknown -mattr=sse2 | FileCheck %s --check-prefixes=X86,X86-SSE2 +; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s --check-prefixes=X64 ; RUN: llc < %s -mtriple=i686-linux-gnu -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=GISEL-X86 -; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s --check-prefix=X64 ; RUN: llc < %s -mtriple=x86_64-linux-gnu -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=GISEL-X64 -define i64 @testmsxs(float %x) { -; X86-LABEL: testmsxs: -; X86: # %bb.0: # %entry -; X86-NEXT: pushl %eax -; X86-NEXT: .cfi_def_cfa_offset 8 -; X86-NEXT: flds {{[0-9]+}}(%esp) -; X86-NEXT: fstps (%esp) -; X86-NEXT: calll llroundf -; X86-NEXT: popl %ecx -; X86-NEXT: .cfi_def_cfa_offset 4 -; X86-NEXT: retl +; FIXME: crash +; define i64 @test_llround_f16(half %x) nounwind { +; %conv = tail call i64 @llvm.llround.f16(half %x) +; ret i64 %conv +; } + +define i64 @test_llround_f32(float %x) nounwind { +; X86-NOSSE-LABEL: test_llround_f32: +; X86-NOSSE: # %bb.0: +; X86-NOSSE-NEXT: pushl %eax +; X86-NOSSE-NEXT: flds {{[0-9]+}}(%esp) +; X86-NOSSE-NEXT: fstps (%esp) +; X86-NOSSE-NEXT: calll llroundf +; X86-NOSSE-NEXT: popl %ecx +; X86-NOSSE-NEXT: retl ; -; SSE2-LABEL: testmsxs: -; SSE2: # %bb.0: # %entry -; SSE2-NEXT: pushl %eax -; SSE2-NEXT: .cfi_def_cfa_offset 8 -; SSE2-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero -; SSE2-NEXT: movss %xmm0, (%esp) -; SSE2-NEXT: calll llroundf -; SSE2-NEXT: popl %ecx -; SSE2-NEXT: .cfi_def_cfa_offset 4 -; SSE2-NEXT: retl +; X86-SSE2-LABEL: test_llround_f32: +; X86-SSE2: # %bb.0: +; X86-SSE2-NEXT: pushl %eax +; X86-SSE2-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; X86-SSE2-NEXT: movss %xmm0, (%esp) +; X86-SSE2-NEXT: calll llroundf +; X86-SSE2-NEXT: popl %ecx +; X86-SSE2-NEXT: retl ; -; GISEL-X86-LABEL: testmsxs: -; GISEL-X86: # %bb.0: # %entry +; X64-LABEL: test_llround_f32: +; X64: # %bb.0: +; X64-NEXT: jmp llroundf@PLT # TAILCALL +; +; GISEL-X86-LABEL: test_llround_f32: +; GISEL-X86: # %bb.0: ; GISEL-X86-NEXT: subl $12, %esp -; GISEL-X86-NEXT: .cfi_def_cfa_offset 16 ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax ; GISEL-X86-NEXT: movl %eax, (%esp) ; GISEL-X86-NEXT: calll llroundf ; GISEL-X86-NEXT: addl $12, %esp -; GISEL-X86-NEXT: .cfi_def_cfa_offset 4 ; GISEL-X86-NEXT: retl ; -; X64-LABEL: testmsxs: -; X64: # %bb.0: # %entry -; X64-NEXT: jmp llroundf@PLT # TAILCALL -; -; GISEL-X64-LABEL: testmsxs: -; GISEL-X64: # %bb.0: # %entry +; GISEL-X64-LABEL: test_llround_f32: +; GISEL-X64: # %bb.0: ; GISEL-X64-NEXT: pushq %rax -; GISEL-X64-NEXT: .cfi_def_cfa_offset 16 ; GISEL-X64-NEXT: callq llroundf ; GISEL-X64-NEXT: popq %rcx -; GISEL-X64-NEXT: .cfi_def_cfa_offset 8 ; GISEL-X64-NEXT: retq -entry: - %0 = tail call i64 @llvm.llround.f32(float %x) - ret i64 %0 + %conv = tail call i64 @llvm.llround.f32(float %x) + ret i64 %conv } -define i64 @testmsxd(double %x) { -; X86-LABEL: testmsxd: -; X86: # %bb.0: # %entry -; X86-NEXT: subl $8, %esp -; X86-NEXT: .cfi_def_cfa_offset 12 -; X86-NEXT: fldl {{[0-9]+}}(%esp) -; X86-NEXT: fstpl (%esp) -; X86-NEXT: calll llround -; X86-NEXT: addl $8, %esp -; X86-NEXT: .cfi_def_cfa_offset 4 -; X86-NEXT: retl +define i64 @test_llround_f64(double %x) nounwind { +; X86-NOSSE-LABEL: test_llround_f64: +; X86-NOSSE: # %bb.0: +; X86-NOSSE-NEXT: subl $8, %esp +; X86-NOSSE-NEXT: fldl {{[0-9]+}}(%esp) +; X86-NOSSE-NEXT: fstpl (%esp) +; X86-NOSSE-NEXT: calll llround +; X86-NOSSE-NEXT: addl $8, %esp +; X86-NOSSE-NEXT: retl ; -; SSE2-LABEL: testmsxd: -; SSE2: # %bb.0: # %entry -; SSE2-NEXT: subl $8, %esp -; SSE2-NEXT: .cfi_def_cfa_offset 12 -; SSE2-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero -; SSE2-NEXT: movsd %xmm0, (%esp) -; SSE2-NEXT: calll llround -; SSE2-NEXT: addl $8, %esp -; SSE2-NEXT: .cfi_def_cfa_offset 4 -; SSE2-NEXT: retl +; X86-SSE2-LABEL: test_llround_f64: +; X86-SSE2: # %bb.0: +; X86-SSE2-NEXT: subl $8, %esp +; X86-SSE2-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; X86-SSE2-NEXT: movsd %xmm0, (%esp) +; X86-SSE2-NEXT: calll llround +; X86-SSE2-NEXT: addl $8, %esp +; X86-SSE2-NEXT: retl ; -; GISEL-X86-LABEL: testmsxd: -; GISEL-X86: # %bb.0: # %entry +; X64-LABEL: test_llround_f64: +; X64: # %bb.0: +; X64-NEXT: jmp llround@PLT # TAILCALL +; +; GISEL-X86-LABEL: test_llround_f64: +; GISEL-X86: # %bb.0: ; GISEL-X86-NEXT: subl $12, %esp -; GISEL-X86-NEXT: .cfi_def_cfa_offset 16 ; GISEL-X86-NEXT: leal {{[0-9]+}}(%esp), %eax ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx ; GISEL-X86-NEXT: movl 4(%eax), %eax @@ -92,111 +88,140 @@ define i64 @testmsxd(double %x) { ; GISEL-X86-NEXT: movl %eax, 4(%edx) ; GISEL-X86-NEXT: calll llround ; GISEL-X86-NEXT: addl $12, %esp -; GISEL-X86-NEXT: .cfi_def_cfa_offset 4 ; GISEL-X86-NEXT: retl ; -; X64-LABEL: testmsxd: -; X64: # %bb.0: # %entry -; X64-NEXT: jmp llround@PLT # TAILCALL -; -; GISEL-X64-LABEL: testmsxd: -; GISEL-X64: # %bb.0: # %entry +; GISEL-X64-LABEL: test_llround_f64: +; GISEL-X64: # %bb.0: ; GISEL-X64-NEXT: pushq %rax -; GISEL-X64-NEXT: .cfi_def_cfa_offset 16 ; GISEL-X64-NEXT: callq llround ; GISEL-X64-NEXT: popq %rcx -; GISEL-X64-NEXT: .cfi_def_cfa_offset 8 ; GISEL-X64-NEXT: retq -entry: - %0 = tail call i64 @llvm.llround.f64(double %x) - ret i64 %0 + %conv = tail call i64 @llvm.llround.f64(double %x) + ret i64 %conv } -define i64 @testmsll(x86_fp80 %x) { -; X86-LABEL: testmsll: -; X86: # %bb.0: # %entry +define i64 @test_llround_f80(x86_fp80 %x) nounwind { +; X86-LABEL: test_llround_f80: +; X86: # %bb.0: ; X86-NEXT: subl $12, %esp -; X86-NEXT: .cfi_def_cfa_offset 16 ; X86-NEXT: fldt {{[0-9]+}}(%esp) ; X86-NEXT: fstpt (%esp) ; X86-NEXT: calll llroundl ; X86-NEXT: addl $12, %esp -; X86-NEXT: .cfi_def_cfa_offset 4 ; X86-NEXT: retl ; -; SSE2-LABEL: testmsll: -; SSE2: # %bb.0: # %entry -; SSE2-NEXT: subl $12, %esp -; SSE2-NEXT: .cfi_def_cfa_offset 16 -; SSE2-NEXT: fldt {{[0-9]+}}(%esp) -; SSE2-NEXT: fstpt (%esp) -; SSE2-NEXT: calll llroundl -; SSE2-NEXT: addl $12, %esp -; SSE2-NEXT: .cfi_def_cfa_offset 4 -; SSE2-NEXT: retl +; X64-LABEL: test_llround_f80: +; X64: # %bb.0: +; X64-NEXT: jmp llroundl@PLT # TAILCALL ; -; GISEL-X86-LABEL: testmsll: -; GISEL-X86: # %bb.0: # %entry +; GISEL-X86-LABEL: test_llround_f80: +; GISEL-X86: # %bb.0: ; GISEL-X86-NEXT: subl $12, %esp -; GISEL-X86-NEXT: .cfi_def_cfa_offset 16 ; GISEL-X86-NEXT: fldt {{[0-9]+}}(%esp) ; GISEL-X86-NEXT: fstpt (%esp) ; GISEL-X86-NEXT: calll llroundl ; GISEL-X86-NEXT: addl $12, %esp -; GISEL-X86-NEXT: .cfi_def_cfa_offset 4 ; GISEL-X86-NEXT: retl ; -; X64-LABEL: testmsll: -; X64: # %bb.0: # %entry -; X64-NEXT: jmp llroundl@PLT # TAILCALL -; -; GISEL-X64-LABEL: testmsll: -; GISEL-X64: # %bb.0: # %entry +; GISEL-X64-LABEL: test_llround_f80: +; GISEL-X64: # %bb.0: ; GISEL-X64-NEXT: subq $24, %rsp -; GISEL-X64-NEXT: .cfi_def_cfa_offset 32 ; GISEL-X64-NEXT: fldt {{[0-9]+}}(%rsp) ; GISEL-X64-NEXT: fstpt (%rsp) ; GISEL-X64-NEXT: callq llroundl ; GISEL-X64-NEXT: addq $24, %rsp -; GISEL-X64-NEXT: .cfi_def_cfa_offset 8 ; GISEL-X64-NEXT: retq -entry: - %0 = tail call i64 @llvm.llround.f80(x86_fp80 %x) - ret i64 %0 + %conv = tail call i64 @llvm.llround.f80(x86_fp80 %x) + ret i64 %conv } -define i64 @test_llround_i64_f32(float %x) nounwind { -; X86-LABEL: test_llround_i64_f32: +; FIXME(#44744): incorrect libcall +define i64 @test_llround_f128(fp128 %x) nounwind { +; X86-LABEL: test_llround_f128: ; X86: # %bb.0: -; X86-NEXT: pushl %eax -; X86-NEXT: flds {{[0-9]+}}(%esp) -; X86-NEXT: fstps (%esp) -; X86-NEXT: calll llroundf -; X86-NEXT: popl %ecx +; X86-NEXT: pushl %ebp +; X86-NEXT: movl %esp, %ebp +; X86-NEXT: andl $-16, %esp +; X86-NEXT: subl $16, %esp +; X86-NEXT: pushl 20(%ebp) +; X86-NEXT: pushl 16(%ebp) +; X86-NEXT: pushl 12(%ebp) +; X86-NEXT: pushl 8(%ebp) +; X86-NEXT: calll llroundl +; X86-NEXT: addl $16, %esp +; X86-NEXT: movl %ebp, %esp +; X86-NEXT: popl %ebp ; X86-NEXT: retl ; -; SSE2-LABEL: test_llround_i64_f32: -; SSE2: # %bb.0: -; SSE2-NEXT: pushl %eax -; SSE2-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero -; SSE2-NEXT: movss %xmm0, (%esp) -; SSE2-NEXT: calll llroundf -; SSE2-NEXT: popl %ecx -; SSE2-NEXT: retl +; X64-LABEL: test_llround_f128: +; X64: # %bb.0: +; X64-NEXT: jmp llroundl@PLT # TAILCALL ; -; GISEL-X86-LABEL: test_llround_i64_f32: +; GISEL-X86-LABEL: test_llround_f128: ; GISEL-X86: # %bb.0: -; GISEL-X86-NEXT: subl $12, %esp +; GISEL-X86-NEXT: pushl %esi +; GISEL-X86-NEXT: subl $24, %esp ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax +; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx +; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %edx +; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %esi ; GISEL-X86-NEXT: movl %eax, (%esp) -; GISEL-X86-NEXT: calll llroundf -; GISEL-X86-NEXT: addl $12, %esp +; GISEL-X86-NEXT: movl %ecx, {{[0-9]+}}(%esp) +; GISEL-X86-NEXT: movl %edx, {{[0-9]+}}(%esp) +; GISEL-X86-NEXT: movl %esi, {{[0-9]+}}(%esp) +; GISEL-X86-NEXT: calll llroundf128 +; GISEL-X86-NEXT: addl $24, %esp +; GISEL-X86-NEXT: popl %esi ; GISEL-X86-NEXT: retl ; +; GISEL-X64-LABEL: test_llround_f128: +; GISEL-X64: # %bb.0: +; GISEL-X64-NEXT: pushq %rax +; GISEL-X64-NEXT: callq llroundf128 +; GISEL-X64-NEXT: popq %rcx +; GISEL-X64-NEXT: retq + %conv = tail call i64 @llvm.llround.f128(fp128 %x) + ret i64 %conv +} + +; FIXME: crash +; define i64 @test_llround_i64_f16(half %x) nounwind { +; %conv = call i64 @llvm.llround.i64.f16(half %x) +; ret i64 %conv +; } + +define i64 @test_llround_i64_f32(float %x) nounwind { +; X86-NOSSE-LABEL: test_llround_i64_f32: +; X86-NOSSE: # %bb.0: +; X86-NOSSE-NEXT: pushl %eax +; X86-NOSSE-NEXT: flds {{[0-9]+}}(%esp) +; X86-NOSSE-NEXT: fstps (%esp) +; X86-NOSSE-NEXT: calll llroundf +; X86-NOSSE-NEXT: popl %ecx +; X86-NOSSE-NEXT: retl +; +; X86-SSE2-LABEL: test_llround_i64_f32: +; X86-SSE2: # %bb.0: +; X86-SSE2-NEXT: pushl %eax +; X86-SSE2-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; X86-SSE2-NEXT: movss %xmm0, (%esp) +; X86-SSE2-NEXT: calll llroundf +; X86-SSE2-NEXT: popl %ecx +; X86-SSE2-NEXT: retl +; ; X64-LABEL: test_llround_i64_f32: ; X64: # %bb.0: ; X64-NEXT: jmp llroundf@PLT # TAILCALL ; +; GISEL-X86-LABEL: test_llround_i64_f32: +; GISEL-X86: # %bb.0: +; GISEL-X86-NEXT: subl $12, %esp +; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax +; GISEL-X86-NEXT: movl %eax, (%esp) +; GISEL-X86-NEXT: calll llroundf +; GISEL-X86-NEXT: addl $12, %esp +; GISEL-X86-NEXT: retl +; ; GISEL-X64-LABEL: test_llround_i64_f32: ; GISEL-X64: # %bb.0: ; GISEL-X64-NEXT: pushq %rax @@ -208,23 +233,27 @@ define i64 @test_llround_i64_f32(float %x) nounwind { } define i64 @test_llround_i64_f64(double %x) nounwind { -; X86-LABEL: test_llround_i64_f64: -; X86: # %bb.0: -; X86-NEXT: subl $8, %esp -; X86-NEXT: fldl {{[0-9]+}}(%esp) -; X86-NEXT: fstpl (%esp) -; X86-NEXT: calll llround -; X86-NEXT: addl $8, %esp -; X86-NEXT: retl +; X86-NOSSE-LABEL: test_llround_i64_f64: +; X86-NOSSE: # %bb.0: +; X86-NOSSE-NEXT: subl $8, %esp +; X86-NOSSE-NEXT: fldl {{[0-9]+}}(%esp) +; X86-NOSSE-NEXT: fstpl (%esp) +; X86-NOSSE-NEXT: calll llround +; X86-NOSSE-NEXT: addl $8, %esp +; X86-NOSSE-NEXT: retl +; +; X86-SSE2-LABEL: test_llround_i64_f64: +; X86-SSE2: # %bb.0: +; X86-SSE2-NEXT: subl $8, %esp +; X86-SSE2-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; X86-SSE2-NEXT: movsd %xmm0, (%esp) +; X86-SSE2-NEXT: calll llround +; X86-SSE2-NEXT: addl $8, %esp +; X86-SSE2-NEXT: retl ; -; SSE2-LABEL: test_llround_i64_f64: -; SSE2: # %bb.0: -; SSE2-NEXT: subl $8, %esp -; SSE2-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero -; SSE2-NEXT: movsd %xmm0, (%esp) -; SSE2-NEXT: calll llround -; SSE2-NEXT: addl $8, %esp -; SSE2-NEXT: retl +; X64-LABEL: test_llround_i64_f64: +; X64: # %bb.0: +; X64-NEXT: jmp llround@PLT # TAILCALL ; ; GISEL-X86-LABEL: test_llround_i64_f64: ; GISEL-X86: # %bb.0: @@ -240,10 +269,6 @@ define i64 @test_llround_i64_f64(double %x) nounwind { ; GISEL-X86-NEXT: addl $12, %esp ; GISEL-X86-NEXT: retl ; -; X64-LABEL: test_llround_i64_f64: -; X64: # %bb.0: -; X64-NEXT: jmp llround@PLT # TAILCALL -; ; GISEL-X64-LABEL: test_llround_i64_f64: ; GISEL-X64: # %bb.0: ; GISEL-X64-NEXT: pushq %rax @@ -264,14 +289,9 @@ define i64 @test_llround_i64_f80(x86_fp80 %x) nounwind { ; X86-NEXT: addl $12, %esp ; X86-NEXT: retl ; -; SSE2-LABEL: test_llround_i64_f80: -; SSE2: # %bb.0: -; SSE2-NEXT: subl $12, %esp -; SSE2-NEXT: fldt {{[0-9]+}}(%esp) -; SSE2-NEXT: fstpt (%esp) -; SSE2-NEXT: calll llroundl -; SSE2-NEXT: addl $12, %esp -; SSE2-NEXT: retl +; X64-LABEL: test_llround_i64_f80: +; X64: # %bb.0: +; X64-NEXT: jmp llroundl@PLT # TAILCALL ; ; GISEL-X86-LABEL: test_llround_i64_f80: ; GISEL-X86: # %bb.0: @@ -282,10 +302,6 @@ define i64 @test_llround_i64_f80(x86_fp80 %x) nounwind { ; GISEL-X86-NEXT: addl $12, %esp ; GISEL-X86-NEXT: retl ; -; X64-LABEL: test_llround_i64_f80: -; X64: # %bb.0: -; X64-NEXT: jmp llroundl@PLT # TAILCALL -; ; GISEL-X64-LABEL: test_llround_i64_f80: ; GISEL-X64: # %bb.0: ; GISEL-X64-NEXT: subq $24, %rsp @@ -297,3 +313,79 @@ define i64 @test_llround_i64_f80(x86_fp80 %x) nounwind { %conv = call i64 @llvm.llround.i64.f80(x86_fp80 %x) ret i64 %conv } + +; FIXME(#44744): incorrect libcall +define i64 @test_llround_i64_f128(fp128 %x) nounwind { +; X86-LABEL: test_llround_i64_f128: +; X86: # %bb.0: +; X86-NEXT: pushl %ebp +; X86-NEXT: movl %esp, %ebp +; X86-NEXT: andl $-16, %esp +; X86-NEXT: subl $16, %esp +; X86-NEXT: pushl 20(%ebp) +; X86-NEXT: pushl 16(%ebp) +; X86-NEXT: pushl 12(%ebp) +; X86-NEXT: pushl 8(%ebp) +; X86-NEXT: calll llroundl +; X86-NEXT: addl $16, %esp +; X86-NEXT: movl %ebp, %esp +; X86-NEXT: popl %ebp +; X86-NEXT: retl +; +; X64-LABEL: test_llround_i64_f128: +; X64: # %bb.0: +; X64-NEXT: jmp llroundl@PLT # TAILCALL +; +; GISEL-X86-LABEL: test_llround_i64_f128: +; GISEL-X86: # %bb.0: +; GISEL-X86-NEXT: pushl %esi +; GISEL-X86-NEXT: subl $24, %esp +; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax +; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx +; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %edx +; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %esi +; GISEL-X86-NEXT: movl %eax, (%esp) +; GISEL-X86-NEXT: movl %ecx, {{[0-9]+}}(%esp) +; GISEL-X86-NEXT: movl %edx, {{[0-9]+}}(%esp) +; GISEL-X86-NEXT: movl %esi, {{[0-9]+}}(%esp) +; GISEL-X86-NEXT: calll llroundf128 +; GISEL-X86-NEXT: addl $24, %esp +; GISEL-X86-NEXT: popl %esi +; GISEL-X86-NEXT: retl +; +; GISEL-X64-LABEL: test_llround_i64_f128: +; GISEL-X64: # %bb.0: +; GISEL-X64-NEXT: pushq %rax +; GISEL-X64-NEXT: callq llroundf128 +; GISEL-X64-NEXT: popq %rcx +; GISEL-X64-NEXT: retq + %conv = call i64 @llvm.llround.i64.f128(fp128 %x) + ret i64 %conv +} + +; FIXME: not yet implemented for global isel +; define i64 @test_llround_i64_f16_strict(half %x) nounwind strictfp { +; %conv = call i64 @llvm.experimental.constrained.llround.i64.f16(half %x, metadata!"round.dynamic", metadata!"fpexcept.strict") +; ret i64 %conv +; } + +; define i64 @test_llround_i64_f32_strict(float %x) nounwind strictfp { +; %conv = call i64 @llvm.experimental.constrained.llround.i64.f32(float %x, metadata!"round.dynamic", metadata!"fpexcept.strict") +; ret i64 %conv +; } + +; define i64 @test_llround_i64_f64_strict(double %x) nounwind strictfp { +; %conv = call i64 @llvm.experimental.constrained.llround.i64.f64(double %x, metadata!"round.dynamic", metadata!"fpexcept.strict") +; ret i64 %conv +; } + +; define i64 @test_llround_i64_f80_strict(x86_fp80 %x) nounwind strictfp { +; %conv = call i64 @llvm.experimental.constrained.llround.i64.f80(x86_fp80 %x, metadata!"round.dynamic", metadata!"fpexcept.strict") +; ret i64 %conv +; } + +; ; FIXME(#44744): incorrect libcall +; define i64 @test_llround_i64_f128_strict(fp128 %x) nounwind strictfp { +; %conv = call i64 @llvm.experimental.constrained.llround.i64.f128(fp128 %x, metadata!"round.dynamic", metadata!"fpexcept.strict") +; ret i64 %conv +; } |
