Daniel Sanders | b282f1f | 2014-04-09 09:56:43 +0000 | [diff] [blame] | 1 | ; Check that abs.[ds] is selected and does not depend on -enable-no-nans-fp-math |
| 2 | ; They obey the Has2008 and ABS2008 configuration bits which govern the |
| 3 | ; conformance to IEEE 754 (1985) and IEEE 754 (2008). When these bits are not |
| 4 | ; present, they confirm to 1985. |
| 5 | ; In 1985 mode, abs.[ds] are arithmetic (i.e. they raise invalid operation |
| 6 | ; exceptions when given NaN's). In 2008 mode, they are non-arithmetic (i.e. |
| 7 | ; they are copies and don't raise any exceptions). |
Akira Hatanaka | 47ad674 | 2012-04-11 22:59:08 +0000 | [diff] [blame] | 8 | |
Daniel Sanders | b282f1f | 2014-04-09 09:56:43 +0000 | [diff] [blame] | 9 | ; RUN: llc < %s -mtriple=mipsel-linux-gnu -mcpu=mips32 | FileCheck %s |
| 10 | ; RUN: llc < %s -mtriple=mipsel-linux-gnu -mcpu=mips32r2 | FileCheck %s |
| 11 | ; RUN: llc < %s -mtriple=mipsel-linux-gnu -mcpu=mips32 -enable-no-nans-fp-math | FileCheck %s |
| 12 | |
| 13 | ; RUN: llc < %s -mtriple=mips64el-linux-gnu -mcpu=mips64 | FileCheck %s |
| 14 | ; RUN: llc < %s -mtriple=mips64el-linux-gnu -mcpu=mips64 -enable-no-nans-fp-math | FileCheck %s |
| 15 | |
| 16 | define float @foo0(float %d) nounwind readnone { |
Akira Hatanaka | 47ad674 | 2012-04-11 22:59:08 +0000 | [diff] [blame] | 17 | entry: |
Daniel Sanders | b282f1f | 2014-04-09 09:56:43 +0000 | [diff] [blame] | 18 | ; CHECK-LABEL: foo0: |
| 19 | ; CHECK: neg.s |
Akira Hatanaka | 47ad674 | 2012-04-11 22:59:08 +0000 | [diff] [blame] | 20 | %sub = fsub float -0.000000e+00, %d |
| 21 | ret float %sub |
| 22 | } |
| 23 | |
Daniel Sanders | b282f1f | 2014-04-09 09:56:43 +0000 | [diff] [blame] | 24 | define double @foo1(double %d) nounwind readnone { |
Akira Hatanaka | 47ad674 | 2012-04-11 22:59:08 +0000 | [diff] [blame] | 25 | entry: |
Daniel Sanders | b282f1f | 2014-04-09 09:56:43 +0000 | [diff] [blame] | 26 | ; CHECK-LABEL: foo1: |
| 27 | ; CHECK: neg.d |
Akira Hatanaka | 47ad674 | 2012-04-11 22:59:08 +0000 | [diff] [blame] | 28 | %sub = fsub double -0.000000e+00, %d |
| 29 | ret double %sub |
| 30 | } |