X86: Emitting x87 fsin/fcos for sinf/cosf is not safe without unsafe fp math.

This was only an issue if sse is disabled.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@163967 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Benjamin Kramer 2012-09-15 12:44:27 +00:00
parent 1c8db50a9a
commit 562b240fc5
2 changed files with 15 additions and 0 deletions

View File

@ -647,7 +647,9 @@ X86TargetLowering::X86TargetLowering(X86TargetMachine &TM)
setOperationAction(ISD::FCOPYSIGN, MVT::f32, Expand);
if (!TM.Options.UnsafeFPMath) {
setOperationAction(ISD::FSIN , MVT::f32 , Expand);
setOperationAction(ISD::FSIN , MVT::f64 , Expand);
setOperationAction(ISD::FCOS , MVT::f32 , Expand);
setOperationAction(ISD::FCOS , MVT::f64 , Expand);
}
addLegalFPImmediate(APFloat(+0.0)); // FLD0

View File

@ -1,6 +1,7 @@
; Make sure this testcase codegens to the sin and cos instructions, not calls
; RUN: llc < %s -mtriple=i686-apple-macosx -mattr=-sse,-sse2,-sse3 -enable-unsafe-fp-math | FileCheck %s --check-prefix=SIN
; RUN: llc < %s -mtriple=i686-apple-macosx -mattr=-sse,-sse2,-sse3 -enable-unsafe-fp-math | FileCheck %s --check-prefix=COS
; RUN: llc < %s -mtriple=i686-apple-macosx -mattr=-sse,-sse2,-sse3 | FileCheck %s --check-prefix=SAFE
declare float @sinf(float) readonly
@ -17,6 +18,9 @@ define float @test1(float %X) {
; SIN-NOT: fsin
; SAFE: test1
; SAFE-NOT: fsin
; SIN: test2:
define double @test2(double %X) {
%Y = call double @sin(double %X) readonly
@ -26,6 +30,9 @@ define double @test2(double %X) {
; SIN-NOT: fsin
; SAFE: test2
; SAFE-NOT: fsin
; SIN: test3:
define x86_fp80 @test3(x86_fp80 %X) {
%Y = call x86_fp80 @sinl(x86_fp80 %X) readonly
@ -50,12 +57,18 @@ define float @test4(float %X) {
}
; COS: {{^[ \t]*fcos}}
; SAFE: test4
; SAFE-NOT: fcos
define double @test5(double %X) {
%Y = call double @cos(double %X) readonly
ret double %Y
}
; COS: {{^[ \t]*fcos}}
; SAFE: test5
; SAFE-NOT: fcos
define x86_fp80 @test6(x86_fp80 %X) {
%Y = call x86_fp80 @cosl(x86_fp80 %X) readonly
ret x86_fp80 %Y