test/CodeGen/AArch64/fabs.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=aarch64-unknown-unknown | FileCheck %s
   3
   4 ; Test against PR36600: https://bugs.llvm.org/show_bug.cgi?id=36600
   5 ; This is not fabs. If X = -0.0, it should return -0.0 not 0.0.
   6
   7 define double @not_fabs(double %x) #0 {
   8 ; CHECK-LABEL: not_fabs:
   9 ; CHECK:       // %bb.0:
  10 ; CHECK-NEXT:    fneg d1, d0
  11 ; CHECK-NEXT:    fcmp d0, #0.0
  12 ; CHECK-NEXT:    fcsel d0, d1, d0, le
  13 ; CHECK-NEXT:    ret
  14   %cmp = fcmp nnan ole double %x, 0.0
  15   %sub = fsub nnan double -0.0, %x
  16   %cond = select i1 %cmp, double %sub, double %x
  17   ret double %cond
  18 }
  19
  20 ; Try again with different type, predicate, and compare constant.
  21
  22 define float @still_not_fabs(float %x) #0 {
  23 ; CHECK-LABEL: still_not_fabs:
  24 ; CHECK:       // %bb.0:
  25 ; CHECK-NEXT:    adrp x8, .LCPI1_0
  26 ; CHECK-NEXT:    ldr s1, [x8, :lo12:.LCPI1_0]
  27 ; CHECK-NEXT:    fneg s2, s0
  28 ; CHECK-NEXT:    fcmp s0, s1
  29 ; CHECK-NEXT:    fcsel s0, s0, s2, ge
  30 ; CHECK-NEXT:    ret
  31   %cmp = fcmp nnan oge float %x, -0.0
  32   %sub = fsub nnan float -0.0, %x
  33   %cond = select i1 %cmp, float %x, float %sub
  34   ret float %cond
  35 }
  36
  37 attributes #0 = { "no-nans-fp-math"="true" }
  38