test/CodeGen/SystemZ/selectcc-01.ll

   1 ; Test an i32 0/-1 SELECTCCC for every floating-point condition.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   4
   5 ; Test CC in { 0 }
   6 define i32 @f1(float %a, float %b) {
   7 ; CHECK-LABEL: f1:
   8 ; CHECK: ipm %r2
   9 ; CHECK-NEXT: afi %r2, -268435456
  10 ; CHECK-NEXT: sra %r2, 31
  11 ; CHECK: br %r14
  12   %cond = fcmp oeq float %a, %b
  13   %res = select i1 %cond, i32 -1, i32 0
  14   ret i32 %res
  15 }
  16
  17 ; Test CC in { 1 }
  18 define i32 @f2(float %a, float %b) {
  19 ; CHECK-LABEL: f2:
  20 ; CHECK: ipm %r2
  21 ; CHECK-NEXT: xilf %r2, 268435456
  22 ; CHECK-NEXT: afi %r2, -268435456
  23 ; CHECK-NEXT: sra %r2, 31
  24 ; CHECK: br %r14
  25   %cond = fcmp olt float %a, %b
  26   %res = select i1 %cond, i32 -1, i32 0
  27   ret i32 %res
  28 }
  29
  30 ; Test CC in { 0, 1 }
  31 define i32 @f3(float %a, float %b) {
  32 ; CHECK-LABEL: f3:
  33 ; CHECK: ipm %r2
  34 ; CHECK-NEXT: afi %r2, -536870912
  35 ; CHECK-NEXT: sra %r2, 31
  36 ; CHECK: br %r14
  37   %cond = fcmp ole float %a, %b
  38   %res = select i1 %cond, i32 -1, i32 0
  39   ret i32 %res
  40 }
  41
  42 ; Test CC in { 2 }
  43 define i32 @f4(float %a, float %b) {
  44 ; CHECK-LABEL: f4:
  45 ; CHECK: ipm %r2
  46 ; CHECK-NEXT: xilf %r2, 268435456
  47 ; CHECK-NEXT: afi %r2, 1342177280
  48 ; CHECK-NEXT: sra %r2, 31
  49 ; CHECK: br %r14
  50   %cond = fcmp ogt float %a, %b
  51   %res = select i1 %cond, i32 -1, i32 0
  52   ret i32 %res
  53 }
  54
  55 ; Test CC in { 0, 2 }
  56 define i32 @f5(float %a, float %b) {
  57 ; CHECK-LABEL: f5:
  58 ; CHECK: ipm %r2
  59 ; CHECK-NEXT: xilf %r2, 4294967295
  60 ; CHECK-NEXT: sll %r2, 3
  61 ; CHECK-NEXT: sra %r2, 31
  62 ; CHECK: br %r14
  63   %cond = fcmp oge float %a, %b
  64   %res = select i1 %cond, i32 -1, i32 0
  65   ret i32 %res
  66 }
  67
  68 ; Test CC in { 1, 2 }
  69 define i32 @f6(float %a, float %b) {
  70 ; CHECK-LABEL: f6:
  71 ; CHECK: ipm %r2
  72 ; CHECK-NEXT: afi %r2, 268435456
  73 ; CHECK-NEXT: sll %r2, 2
  74 ; CHECK-NEXT: sra %r2, 31
  75 ; CHECK: br %r14
  76   %cond = fcmp one float %a, %b
  77   %res = select i1 %cond, i32 -1, i32 0
  78   ret i32 %res
  79 }
  80
  81 ; Test CC in { 0, 1, 2 }
  82 define i32 @f7(float %a, float %b) {
  83 ; CHECK-LABEL: f7:
  84 ; CHECK: ipm %r2
  85 ; CHECK-NEXT: afi %r2, -805306368
  86 ; CHECK-NEXT: sra %r2, 31
  87 ; CHECK: br %r14
  88   %cond = fcmp ord float %a, %b
  89   %res = select i1 %cond, i32 -1, i32 0
  90   ret i32 %res
  91 }
  92
  93 ; Test CC in { 3 }
  94 define i32 @f8(float %a, float %b) {
  95 ; CHECK-LABEL: f8:
  96 ; CHECK: ipm %r2
  97 ; CHECK-NEXT: afi %r2, 1342177280
  98 ; CHECK-NEXT: sra %r2, 31
  99 ; CHECK: br %r14
 100   %cond = fcmp uno float %a, %b
 101   %res = select i1 %cond, i32 -1, i32 0
 102   ret i32 %res
 103 }
 104
 105 ; Test CC in { 0, 3 }
 106 define i32 @f9(float %a, float %b) {
 107 ; CHECK-LABEL: f9:
 108 ; CHECK: ipm %r2
 109 ; CHECK-NEXT: afi %r2, -268435456
 110 ; CHECK-NEXT: sll %r2, 2
 111 ; CHECK-NEXT: sra %r2, 31
 112 ; CHECK: br %r14
 113   %cond = fcmp ueq float %a, %b
 114   %res = select i1 %cond, i32 -1, i32 0
 115   ret i32 %res
 116 }
 117
 118 ; Test CC in { 1, 3 }
 119 define i32 @f10(float %a, float %b) {
 120 ; CHECK-LABEL: f10:
 121 ; CHECK: ipm %r2
 122 ; CHECK-NEXT: sll %r2, 3
 123 ; CHECK-NEXT: sra %r2, 31
 124 ; CHECK: br %r14
 125   %cond = fcmp ult float %a, %b
 126   %res = select i1 %cond, i32 -1, i32 0
 127   ret i32 %res
 128 }
 129
 130 ; Test CC in { 0, 1, 3 }
 131 define i32 @f11(float %a, float %b) {
 132 ; CHECK-LABEL: f11:
 133 ; CHECK: ipm %r2
 134 ; CHECK-NEXT: xilf %r2, 268435456
 135 ; CHECK-NEXT: afi %r2, -805306368
 136 ; CHECK-NEXT: sra %r2, 31
 137 ; CHECK: br %r14
 138   %cond = fcmp ule float %a, %b
 139   %res = select i1 %cond, i32 -1, i32 0
 140   ret i32 %res
 141 }
 142
 143 ; Test CC in { 2, 3 }
 144 define i32 @f12(float %a, float %b) {
 145 ; CHECK-LABEL: f12:
 146 ; CHECK: ipm %r2
 147 ; CHECK-NEXT: sll %r2, 2
 148 ; CHECK-NEXT: sra %r2, 31
 149 ; CHECK: br %r14
 150   %cond = fcmp ugt float %a, %b
 151   %res = select i1 %cond, i32 -1, i32 0
 152   ret i32 %res
 153 }
 154
 155 ; Test CC in { 0, 2, 3 }
 156 define i32 @f13(float %a, float %b) {
 157 ; CHECK-LABEL: f13:
 158 ; CHECK: ipm %r2
 159 ; CHECK-NEXT: xilf %r2, 268435456
 160 ; CHECK-NEXT: afi %r2, 1879048192
 161 ; CHECK-NEXT: sra %r2, 31
 162 ; CHECK: br %r14
 163   %cond = fcmp uge float %a, %b
 164   %res = select i1 %cond, i32 -1, i32 0
 165   ret i32 %res
 166 }
 167
 168 ; Test CC in { 1, 2, 3 }
 169 define i32 @f14(float %a, float %b) {
 170 ; CHECK-LABEL: f14:
 171 ; CHECK: ipm %r2
 172 ; CHECK-NEXT: afi %r2, 1879048192
 173 ; CHECK-NEXT: sra %r2, 31
 174 ; CHECK: br %r14
 175   %cond = fcmp une float %a, %b
 176   %res = select i1 %cond, i32 -1, i32 0
 177   ret i32 %res
 178 }