test/Transforms/InstCombine/compare-udiv.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -instcombine -S < %s | FileCheck %s
   3
   4 define i1 @test1(i32 %n, i32 %d) {
   5 ; CHECK-LABEL: @test1(
   6 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i32 %d, %n
   7 ; CHECK-NEXT:    ret i1 [[CMP1]]
   8 ;
   9   %div = udiv i32 %n, %d
  10   %cmp1 = icmp eq i32 %div, 0
  11   ret i1 %cmp1
  12 }
  13
  14 define <2 x i1> @test1vec(<2 x i32> %n, <2 x i32> %d) {
  15 ; CHECK-LABEL: @test1vec(
  16 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt <2 x i32> %d, %n
  17 ; CHECK-NEXT:    ret <2 x i1> [[CMP1]]
  18 ;
  19   %div = udiv <2 x i32> %n, %d
  20   %cmp1 = icmp eq <2 x i32> %div, zeroinitializer
  21   ret <2 x i1> %cmp1
  22 }
  23
  24 define i1 @test2(i32 %d) {
  25 ; CHECK-LABEL: @test2(
  26 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i32 %d, 64
  27 ; CHECK-NEXT:    ret i1 [[CMP1]]
  28 ;
  29   %div = udiv i32 64, %d
  30   %cmp1 = icmp eq i32 %div, 0
  31   ret i1 %cmp1
  32 }
  33
  34 define <2 x i1> @test2vec(<2 x i32> %d) {
  35 ; CHECK-LABEL: @test2vec(
  36 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt <2 x i32> %d, <i32 64, i32 63>
  37 ; CHECK-NEXT:    ret <2 x i1> [[CMP1]]
  38 ;
  39   %div = udiv <2 x i32> <i32 64, i32 63>, %d
  40   %cmp1 = icmp eq <2 x i32> %div, zeroinitializer
  41   ret <2 x i1> %cmp1
  42 }
  43
  44 define i1 @test3(i32 %n, i32 %d) {
  45 ; CHECK-LABEL: @test3(
  46 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule i32 %d, %n
  47 ; CHECK-NEXT:    ret i1 [[CMP1]]
  48 ;
  49   %div = udiv i32 %n, %d
  50   %cmp1 = icmp ne i32 %div, 0
  51   ret i1 %cmp1
  52 }
  53
  54 define <2 x i1> @test3vec(<2 x i32> %n, <2 x i32> %d) {
  55 ; CHECK-LABEL: @test3vec(
  56 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule <2 x i32> %d, %n
  57 ; CHECK-NEXT:    ret <2 x i1> [[CMP1]]
  58 ;
  59   %div = udiv <2 x i32> %n, %d
  60   %cmp1 = icmp ne <2 x i32> %div, zeroinitializer
  61   ret <2 x i1> %cmp1
  62 }
  63
  64 define i1 @test4(i32 %d) {
  65 ; CHECK-LABEL: @test4(
  66 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i32 %d, 65
  67 ; CHECK-NEXT:    ret i1 [[CMP1]]
  68 ;
  69   %div = udiv i32 64, %d
  70   %cmp1 = icmp ne i32 %div, 0
  71   ret i1 %cmp1
  72 }
  73
  74 define <2 x i1> @test4vec(<2 x i32> %d) {
  75 ; CHECK-LABEL: @test4vec(
  76 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult <2 x i32> %d, <i32 65, i32 66>
  77 ; CHECK-NEXT:    ret <2 x i1> [[CMP1]]
  78 ;
  79   %div = udiv <2 x i32> <i32 64, i32 65>, %d
  80   %cmp1 = icmp ne <2 x i32> %div, zeroinitializer
  81   ret <2 x i1> %cmp1
  82 }
  83
  84 define i1 @test5(i32 %d) {
  85 ; CHECK-LABEL: @test5(
  86 ; CHECK-NEXT:    ret i1 true
  87 ;
  88   %div = udiv i32 -1, %d
  89   %cmp1 = icmp ne i32 %div, 0
  90   ret i1 %cmp1
  91 }
  92
  93 define <2 x i1> @test5vec(<2 x i32> %d) {
  94 ; CHECK-LABEL: @test5vec(
  95 ; CHECK-NEXT:    ret <2 x i1> <i1 true, i1 true>
  96 ;
  97   %div = udiv <2 x i32> <i32 -1, i32 -1>, %d
  98   %cmp1 = icmp ne <2 x i32> %div, zeroinitializer
  99   ret <2 x i1> %cmp1
 100 }
 101
 102 define i1 @test6(i32 %d) {
 103 ; CHECK-LABEL: @test6(
 104 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i32 %d, 6
 105 ; CHECK-NEXT:    ret i1 [[CMP1]]
 106 ;
 107   %div = udiv i32 5, %d
 108   %cmp1 = icmp ugt i32 %div, 0
 109   ret i1 %cmp1
 110 }
 111
 112 define <2 x i1> @test6vec(<2 x i32> %d) {
 113 ; CHECK-LABEL: @test6vec(
 114 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult <2 x i32> %d, <i32 6, i32 6>
 115 ; CHECK-NEXT:    ret <2 x i1> [[CMP1]]
 116 ;
 117   %div = udiv <2 x i32> <i32 5, i32 5>, %d
 118   %cmp1 = icmp ugt <2 x i32> %div, zeroinitializer
 119   ret <2 x i1> %cmp1
 120 }
 121
 122 ; (icmp ugt (udiv C1, X), C1) -> false.
 123 define i1 @test7(i32 %d) {
 124 ; CHECK-LABEL: @test7(
 125 ; CHECK-NEXT:    ret i1 false
 126 ;
 127   %div = udiv i32 8, %d
 128   %cmp1 = icmp ugt i32 %div, 8
 129   ret i1 %cmp1
 130 }
 131
 132 define <2 x i1> @test7vec(<2 x i32> %d) {
 133 ; CHECK-LABEL: @test7vec(
 134 ; CHECK-NEXT:    ret <2 x i1> zeroinitializer
 135 ;
 136   %div = udiv <2 x i32> <i32 8, i32 8>, %d
 137   %cmp1 = icmp ugt <2 x i32> %div, <i32 8, i32 8>
 138   ret <2 x i1> %cmp1
 139 }
 140
 141 define i1 @test8(i32 %d) {
 142 ; CHECK-LABEL: @test8(
 143 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i32 %d, 2
 144 ; CHECK-NEXT:    ret i1 [[CMP1]]
 145 ;
 146   %div = udiv i32 4, %d
 147   %cmp1 = icmp ugt i32 %div, 3
 148   ret i1 %cmp1
 149 }
 150
 151 define <2 x i1> @test8vec(<2 x i32> %d) {
 152 ; CHECK-LABEL: @test8vec(
 153 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult <2 x i32> %d, <i32 2, i32 2>
 154 ; CHECK-NEXT:    ret <2 x i1> [[CMP1]]
 155 ;
 156   %div = udiv <2 x i32> <i32 4, i32 4>, %d
 157   %cmp1 = icmp ugt <2 x i32> %div, <i32 3, i32 3>
 158   ret <2 x i1> %cmp1
 159 }
 160
 161 define i1 @test9(i32 %d) {
 162 ; CHECK-LABEL: @test9(
 163 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i32 %d, 2
 164 ; CHECK-NEXT:    ret i1 [[CMP1]]
 165 ;
 166   %div = udiv i32 4, %d
 167   %cmp1 = icmp ugt i32 %div, 2
 168   ret i1 %cmp1
 169 }
 170
 171 define <2 x i1> @test9vec(<2 x i32> %d) {
 172 ; CHECK-LABEL: @test9vec(
 173 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult <2 x i32> %d, <i32 2, i32 2>
 174 ; CHECK-NEXT:    ret <2 x i1> [[CMP1]]
 175 ;
 176   %div = udiv <2 x i32> <i32 4, i32 4>, %d
 177   %cmp1 = icmp ugt <2 x i32> %div, <i32 2, i32 2>
 178   ret <2 x i1> %cmp1
 179 }
 180
 181 define i1 @test10(i32 %d) {
 182 ; CHECK-LABEL: @test10(
 183 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i32 %d, 3
 184 ; CHECK-NEXT:    ret i1 [[CMP1]]
 185 ;
 186   %div = udiv i32 4, %d
 187   %cmp1 = icmp ugt i32 %div, 1
 188   ret i1 %cmp1
 189 }
 190
 191 define <2 x i1> @test10vec(<2 x i32> %d) {
 192 ; CHECK-LABEL: @test10vec(
 193 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult <2 x i32> %d, <i32 3, i32 3>
 194 ; CHECK-NEXT:    ret <2 x i1> [[CMP1]]
 195 ;
 196   %div = udiv <2 x i32> <i32 4, i32 4>, %d
 197   %cmp1 = icmp ugt <2 x i32> %div, <i32 1, i32 1>
 198   ret <2 x i1> %cmp1
 199 }
 200
 201 define i1 @test11(i32 %d) {
 202 ; CHECK-LABEL: @test11(
 203 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i32 %d, 4
 204 ; CHECK-NEXT:    ret i1 [[CMP1]]
 205 ;
 206   %div = udiv i32 4, %d
 207   %cmp1 = icmp ult i32 %div, 1
 208   ret i1 %cmp1
 209 }
 210
 211 define <2 x i1> @test11vec(<2 x i32> %d) {
 212 ; CHECK-LABEL: @test11vec(
 213 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt <2 x i32> %d, <i32 4, i32 4>
 214 ; CHECK-NEXT:    ret <2 x i1> [[CMP1]]
 215 ;
 216   %div = udiv <2 x i32> <i32 4, i32 4>, %d
 217   %cmp1 = icmp ult <2 x i32> %div, <i32 1, i32 1>
 218   ret <2 x i1> %cmp1
 219 }
 220
 221 define i1 @test12(i32 %d) {
 222 ; CHECK-LABEL: @test12(
 223 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i32 %d, 2
 224 ; CHECK-NEXT:    ret i1 [[CMP1]]
 225 ;
 226   %div = udiv i32 4, %d
 227   %cmp1 = icmp ult i32 %div, 2
 228   ret i1 %cmp1
 229 }
 230
 231 define <2 x i1> @test12vec(<2 x i32> %d) {
 232 ; CHECK-LABEL: @test12vec(
 233 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt <2 x i32> %d, <i32 2, i32 2>
 234 ; CHECK-NEXT:    ret <2 x i1> [[CMP1]]
 235 ;
 236   %div = udiv <2 x i32> <i32 4, i32 4>, %d
 237   %cmp1 = icmp ult <2 x i32> %div, <i32 2, i32 2>
 238   ret <2 x i1> %cmp1
 239 }
 240
 241 define i1 @test13(i32 %d) {
 242 ; CHECK-LABEL: @test13(
 243 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i32 %d, 1
 244 ; CHECK-NEXT:    ret i1 [[CMP1]]
 245 ;
 246   %div = udiv i32 4, %d
 247   %cmp1 = icmp ult i32 %div, 3
 248   ret i1 %cmp1
 249 }
 250
 251 define <2 x i1> @test13vec(<2 x i32> %d) {
 252 ; CHECK-LABEL: @test13vec(
 253 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt <2 x i32> %d, <i32 1, i32 1>
 254 ; CHECK-NEXT:    ret <2 x i1> [[CMP1]]
 255 ;
 256   %div = udiv <2 x i32> <i32 4, i32 4>, %d
 257   %cmp1 = icmp ult <2 x i32> %div, <i32 3, i32 3>
 258   ret <2 x i1> %cmp1
 259 }
 260
 261 define i1 @test14(i32 %d) {
 262 ; CHECK-LABEL: @test14(
 263 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i32 %d, 1
 264 ; CHECK-NEXT:    ret i1 [[CMP1]]
 265 ;
 266   %div = udiv i32 4, %d
 267   %cmp1 = icmp ult i32 %div, 4
 268   ret i1 %cmp1
 269 }
 270
 271 define <2 x i1> @test14vec(<2 x i32> %d) {
 272 ; CHECK-LABEL: @test14vec(
 273 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt <2 x i32> %d, <i32 1, i32 1>
 274 ; CHECK-NEXT:    ret <2 x i1> [[CMP1]]
 275 ;
 276   %div = udiv <2 x i32> <i32 4, i32 4>, %d
 277   %cmp1 = icmp ult <2 x i32> %div, <i32 4, i32 4>
 278   ret <2 x i1> %cmp1
 279 }
 280
 281 ; icmp ugt X, UINT_MAX -> false.
 282 define i1 @test15(i32 %d) {
 283 ; CHECK-LABEL: @test15(
 284 ; CHECK-NEXT:    ret i1 false
 285 ;
 286   %div = udiv i32 4, %d
 287   %cmp1 = icmp ugt i32 %div, -1
 288   ret i1 %cmp1
 289 }
 290
 291 define <2 x i1> @test15vec(<2 x i32> %d) {
 292 ; CHECK-LABEL: @test15vec(
 293 ; CHECK-NEXT:    ret <2 x i1> zeroinitializer
 294 ;
 295   %div = udiv <2 x i32> <i32 4, i32 4>, %d
 296   %cmp1 = icmp ugt <2 x i32> %div, <i32 -1, i32 -1>
 297   ret <2 x i1> %cmp1
 298 }
 299
 300 ; icmp ult X, UINT_MAX -> true.
 301 define i1 @test16(i32 %d) {
 302 ; CHECK-LABEL: @test16(
 303 ; CHECK-NEXT:    ret i1 true
 304 ;
 305   %div = udiv i32 4, %d
 306   %cmp1 = icmp ult i32 %div, -1
 307   ret i1 %cmp1
 308 }
 309
 310 define <2 x i1> @test16vec(<2 x i32> %d) {
 311 ; CHECK-LABEL: @test16vec(
 312 ; CHECK-NEXT:    ret <2 x i1> <i1 true, i1 true>
 313 ;
 314   %div = udiv <2 x i32> <i32 4, i32 4>, %d
 315   %cmp1 = icmp ult <2 x i32> %div, <i32 -1, i32 -1>
 316   ret <2 x i1> %cmp1
 317 }
 318