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).
8
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
16define float @foo0(float %a) nounwind readnone {
17entry:
18
19; CHECK-LABEL: foo0
20; CHECK: abs.s
21
22  %call = tail call float @fabsf(float %a) nounwind readnone
23  ret float %call
24}
25
26declare float @fabsf(float) nounwind readnone
27
28define double @foo1(double %a) nounwind readnone {
29entry:
30
31; CHECK-LABEL: foo1:
32; CHECK: abs.d
33
34  %call = tail call double @fabs(double %a) nounwind readnone
35  ret double %call
36}
37
38declare double @fabs(double) nounwind readnone
39