Add readonly to some sin and cos calls; transformations

being checked aren't valid without it.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82786 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dale Johannesen 2009-09-25 18:15:29 +00:00
parent 3e0c99a26f
commit 1d73742ad9
2 changed files with 13 additions and 13 deletions

View File

@ -6,7 +6,7 @@ declare double @sin(double %f)
define double @foo(double %e) define double @foo(double %e)
{ {
%f = fsub double 0.0, %e %f = fsub double 0.0, %e
%g = call double @sin(double %f) %g = call double @sin(double %f) readonly
%h = fsub double 0.0, %g %h = fsub double 0.0, %g
ret double %h ret double %h
} }

View File

@ -4,45 +4,45 @@
; RUN: llc < %s -march=x86 -mattr=-sse,-sse2,-sse3 -enable-unsafe-fp-math | \ ; RUN: llc < %s -march=x86 -mattr=-sse,-sse2,-sse3 -enable-unsafe-fp-math | \
; RUN: grep cos\$ | count 3 ; RUN: grep cos\$ | count 3
declare float @sinf(float) declare float @sinf(float) readonly
declare double @sin(double) declare double @sin(double) readonly
declare x86_fp80 @sinl(x86_fp80) declare x86_fp80 @sinl(x86_fp80) readonly
define float @test1(float %X) { define float @test1(float %X) {
%Y = call float @sinf(float %X) %Y = call float @sinf(float %X) readonly
ret float %Y ret float %Y
} }
define double @test2(double %X) { define double @test2(double %X) {
%Y = call double @sin(double %X) %Y = call double @sin(double %X) readonly
ret double %Y ret double %Y
} }
define x86_fp80 @test3(x86_fp80 %X) { define x86_fp80 @test3(x86_fp80 %X) {
%Y = call x86_fp80 @sinl(x86_fp80 %X) %Y = call x86_fp80 @sinl(x86_fp80 %X) readonly
ret x86_fp80 %Y ret x86_fp80 %Y
} }
declare float @cosf(float) declare float @cosf(float) readonly
declare double @cos(double) declare double @cos(double) readonly
declare x86_fp80 @cosl(x86_fp80) declare x86_fp80 @cosl(x86_fp80) readonly
define float @test4(float %X) { define float @test4(float %X) {
%Y = call float @cosf(float %X) %Y = call float @cosf(float %X) readonly
ret float %Y ret float %Y
} }
define double @test5(double %X) { define double @test5(double %X) {
%Y = call double @cos(double %X) %Y = call double @cos(double %X) readonly
ret double %Y ret double %Y
} }
define x86_fp80 @test6(x86_fp80 %X) { define x86_fp80 @test6(x86_fp80 %X) {
%Y = call x86_fp80 @cosl(x86_fp80 %X) %Y = call x86_fp80 @cosl(x86_fp80 %X) readonly
ret x86_fp80 %Y ret x86_fp80 %Y
} }