llvm/test/Transforms/ConstraintElimination/zext.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
   3
   4 define i1 @uge_zext(i8 %x, i16 %y) {
   5 ; CHECK-LABEL: @uge_zext(
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    [[X_EXT:%.*]] = zext i8 [[X:%.*]] to i16
   8 ; CHECK-NEXT:    [[C_1:%.*]] = icmp uge i16 [[X_EXT]], [[Y:%.*]]
   9 ; CHECK-NEXT:    br i1 [[C_1]], label [[BB1:%.*]], label [[BB2:%.*]]
  10 ; CHECK:       bb1:
  11 ; CHECK-NEXT:    [[T_1:%.*]] = icmp uge i16 [[X_EXT]], [[Y]]
  12 ; CHECK-NEXT:    [[C_2:%.*]] = icmp uge i16 [[X_EXT]], 10
  13 ; CHECK-NEXT:    [[R_1:%.*]] = xor i1 true, [[C_2]]
  14 ; CHECK-NEXT:    [[C_3:%.*]] = icmp uge i16 [[Y]], [[X_EXT]]
  15 ; CHECK-NEXT:    [[R_2:%.*]] = xor i1 [[R_1]], [[C_3]]
  16 ; CHECK-NEXT:    [[C_4:%.*]] = icmp uge i16 10, [[X_EXT]]
  17 ; CHECK-NEXT:    [[R_3:%.*]] = xor i1 [[R_2]], [[C_4]]
  18 ; CHECK-NEXT:    ret i1 [[R_3]]
  19 ; CHECK:       bb2:
  20 ; CHECK-NEXT:    [[T_2:%.*]] = icmp uge i16 [[Y]], [[X_EXT]]
  21 ; CHECK-NEXT:    [[F_1:%.*]] = icmp uge i16 [[X_EXT]], [[Y]]
  22 ; CHECK-NEXT:    [[R_4:%.*]] = xor i1 true, false
  23 ; CHECK-NEXT:    [[C_5:%.*]] = icmp uge i16 [[X_EXT]], 10
  24 ; CHECK-NEXT:    [[R_5:%.*]] = xor i1 [[R_4]], [[C_5]]
  25 ; CHECK-NEXT:    [[C_6:%.*]] = icmp uge i16 10, [[X_EXT]]
  26 ; CHECK-NEXT:    [[R_6:%.*]] = xor i1 [[R_5]], [[C_6]]
  27 ; CHECK-NEXT:    ret i1 [[R_6]]
  28 ;
  29 entry:
  30   %x.ext = zext i8 %x to i16
  31   %c.1 = icmp uge i16 %x.ext, %y
  32   br i1 %c.1, label %bb1, label %bb2
  33
  34 bb1:
  35   %t.1 = icmp uge i16 %x.ext, %y
  36   %c.2 = icmp uge i16 %x.ext, 10
  37   %r.1 = xor i1 %t.1, %c.2
  38   %c.3 = icmp uge i16 %y, %x.ext
  39   %r.2 = xor i1 %r.1, %c.3
  40   %c.4 = icmp uge i16 10, %x.ext
  41   %r.3 = xor i1 %r.2, %c.4
  42   ret i1 %r.3
  43
  44 bb2:
  45   %t.2 = icmp uge i16 %y, %x.ext
  46   %f.1 = icmp uge i16 %x.ext, %y
  47   %r.4 = xor i1 %t.2, %f.1
  48   %c.5 = icmp uge i16 %x.ext, 10
  49   %r.5 = xor i1 %r.4, %c.5
  50   %c.6 = icmp uge i16 10, %x.ext
  51   %r.6 = xor i1 %r.5, %c.6
  52   ret i1 %r.6
  53 }
  54
  55 define i1 @uge_compare_short_and_extended(i8 %x, i8 %y) {
  56 ; CHECK-LABEL: @uge_compare_short_and_extended(
  57 ; CHECK-NEXT:  entry:
  58 ; CHECK-NEXT:    [[C_1:%.*]] = icmp uge i8 [[X:%.*]], [[Y:%.*]]
  59 ; CHECK-NEXT:    [[X_EXT:%.*]] = zext i8 [[X]] to i16
  60 ; CHECK-NEXT:    [[Y_EXT:%.*]] = zext i8 [[Y]] to i16
  61 ; CHECK-NEXT:    br i1 [[C_1]], label [[BB1:%.*]], label [[BB2:%.*]]
  62 ; CHECK:       bb1:
  63 ; CHECK-NEXT:    [[T_1:%.*]] = icmp uge i16 [[X_EXT]], [[Y_EXT]]
  64 ; CHECK-NEXT:    [[C_2:%.*]] = icmp uge i16 [[X_EXT]], 10
  65 ; CHECK-NEXT:    [[R_1:%.*]] = xor i1 true, [[C_2]]
  66 ; CHECK-NEXT:    [[C_3:%.*]] = icmp sge i16 [[Y_EXT]], [[X_EXT]]
  67 ; CHECK-NEXT:    [[R_2:%.*]] = xor i1 [[R_1]], [[C_3]]
  68 ; CHECK-NEXT:    [[C_4:%.*]] = icmp uge i16 10, [[X_EXT]]
  69 ; CHECK-NEXT:    [[R_3:%.*]] = xor i1 [[R_2]], [[C_4]]
  70 ; CHECK-NEXT:    ret i1 [[R_3]]
  71 ; CHECK:       bb2:
  72 ; CHECK-NEXT:    [[T_2:%.*]] = icmp uge i16 [[Y_EXT]], [[X_EXT]]
  73 ; CHECK-NEXT:    [[F_1:%.*]] = icmp uge i16 [[X_EXT]], [[Y_EXT]]
  74 ; CHECK-NEXT:    [[R_4:%.*]] = xor i1 true, false
  75 ; CHECK-NEXT:    [[C_5:%.*]] = icmp uge i16 [[X_EXT]], 10
  76 ; CHECK-NEXT:    [[R_5:%.*]] = xor i1 [[R_4]], [[C_5]]
  77 ; CHECK-NEXT:    [[C_6:%.*]] = icmp uge i16 10, [[X_EXT]]
  78 ; CHECK-NEXT:    [[R_6:%.*]] = xor i1 [[R_5]], [[C_6]]
  79 ; CHECK-NEXT:    ret i1 [[R_6]]
  80 ;
  81 entry:
  82   %c.1 = icmp uge i8 %x, %y
  83   %x.ext = zext i8 %x to i16
  84   %y.ext = zext i8 %y to i16
  85   br i1 %c.1, label %bb1, label %bb2
  86
  87 bb1:
  88   %t.1 = icmp uge i16 %x.ext, %y.ext
  89   %c.2 = icmp uge i16 %x.ext, 10
  90   %r.1 = xor i1 %t.1, %c.2
  91   %c.3 = icmp sge i16 %y.ext, %x.ext
  92   %r.2 = xor i1 %r.1, %c.3
  93   %c.4 = icmp uge i16 10, %x.ext
  94   %r.3 = xor i1 %r.2, %c.4
  95   ret i1 %r.3
  96
  97 bb2:
  98   %t.2 = icmp uge i16 %y.ext, %x.ext
  99   %f.1 = icmp uge i16 %x.ext, %y.ext
 100   %r.4 = xor i1 %t.2, %f.1
 101   %c.5 = icmp uge i16 %x.ext, 10
 102   %r.5 = xor i1 %r.4, %c.5
 103   %c.6 = icmp uge i16 10, %x.ext
 104   %r.6 = xor i1 %r.5, %c.6
 105   ret i1 %r.6
 106 }
 107
 108 define i1 @uge_zext_add(i8 %x, i16 %y) {
 109 ; CHECK-LABEL: @uge_zext_add(
 110 ; CHECK-NEXT:  entry:
 111 ; CHECK-NEXT:    [[X_ADD_1:%.*]] = add nuw nsw i8 [[X:%.*]], 1
 112 ; CHECK-NEXT:    [[X_ADD_1_EXT:%.*]] = zext i8 [[X_ADD_1]] to i16
 113 ; CHECK-NEXT:    [[X_EXT:%.*]] = zext i8 [[X]] to i16
 114 ; CHECK-NEXT:    [[C_1:%.*]] = icmp uge i16 [[X_ADD_1_EXT]], [[Y:%.*]]
 115 ; CHECK-NEXT:    br i1 [[C_1]], label [[BB1:%.*]], label [[BB2:%.*]]
 116 ; CHECK:       bb1:
 117 ; CHECK-NEXT:    [[T_1:%.*]] = icmp uge i16 [[X_EXT]], [[Y]]
 118 ; CHECK-NEXT:    [[C_2:%.*]] = icmp uge i16 [[X_EXT]], 10
 119 ; CHECK-NEXT:    [[R_1:%.*]] = xor i1 [[T_1]], [[C_2]]
 120 ; CHECK-NEXT:    [[C_3:%.*]] = icmp uge i16 [[Y]], [[X_EXT]]
 121 ; CHECK-NEXT:    [[R_2:%.*]] = xor i1 [[R_1]], [[C_3]]
 122 ; CHECK-NEXT:    [[C_4:%.*]] = icmp uge i16 10, [[X_EXT]]
 123 ; CHECK-NEXT:    [[R_3:%.*]] = xor i1 [[R_2]], [[C_4]]
 124 ; CHECK-NEXT:    ret i1 [[R_3]]
 125 ; CHECK:       bb2:
 126 ; CHECK-NEXT:    [[T_2:%.*]] = icmp uge i16 [[Y]], [[X_EXT]]
 127 ; CHECK-NEXT:    [[F_1:%.*]] = icmp uge i16 [[X_EXT]], [[Y]]
 128 ; CHECK-NEXT:    [[R_4:%.*]] = xor i1 true, false
 129 ; CHECK-NEXT:    [[C_5:%.*]] = icmp uge i16 [[X_EXT]], 10
 130 ; CHECK-NEXT:    [[R_5:%.*]] = xor i1 [[R_4]], [[C_5]]
 131 ; CHECK-NEXT:    [[C_6:%.*]] = icmp uge i16 10, [[X_EXT]]
 132 ; CHECK-NEXT:    [[R_6:%.*]] = xor i1 [[R_5]], [[C_6]]
 133 ; CHECK-NEXT:    ret i1 [[R_6]]
 134 ;
 135 entry:
 136   %x.add.1 = add nuw nsw i8 %x, 1
 137   %x.add.1.ext = zext i8 %x.add.1 to i16
 138   %x.ext = zext i8 %x to i16
 139   %c.1 = icmp uge i16 %x.add.1.ext, %y
 140   br i1 %c.1, label %bb1, label %bb2
 141
 142 bb1:
 143   %t.1 = icmp uge i16 %x.ext, %y
 144   %c.2 = icmp uge i16 %x.ext, 10
 145   %r.1 = xor i1 %t.1, %c.2
 146   %c.3 = icmp uge i16 %y, %x.ext
 147   %r.2 = xor i1 %r.1, %c.3
 148   %c.4 = icmp uge i16 10, %x.ext
 149   %r.3 = xor i1 %r.2, %c.4
 150   ret i1 %r.3
 151
 152 bb2:
 153   %t.2 = icmp uge i16 %y, %x.ext
 154   %f.1 = icmp uge i16 %x.ext, %y
 155   %r.4 = xor i1 %t.2, %f.1
 156   %c.5 = icmp uge i16 %x.ext, 10
 157   %r.5 = xor i1 %r.4, %c.5
 158   %c.6 = icmp uge i16 10, %x.ext
 159   %r.6 = xor i1 %r.5, %c.6
 160   ret i1 %r.6
 161 }
 162
 163 define i1 @sge_zext(i8 %x, i16 %y) {
 164 ; CHECK-LABEL: @sge_zext(
 165 ; CHECK-NEXT:  entry:
 166 ; CHECK-NEXT:    [[X_EXT:%.*]] = zext i8 [[X:%.*]] to i16
 167 ; CHECK-NEXT:    [[C_1:%.*]] = icmp sge i16 [[X_EXT]], [[Y:%.*]]
 168 ; CHECK-NEXT:    br i1 [[C_1]], label [[BB1:%.*]], label [[BB2:%.*]]
 169 ; CHECK:       bb1:
 170 ; CHECK-NEXT:    [[T_1:%.*]] = icmp sge i16 [[X_EXT]], [[Y]]
 171 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sge i16 [[X_EXT]], 10
 172 ; CHECK-NEXT:    [[R_1:%.*]] = xor i1 [[T_1]], [[C_2]]
 173 ; CHECK-NEXT:    [[C_3:%.*]] = icmp sge i16 [[Y]], [[X_EXT]]
 174 ; CHECK-NEXT:    [[R_2:%.*]] = xor i1 [[R_1]], [[C_3]]
 175 ; CHECK-NEXT:    [[C_4:%.*]] = icmp sge i16 10, [[X_EXT]]
 176 ; CHECK-NEXT:    [[R_3:%.*]] = xor i1 [[R_2]], [[C_4]]
 177 ; CHECK-NEXT:    ret i1 [[R_3]]
 178 ; CHECK:       bb2:
 179 ; CHECK-NEXT:    [[T_2:%.*]] = icmp sge i16 [[Y]], [[X_EXT]]
 180 ; CHECK-NEXT:    [[F_1:%.*]] = icmp sge i16 [[X_EXT]], [[Y]]
 181 ; CHECK-NEXT:    [[R_4:%.*]] = xor i1 [[T_2]], [[F_1]]
 182 ; CHECK-NEXT:    [[C_5:%.*]] = icmp sge i16 [[X_EXT]], 10
 183 ; CHECK-NEXT:    [[R_5:%.*]] = xor i1 [[R_4]], [[C_5]]
 184 ; CHECK-NEXT:    [[C_6:%.*]] = icmp sge i16 10, [[X_EXT]]
 185 ; CHECK-NEXT:    [[R_6:%.*]] = xor i1 [[R_5]], [[C_6]]
 186 ; CHECK-NEXT:    ret i1 [[R_6]]
 187 ;
 188 entry:
 189   %x.ext = zext i8 %x to i16
 190   %c.1 = icmp sge i16 %x.ext, %y
 191   br i1 %c.1, label %bb1, label %bb2
 192
 193 bb1:
 194   %t.1 = icmp sge i16 %x.ext, %y
 195   %c.2 = icmp sge i16 %x.ext, 10
 196   %r.1 = xor i1 %t.1, %c.2
 197   %c.3 = icmp sge i16 %y, %x.ext
 198   %r.2 = xor i1 %r.1, %c.3
 199   %c.4 = icmp sge i16 10, %x.ext
 200   %r.3 = xor i1 %r.2, %c.4
 201   ret i1 %r.3
 202
 203 bb2:
 204   %t.2 = icmp sge i16 %y, %x.ext
 205   %f.1 = icmp sge i16 %x.ext, %y
 206   %r.4 = xor i1 %t.2, %f.1
 207   %c.5 = icmp sge i16 %x.ext, 10
 208   %r.5 = xor i1 %r.4, %c.5
 209   %c.6 = icmp sge i16 10, %x.ext
 210   %r.6 = xor i1 %r.5, %c.6
 211   ret i1 %r.6
 212 }
 213
 214
 215 define i1 @sge_compare_short_and_extended(i8 %x, i8 %y) {
 216 ; CHECK-LABEL: @sge_compare_short_and_extended(
 217 ; CHECK-NEXT:  entry:
 218 ; CHECK-NEXT:    [[C_1:%.*]] = icmp sge i8 [[X:%.*]], [[Y:%.*]]
 219 ; CHECK-NEXT:    [[X_EXT:%.*]] = zext i8 [[X]] to i16
 220 ; CHECK-NEXT:    [[Y_EXT:%.*]] = zext i8 [[Y]] to i16
 221 ; CHECK-NEXT:    br i1 [[C_1]], label [[BB1:%.*]], label [[BB2:%.*]]
 222 ; CHECK:       bb1:
 223 ; CHECK-NEXT:    [[T_1:%.*]] = icmp sge i16 [[X_EXT]], [[Y_EXT]]
 224 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sge i16 [[X_EXT]], 10
 225 ; CHECK-NEXT:    [[R_1:%.*]] = xor i1 [[T_1]], [[C_2]]
 226 ; CHECK-NEXT:    [[C_3:%.*]] = icmp sge i16 [[Y_EXT]], [[X_EXT]]
 227 ; CHECK-NEXT:    [[R_2:%.*]] = xor i1 [[R_1]], [[C_3]]
 228 ; CHECK-NEXT:    [[C_4:%.*]] = icmp sge i16 10, [[X_EXT]]
 229 ; CHECK-NEXT:    [[R_3:%.*]] = xor i1 [[R_2]], [[C_4]]
 230 ; CHECK-NEXT:    ret i1 [[R_3]]
 231 ; CHECK:       bb2:
 232 ; CHECK-NEXT:    [[T_2:%.*]] = icmp sge i16 [[Y_EXT]], [[X_EXT]]
 233 ; CHECK-NEXT:    [[F_1:%.*]] = icmp sge i16 [[X_EXT]], [[Y_EXT]]
 234 ; CHECK-NEXT:    [[R_4:%.*]] = xor i1 [[T_2]], [[F_1]]
 235 ; CHECK-NEXT:    [[C_5:%.*]] = icmp sge i16 [[X_EXT]], 10
 236 ; CHECK-NEXT:    [[R_5:%.*]] = xor i1 [[R_4]], [[C_5]]
 237 ; CHECK-NEXT:    [[C_6:%.*]] = icmp sge i16 10, [[X_EXT]]
 238 ; CHECK-NEXT:    [[R_6:%.*]] = xor i1 [[R_5]], [[C_6]]
 239 ; CHECK-NEXT:    ret i1 [[R_6]]
 240 ;
 241 entry:
 242   %c.1 = icmp sge i8 %x, %y
 243   %x.ext = zext i8 %x to i16
 244   %y.ext = zext i8 %y to i16
 245   br i1 %c.1, label %bb1, label %bb2
 246
 247 bb1:
 248   %t.1 = icmp sge i16 %x.ext, %y.ext
 249   %c.2 = icmp sge i16 %x.ext, 10
 250   %r.1 = xor i1 %t.1, %c.2
 251   %c.3 = icmp sge i16 %y.ext, %x.ext
 252   %r.2 = xor i1 %r.1, %c.3
 253   %c.4 = icmp sge i16 10, %x.ext
 254   %r.3 = xor i1 %r.2, %c.4
 255   ret i1 %r.3
 256
 257 bb2:
 258   %t.2 = icmp sge i16 %y.ext, %x.ext
 259   %f.1 = icmp sge i16 %x.ext, %y.ext
 260   %r.4 = xor i1 %t.2, %f.1
 261   %c.5 = icmp sge i16 %x.ext, 10
 262   %r.5 = xor i1 %r.4, %c.5
 263   %c.6 = icmp sge i16 10, %x.ext
 264   %r.6 = xor i1 %r.5, %c.6
 265   ret i1 %r.6
 266 }