
Many backends are missing either all tests for lrint, or specifically those for f16, which currently crashes for `softPromoteHalf` targets. For a number of popular backends, do the following: * Ensure f16, f32, f64, and f128 are all covered * Ensure both a 32- and 64-bit target are tested, if relevant * Add `nounwind` to clean up CFI output * Add a test covering the above if one did not exist * Always specify the integer type in intrinsic calls There are quite a few FIXMEs here, especially for `f16`, but much of this will be resolved in the near future.
164 lines
5.0 KiB
LLVM
164 lines
5.0 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; 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=i686-unknown -mattr=avx | FileCheck %s --check-prefixes=X86,X86-AVX
|
|
; RUN: llc < %s -mtriple=i686-unknown -mattr=avx512f | FileCheck %s --check-prefixes=X86,X86-AVX
|
|
; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s --check-prefixes=X64,X64-SSE
|
|
; RUN: llc < %s -mtriple=x86_64-unknown -mattr=avx | FileCheck %s --check-prefixes=X64,X64-AVX
|
|
; RUN: llc < %s -mtriple=x86_64-unknown -mattr=avx512f | FileCheck %s --check-prefixes=X64,X64-AVX
|
|
|
|
; FIXME: crash
|
|
; define i32 @testmswh(half %x) nounwind {
|
|
; entry:
|
|
; %0 = tail call i32 @llvm.lrint.i32.f16(half %x)
|
|
; ret i32 %0
|
|
; }
|
|
|
|
define i32 @testmsws(float %x) nounwind {
|
|
; X86-NOSSE-LABEL: testmsws:
|
|
; X86-NOSSE: # %bb.0: # %entry
|
|
; X86-NOSSE-NEXT: pushl %eax
|
|
; X86-NOSSE-NEXT: flds {{[0-9]+}}(%esp)
|
|
; X86-NOSSE-NEXT: fistpl (%esp)
|
|
; X86-NOSSE-NEXT: movl (%esp), %eax
|
|
; X86-NOSSE-NEXT: popl %ecx
|
|
; X86-NOSSE-NEXT: retl
|
|
;
|
|
; X86-SSE2-LABEL: testmsws:
|
|
; X86-SSE2: # %bb.0: # %entry
|
|
; X86-SSE2-NEXT: cvtss2si {{[0-9]+}}(%esp), %eax
|
|
; X86-SSE2-NEXT: retl
|
|
;
|
|
; X86-AVX-LABEL: testmsws:
|
|
; X86-AVX: # %bb.0: # %entry
|
|
; X86-AVX-NEXT: vcvtss2si {{[0-9]+}}(%esp), %eax
|
|
; X86-AVX-NEXT: retl
|
|
;
|
|
; X64-SSE-LABEL: testmsws:
|
|
; X64-SSE: # %bb.0: # %entry
|
|
; X64-SSE-NEXT: cvtss2si %xmm0, %eax
|
|
; X64-SSE-NEXT: retq
|
|
;
|
|
; X64-AVX-LABEL: testmsws:
|
|
; X64-AVX: # %bb.0: # %entry
|
|
; X64-AVX-NEXT: vcvtss2si %xmm0, %eax
|
|
; X64-AVX-NEXT: retq
|
|
entry:
|
|
%0 = tail call i32 @llvm.lrint.i32.f32(float %x)
|
|
ret i32 %0
|
|
}
|
|
|
|
define i32 @testmswd(double %x) nounwind {
|
|
; X86-NOSSE-LABEL: testmswd:
|
|
; X86-NOSSE: # %bb.0: # %entry
|
|
; X86-NOSSE-NEXT: pushl %eax
|
|
; X86-NOSSE-NEXT: fldl {{[0-9]+}}(%esp)
|
|
; X86-NOSSE-NEXT: fistpl (%esp)
|
|
; X86-NOSSE-NEXT: movl (%esp), %eax
|
|
; X86-NOSSE-NEXT: popl %ecx
|
|
; X86-NOSSE-NEXT: retl
|
|
;
|
|
; X86-SSE2-LABEL: testmswd:
|
|
; X86-SSE2: # %bb.0: # %entry
|
|
; X86-SSE2-NEXT: cvtsd2si {{[0-9]+}}(%esp), %eax
|
|
; X86-SSE2-NEXT: retl
|
|
;
|
|
; X86-AVX-LABEL: testmswd:
|
|
; X86-AVX: # %bb.0: # %entry
|
|
; X86-AVX-NEXT: vcvtsd2si {{[0-9]+}}(%esp), %eax
|
|
; X86-AVX-NEXT: retl
|
|
;
|
|
; X64-SSE-LABEL: testmswd:
|
|
; X64-SSE: # %bb.0: # %entry
|
|
; X64-SSE-NEXT: cvtsd2si %xmm0, %eax
|
|
; X64-SSE-NEXT: retq
|
|
;
|
|
; X64-AVX-LABEL: testmswd:
|
|
; X64-AVX: # %bb.0: # %entry
|
|
; X64-AVX-NEXT: vcvtsd2si %xmm0, %eax
|
|
; X64-AVX-NEXT: retq
|
|
entry:
|
|
%0 = tail call i32 @llvm.lrint.i32.f64(double %x)
|
|
ret i32 %0
|
|
}
|
|
|
|
define i32 @testmsll(x86_fp80 %x) nounwind {
|
|
; X86-LABEL: testmsll:
|
|
; X86: # %bb.0: # %entry
|
|
; X86-NEXT: pushl %eax
|
|
; X86-NEXT: fldt {{[0-9]+}}(%esp)
|
|
; X86-NEXT: fistpl (%esp)
|
|
; X86-NEXT: movl (%esp), %eax
|
|
; X86-NEXT: popl %ecx
|
|
; X86-NEXT: retl
|
|
;
|
|
; X64-LABEL: testmsll:
|
|
; X64: # %bb.0: # %entry
|
|
; X64-NEXT: fldt {{[0-9]+}}(%rsp)
|
|
; X64-NEXT: fistpl -{{[0-9]+}}(%rsp)
|
|
; X64-NEXT: movl -{{[0-9]+}}(%rsp), %eax
|
|
; X64-NEXT: retq
|
|
entry:
|
|
%0 = tail call i32 @llvm.lrint.i32.f80(x86_fp80 %x)
|
|
ret i32 %0
|
|
}
|
|
|
|
; FIXME(#44744): incorrect libcall
|
|
define i32 @testmswq(fp128 %x) nounwind {
|
|
; X86-NOSSE-LABEL: testmswq:
|
|
; X86-NOSSE: # %bb.0: # %entry
|
|
; X86-NOSSE-NEXT: pushl %ebp
|
|
; X86-NOSSE-NEXT: movl %esp, %ebp
|
|
; X86-NOSSE-NEXT: andl $-16, %esp
|
|
; X86-NOSSE-NEXT: subl $16, %esp
|
|
; X86-NOSSE-NEXT: pushl 20(%ebp)
|
|
; X86-NOSSE-NEXT: pushl 16(%ebp)
|
|
; X86-NOSSE-NEXT: pushl 12(%ebp)
|
|
; X86-NOSSE-NEXT: pushl 8(%ebp)
|
|
; X86-NOSSE-NEXT: calll lrintl
|
|
; X86-NOSSE-NEXT: addl $16, %esp
|
|
; X86-NOSSE-NEXT: movl %ebp, %esp
|
|
; X86-NOSSE-NEXT: popl %ebp
|
|
; X86-NOSSE-NEXT: retl
|
|
;
|
|
; X86-SSE2-LABEL: testmswq:
|
|
; X86-SSE2: # %bb.0: # %entry
|
|
; X86-SSE2-NEXT: pushl %ebp
|
|
; X86-SSE2-NEXT: movl %esp, %ebp
|
|
; X86-SSE2-NEXT: andl $-16, %esp
|
|
; X86-SSE2-NEXT: subl $16, %esp
|
|
; X86-SSE2-NEXT: pushl 20(%ebp)
|
|
; X86-SSE2-NEXT: pushl 16(%ebp)
|
|
; X86-SSE2-NEXT: pushl 12(%ebp)
|
|
; X86-SSE2-NEXT: pushl 8(%ebp)
|
|
; X86-SSE2-NEXT: calll lrintl
|
|
; X86-SSE2-NEXT: addl $16, %esp
|
|
; X86-SSE2-NEXT: movl %ebp, %esp
|
|
; X86-SSE2-NEXT: popl %ebp
|
|
; X86-SSE2-NEXT: retl
|
|
;
|
|
; X86-AVX-LABEL: testmswq:
|
|
; X86-AVX: # %bb.0: # %entry
|
|
; X86-AVX-NEXT: pushl %ebp
|
|
; X86-AVX-NEXT: movl %esp, %ebp
|
|
; X86-AVX-NEXT: andl $-16, %esp
|
|
; X86-AVX-NEXT: subl $32, %esp
|
|
; X86-AVX-NEXT: vmovups 8(%ebp), %xmm0
|
|
; X86-AVX-NEXT: vmovups %xmm0, (%esp)
|
|
; X86-AVX-NEXT: calll lrintl
|
|
; X86-AVX-NEXT: movl %ebp, %esp
|
|
; X86-AVX-NEXT: popl %ebp
|
|
; X86-AVX-NEXT: retl
|
|
;
|
|
; X64-LABEL: testmswq:
|
|
; X64: # %bb.0: # %entry
|
|
; X64-NEXT: jmp lrintl@PLT # TAILCALL
|
|
entry:
|
|
%0 = tail call i32 @llvm.lrint.i32.f128(fp128 %x)
|
|
ret i32 %0
|
|
}
|
|
|
|
declare i32 @llvm.lrint.i32.f32(float) nounwind readnone
|
|
declare i32 @llvm.lrint.i32.f64(double) nounwind readnone
|
|
declare i32 @llvm.lrint.i32.f80(x86_fp80) nounwind readnone
|