llvm/test/Transforms/ConstraintElimination/mul.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 declare void @llvm.assume(i1)
   5
   6 define i1 @test_mul_const_nuw_unsigned_1(i8 %start, i8 %high) {
   7 ; CHECK-LABEL: @test_mul_const_nuw_unsigned_1(
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nuw i8 [[START:%.*]], 4
  10 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
  11 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
  12 ; CHECK-NEXT:    ret i1 true
  13 ;
  14 entry:
  15   %start.mul.4 = mul nuw i8 %start, 4
  16   %c.1 = icmp ult i8 %start.mul.4, %high
  17   call void @llvm.assume(i1 %c.1)
  18
  19   %t.1 = icmp ult i8 %start, %high
  20   ret i1 %t.1
  21 }
  22
  23 define i1 @test_mul_const_nuw_unsigned_2(i8 %start, i8 %high) {
  24 ; CHECK-LABEL: @test_mul_const_nuw_unsigned_2(
  25 ; CHECK-NEXT:  entry:
  26 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nuw i8 [[START:%.*]], 4
  27 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
  28 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
  29 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul nuw i8 [[START]], 2
  30 ; CHECK-NEXT:    ret i1 true
  31 ;
  32 entry:
  33   %start.mul.4 = mul nuw i8 %start, 4
  34   %c.1 = icmp ult i8 %start.mul.4, %high
  35   call void @llvm.assume(i1 %c.1)
  36
  37   %start.mul.2 = mul nuw i8 %start, 2
  38   %t = icmp ult i8 %start.mul.2, %high
  39   ret i1 %t
  40 }
  41
  42 define i1 @test_mul_const_nuw_unsigned_3(i8 %start, i8 %high) {
  43 ; CHECK-LABEL: @test_mul_const_nuw_unsigned_3(
  44 ; CHECK-NEXT:  entry:
  45 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nuw i8 [[START:%.*]], 4
  46 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
  47 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
  48 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul nuw i8 [[START]], 2
  49 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nuw i8 [[START]], [[START]]
  50 ; CHECK-NEXT:    ret i1 true
  51 ;
  52 entry:
  53   %start.mul.4 = mul nuw i8 %start, 4
  54   %c.1 = icmp ult i8 %start.mul.4, %high
  55   call void @llvm.assume(i1 %c.1)
  56
  57   %start.mul.2 = mul nuw i8 %start, 2
  58   %start.add.1 = add nuw i8 %start, %start
  59   %t = icmp ule i8 %start.add.1, %start.mul.2
  60   ret i1 %t
  61 }
  62
  63
  64 define i1 @test_mul_const_nuw_unsigned_4(i8 %start, i8 %high) {
  65 ; CHECK-LABEL: @test_mul_const_nuw_unsigned_4(
  66 ; CHECK-NEXT:  entry:
  67 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nuw i8 [[START:%.*]], 4
  68 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
  69 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
  70 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul nuw i8 [[START]], 2
  71 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nuw i8 [[START]], [[START]]
  72 ; CHECK-NEXT:    ret i1 false
  73 ;
  74 entry:
  75   %start.mul.4 = mul nuw i8 %start, 4
  76   %c.1 = icmp ult i8 %start.mul.4, %high
  77   call void @llvm.assume(i1 %c.1)
  78
  79   %start.mul.2 = mul nuw i8 %start, 2
  80   %start.add.1 = add nuw i8 %start, %start
  81   %f = icmp ult i8 %start.add.1, %start.mul.2
  82   ret i1 %f
  83 }
  84
  85
  86 define i1 @test_mul_const_nuw_unsigned_5(i8 %start, i8 %high) {
  87 ; CHECK-LABEL: @test_mul_const_nuw_unsigned_5(
  88 ; CHECK-NEXT:  entry:
  89 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nuw i8 [[START:%.*]], 4
  90 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
  91 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
  92 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nuw i8 [[START]], [[START]]
  93 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nuw i8 [[START_ADD_1]], [[START_ADD_1]]
  94 ; CHECK-NEXT:    ret i1 true
  95 ;
  96 entry:
  97   %start.mul.4 = mul nuw i8 %start, 4
  98   %c.1 = icmp ult i8 %start.mul.4, %high
  99   call void @llvm.assume(i1 %c.1)
 100
 101   %start.add.1 = add nuw i8 %start, %start
 102   %start.add.2 = add nuw i8 %start.add.1, %start.add.1
 103   %t.4 = icmp ule i8 %start.add.2, %start.mul.4
 104   ret i1 %t.4
 105 }
 106
 107 define i1 @test_mul_const_nuw_unsigned_6(i8 %start, i8 %high) {
 108 ; CHECK-LABEL: @test_mul_const_nuw_unsigned_6(
 109 ; CHECK-NEXT:  entry:
 110 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nuw i8 [[START:%.*]], 4
 111 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 112 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 113 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nuw i8 [[START]], [[START]]
 114 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nuw i8 [[START_ADD_1]], [[START_ADD_1]]
 115 ; CHECK-NEXT:    ret i1 false
 116 ;
 117 entry:
 118   %start.mul.4 = mul nuw i8 %start, 4
 119   %c.1 = icmp ult i8 %start.mul.4, %high
 120   call void @llvm.assume(i1 %c.1)
 121
 122   %start.add.1 = add nuw i8 %start, %start
 123   %start.add.2 = add nuw i8 %start.add.1, %start.add.1
 124   %f.2 = icmp ult i8 %start.add.2, %start.mul.4
 125   ret i1 %f.2
 126 }
 127
 128 define i1 @test_mul_const_nuw_unsigned_7(i8 %start, i8 %high) {
 129 ; CHECK-LABEL: @test_mul_const_nuw_unsigned_7(
 130 ; CHECK-NEXT:  entry:
 131 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nuw i8 [[START:%.*]], 4
 132 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 133 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 134 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul nuw i8 [[START]], 2
 135 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nuw i8 [[START]], [[START]]
 136 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nuw i8 [[START_ADD_1]], [[START_ADD_1]]
 137 ; CHECK-NEXT:    [[START_ADD_2_1:%.*]] = add nuw i8 [[START_ADD_2]], 1
 138 ; CHECK-NEXT:    ret i1 false
 139 ;
 140 entry:
 141   %start.mul.4 = mul nuw i8 %start, 4
 142   %c.1 = icmp ult i8 %start.mul.4, %high
 143   call void @llvm.assume(i1 %c.1)
 144
 145   %start.mul.2 = mul nuw i8 %start, 2
 146   %start.add.1 = add nuw i8 %start, %start
 147   %start.add.2 = add nuw i8 %start.add.1, %start.add.1
 148   %start.add.2.1 = add nuw i8 %start.add.2, 1
 149   %f.3 = icmp ule i8 %start.add.2.1, %start.mul.4
 150   ret i1 %f.3
 151 }
 152
 153 define i1 @test_mul_const_nuw_unsigned_8(i8 %start, i8 %high) {
 154 ; CHECK-LABEL: @test_mul_const_nuw_unsigned_8(
 155 ; CHECK-NEXT:  entry:
 156 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nuw i8 [[START:%.*]], 4
 157 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 158 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 159 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul nuw i8 [[START]], 2
 160 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nuw i8 [[START]], [[START]]
 161 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nuw i8 [[START_ADD_1]], [[START_ADD_1]]
 162 ; CHECK-NEXT:    [[START_ADD_2_1:%.*]] = add nuw i8 [[START_ADD_2]], 1
 163 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul nuw i8 [[START]], 3
 164 ; CHECK-NEXT:    ret i1 true
 165 ;
 166 entry:
 167   %start.mul.4 = mul nuw i8 %start, 4
 168   %c.1 = icmp ult i8 %start.mul.4, %high
 169   call void @llvm.assume(i1 %c.1)
 170
 171   %start.mul.2 = mul nuw i8 %start, 2
 172   %start.add.1 = add nuw i8 %start, %start
 173   %start.add.2 = add nuw i8 %start.add.1, %start.add.1
 174   %start.add.2.1 = add nuw i8 %start.add.2, 1
 175   %start.mul.3 = mul nuw i8 %start, 3
 176   %t.5 = icmp ule i8 %start.add.1, %start.mul.3
 177   ret i1 %t.5
 178 }
 179
 180 define i1 @test_mul_const_nuw_unsigned_9(i8 %start, i8 %high) {
 181 ; CHECK-LABEL: @test_mul_const_nuw_unsigned_9(
 182 ; CHECK-NEXT:  entry:
 183 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nuw i8 [[START:%.*]], 4
 184 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 185 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 186 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul nuw i8 [[START]], 2
 187 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nuw i8 [[START]], [[START]]
 188 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nuw i8 [[START_ADD_1]], [[START_ADD_1]]
 189 ; CHECK-NEXT:    [[START_ADD_2_1:%.*]] = add nuw i8 [[START_ADD_2]], 1
 190 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul nuw i8 [[START]], 3
 191 ; CHECK-NEXT:    ret i1 false
 192 ;
 193 entry:
 194   %start.mul.4 = mul nuw i8 %start, 4
 195   %c.1 = icmp ult i8 %start.mul.4, %high
 196   call void @llvm.assume(i1 %c.1)
 197
 198   %start.mul.2 = mul nuw i8 %start, 2
 199   %start.add.1 = add nuw i8 %start, %start
 200   %start.add.2 = add nuw i8 %start.add.1, %start.add.1
 201   %start.add.2.1 = add nuw i8 %start.add.2, 1
 202   %start.mul.3 = mul nuw i8 %start, 3
 203   %f.5 = icmp ult i8 %start.add.2, %start.mul.3
 204   ret i1 %f.5
 205 }
 206
 207 define i1 @test_mul_const_nuw_unsigned_10(i8 %start, i8 %high) {
 208 ; CHECK-LABEL: @test_mul_const_nuw_unsigned_10(
 209 ; CHECK-NEXT:  entry:
 210 ; CHECK-NEXT:    [[START_MUL_5:%.*]] = mul nuw i8 [[START:%.*]], 5
 211 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult i8 [[START]], [[START_MUL_5]]
 212 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_0]])
 213 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul nuw i8 [[START]], 3
 214 ; CHECK-NEXT:    ret i1 true
 215 ;
 216 entry:
 217   %start.mul.5 = mul nuw i8 %start, 5
 218   %c.0 = icmp ult i8 %start, %start.mul.5
 219   call void @llvm.assume(i1 %c.0)
 220
 221   %start.mul.3 = mul nuw i8 %start, 3
 222   %t.1 = icmp ule i8 %start.mul.3, %start.mul.5
 223   ret i1 %t.1
 224 }
 225
 226 define i1 @test_mul_const_nuw_unsigned_11(i8 %start, i8 %high) {
 227 ; CHECK-LABEL: @test_mul_const_nuw_unsigned_11(
 228 ; CHECK-NEXT:  entry:
 229 ; CHECK-NEXT:    [[START_MUL_5:%.*]] = mul nuw i8 [[START:%.*]], 5
 230 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult i8 [[START]], [[START_MUL_5]]
 231 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_0]])
 232 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul nuw i8 [[START]], 3
 233 ; CHECK-NEXT:    ret i1 false
 234 ;
 235 entry:
 236   %start.mul.5 = mul nuw i8 %start, 5
 237   %c.0 = icmp ult i8 %start, %start.mul.5
 238   call void @llvm.assume(i1 %c.0)
 239
 240   %start.mul.3 = mul nuw i8 %start, 3
 241   %c.1 = icmp ule i8 %start.mul.5, %start.mul.3
 242   ret i1 %c.1
 243 }
 244
 245 define i1 @test_mul_const_nuw_unsigned_12(i8 %start) {
 246 ; CHECK-LABEL: @test_mul_const_nuw_unsigned_12(
 247 ; CHECK-NEXT:  entry:
 248 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul nuw i8 [[START:%.*]], 3
 249 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START]], [[START_MUL_3]]
 250 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 251 ; CHECK-NEXT:    [[START_MUL_5:%.*]] = mul nuw i8 [[START]], 5
 252 ; CHECK-NEXT:    ret i1 true
 253 ;
 254 entry:
 255   %start.mul.3 = mul nuw i8 %start, 3
 256   %c.1 = icmp ult i8 %start, %start.mul.3
 257   call void @llvm.assume(i1 %c.1)
 258
 259   %start.mul.5 = mul nuw i8 %start, 5
 260   %t.1 = icmp ule i8 %start.mul.3, %start.mul.5
 261   ret i1 %t.1
 262 }
 263
 264 define i1 @test_mul_const_nuw_unsigned_13(i8 %start) {
 265 ; CHECK-LABEL: @test_mul_const_nuw_unsigned_13(
 266 ; CHECK-NEXT:  entry:
 267 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul nuw i8 [[START:%.*]], 3
 268 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START]], [[START_MUL_3]]
 269 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 270 ; CHECK-NEXT:    [[START_MUL_5:%.*]] = mul nuw i8 [[START]], 5
 271 ; CHECK-NEXT:    ret i1 false
 272 ;
 273 entry:
 274   %start.mul.3 = mul nuw i8 %start, 3
 275   %c.1 = icmp ult i8 %start, %start.mul.3
 276   call void @llvm.assume(i1 %c.1)
 277
 278   %start.mul.5 = mul nuw i8 %start, 5
 279   %f.1 = icmp ule i8 %start.mul.5, %start.mul.3
 280   ret i1 %f.1
 281 }
 282
 283 define i1 @test_mul_const_nuw_unsigned_14(i8 %start) {
 284 ; CHECK-LABEL: @test_mul_const_nuw_unsigned_14(
 285 ; CHECK-NEXT:  entry:
 286 ; CHECK-NEXT:    [[START_MUL_5:%.*]] = mul nuw i8 [[START:%.*]], -5
 287 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult i8 [[START]], [[START_MUL_5]]
 288 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_0]])
 289 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul nuw i8 [[START]], -3
 290 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ule i8 [[START_MUL_3]], [[START_MUL_5]]
 291 ; CHECK-NEXT:    ret i1 [[T_1]]
 292 ;
 293 entry:
 294   %start.mul.5 = mul nuw i8 %start, -5
 295   %c.0 = icmp ult i8 %start, %start.mul.5
 296   call void @llvm.assume(i1 %c.0)
 297
 298   %start.mul.3 = mul nuw i8 %start, -3
 299   %t.1 = icmp ule i8 %start.mul.3, %start.mul.5
 300   ret i1 %t.1
 301 }
 302
 303 define i1 @test_mul_const_nuw_unsigned_15(i8 %start) {
 304 ; CHECK-LABEL: @test_mul_const_nuw_unsigned_15(
 305 ; CHECK-NEXT:  entry:
 306 ; CHECK-NEXT:    [[START_MUL_5:%.*]] = mul nuw i8 [[START:%.*]], -5
 307 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult i8 [[START]], [[START_MUL_5]]
 308 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_0]])
 309 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul nuw i8 [[START]], -3
 310 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule i8 [[START_MUL_5]], [[START_MUL_3]]
 311 ; CHECK-NEXT:    ret i1 [[C_1]]
 312 ;
 313 entry:
 314   %start.mul.5 = mul nuw i8 %start, -5
 315   %c.0 = icmp ult i8 %start, %start.mul.5
 316   call void @llvm.assume(i1 %c.0)
 317
 318   %start.mul.3 = mul nuw i8 %start, -3
 319   %c.1 = icmp ule i8 %start.mul.5, %start.mul.3
 320   ret i1 %c.1
 321 }
 322
 323 define i1 @test_mul_const_nuw_nsw_unsigned_16(i8 %start) {
 324 ; CHECK-LABEL: @test_mul_const_nuw_nsw_unsigned_16(
 325 ; CHECK-NEXT:  entry:
 326 ; CHECK-NEXT:    [[START_MUL_5:%.*]] = mul nuw nsw i8 [[START:%.*]], -5
 327 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult i8 [[START]], [[START_MUL_5]]
 328 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_0]])
 329 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul nuw nsw i8 [[START]], -3
 330 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ule i8 [[START_MUL_3]], [[START_MUL_5]]
 331 ; CHECK-NEXT:    ret i1 [[T_1]]
 332 ;
 333 entry:
 334   %start.mul.5 = mul nuw nsw i8 %start, -5
 335   %c.0 = icmp ult i8 %start, %start.mul.5
 336   call void @llvm.assume(i1 %c.0)
 337
 338   %start.mul.3 = mul nuw nsw i8 %start, -3
 339   %t.1 = icmp ule i8 %start.mul.3, %start.mul.5
 340   ret i1 %t.1
 341 }
 342
 343 define i1 @test_mul_const_nuw_nsw_unsigned_17(i8 %start) {
 344 ; CHECK-LABEL: @test_mul_const_nuw_nsw_unsigned_17(
 345 ; CHECK-NEXT:  entry:
 346 ; CHECK-NEXT:    [[START_MUL_5:%.*]] = mul nuw nsw i8 [[START:%.*]], -5
 347 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult i8 [[START]], [[START_MUL_5]]
 348 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_0]])
 349 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul nuw nsw i8 [[START]], -3
 350 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule i8 [[START_MUL_5]], [[START_MUL_3]]
 351 ; CHECK-NEXT:    ret i1 [[C_1]]
 352 ;
 353 entry:
 354   %start.mul.5 = mul nuw nsw i8 %start, -5
 355   %c.0 = icmp ult i8 %start, %start.mul.5
 356   call void @llvm.assume(i1 %c.0)
 357
 358   %start.mul.3 = mul nuw nsw i8 %start, -3
 359   %c.1 = icmp ule i8 %start.mul.5, %start.mul.3
 360   ret i1 %c.1
 361 }
 362
 363 define i1 @test_mul_add_const_nuw_unsigned_1(i8 %start, i8 %high) {
 364 ; CHECK-LABEL: @test_mul_add_const_nuw_unsigned_1(
 365 ; CHECK-NEXT:  entry:
 366 ; CHECK-NEXT:    [[ADD:%.*]] = add nuw i8 [[START:%.*]], 3
 367 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nuw i8 [[ADD]], 4
 368 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 369 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 370 ; CHECK-NEXT:    ret i1 true
 371 ;
 372 entry:
 373   %add = add nuw i8 %start, 3
 374   %start.mul.4 = mul nuw i8 %add, 4
 375   %c.1 = icmp ult i8 %start.mul.4, %high
 376   call void @llvm.assume(i1 %c.1)
 377
 378   %t.1 = icmp ult i8 %start, %high
 379   ret i1 %t.1
 380 }
 381
 382 define i1 @test_mul_add_const_nuw_unsigned_2(i8 %start, i8 %high) {
 383 ; CHECK-LABEL: @test_mul_add_const_nuw_unsigned_2(
 384 ; CHECK-NEXT:  entry:
 385 ; CHECK-NEXT:    [[ADD:%.*]] = add nuw i8 [[START:%.*]], 3
 386 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nuw i8 [[ADD]], 4
 387 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 388 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 389 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul nuw i8 [[START]], 2
 390 ; CHECK-NEXT:    ret i1 true
 391 ;
 392 entry:
 393   %add = add nuw i8 %start, 3
 394   %start.mul.4 = mul nuw i8 %add, 4
 395   %c.1 = icmp ult i8 %start.mul.4, %high
 396   call void @llvm.assume(i1 %c.1)
 397
 398   %start.mul.2 = mul nuw i8 %start, 2
 399   %t.2 = icmp ult i8 %start.mul.2, %high
 400   ret i1 %t.2
 401 }
 402
 403 define i1 @test_mul_add_const_nuw_unsigned_3(i8 %start, i8 %high) {
 404 ; CHECK-LABEL: @test_mul_add_const_nuw_unsigned_3(
 405 ; CHECK-NEXT:  entry:
 406 ; CHECK-NEXT:    [[ADD:%.*]] = add nuw i8 [[START:%.*]], 3
 407 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nuw i8 [[ADD]], 4
 408 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 409 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 410 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nuw i8 [[START]], [[START]]
 411 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nuw i8 [[START_ADD_1]], [[START_ADD_1]]
 412 ; CHECK-NEXT:    ret i1 true
 413 ;
 414 entry:
 415   %add = add nuw i8 %start, 3
 416   %start.mul.4 = mul nuw i8 %add, 4
 417   %c.1 = icmp ult i8 %start.mul.4, %high
 418   call void @llvm.assume(i1 %c.1)
 419
 420   %start.add.1 = add nuw i8 %start, %start
 421   %start.add.2 = add nuw i8 %start.add.1, %start.add.1
 422   %t.3 = icmp ule i8 %start.add.2, %start.mul.4
 423   ret i1 %t.3
 424 }
 425
 426 define i1 @test_mul_add_const_nuw_unsigned_4(i8 %start, i8 %high) {
 427 ; CHECK-LABEL: @test_mul_add_const_nuw_unsigned_4(
 428 ; CHECK-NEXT:  entry:
 429 ; CHECK-NEXT:    [[ADD:%.*]] = add nuw i8 [[START:%.*]], 3
 430 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nuw i8 [[ADD]], 4
 431 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 432 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 433 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul nuw i8 [[START]], 2
 434 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nuw i8 [[START]], [[START]]
 435 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nuw i8 [[START_ADD_1]], [[START_ADD_1]]
 436 ; CHECK-NEXT:    ret i1 true
 437 ;
 438 entry:
 439   %add = add nuw i8 %start, 3
 440   %start.mul.4 = mul nuw i8 %add, 4
 441   %c.1 = icmp ult i8 %start.mul.4, %high
 442   call void @llvm.assume(i1 %c.1)
 443
 444   %start.mul.2 = mul nuw i8 %start, 2
 445   %start.add.1 = add nuw i8 %start, %start
 446   %start.add.2 = add nuw i8 %start.add.1, %start.add.1
 447   %t.4 = icmp ult i8 %start.add.2, %start.mul.4
 448   ret i1 %t.4
 449 }
 450
 451 define i1 @test_mul_add_const_nuw_unsigned_5(i8 %start, i8 %high) {
 452 ; CHECK-LABEL: @test_mul_add_const_nuw_unsigned_5(
 453 ; CHECK-NEXT:  entry:
 454 ; CHECK-NEXT:    [[ADD:%.*]] = add nuw i8 [[START:%.*]], 3
 455 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nuw i8 [[ADD]], 4
 456 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 457 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 458 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nuw i8 [[START]], [[START]]
 459 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nuw i8 [[START_ADD_1]], [[START_ADD_1]]
 460 ; CHECK-NEXT:    [[START_ADD_2_12:%.*]] = add nuw i8 [[START_ADD_2]], 12
 461 ; CHECK-NEXT:    ret i1 true
 462 ;
 463 entry:
 464   %add = add nuw i8 %start, 3
 465   %start.mul.4 = mul nuw i8 %add, 4
 466   %c.1 = icmp ult i8 %start.mul.4, %high
 467   call void @llvm.assume(i1 %c.1)
 468
 469   %start.add.1 = add nuw i8 %start, %start
 470   %start.add.2 = add nuw i8 %start.add.1, %start.add.1
 471   %start.add.2.12 = add nuw i8 %start.add.2, 12
 472   %t.5 = icmp ule i8 %start.add.2.12, %start.mul.4
 473   ret i1 %t.5
 474 }
 475
 476 define i1 @test_mul_add_const_nuw_unsigned_6(i8 %start, i8 %high) {
 477 ; CHECK-LABEL: @test_mul_add_const_nuw_unsigned_6(
 478 ; CHECK-NEXT:  entry:
 479 ; CHECK-NEXT:    [[ADD:%.*]] = add nuw i8 [[START:%.*]], 3
 480 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nuw i8 [[ADD]], 4
 481 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 482 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 483 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nuw i8 [[START]], [[START]]
 484 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nuw i8 [[START_ADD_1]], [[START_ADD_1]]
 485 ; CHECK-NEXT:    [[START_ADD_2_13:%.*]] = add nuw i8 [[START_ADD_2]], 13
 486 ; CHECK-NEXT:    ret i1 false
 487 ;
 488 entry:
 489   %add = add nuw i8 %start, 3
 490   %start.mul.4 = mul nuw i8 %add, 4
 491   %c.1 = icmp ult i8 %start.mul.4, %high
 492   call void @llvm.assume(i1 %c.1)
 493
 494   %start.add.1 = add nuw i8 %start, %start
 495   %start.add.2 = add nuw i8 %start.add.1, %start.add.1
 496   %start.add.2.13 = add nuw i8 %start.add.2, 13
 497   %f.1 = icmp ule i8 %start.add.2.13, %start.mul.4
 498   ret i1 %f.1
 499 }
 500
 501 define i1 @test_mul_const_nsw_unsigned_1(i8 %start, i8 %high) {
 502 ; CHECK-LABEL: @test_mul_const_nsw_unsigned_1(
 503 ; CHECK-NEXT:  entry:
 504 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nsw i8 [[START:%.*]], 4
 505 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 506 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 507 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ult i8 [[START]], [[HIGH]]
 508 ; CHECK-NEXT:    ret i1 [[T_1]]
 509 ;
 510 entry:
 511   %start.mul.4 = mul nsw i8 %start, 4
 512   %c.1 = icmp ult i8 %start.mul.4, %high
 513   call void @llvm.assume(i1 %c.1)
 514
 515   %t.1 = icmp ult i8 %start, %high
 516   ret i1 %t.1
 517 }
 518
 519 define i1 @test_mul_const_nsw_unsigned_2(i8 %start, i8 %high) {
 520 ; CHECK-LABEL: @test_mul_const_nsw_unsigned_2(
 521 ; CHECK-NEXT:  entry:
 522 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nsw i8 [[START:%.*]], 4
 523 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 524 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 525 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul nsw i8 [[START]], 2
 526 ; CHECK-NEXT:    [[T:%.*]] = icmp ult i8 [[START_MUL_2]], [[HIGH]]
 527 ; CHECK-NEXT:    ret i1 [[T]]
 528 ;
 529 entry:
 530   %start.mul.4 = mul nsw i8 %start, 4
 531   %c.1 = icmp ult i8 %start.mul.4, %high
 532   call void @llvm.assume(i1 %c.1)
 533
 534   %start.mul.2 = mul nsw i8 %start, 2
 535   %t = icmp ult i8 %start.mul.2, %high
 536   ret i1 %t
 537 }
 538
 539 define i1 @test_mul_const_nsw_unsigned_3(i8 %start, i8 %high) {
 540 ; CHECK-LABEL: @test_mul_const_nsw_unsigned_3(
 541 ; CHECK-NEXT:  entry:
 542 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nsw i8 [[START:%.*]], 4
 543 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 544 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 545 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul nsw i8 [[START]], 2
 546 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nsw i8 [[START]], [[START]]
 547 ; CHECK-NEXT:    [[T:%.*]] = icmp ule i8 [[START_ADD_1]], [[START_MUL_2]]
 548 ; CHECK-NEXT:    ret i1 [[T]]
 549 ;
 550 entry:
 551   %start.mul.4 = mul nsw i8 %start, 4
 552   %c.1 = icmp ult i8 %start.mul.4, %high
 553   call void @llvm.assume(i1 %c.1)
 554
 555   %start.mul.2 = mul nsw i8 %start, 2
 556   %start.add.1 = add nsw i8 %start, %start
 557   %t = icmp ule i8 %start.add.1, %start.mul.2
 558   ret i1 %t
 559 }
 560
 561
 562 define i1 @test_mul_const_nsw_unsigned_4(i8 %start, i8 %high) {
 563 ; CHECK-LABEL: @test_mul_const_nsw_unsigned_4(
 564 ; CHECK-NEXT:  entry:
 565 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nsw i8 [[START:%.*]], 4
 566 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 567 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 568 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul nsw i8 [[START]], 2
 569 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nsw i8 [[START]], [[START]]
 570 ; CHECK-NEXT:    [[F:%.*]] = icmp ult i8 [[START_ADD_1]], [[START_MUL_2]]
 571 ; CHECK-NEXT:    ret i1 [[F]]
 572 ;
 573 entry:
 574   %start.mul.4 = mul nsw i8 %start, 4
 575   %c.1 = icmp ult i8 %start.mul.4, %high
 576   call void @llvm.assume(i1 %c.1)
 577
 578   %start.mul.2 = mul nsw i8 %start, 2
 579   %start.add.1 = add nsw i8 %start, %start
 580   %f = icmp ult i8 %start.add.1, %start.mul.2
 581   ret i1 %f
 582 }
 583
 584
 585 define i1 @test_mul_const_nsw_unsigned_5(i8 %start, i8 %high) {
 586 ; CHECK-LABEL: @test_mul_const_nsw_unsigned_5(
 587 ; CHECK-NEXT:  entry:
 588 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nsw i8 [[START:%.*]], 4
 589 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 590 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 591 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nsw i8 [[START]], [[START]]
 592 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nsw i8 [[START_ADD_1]], [[START_ADD_1]]
 593 ; CHECK-NEXT:    [[T_4:%.*]] = icmp ule i8 [[START_ADD_2]], [[START_MUL_4]]
 594 ; CHECK-NEXT:    ret i1 [[T_4]]
 595 ;
 596 entry:
 597   %start.mul.4 = mul nsw i8 %start, 4
 598   %c.1 = icmp ult i8 %start.mul.4, %high
 599   call void @llvm.assume(i1 %c.1)
 600
 601   %start.add.1 = add nsw i8 %start, %start
 602   %start.add.2 = add nsw i8 %start.add.1, %start.add.1
 603   %t.4 = icmp ule i8 %start.add.2, %start.mul.4
 604   ret i1 %t.4
 605 }
 606
 607 define i1 @test_mul_const_nsw_unsigned_6(i8 %start, i8 %high) {
 608 ; CHECK-LABEL: @test_mul_const_nsw_unsigned_6(
 609 ; CHECK-NEXT:  entry:
 610 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nsw i8 [[START:%.*]], 4
 611 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 612 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 613 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nsw i8 [[START]], [[START]]
 614 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nsw i8 [[START_ADD_1]], [[START_ADD_1]]
 615 ; CHECK-NEXT:    [[F_2:%.*]] = icmp ult i8 [[START_ADD_2]], [[START_MUL_4]]
 616 ; CHECK-NEXT:    ret i1 [[F_2]]
 617 ;
 618 entry:
 619   %start.mul.4 = mul nsw i8 %start, 4
 620   %c.1 = icmp ult i8 %start.mul.4, %high
 621   call void @llvm.assume(i1 %c.1)
 622
 623   %start.add.1 = add nsw i8 %start, %start
 624   %start.add.2 = add nsw i8 %start.add.1, %start.add.1
 625   %f.2 = icmp ult i8 %start.add.2, %start.mul.4
 626   ret i1 %f.2
 627 }
 628
 629 define i1 @test_mul_const_nsw_unsigned_7(i8 %start, i8 %high) {
 630 ; CHECK-LABEL: @test_mul_const_nsw_unsigned_7(
 631 ; CHECK-NEXT:  entry:
 632 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nsw i8 [[START:%.*]], 4
 633 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 634 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 635 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul nsw i8 [[START]], 2
 636 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nsw i8 [[START]], [[START]]
 637 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nsw i8 [[START_ADD_1]], [[START_ADD_1]]
 638 ; CHECK-NEXT:    [[START_ADD_2_1:%.*]] = add nsw i8 [[START_ADD_2]], 1
 639 ; CHECK-NEXT:    [[F_3:%.*]] = icmp ule i8 [[START_ADD_2_1]], [[START_MUL_4]]
 640 ; CHECK-NEXT:    ret i1 [[F_3]]
 641 ;
 642 entry:
 643   %start.mul.4 = mul nsw i8 %start, 4
 644   %c.1 = icmp ult i8 %start.mul.4, %high
 645   call void @llvm.assume(i1 %c.1)
 646
 647   %start.mul.2 = mul nsw i8 %start, 2
 648   %start.add.1 = add nsw i8 %start, %start
 649   %start.add.2 = add nsw i8 %start.add.1, %start.add.1
 650   %start.add.2.1 = add nsw i8 %start.add.2, 1
 651   %f.3 = icmp ule i8 %start.add.2.1, %start.mul.4
 652   ret i1 %f.3
 653 }
 654
 655 define i1 @test_mul_const_nsw_unsigned_8(i8 %start, i8 %high) {
 656 ; CHECK-LABEL: @test_mul_const_nsw_unsigned_8(
 657 ; CHECK-NEXT:  entry:
 658 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nsw i8 [[START:%.*]], 4
 659 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 660 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 661 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul nsw i8 [[START]], 2
 662 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nsw i8 [[START]], [[START]]
 663 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nsw i8 [[START_ADD_1]], [[START_ADD_1]]
 664 ; CHECK-NEXT:    [[START_ADD_2_1:%.*]] = add nsw i8 [[START_ADD_2]], 1
 665 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul nsw i8 [[START]], 3
 666 ; CHECK-NEXT:    [[T_5:%.*]] = icmp ule i8 [[START_ADD_1]], [[START_MUL_3]]
 667 ; CHECK-NEXT:    ret i1 [[T_5]]
 668 ;
 669 entry:
 670   %start.mul.4 = mul nsw i8 %start, 4
 671   %c.1 = icmp ult i8 %start.mul.4, %high
 672   call void @llvm.assume(i1 %c.1)
 673
 674   %start.mul.2 = mul nsw i8 %start, 2
 675   %start.add.1 = add nsw i8 %start, %start
 676   %start.add.2 = add nsw i8 %start.add.1, %start.add.1
 677   %start.add.2.1 = add nsw i8 %start.add.2, 1
 678   %start.mul.3 = mul nsw i8 %start, 3
 679   %t.5 = icmp ule i8 %start.add.1, %start.mul.3
 680   ret i1 %t.5
 681 }
 682
 683 define i1 @test_mul_const_nsw_unsigned_9(i8 %start, i8 %high) {
 684 ; CHECK-LABEL: @test_mul_const_nsw_unsigned_9(
 685 ; CHECK-NEXT:  entry:
 686 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nsw i8 [[START:%.*]], 4
 687 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 688 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 689 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul nsw i8 [[START]], 2
 690 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nsw i8 [[START]], [[START]]
 691 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nsw i8 [[START_ADD_1]], [[START_ADD_1]]
 692 ; CHECK-NEXT:    [[START_ADD_2_1:%.*]] = add nsw i8 [[START_ADD_2]], 1
 693 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul nsw i8 [[START]], 3
 694 ; CHECK-NEXT:    [[F_5:%.*]] = icmp ult i8 [[START_ADD_2]], [[START_MUL_3]]
 695 ; CHECK-NEXT:    ret i1 [[F_5]]
 696 ;
 697 entry:
 698   %start.mul.4 = mul nsw i8 %start, 4
 699   %c.1 = icmp ult i8 %start.mul.4, %high
 700   call void @llvm.assume(i1 %c.1)
 701
 702   %start.mul.2 = mul nsw i8 %start, 2
 703   %start.add.1 = add nsw i8 %start, %start
 704   %start.add.2 = add nsw i8 %start.add.1, %start.add.1
 705   %start.add.2.1 = add nsw i8 %start.add.2, 1
 706   %start.mul.3 = mul nsw i8 %start, 3
 707   %f.5 = icmp ult i8 %start.add.2, %start.mul.3
 708   ret i1 %f.5
 709 }
 710
 711 define i1 @test_mul_const_nsw_unsigned_10(i8 %start, i8 %high) {
 712 ; CHECK-LABEL: @test_mul_const_nsw_unsigned_10(
 713 ; CHECK-NEXT:  entry:
 714 ; CHECK-NEXT:    [[START_MUL_5:%.*]] = mul nsw i8 [[START:%.*]], 5
 715 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult i8 [[START]], [[START_MUL_5]]
 716 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_0]])
 717 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul nsw i8 [[START]], 3
 718 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ule i8 [[START_MUL_3]], [[START_MUL_5]]
 719 ; CHECK-NEXT:    ret i1 [[T_1]]
 720 ;
 721 entry:
 722   %start.mul.5 = mul nsw i8 %start, 5
 723   %c.0 = icmp ult i8 %start, %start.mul.5
 724   call void @llvm.assume(i1 %c.0)
 725
 726   %start.mul.3 = mul nsw i8 %start, 3
 727   %t.1 = icmp ule i8 %start.mul.3, %start.mul.5
 728   ret i1 %t.1
 729 }
 730
 731 define i1 @test_mul_const_nsw_unsigned_11(i8 %start, i8 %high) {
 732 ; CHECK-LABEL: @test_mul_const_nsw_unsigned_11(
 733 ; CHECK-NEXT:  entry:
 734 ; CHECK-NEXT:    [[START_MUL_5:%.*]] = mul nsw i8 [[START:%.*]], 5
 735 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult i8 [[START]], [[START_MUL_5]]
 736 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_0]])
 737 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul nsw i8 [[START]], 3
 738 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule i8 [[START_MUL_5]], [[START_MUL_3]]
 739 ; CHECK-NEXT:    ret i1 [[C_1]]
 740 ;
 741 entry:
 742   %start.mul.5 = mul nsw i8 %start, 5
 743   %c.0 = icmp ult i8 %start, %start.mul.5
 744   call void @llvm.assume(i1 %c.0)
 745
 746   %start.mul.3 = mul nsw i8 %start, 3
 747   %c.1 = icmp ule i8 %start.mul.5, %start.mul.3
 748   ret i1 %c.1
 749 }
 750
 751 define i1 @test_mul_const_nsw_unsigned_12(i8 %start) {
 752 ; CHECK-LABEL: @test_mul_const_nsw_unsigned_12(
 753 ; CHECK-NEXT:  entry:
 754 ; CHECK-NEXT:    [[START_MUL_5:%.*]] = mul nsw i8 [[START:%.*]], -5
 755 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult i8 [[START]], [[START_MUL_5]]
 756 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_0]])
 757 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul nsw i8 [[START]], -3
 758 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ule i8 [[START_MUL_3]], [[START_MUL_5]]
 759 ; CHECK-NEXT:    ret i1 [[T_1]]
 760 ;
 761 entry:
 762   %start.mul.5 = mul nsw i8 %start, -5
 763   %c.0 = icmp ult i8 %start, %start.mul.5
 764   call void @llvm.assume(i1 %c.0)
 765
 766   %start.mul.3 = mul nsw i8 %start, -3
 767   %t.1 = icmp ule i8 %start.mul.3, %start.mul.5
 768   ret i1 %t.1
 769 }
 770
 771 define i1 @test_mul_const_nsw_unsigned_13(i8 %start) {
 772 ; CHECK-LABEL: @test_mul_const_nsw_unsigned_13(
 773 ; CHECK-NEXT:  entry:
 774 ; CHECK-NEXT:    [[START_MUL_5:%.*]] = mul nsw i8 [[START:%.*]], -5
 775 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult i8 [[START]], [[START_MUL_5]]
 776 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_0]])
 777 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul nsw i8 [[START]], -3
 778 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule i8 [[START_MUL_5]], [[START_MUL_3]]
 779 ; CHECK-NEXT:    ret i1 [[C_1]]
 780 ;
 781 entry:
 782   %start.mul.5 = mul nsw i8 %start, -5
 783   %c.0 = icmp ult i8 %start, %start.mul.5
 784   call void @llvm.assume(i1 %c.0)
 785
 786   %start.mul.3 = mul nsw i8 %start, -3
 787   %c.1 = icmp ule i8 %start.mul.5, %start.mul.3
 788   ret i1 %c.1
 789 }
 790
 791 define i1 @test_mul_add_const_nsw_unsigned_1(i8 %start, i8 %high) {
 792 ; CHECK-LABEL: @test_mul_add_const_nsw_unsigned_1(
 793 ; CHECK-NEXT:  entry:
 794 ; CHECK-NEXT:    [[ADD:%.*]] = add nsw i8 [[START:%.*]], 3
 795 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nsw i8 [[ADD]], 4
 796 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 797 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 798 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ult i8 [[START]], [[HIGH]]
 799 ; CHECK-NEXT:    ret i1 [[T_1]]
 800 ;
 801 entry:
 802   %add = add nsw i8 %start, 3
 803   %start.mul.4 = mul nsw i8 %add, 4
 804   %c.1 = icmp ult i8 %start.mul.4, %high
 805   call void @llvm.assume(i1 %c.1)
 806
 807   %t.1 = icmp ult i8 %start, %high
 808   ret i1 %t.1
 809 }
 810
 811 define i1 @test_mul_add_const_nsw_unsigned_2(i8 %start, i8 %high) {
 812 ; CHECK-LABEL: @test_mul_add_const_nsw_unsigned_2(
 813 ; CHECK-NEXT:  entry:
 814 ; CHECK-NEXT:    [[ADD:%.*]] = add nsw i8 [[START:%.*]], 3
 815 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nsw i8 [[ADD]], 4
 816 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 817 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 818 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul nsw i8 [[START]], 2
 819 ; CHECK-NEXT:    [[T_2:%.*]] = icmp ult i8 [[START_MUL_2]], [[HIGH]]
 820 ; CHECK-NEXT:    ret i1 [[T_2]]
 821 ;
 822 entry:
 823   %add = add nsw i8 %start, 3
 824   %start.mul.4 = mul nsw i8 %add, 4
 825   %c.1 = icmp ult i8 %start.mul.4, %high
 826   call void @llvm.assume(i1 %c.1)
 827
 828   %start.mul.2 = mul nsw i8 %start, 2
 829   %t.2 = icmp ult i8 %start.mul.2, %high
 830   ret i1 %t.2
 831 }
 832
 833 define i1 @test_mul_add_const_nsw_unsigned_3(i8 %start, i8 %high) {
 834 ; CHECK-LABEL: @test_mul_add_const_nsw_unsigned_3(
 835 ; CHECK-NEXT:  entry:
 836 ; CHECK-NEXT:    [[ADD:%.*]] = add nsw i8 [[START:%.*]], 3
 837 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nsw i8 [[ADD]], 4
 838 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 839 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 840 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nsw i8 [[START]], [[START]]
 841 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nsw i8 [[START_ADD_1]], [[START_ADD_1]]
 842 ; CHECK-NEXT:    [[T_3:%.*]] = icmp ule i8 [[START_ADD_2]], [[START_MUL_4]]
 843 ; CHECK-NEXT:    ret i1 [[T_3]]
 844 ;
 845 entry:
 846   %add = add nsw i8 %start, 3
 847   %start.mul.4 = mul nsw i8 %add, 4
 848   %c.1 = icmp ult i8 %start.mul.4, %high
 849   call void @llvm.assume(i1 %c.1)
 850
 851   %start.add.1 = add nsw i8 %start, %start
 852   %start.add.2 = add nsw i8 %start.add.1, %start.add.1
 853   %t.3 = icmp ule i8 %start.add.2, %start.mul.4
 854   ret i1 %t.3
 855 }
 856
 857 define i1 @test_mul_add_const_nsw_unsigned_4(i8 %start, i8 %high) {
 858 ; CHECK-LABEL: @test_mul_add_const_nsw_unsigned_4(
 859 ; CHECK-NEXT:  entry:
 860 ; CHECK-NEXT:    [[ADD:%.*]] = add nsw i8 [[START:%.*]], 3
 861 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nsw i8 [[ADD]], 4
 862 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 863 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 864 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul nsw i8 [[START]], 2
 865 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nsw i8 [[START]], [[START]]
 866 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nsw i8 [[START_ADD_1]], [[START_ADD_1]]
 867 ; CHECK-NEXT:    [[T_4:%.*]] = icmp ult i8 [[START_ADD_2]], [[START_MUL_4]]
 868 ; CHECK-NEXT:    ret i1 [[T_4]]
 869 ;
 870 entry:
 871   %add = add nsw i8 %start, 3
 872   %start.mul.4 = mul nsw i8 %add, 4
 873   %c.1 = icmp ult i8 %start.mul.4, %high
 874   call void @llvm.assume(i1 %c.1)
 875
 876   %start.mul.2 = mul nsw i8 %start, 2
 877   %start.add.1 = add nsw i8 %start, %start
 878   %start.add.2 = add nsw i8 %start.add.1, %start.add.1
 879   %t.4 = icmp ult i8 %start.add.2, %start.mul.4
 880   ret i1 %t.4
 881 }
 882
 883 define i1 @test_mul_add_const_nsw_unsigned_5(i8 %start, i8 %high) {
 884 ; CHECK-LABEL: @test_mul_add_const_nsw_unsigned_5(
 885 ; CHECK-NEXT:  entry:
 886 ; CHECK-NEXT:    [[ADD:%.*]] = add nsw i8 [[START:%.*]], 3
 887 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nsw i8 [[ADD]], 4
 888 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 889 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 890 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nsw i8 [[START]], [[START]]
 891 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nsw i8 [[START_ADD_1]], [[START_ADD_1]]
 892 ; CHECK-NEXT:    [[START_ADD_2_12:%.*]] = add nsw i8 [[START_ADD_2]], 12
 893 ; CHECK-NEXT:    [[T_5:%.*]] = icmp ule i8 [[START_ADD_2_12]], [[START_MUL_4]]
 894 ; CHECK-NEXT:    ret i1 [[T_5]]
 895 ;
 896 entry:
 897   %add = add nsw i8 %start, 3
 898   %start.mul.4 = mul nsw i8 %add, 4
 899   %c.1 = icmp ult i8 %start.mul.4, %high
 900   call void @llvm.assume(i1 %c.1)
 901
 902   %start.add.1 = add nsw i8 %start, %start
 903   %start.add.2 = add nsw i8 %start.add.1, %start.add.1
 904   %start.add.2.12 = add nsw i8 %start.add.2, 12
 905   %t.5 = icmp ule i8 %start.add.2.12, %start.mul.4
 906   ret i1 %t.5
 907 }
 908
 909 define i1 @test_mul_add_const_nsw_unsigned_6(i8 %start, i8 %high) {
 910 ; CHECK-LABEL: @test_mul_add_const_nsw_unsigned_6(
 911 ; CHECK-NEXT:  entry:
 912 ; CHECK-NEXT:    [[ADD:%.*]] = add nsw i8 [[START:%.*]], 3
 913 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul nsw i8 [[ADD]], 4
 914 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 915 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 916 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add nsw i8 [[START]], [[START]]
 917 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add nsw i8 [[START_ADD_1]], [[START_ADD_1]]
 918 ; CHECK-NEXT:    [[START_ADD_2_13:%.*]] = add nsw i8 [[START_ADD_2]], 13
 919 ; CHECK-NEXT:    [[F_1:%.*]] = icmp ule i8 [[START_ADD_2_13]], [[START_MUL_4]]
 920 ; CHECK-NEXT:    ret i1 [[F_1]]
 921 ;
 922 entry:
 923   %add = add nsw i8 %start, 3
 924   %start.mul.4 = mul nsw i8 %add, 4
 925   %c.1 = icmp ult i8 %start.mul.4, %high
 926   call void @llvm.assume(i1 %c.1)
 927
 928   %start.add.1 = add nsw i8 %start, %start
 929   %start.add.2 = add nsw i8 %start.add.1, %start.add.1
 930   %start.add.2.13 = add nsw i8 %start.add.2, 13
 931   %f.1 = icmp ule i8 %start.add.2.13, %start.mul.4
 932   ret i1 %f.1
 933 }
 934
 935 define i1 @test_mul_const_no_nuw_unsigned_1(i8 %start, i8 %high) {
 936 ; CHECK-LABEL: @test_mul_const_no_nuw_unsigned_1(
 937 ; CHECK-NEXT:  entry:
 938 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul i8 [[START:%.*]], 4
 939 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 940 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 941 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ult i8 [[START]], [[HIGH]]
 942 ; CHECK-NEXT:    ret i1 [[T_1]]
 943 ;
 944 entry:
 945   %start.mul.4 = mul i8 %start, 4
 946   %c.1 = icmp ult i8 %start.mul.4, %high
 947   call void @llvm.assume(i1 %c.1)
 948
 949   %t.1 = icmp ult i8 %start, %high
 950   ret i1 %t.1
 951 }
 952
 953 define i1 @test_mul_const_no_nuw_unsigned_2(i8 %start, i8 %high) {
 954 ; CHECK-LABEL: @test_mul_const_no_nuw_unsigned_2(
 955 ; CHECK-NEXT:  entry:
 956 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul i8 [[START:%.*]], 4
 957 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 958 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 959 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul i8 [[START]], 2
 960 ; CHECK-NEXT:    [[T:%.*]] = icmp ult i8 [[START_MUL_2]], [[HIGH]]
 961 ; CHECK-NEXT:    ret i1 [[T]]
 962 ;
 963 entry:
 964   %start.mul.4 = mul i8 %start, 4
 965   %c.1 = icmp ult i8 %start.mul.4, %high
 966   call void @llvm.assume(i1 %c.1)
 967
 968   %start.mul.2 = mul i8 %start, 2
 969   %t = icmp ult i8 %start.mul.2, %high
 970   ret i1 %t
 971 }
 972
 973 define i1 @test_mul_const_no_nuw_unsigned_3(i8 %start, i8 %high) {
 974 ; CHECK-LABEL: @test_mul_const_no_nuw_unsigned_3(
 975 ; CHECK-NEXT:  entry:
 976 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul i8 [[START:%.*]], 4
 977 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
 978 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
 979 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul i8 [[START]], 2
 980 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add i8 [[START]], [[START]]
 981 ; CHECK-NEXT:    [[T:%.*]] = icmp ule i8 [[START_ADD_1]], [[START_MUL_2]]
 982 ; CHECK-NEXT:    ret i1 [[T]]
 983 ;
 984 entry:
 985   %start.mul.4 = mul i8 %start, 4
 986   %c.1 = icmp ult i8 %start.mul.4, %high
 987   call void @llvm.assume(i1 %c.1)
 988
 989   %start.mul.2 = mul i8 %start, 2
 990   %start.add.1 = add i8 %start, %start
 991   %t = icmp ule i8 %start.add.1, %start.mul.2
 992   ret i1 %t
 993 }
 994
 995
 996 define i1 @test_mul_const_no_nuw_unsigned_4(i8 %start, i8 %high) {
 997 ; CHECK-LABEL: @test_mul_const_no_nuw_unsigned_4(
 998 ; CHECK-NEXT:  entry:
 999 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul i8 [[START:%.*]], 4
1000 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
1001 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
1002 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul i8 [[START]], 2
1003 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add i8 [[START]], [[START]]
1004 ; CHECK-NEXT:    [[F:%.*]] = icmp ult i8 [[START_ADD_1]], [[START_MUL_2]]
1005 ; CHECK-NEXT:    ret i1 [[F]]
1006 ;
1007 entry:
1008   %start.mul.4 = mul i8 %start, 4
1009   %c.1 = icmp ult i8 %start.mul.4, %high
1010   call void @llvm.assume(i1 %c.1)
1011
1012   %start.mul.2 = mul i8 %start, 2
1013   %start.add.1 = add i8 %start, %start
1014   %f = icmp ult i8 %start.add.1, %start.mul.2
1015   ret i1 %f
1016 }
1017
1018
1019 define i1 @test_mul_const_no_nuw_unsigned_5(i8 %start, i8 %high) {
1020 ; CHECK-LABEL: @test_mul_const_no_nuw_unsigned_5(
1021 ; CHECK-NEXT:  entry:
1022 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul i8 [[START:%.*]], 4
1023 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
1024 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
1025 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add i8 [[START]], [[START]]
1026 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add i8 [[START_ADD_1]], [[START_ADD_1]]
1027 ; CHECK-NEXT:    [[T_4:%.*]] = icmp ule i8 [[START_ADD_2]], [[START_MUL_4]]
1028 ; CHECK-NEXT:    ret i1 [[T_4]]
1029 ;
1030 entry:
1031   %start.mul.4 = mul i8 %start, 4
1032   %c.1 = icmp ult i8 %start.mul.4, %high
1033   call void @llvm.assume(i1 %c.1)
1034
1035   %start.add.1 = add i8 %start, %start
1036   %start.add.2 = add i8 %start.add.1, %start.add.1
1037   %t.4 = icmp ule i8 %start.add.2, %start.mul.4
1038   ret i1 %t.4
1039 }
1040
1041 define i1 @test_mul_const_no_nuw_unsigned_6(i8 %start, i8 %high) {
1042 ; CHECK-LABEL: @test_mul_const_no_nuw_unsigned_6(
1043 ; CHECK-NEXT:  entry:
1044 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul i8 [[START:%.*]], 4
1045 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
1046 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
1047 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add i8 [[START]], [[START]]
1048 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add i8 [[START_ADD_1]], [[START_ADD_1]]
1049 ; CHECK-NEXT:    [[F_2:%.*]] = icmp ult i8 [[START_ADD_2]], [[START_MUL_4]]
1050 ; CHECK-NEXT:    ret i1 [[F_2]]
1051 ;
1052 entry:
1053   %start.mul.4 = mul i8 %start, 4
1054   %c.1 = icmp ult i8 %start.mul.4, %high
1055   call void @llvm.assume(i1 %c.1)
1056
1057   %start.add.1 = add i8 %start, %start
1058   %start.add.2 = add i8 %start.add.1, %start.add.1
1059   %f.2 = icmp ult i8 %start.add.2, %start.mul.4
1060   ret i1 %f.2
1061 }
1062
1063 define i1 @test_mul_const_no_nuw_unsigned_7(i8 %start, i8 %high) {
1064 ; CHECK-LABEL: @test_mul_const_no_nuw_unsigned_7(
1065 ; CHECK-NEXT:  entry:
1066 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul i8 [[START:%.*]], 4
1067 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
1068 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
1069 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul i8 [[START]], 2
1070 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add i8 [[START]], [[START]]
1071 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add i8 [[START_ADD_1]], [[START_ADD_1]]
1072 ; CHECK-NEXT:    [[START_ADD_2_1:%.*]] = add i8 [[START_ADD_2]], 1
1073 ; CHECK-NEXT:    [[F_3:%.*]] = icmp ule i8 [[START_ADD_2_1]], [[START_MUL_4]]
1074 ; CHECK-NEXT:    ret i1 [[F_3]]
1075 ;
1076 entry:
1077   %start.mul.4 = mul i8 %start, 4
1078   %c.1 = icmp ult i8 %start.mul.4, %high
1079   call void @llvm.assume(i1 %c.1)
1080
1081   %start.mul.2 = mul i8 %start, 2
1082   %start.add.1 = add i8 %start, %start
1083   %start.add.2 = add i8 %start.add.1, %start.add.1
1084   %start.add.2.1 = add i8 %start.add.2, 1
1085   %f.3 = icmp ule i8 %start.add.2.1, %start.mul.4
1086   ret i1 %f.3
1087 }
1088
1089 define i1 @test_mul_const_no_nuw_unsigned_8(i8 %start, i8 %high) {
1090 ; CHECK-LABEL: @test_mul_const_no_nuw_unsigned_8(
1091 ; CHECK-NEXT:  entry:
1092 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul i8 [[START:%.*]], 4
1093 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
1094 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
1095 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul i8 [[START]], 2
1096 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add i8 [[START]], [[START]]
1097 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add i8 [[START_ADD_1]], [[START_ADD_1]]
1098 ; CHECK-NEXT:    [[START_ADD_2_1:%.*]] = add i8 [[START_ADD_2]], 1
1099 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul i8 [[START]], 3
1100 ; CHECK-NEXT:    [[T_5:%.*]] = icmp ule i8 [[START_ADD_1]], [[START_MUL_3]]
1101 ; CHECK-NEXT:    ret i1 [[T_5]]
1102 ;
1103 entry:
1104   %start.mul.4 = mul i8 %start, 4
1105   %c.1 = icmp ult i8 %start.mul.4, %high
1106   call void @llvm.assume(i1 %c.1)
1107
1108   %start.mul.2 = mul i8 %start, 2
1109   %start.add.1 = add i8 %start, %start
1110   %start.add.2 = add i8 %start.add.1, %start.add.1
1111   %start.add.2.1 = add i8 %start.add.2, 1
1112   %start.mul.3 = mul i8 %start, 3
1113   %t.5 = icmp ule i8 %start.add.1, %start.mul.3
1114   ret i1 %t.5
1115 }
1116
1117 define i1 @test_mul_const_no_nuw_unsigned_9(i8 %start, i8 %high) {
1118 ; CHECK-LABEL: @test_mul_const_no_nuw_unsigned_9(
1119 ; CHECK-NEXT:  entry:
1120 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul i8 [[START:%.*]], 4
1121 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
1122 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
1123 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul i8 [[START]], 2
1124 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add i8 [[START]], [[START]]
1125 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add i8 [[START_ADD_1]], [[START_ADD_1]]
1126 ; CHECK-NEXT:    [[START_ADD_2_1:%.*]] = add i8 [[START_ADD_2]], 1
1127 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul i8 [[START]], 3
1128 ; CHECK-NEXT:    [[F_5:%.*]] = icmp ult i8 [[START_ADD_2]], [[START_MUL_3]]
1129 ; CHECK-NEXT:    ret i1 [[F_5]]
1130 ;
1131 entry:
1132   %start.mul.4 = mul i8 %start, 4
1133   %c.1 = icmp ult i8 %start.mul.4, %high
1134   call void @llvm.assume(i1 %c.1)
1135
1136   %start.mul.2 = mul i8 %start, 2
1137   %start.add.1 = add i8 %start, %start
1138   %start.add.2 = add i8 %start.add.1, %start.add.1
1139   %start.add.2.1 = add i8 %start.add.2, 1
1140   %start.mul.3 = mul i8 %start, 3
1141   %f.5 = icmp ult i8 %start.add.2, %start.mul.3
1142   ret i1 %f.5
1143 }
1144
1145 define i1 @test_mul_const_no_nuw_unsigned_10(i8 %start, i8 %high) {
1146 ; CHECK-LABEL: @test_mul_const_no_nuw_unsigned_10(
1147 ; CHECK-NEXT:  entry:
1148 ; CHECK-NEXT:    [[START_MUL_5:%.*]] = mul i8 [[START:%.*]], 5
1149 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult i8 [[START]], [[START_MUL_5]]
1150 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_0]])
1151 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul i8 [[START]], 3
1152 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ule i8 [[START_MUL_3]], [[START_MUL_5]]
1153 ; CHECK-NEXT:    ret i1 [[T_1]]
1154 ;
1155 entry:
1156   %start.mul.5 = mul i8 %start, 5
1157   %c.0 = icmp ult i8 %start, %start.mul.5
1158   call void @llvm.assume(i1 %c.0)
1159
1160   %start.mul.3 = mul i8 %start, 3
1161   %t.1 = icmp ule i8 %start.mul.3, %start.mul.5
1162   ret i1 %t.1
1163 }
1164
1165 define i1 @test_mul_const_no_nuw_unsigned_11(i8 %start, i8 %high) {
1166 ; CHECK-LABEL: @test_mul_const_no_nuw_unsigned_11(
1167 ; CHECK-NEXT:  entry:
1168 ; CHECK-NEXT:    [[START_MUL_5:%.*]] = mul i8 [[START:%.*]], 5
1169 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult i8 [[START]], [[START_MUL_5]]
1170 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_0]])
1171 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul i8 [[START]], 3
1172 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule i8 [[START_MUL_5]], [[START_MUL_3]]
1173 ; CHECK-NEXT:    ret i1 [[C_1]]
1174 ;
1175 entry:
1176   %start.mul.5 = mul i8 %start, 5
1177   %c.0 = icmp ult i8 %start, %start.mul.5
1178   call void @llvm.assume(i1 %c.0)
1179
1180   %start.mul.3 = mul i8 %start, 3
1181   %c.1 = icmp ule i8 %start.mul.5, %start.mul.3
1182   ret i1 %c.1
1183 }
1184
1185 define i1 @test_mul_const_no_nuw_unsigned_12(i8 %start) {
1186 ; CHECK-LABEL: @test_mul_const_no_nuw_unsigned_12(
1187 ; CHECK-NEXT:  entry:
1188 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul i8 [[START:%.*]], 3
1189 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START]], [[START_MUL_3]]
1190 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
1191 ; CHECK-NEXT:    [[START_MUL_5:%.*]] = mul i8 [[START]], 5
1192 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ule i8 [[START_MUL_3]], [[START_MUL_5]]
1193 ; CHECK-NEXT:    ret i1 [[T_1]]
1194 ;
1195 entry:
1196   %start.mul.3 = mul i8 %start, 3
1197   %c.1 = icmp ult i8 %start, %start.mul.3
1198   call void @llvm.assume(i1 %c.1)
1199
1200   %start.mul.5 = mul i8 %start, 5
1201   %t.1 = icmp ule i8 %start.mul.3, %start.mul.5
1202   ret i1 %t.1
1203 }
1204
1205 define i1 @test_mul_const_no_nuw_unsigned_13(i8 %start) {
1206 ; CHECK-LABEL: @test_mul_const_no_nuw_unsigned_13(
1207 ; CHECK-NEXT:  entry:
1208 ; CHECK-NEXT:    [[START_MUL_3:%.*]] = mul i8 [[START:%.*]], 3
1209 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START]], [[START_MUL_3]]
1210 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
1211 ; CHECK-NEXT:    [[START_MUL_5:%.*]] = mul i8 [[START]], 5
1212 ; CHECK-NEXT:    [[F_1:%.*]] = icmp ule i8 [[START_MUL_5]], [[START_MUL_3]]
1213 ; CHECK-NEXT:    ret i1 [[F_1]]
1214 ;
1215 entry:
1216   %start.mul.3 = mul i8 %start, 3
1217   %c.1 = icmp ult i8 %start, %start.mul.3
1218   call void @llvm.assume(i1 %c.1)
1219
1220   %start.mul.5 = mul i8 %start, 5
1221   %f.1 = icmp ule i8 %start.mul.5, %start.mul.3
1222   ret i1 %f.1
1223 }
1224
1225 define i1 @test_mul_add_const_no_nuw_unsigned_1(i8 %start, i8 %high) {
1226 ; CHECK-LABEL: @test_mul_add_const_no_nuw_unsigned_1(
1227 ; CHECK-NEXT:  entry:
1228 ; CHECK-NEXT:    [[ADD:%.*]] = add i8 [[START:%.*]], 3
1229 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul i8 [[ADD]], 4
1230 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
1231 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
1232 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ult i8 [[START]], [[HIGH]]
1233 ; CHECK-NEXT:    ret i1 [[T_1]]
1234 ;
1235 entry:
1236   %add = add i8 %start, 3
1237   %start.mul.4 = mul i8 %add, 4
1238   %c.1 = icmp ult i8 %start.mul.4, %high
1239   call void @llvm.assume(i1 %c.1)
1240
1241   %t.1 = icmp ult i8 %start, %high
1242   ret i1 %t.1
1243 }
1244
1245 define i1 @test_mul_add_const_no_nuw_unsigned_2(i8 %start, i8 %high) {
1246 ; CHECK-LABEL: @test_mul_add_const_no_nuw_unsigned_2(
1247 ; CHECK-NEXT:  entry:
1248 ; CHECK-NEXT:    [[ADD:%.*]] = add i8 [[START:%.*]], 3
1249 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul i8 [[ADD]], 4
1250 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
1251 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
1252 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul i8 [[START]], 2
1253 ; CHECK-NEXT:    [[T_2:%.*]] = icmp ult i8 [[START_MUL_2]], [[HIGH]]
1254 ; CHECK-NEXT:    ret i1 [[T_2]]
1255 ;
1256 entry:
1257   %add = add i8 %start, 3
1258   %start.mul.4 = mul i8 %add, 4
1259   %c.1 = icmp ult i8 %start.mul.4, %high
1260   call void @llvm.assume(i1 %c.1)
1261
1262   %start.mul.2 = mul i8 %start, 2
1263   %t.2 = icmp ult i8 %start.mul.2, %high
1264   ret i1 %t.2
1265 }
1266
1267 define i1 @test_mul_add_const_no_nuw_unsigned_3(i8 %start, i8 %high) {
1268 ; CHECK-LABEL: @test_mul_add_const_no_nuw_unsigned_3(
1269 ; CHECK-NEXT:  entry:
1270 ; CHECK-NEXT:    [[ADD:%.*]] = add i8 [[START:%.*]], 3
1271 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul i8 [[ADD]], 4
1272 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
1273 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
1274 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add i8 [[START]], [[START]]
1275 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add i8 [[START_ADD_1]], [[START_ADD_1]]
1276 ; CHECK-NEXT:    [[T_3:%.*]] = icmp ule i8 [[START_ADD_2]], [[START_MUL_4]]
1277 ; CHECK-NEXT:    ret i1 [[T_3]]
1278 ;
1279 entry:
1280   %add = add i8 %start, 3
1281   %start.mul.4 = mul i8 %add, 4
1282   %c.1 = icmp ult i8 %start.mul.4, %high
1283   call void @llvm.assume(i1 %c.1)
1284
1285   %start.add.1 = add i8 %start, %start
1286   %start.add.2 = add i8 %start.add.1, %start.add.1
1287   %t.3 = icmp ule i8 %start.add.2, %start.mul.4
1288   ret i1 %t.3
1289 }
1290
1291 define i1 @test_mul_add_const_no_nuw_unsigned_4(i8 %start, i8 %high) {
1292 ; CHECK-LABEL: @test_mul_add_const_no_nuw_unsigned_4(
1293 ; CHECK-NEXT:  entry:
1294 ; CHECK-NEXT:    [[ADD:%.*]] = add i8 [[START:%.*]], 3
1295 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul i8 [[ADD]], 4
1296 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
1297 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
1298 ; CHECK-NEXT:    [[START_MUL_2:%.*]] = mul i8 [[START]], 2
1299 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add i8 [[START]], [[START]]
1300 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add i8 [[START_ADD_1]], [[START_ADD_1]]
1301 ; CHECK-NEXT:    [[T_4:%.*]] = icmp ult i8 [[START_ADD_2]], [[START_MUL_4]]
1302 ; CHECK-NEXT:    ret i1 [[T_4]]
1303 ;
1304 entry:
1305   %add = add i8 %start, 3
1306   %start.mul.4 = mul i8 %add, 4
1307   %c.1 = icmp ult i8 %start.mul.4, %high
1308   call void @llvm.assume(i1 %c.1)
1309
1310   %start.mul.2 = mul i8 %start, 2
1311   %start.add.1 = add i8 %start, %start
1312   %start.add.2 = add i8 %start.add.1, %start.add.1
1313   %t.4 = icmp ult i8 %start.add.2, %start.mul.4
1314   ret i1 %t.4
1315 }
1316
1317 define i1 @test_mul_add_const_no_nuw_unsigned_5(i8 %start, i8 %high) {
1318 ; CHECK-LABEL: @test_mul_add_const_no_nuw_unsigned_5(
1319 ; CHECK-NEXT:  entry:
1320 ; CHECK-NEXT:    [[ADD:%.*]] = add i8 [[START:%.*]], 3
1321 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul i8 [[ADD]], 4
1322 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
1323 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
1324 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add i8 [[START]], [[START]]
1325 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add i8 [[START_ADD_1]], [[START_ADD_1]]
1326 ; CHECK-NEXT:    [[START_ADD_2_12:%.*]] = add i8 [[START_ADD_2]], 12
1327 ; CHECK-NEXT:    [[T_5:%.*]] = icmp ule i8 [[START_ADD_2_12]], [[START_MUL_4]]
1328 ; CHECK-NEXT:    ret i1 [[T_5]]
1329 ;
1330 entry:
1331   %add = add i8 %start, 3
1332   %start.mul.4 = mul i8 %add, 4
1333   %c.1 = icmp ult i8 %start.mul.4, %high
1334   call void @llvm.assume(i1 %c.1)
1335
1336   %start.add.1 = add i8 %start, %start
1337   %start.add.2 = add i8 %start.add.1, %start.add.1
1338   %start.add.2.12 = add i8 %start.add.2, 12
1339   %t.5 = icmp ule i8 %start.add.2.12, %start.mul.4
1340   ret i1 %t.5
1341 }
1342
1343 define i1 @test_mul_add_const_no_nuw_unsigned_6(i8 %start, i8 %high) {
1344 ; CHECK-LABEL: @test_mul_add_const_no_nuw_unsigned_6(
1345 ; CHECK-NEXT:  entry:
1346 ; CHECK-NEXT:    [[ADD:%.*]] = add i8 [[START:%.*]], 3
1347 ; CHECK-NEXT:    [[START_MUL_4:%.*]] = mul i8 [[ADD]], 4
1348 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[START_MUL_4]], [[HIGH:%.*]]
1349 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C_1]])
1350 ; CHECK-NEXT:    [[START_ADD_1:%.*]] = add i8 [[START]], [[START]]
1351 ; CHECK-NEXT:    [[START_ADD_2:%.*]] = add i8 [[START_ADD_1]], [[START_ADD_1]]
1352 ; CHECK-NEXT:    [[START_ADD_2_13:%.*]] = add i8 [[START_ADD_2]], 13
1353 ; CHECK-NEXT:    [[F_1:%.*]] = icmp ule i8 [[START_ADD_2_13]], [[START_MUL_4]]
1354 ; CHECK-NEXT:    ret i1 [[F_1]]
1355 ;
1356 entry:
1357   %add = add i8 %start, 3
1358   %start.mul.4 = mul i8 %add, 4
1359   %c.1 = icmp ult i8 %start.mul.4, %high
1360   call void @llvm.assume(i1 %c.1)
1361
1362   %start.add.1 = add i8 %start, %start
1363   %start.add.2 = add i8 %start.add.1, %start.add.1
1364   %start.add.2.13 = add i8 %start.add.2, 13
1365   %f.1 = icmp ule i8 %start.add.2.13, %start.mul.4
1366   ret i1 %f.1
1367 }
1368