; Make sure this testcase codegens to the fabs instruction, not a call to fabsf
-; RUN: llvm-upgrade < %s | llvm-as | llc -march=x86 -mattr=-sse2,-sse3 | \
-; RUN: grep fabs\$ | wc -l | grep 1
-; RUN: llvm-upgrade < %s | llvm-as | \
-; RUN: llc -march=x86 -mattr=-sse2,-sse3 -enable-unsafe-fp-math | \
-; RUN: grep fabs\$ | wc -l | grep 2
+; RUN: llc < %s -march=x86 -mattr=-sse2,-sse3,-sse | grep fabs\$ | \
+; RUN: count 2
+; RUN: llc < %s -march=x86 -mattr=-sse,-sse2,-sse3 -enable-unsafe-fp-math -enable-no-nans-fp-math | \
+; RUN: grep fabs\$ | count 3
-target endian = little
-target pointersize = 32
+declare float @fabsf(float)
-declare float %fabsf(float)
+declare x86_fp80 @fabsl(x86_fp80)
-float %test1(float %X) {
- %Y = call float %fabsf(float %X)
+define float @test1(float %X) {
+ %Y = call float @fabsf(float %X)
ret float %Y
}
-double %test2(double %X) {
- %Y = setge double %X, -0.0
- %Z = sub double -0.0, %X
- %Q = select bool %Y, double %X, double %Z
+define double @test2(double %X) {
+ %Y = fcmp oge double %X, -0.0
+ %Z = fsub double -0.0, %X
+ %Q = select i1 %Y, double %X, double %Z
ret double %Q
}
+define x86_fp80 @test3(x86_fp80 %X) {
+ %Y = call x86_fp80 @fabsl(x86_fp80 %X)
+ ret x86_fp80 %Y
+}
+
+