test/Transforms/InstCombine/minmax-fp.ll

   1 ; RUN: opt -S -instcombine < %s | FileCheck %s
   2
   3 ; CHECK-LABEL: @t1
   4 ; CHECK-NEXT: fcmp oge float %a, 5.000000e+00
   5 ; CHECK-NEXT: select i1 %.inv, float 5.000000e+00, float %a
   6 ; CHECK-NEXT: fpext float %1 to double
   7 define double @t1(float %a) {
   8   ; This is the canonical form for a type-changing min/max.
   9   %1 = fcmp ult float %a, 5.0
  10   %2 = select i1 %1, float %a, float 5.0
  11   %3 = fpext float %2 to double
  12   ret double %3
  13 }
  14
  15 ; CHECK-LABEL: @t2
  16 ; CHECK-NEXT: fcmp oge float %a, 5.000000e+00
  17 ; CHECK-NEXT: select i1 %.inv, float 5.000000e+00, float %a
  18 ; CHECK-NEXT: fpext float %1 to double
  19 define double @t2(float %a) {
  20   ; Check this is converted into canonical form, as above.
  21   %1 = fcmp ult float %a, 5.0
  22   %2 = fpext float %a to double
  23   %3 = select i1 %1, double %2, double 5.0
  24   ret double %3
  25 }
  26
  27 ; CHECK-LABEL: @t4
  28 ; CHECK-NEXT: fcmp oge double %a, 5.000000e+00
  29 ; CHECK-NEXT: select i1 %.inv, double 5.000000e+00, double %a
  30 ; CHECK-NEXT: fptrunc double %1 to float
  31 define float @t4(double %a) {
  32   ; Same again, with trunc.
  33   %1 = fcmp ult double %a, 5.0
  34   %2 = fptrunc double %a to float
  35   %3 = select i1 %1, float %2, float 5.0
  36   ret float %3
  37 }
  38
  39 ; CHECK-LABEL: @t5
  40 ; CHECK-NEXT: fcmp ult float %a, 5.000000e+00
  41 ; CHECK-NEXT: fpext float %a to double
  42 ; CHECK-NEXT: select i1 %1, double %2, double 5.001
  43 define double @t5(float %a) {
  44   ; different values, should not be converted.
  45   %1 = fcmp ult float %a, 5.0
  46   %2 = fpext float %a to double
  47   %3 = select i1 %1, double %2, double 5.001
  48   ret double %3
  49 }
  50
  51 ; CHECK-LABEL: @t6
  52 ; CHECK-NEXT: fcmp ult float %a, -0.0
  53 ; CHECK-NEXT: fpext float %a to double
  54 ; CHECK-NEXT: select i1 %1, double %2, double 0.0
  55 define double @t6(float %a) {
  56   ; Signed zero, should not be converted
  57   %1 = fcmp ult float %a, -0.0
  58   %2 = fpext float %a to double
  59   %3 = select i1 %1, double %2, double 0.0
  60   ret double %3
  61 }
  62
  63 ; CHECK-LABEL: @t7
  64 ; CHECK-NEXT: fcmp ult float %a, 0.0
  65 ; CHECK-NEXT: fpext float %a to double
  66 ; CHECK-NEXT: select i1 %1, double %2, double -0.0
  67 define double @t7(float %a) {
  68   ; Signed zero, should not be converted
  69   %1 = fcmp ult float %a, 0.0
  70   %2 = fpext float %a to double
  71   %3 = select i1 %1, double %2, double -0.0
  72   ret double %3
  73 }
  74
  75 ; CHECK-LABEL: @t8
  76 ; CHECK-NEXT: fcmp oge float %a, 5.000000e+00
  77 ; CHECK-NEXT: select i1 %.inv, float 5.000000e+00, float %a
  78 ; CHECK-NEXT: fptoui float %1 to i64
  79 define i64 @t8(float %a) {
  80   %1 = fcmp ult float %a, 5.0
  81   %2 = fptoui float %a to i64
  82   %3 = select i1 %1, i64 %2, i64 5
  83   ret i64 %3
  84 }
  85
  86 ; CHECK-LABEL: @t9
  87 ; CHECK-NEXT: fcmp oge float %a, 0.000000e+00
  88 ; CHECK-NEXT: select i1 %.inv, float 0.000000e+00, float %a
  89 ; CHECK-NEXT: fptosi float %1 to i8
  90 define i8 @t9(float %a) {
  91   %1 = fcmp ult float %a, 0.0
  92   %2 = fptosi float %a to i8
  93   %3 = select i1 %1, i8 %2, i8 0
  94   ret i8 %3
  95 }
  96
  97 ; CHECK-LABEL: @t11
  98 ; CHECK-NEXT: fcmp fast oge float %b, %a
  99 ; CHECK-NEXT: select i1 %.inv, float %a, float %b
 100 ; CHECK-NEXT: fptosi
 101 define i8 @t11(float %a, float %b) {
 102   ; Either operand could be NaN, but fast modifier applied.
 103   %1 = fcmp fast ult float %b, %a
 104   %2 = fptosi float %a to i8
 105   %3 = fptosi float %b to i8
 106   %4 = select i1 %1, i8 %3, i8 %2
 107   ret i8 %4
 108 }
 109
 110 ; CHECK-LABEL: @t12
 111 ; CHECK-NEXT: fcmp nnan oge float %b, %a
 112 ; CHECK-NEXT: select i1 %.inv, float %a, float %b
 113 ; CHECK-NEXT: fptosi float %.v to i8
 114 define i8 @t12(float %a, float %b) {
 115   ; Either operand could be NaN, but nnan modifier applied.
 116   %1 = fcmp nnan ult float %b, %a
 117   %2 = fptosi float %a to i8
 118   %3 = fptosi float %b to i8
 119   %4 = select i1 %1, i8 %3, i8 %2
 120   ret i8 %4
 121 }
 122
 123 ; CHECK-LABEL: @t13
 124 ; CHECK-NEXT: fcmp ult float %a, 1.500000e+00
 125 ; CHECK-NEXT: fptosi float %a to i8
 126 ; CHECK-NEXT: select i1 %1, i8 %2, i8 1
 127 define i8 @t13(float %a) {
 128   ; Float and int values do not match.
 129   %1 = fcmp ult float %a, 1.5
 130   %2 = fptosi float %a to i8
 131   %3 = select i1 %1, i8 %2, i8 1
 132   ret i8 %3
 133 }
 134
 135 ; CHECK-LABEL: @t14
 136 ; CHECK-NEXT: fcmp ule float %a, 0.000000e+00
 137 ; CHECK-NEXT: fptosi float %a to i8
 138 ; CHECK-NEXT: select i1 %1, i8 %2, i8 0
 139 define i8 @t14(float %a) {
 140   ; <= comparison, where %a could be -0.0. Not safe.
 141   %1 = fcmp ule float %a, 0.0
 142   %2 = fptosi float %a to i8
 143   %3 = select i1 %1, i8 %2, i8 0
 144   ret i8 %3
 145 }
 146
 147 ; CHECK-LABEL: @t15
 148 ; CHECK-NEXT: fcmp nsz oge float %a, 0.000000e+00
 149 ; CHECK-NEXT: select i1 %.inv, float 0.000000e+00, float %a
 150 ; CHECK-NEXT: fptosi float %1 to i8
 151 define i8 @t15(float %a) {
 152   %1 = fcmp nsz ule float %a, 0.0
 153   %2 = fptosi float %a to i8
 154   %3 = select i1 %1, i8 %2, i8 0
 155   ret i8 %3
 156 }