77
|
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).
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8
|
77
|
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 {
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
17 entry:
|
77
|
18 ; CHECK-LABEL: foo0:
|
|
19 ; CHECK: neg.s
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
20 %sub = fsub float -0.000000e+00, %d
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
21 ret float %sub
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
22 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
23
|
77
|
24 define double @foo1(double %d) nounwind readnone {
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
25 entry:
|
77
|
26 ; CHECK-LABEL: foo1:
|
|
27 ; CHECK: neg.d
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
28 %sub = fsub double -0.000000e+00, %d
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
29 ret double %sub
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
30 }
|