← Back to branch summary

~ubuntu-branches/ubuntu/quantal/llvm-3.1/quantal

« back to all changes in this revision

Viewing changes to test/Transforms/SimplifyLibCalls/pow-to-sqrt.ll

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2012-03-29 19:09:51 UTC
  • Revision ID: package-import@ubuntu.com-20120329190951-aq83ivog4cg8bxun
Tags: upstream-3.1~svn153643
Import upstream version 3.1~svn153643

Show diffs side-by-side

added added

removed removed

Lines of Context:
test/Transforms/SimplifyLibCalls/pow-to-sqrt.ll
 
1
; RUN: opt < %s -simplify-libcalls -S | FileCheck %s
 
2
; rdar://7251832
 
3
 
 
4
; SimplifyLibcalls should optimize pow(x, 0.5) to sqrt plus code to handle
 
5
; special cases. The readonly attribute on the call should be preserved.
 
6
 
 
7
; CHECK: define float @foo(float %x) nounwind {
 
8
; CHECK:   %sqrtf = call float @sqrtf(float %x) nounwind readonly
 
9
; CHECK:   %fabsf = call float @fabsf(float %sqrtf) nounwind readonly
 
10
; CHECK:   %1 = fcmp oeq float %x, 0xFFF0000000000000
 
11
; CHECK:   %retval = select i1 %1, float 0x7FF0000000000000, float %fabsf
 
12
; CHECK:   ret float %retval
 
13
 
 
14
define float @foo(float %x) nounwind {
 
15
  %retval = call float @powf(float %x, float 0.5)
 
16
  ret float %retval
 
17
}
 
18
 
 
19
; CHECK: define double @doo(double %x) nounwind {
 
20
; CHECK:   %sqrt = call double @sqrt(double %x) nounwind readonly
 
21
; CHECK:   %fabs = call double @fabs(double %sqrt) nounwind readonly
 
22
; CHECK:   %1 = fcmp oeq double %x, 0xFFF0000000000000
 
23
; CHECK:   %retval = select i1 %1, double 0x7FF0000000000000, double %fabs
 
24
; CHECK:   ret double %retval
 
25
; CHECK: }
 
26
 
 
27
define double @doo(double %x) nounwind {
 
28
  %retval = call double @pow(double %x, double 0.5)
 
29
  ret double %retval
 
30
}
 
31
 
 
32
declare float @powf(float, float) nounwind readonly
 
33
declare double @pow(double, double) nounwind readonly