1 ; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 -enable-unsafe-fp-math -mattr=-vsx | FileCheck %s
2 ; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 -enable-unsafe-fp-math -mattr=-vsx -recip=sqrtf:0,sqrtd:0 | FileCheck %s -check-prefix=CHECK-NONR
3 ; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 -mattr=-vsx | FileCheck -check-prefix=CHECK-SAFE %s
4 target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
5 target triple = "powerpc64-unknown-linux-gnu"
7 declare double @llvm.sqrt.f64(double)
8 declare float @llvm.sqrt.f32(float)
9 declare <4 x float> @llvm.sqrt.v4f32(<4 x float>)
11 define double @foo(double %a, double %b) nounwind {
12 %x = call double @llvm.sqrt.f64(double %b)
13 %r = fdiv double %a, %x
30 ; CHECK-NONR-NOT: fmadd
32 ; CHECK-NONR-NOT: fmadd
41 define double @foof(double %a, float %b) nounwind {
42 %x = call float @llvm.sqrt.f32(float %b)
43 %y = fpext float %x to double
44 %r = fdiv double %a, %y
62 define float @food(float %a, double %b) nounwind {
63 %x = call double @llvm.sqrt.f64(double %b)
64 %y = fptrunc double %x to float
65 %r = fdiv float %a, %y
87 define float @goo(float %a, float %b) nounwind {
88 %x = call float @llvm.sqrt.f32(float %b)
89 %r = fdiv float %a, %x
102 ; CHECK-NONR: frsqrtes
103 ; CHECK-NONR-NOT: fmadds
105 ; CHECK-NONR-NOT: fmadds
114 ; Recognize that this is rsqrt(a) * rcp(b) * c,
115 ; not 1 / ( 1 / sqrt(a)) * rcp(b) * c.
116 define float @rsqrt_fmul(float %a, float %b, float %c) {
117 %x = call float @llvm.sqrt.f32(float %a)
118 %y = fmul float %x, %b
119 %z = fdiv float %c, %y
123 ; CHECK-DAG: frsqrtes
135 ; CHECK-SAFE: @rsqrt_fmul
142 define <4 x float> @hoo(<4 x float> %a, <4 x float> %b) nounwind {
143 %x = call <4 x float> @llvm.sqrt.v4f32(<4 x float> %b)
144 %r = fdiv <4 x float> %a, %x
151 ; CHECK-SAFE-NOT: vrsqrtefp
155 define double @foo2(double %a, double %b) nounwind {
156 %r = fdiv double %a, %b
173 define float @goo2(float %a, float %b) nounwind {
174 %r = fdiv float %a, %b
189 define <4 x float> @hoo2(<4 x float> %a, <4 x float> %b) nounwind {
190 %r = fdiv <4 x float> %a, %b
197 ; CHECK-SAFE-NOT: vrefp
201 define double @foo3(double %a) nounwind {
202 %r = call double @llvm.sqrt.f64(double %a)
223 define float @goo3(float %a) nounwind {
224 %r = call float @llvm.sqrt.f32(float %a)
229 ; CHECK-DAG: frsqrtes
242 define <4 x float> @hoo3(<4 x float> %a) nounwind {
243 %r = call <4 x float> @llvm.sqrt.v4f32(<4 x float> %a)
248 ; CHECK-DAG: vcmpeqfp
251 ; CHECK-SAFE-NOT: vrsqrtefp