test/CodeGen/Mips/fabs.ll

   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
  16 define float @foo0(float %a) nounwind readnone {
  17 entry:
  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
  26 declare float @fabsf(float) nounwind readnone
  27
  28 define double @foo1(double %a) nounwind readnone {
  29 entry:
  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
  38 declare double @fabs(double) nounwind readnone