Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ; Make sure this testcase codegens to the fabs instruction, not a call to fabsf |
Dale Johannesen | 99f8c26 | 2007-09-26 21:12:10 +0000 | [diff] [blame] | 2 | ; RUN: llvm-as < %s | llc -march=x86 -mattr=-sse2,-sse3,-sse | grep fabs\$ | \ |
| 3 | ; RUN: count 2 |
| 4 | ; RUN: llvm-as < %s | \ |
| 5 | ; RUN: llc -march=x86 -mattr=-sse,-sse2,-sse3 -enable-unsafe-fp-math | \ |
| 6 | ; RUN: grep fabs\$ | count 3 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | |
Dale Johannesen | 99f8c26 | 2007-09-26 21:12:10 +0000 | [diff] [blame] | 8 | declare float @fabsf(float) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 9 | |
Dale Johannesen | 99f8c26 | 2007-09-26 21:12:10 +0000 | [diff] [blame] | 10 | declare x86_fp80 @fabsl(x86_fp80) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 11 | |
Dale Johannesen | 99f8c26 | 2007-09-26 21:12:10 +0000 | [diff] [blame] | 12 | define float @test1(float %X) { |
| 13 | %Y = call float @fabsf(float %X) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 14 | ret float %Y |
| 15 | } |
| 16 | |
Dale Johannesen | 99f8c26 | 2007-09-26 21:12:10 +0000 | [diff] [blame] | 17 | define double @test2(double %X) { |
| 18 | %Y = fcmp oge double %X, -0.0 |
Dan Gohman | 7ce405e | 2009-06-04 22:49:04 +0000 | [diff] [blame^] | 19 | %Z = fsub double -0.0, %X |
Dale Johannesen | 99f8c26 | 2007-09-26 21:12:10 +0000 | [diff] [blame] | 20 | %Q = select i1 %Y, double %X, double %Z |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 21 | ret double %Q |
| 22 | } |
| 23 | |
Dale Johannesen | 99f8c26 | 2007-09-26 21:12:10 +0000 | [diff] [blame] | 24 | define x86_fp80 @test3(x86_fp80 %X) { |
| 25 | %Y = call x86_fp80 @fabsl(x86_fp80 %X) |
| 26 | ret x86_fp80 %Y |
| 27 | } |
| 28 | |
| 29 | |