test/CodeGen/SystemZ/fp-cmp-05.ll

   1 ; Test that floating-point instructions that set cc are used to
   2 ; eliminate compares for load complement, load negative and load
   3 ; positive.
   4 ;
   5 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 | FileCheck %s
   6 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s
   7
   8 ; Load complement (sign-bit flipped).
   9 ; Test f32
  10 define float @f1(float %a, float %b, float %f) {
  11 ; CHECK-LABEL: f1:
  12 ; CHECK: ltebr
  13 ; CHECK-NEXT: ber %r14
  14   %neg = fsub float -0.0, %f
  15   %cond = fcmp oeq float %neg, 0.0
  16   %res = select i1 %cond, float %a, float %b
  17   ret float %res
  18 }
  19
  20 ; Test f64
  21 define double @f2(double %a, double %b, double %f) {
  22 ; CHECK-LABEL: f2:
  23 ; CHECK: ltdbr
  24 ; CHECK-NEXT: ber %r14
  25   %neg = fsub double -0.0, %f
  26   %cond = fcmp oeq double %neg, 0.0
  27   %res = select i1 %cond, double %a, double %b
  28   ret double %res
  29 }
  30
  31 ; Negation of floating-point absolute.
  32 ; Test f32
  33 declare float @llvm.fabs.f32(float %f)
  34 define float @f3(float %a, float %b, float %f) {
  35 ; CHECK-LABEL: f3:
  36 ; CHECK: lpebr
  37 ; CHECK-NEXT: ber %r14
  38   %abs = call float @llvm.fabs.f32(float %f)
  39   %neg = fsub float -0.0, %abs
  40   %cond = fcmp oeq float %neg, 0.0
  41   %res = select i1 %cond, float %a, float %b
  42   ret float %res
  43 }
  44
  45 ; Test f64
  46 declare double @llvm.fabs.f64(double %f)
  47 define double @f4(double %a, double %b, double %f) {
  48 ; CHECK-LABEL: f4:
  49 ; CHECK: lpdbr
  50 ; CHECK-NEXT: ber %r14
  51   %abs = call double @llvm.fabs.f64(double %f)
  52   %neg = fsub double -0.0, %abs
  53   %cond = fcmp oeq double %neg, 0.0
  54   %res = select i1 %cond, double %a, double %b
  55   ret double %res
  56 }
  57
  58 ; Absolute floating-point value.
  59 ; Test f32
  60 define float @f5(float %a, float %b, float %f) {
  61 ; CHECK-LABEL: f5:
  62 ; CHECK: lpebr
  63 ; CHECK-NEXT: ber %r14
  64   %abs = call float @llvm.fabs.f32(float %f)
  65   %cond = fcmp oeq float %abs, 0.0
  66   %res = select i1 %cond, float %a, float %b
  67   ret float %res
  68 }
  69
  70 ; Test f64
  71 define double @f6(double %a, double %b, double %f) {
  72 ; CHECK-LABEL: f6:
  73 ; CHECK: lpdbr
  74 ; CHECK-NEXT: ber %r14
  75   %abs = call double @llvm.fabs.f64(double %f)
  76   %cond = fcmp oeq double %abs, 0.0
  77   %res = select i1 %cond, double %a, double %b
  78   ret double %res
  79 }
  80