blob: 4fb80fdb4f32f91d605f67114f1710fc486cd6f2 [file] [log] [blame]
Daniel Sandersb282f1f2014-04-09 09:56:43 +00001; 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 Hatanaka47ad6742012-04-11 22:59:08 +00008
Daniel Sandersb282f1f2014-04-09 09:56:43 +00009; 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
16define float @foo0(float %d) nounwind readnone {
Akira Hatanaka47ad6742012-04-11 22:59:08 +000017entry:
Daniel Sandersb282f1f2014-04-09 09:56:43 +000018; CHECK-LABEL: foo0:
19; CHECK: neg.s
Akira Hatanaka47ad6742012-04-11 22:59:08 +000020 %sub = fsub float -0.000000e+00, %d
21 ret float %sub
22}
23
Daniel Sandersb282f1f2014-04-09 09:56:43 +000024define double @foo1(double %d) nounwind readnone {
Akira Hatanaka47ad6742012-04-11 22:59:08 +000025entry:
Daniel Sandersb282f1f2014-04-09 09:56:43 +000026; CHECK-LABEL: foo1:
27; CHECK: neg.d
Akira Hatanaka47ad6742012-04-11 22:59:08 +000028 %sub = fsub double -0.000000e+00, %d
29 ret double %sub
30}