test/CodeGen/AArch64/fcsel-zero.ll

   1 ; Check that 0.0 is not materialized for CSEL when comparing against it.
   2
   3 ; RUN: llc -mtriple=aarch64-linux-gnu -o - < %s | FileCheck %s
   4
   5 define float @foeq(float %a, float %b) #0 {
   6   %t = fcmp oeq float %a, 0.0
   7   %v = select i1 %t, float 0.0, float %b
   8   ret float %v
   9 ; CHECK-LABEL: foeq
  10 ; CHECK: fcmp [[R:s[0-9]+]], #0.0
  11 ; CHECK-NEXT: fcsel {{s[0-9]+}}, [[R]], {{s[0-9]+}}, eq
  12 }
  13
  14 define float @fueq(float %a, float %b) #0 {
  15   %t = fcmp ueq float %a, 0.0
  16   %v = select i1 %t, float 0.0, float %b
  17   ret float %v
  18 ; CHECK-LABEL: fueq
  19 ; CHECK: fcmp [[R:s[0-9]+]], #0.0
  20 ; CHECK-NEXT: fcsel {{s[0-9]+}}, [[R]], {{s[0-9]+}}, eq
  21 ; CHECK-NEXT: fcsel {{s[0-9]+}}, [[R]], {{s[0-9]+}}, vs
  22 }
  23
  24 define float @fone(float %a, float %b) #0 {
  25   %t = fcmp one float %a, 0.0
  26   %v = select i1 %t, float %b, float 0.0
  27   ret float %v
  28 ; CHECK-LABEL: fone
  29 ; CHECK: fcmp [[R:s[0-9]+]], #0.0
  30 ; CHECK-NEXT: fcsel {{s[0-9]+}}, {{s[0-9]+}}, [[R]], mi
  31 ; CHECK-NEXT: fcsel {{s[0-9]+}}, {{s[0-9]+}}, [[R]], gt
  32 }
  33
  34 define float @fune(float %a, float %b) #0 {
  35   %t = fcmp une float %a, 0.0
  36   %v = select i1 %t, float %b, float 0.0
  37   ret float %v
  38 ; CHECK-LABEL: fune
  39 ; CHECK: fcmp [[R:s[0-9]+]], #0.0
  40 ; CHECK-NEXT: fcsel {{s[0-9]+}}, {{s[0-9]+}}, [[R]], ne
  41 }
  42
  43 define double @doeq(double %a, double %b) #0 {
  44   %t = fcmp oeq double %a, 0.0
  45   %v = select i1 %t, double 0.0, double %b
  46   ret double %v
  47 ; CHECK-LABEL: doeq
  48 ; CHECK: fcmp [[R:d[0-9]+]], #0.0
  49 ; CHECK-NEXT: fcsel {{d[0-9]+}}, [[R]], {{d[0-9]+}}, eq
  50 }
  51
  52 define double @dueq(double %a, double %b) #0 {
  53   %t = fcmp ueq double %a, 0.0
  54   %v = select i1 %t, double 0.0, double %b
  55   ret double %v
  56 ; CHECK-LABEL: dueq
  57 ; CHECK: fcmp [[R:d[0-9]+]], #0.0
  58 ; CHECK-NEXT: fcsel {{d[0-9]+}}, [[R]], {{d[0-9]+}}, eq
  59 ; CHECK-NEXT: fcsel {{d[0-9]+}}, [[R]], {{d[0-9]+}}, vs
  60 }
  61
  62 define double @done(double %a, double %b) #0 {
  63   %t = fcmp one double %a, 0.0
  64   %v = select i1 %t, double %b, double 0.0
  65   ret double %v
  66 ; CHECK-LABEL: done
  67 ; CHECK: fcmp [[R:d[0-9]+]], #0.0
  68 ; CHECK-NEXT: fcsel {{d[0-9]+}}, {{d[0-9]+}}, [[R]], mi
  69 ; CHECK-NEXT: fcsel {{d[0-9]+}}, {{d[0-9]+}}, [[R]], gt
  70 }
  71
  72 define double @dune(double %a, double %b) #0 {
  73   %t = fcmp une double %a, 0.0
  74   %v = select i1 %t, double %b, double 0.0
  75   ret double %v
  76 ; CHECK-LABEL: dune
  77 ; CHECK: fcmp [[R:d[0-9]+]], #0.0
  78 ; CHECK-NEXT: fcsel {{d[0-9]+}}, {{d[0-9]+}}, [[R]], ne
  79 }
  80
  81 attributes #0 = { nounwind "unsafe-fp-math"="true" }
  82