llvm/test/Transforms/ConstraintElimination/mul-nsw.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 @use(i1)
   5 declare void @llvm.assume(i1)
   6
   7 define void @slt_mul_nsw_3_known_positive_1(i8 %start, i8 %high) {
   8 ; CHECK-LABEL: @slt_mul_nsw_3_known_positive_1(
   9 ; CHECK-NEXT:  entry:
  10 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul nsw i8 [[START:%.*]], 3
  11 ; CHECK-NEXT:    [[C_1:%.*]] = icmp slt i8 [[MUL_3]], [[HIGH:%.*]]
  12 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sgt i8 [[START]], 0
  13 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
  14 ; CHECK-NEXT:    br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]
  15 ; CHECK:       then:
  16 ; CHECK-NEXT:    call void @use(i1 true)
  17 ; CHECK-NEXT:    [[START_1:%.*]] = mul nsw i8 [[START]], 1
  18 ; CHECK-NEXT:    call void @use(i1 true)
  19 ; CHECK-NEXT:    [[START_2:%.*]] = mul nsw i8 [[START]], 2
  20 ; CHECK-NEXT:    call void @use(i1 true)
  21 ; CHECK-NEXT:    [[START_3:%.*]] = mul nsw i8 [[START]], 3
  22 ; CHECK-NEXT:    call void @use(i1 true)
  23 ; CHECK-NEXT:    [[START_4:%.*]] = mul nsw i8 [[START]], 4
  24 ; CHECK-NEXT:    [[C_3:%.*]] = icmp slt i8 [[START_4]], [[HIGH]]
  25 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
  26 ; CHECK-NEXT:    ret void
  27 ; CHECK:       else:
  28 ; CHECK-NEXT:    ret void
  29 ;
  30 entry:
  31   %mul.3  = mul nsw i8 %start, 3
  32   %c.1 = icmp slt i8 %mul.3, %high
  33   %c.2 = icmp sgt i8 %start, 0
  34   %and = and i1 %c.1, %c.2
  35   br i1 %and, label %then, label %else
  36
  37 then:
  38   %t.0 = icmp slt i8 %start, %high
  39   call void @use(i1 %t.0)
  40   %start.1 = mul nsw i8 %start, 1
  41   %t.1 = icmp slt i8 %start.1, %high
  42   call void @use(i1 %t.1)
  43   %start.2 = mul nsw i8 %start, 2
  44   %t.2 = icmp slt i8 %start.2, %high
  45   call void @use(i1 %t.2)
  46   %start.3 = mul nsw i8 %start, 3
  47   %t.3 = icmp slt i8 %start.3, %high
  48   call void @use(i1 %t.3)
  49   %start.4 = mul nsw i8 %start, 4
  50   %c.3 = icmp slt i8 %start.4, %high
  51   call void @use(i1 %c.3)
  52   ret void
  53
  54 else:
  55   ret void
  56 }
  57
  58 define void @slt_mul_nsw_3_known_positive_2(i8 %start, i8 %high) {
  59 ; CHECK-LABEL: @slt_mul_nsw_3_known_positive_2(
  60 ; CHECK-NEXT:  entry:
  61 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul nsw i8 [[START:%.*]], 3
  62 ; CHECK-NEXT:    [[C_1:%.*]] = icmp slt i8 [[MUL_3]], [[HIGH:%.*]]
  63 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sgt i8 [[START]], 0
  64 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
  65 ; CHECK-NEXT:    br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]
  66 ; CHECK:       then:
  67 ; CHECK-NEXT:    ret void
  68 ; CHECK:       else:
  69 ; CHECK-NEXT:    [[C_4:%.*]] = icmp slt i8 [[START]], [[HIGH]]
  70 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
  71 ; CHECK-NEXT:    [[ELSE_START_1:%.*]] = mul nsw i8 [[START]], 1
  72 ; CHECK-NEXT:    [[C_5:%.*]] = icmp slt i8 [[ELSE_START_1]], [[HIGH]]
  73 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
  74 ; CHECK-NEXT:    [[ELSE_START_2:%.*]] = mul nsw i8 [[START]], 2
  75 ; CHECK-NEXT:    [[C_6:%.*]] = icmp slt i8 [[ELSE_START_2]], [[HIGH]]
  76 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
  77 ; CHECK-NEXT:    [[ELSE_START_3:%.*]] = mul nsw i8 [[START]], 3
  78 ; CHECK-NEXT:    [[C_7:%.*]] = icmp slt i8 [[ELSE_START_3]], [[HIGH]]
  79 ; CHECK-NEXT:    call void @use(i1 [[C_7]])
  80 ; CHECK-NEXT:    [[ELSE_START_4:%.*]] = mul nsw i8 [[START]], 4
  81 ; CHECK-NEXT:    [[C_8:%.*]] = icmp slt i8 [[ELSE_START_4]], [[HIGH]]
  82 ; CHECK-NEXT:    call void @use(i1 [[C_8]])
  83 ; CHECK-NEXT:    ret void
  84 ;
  85 entry:
  86   %mul.3  = mul nsw i8 %start, 3
  87   %c.1 = icmp slt i8 %mul.3, %high
  88   %c.2 = icmp sgt i8 %start, 0
  89   %and = and i1 %c.1, %c.2
  90   br i1 %and, label %then, label %else
  91
  92 then:
  93   ret void
  94
  95 else:
  96   %c.4 = icmp slt i8 %start, %high
  97   call void @use(i1 %c.4)
  98   %else.start.1 = mul nsw i8 %start, 1
  99   %c.5 = icmp slt i8 %else.start.1, %high
 100   call void @use(i1 %c.5)
 101   %else.start.2 = mul nsw i8 %start, 2
 102   %c.6 = icmp slt i8 %else.start.2, %high
 103   call void @use(i1 %c.6)
 104   %else.start.3 = mul nsw i8 %start, 3
 105   %c.7 = icmp slt i8 %else.start.3, %high
 106   call void @use(i1 %c.7)
 107   %else.start.4 = mul nsw i8 %start, 4
 108   %c.8 = icmp slt i8 %else.start.4, %high
 109   call void @use(i1 %c.8)
 110   ret void
 111 }
 112
 113 define void @slt_mul_no_nsw_3_known_positive_1(i8 %start, i8 %high) {
 114 ; CHECK-LABEL: @slt_mul_no_nsw_3_known_positive_1(
 115 ; CHECK-NEXT:  entry:
 116 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul i8 [[START:%.*]], 3
 117 ; CHECK-NEXT:    [[C_1:%.*]] = icmp slt i8 [[MUL_3]], [[HIGH:%.*]]
 118 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sgt i8 [[START]], 0
 119 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
 120 ; CHECK-NEXT:    br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]
 121 ; CHECK:       then:
 122 ; CHECK-NEXT:    [[C_3:%.*]] = icmp slt i8 [[START]], [[HIGH]]
 123 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
 124 ; CHECK-NEXT:    [[START_1:%.*]] = mul nsw i8 [[START]], 1
 125 ; CHECK-NEXT:    [[C_4:%.*]] = icmp slt i8 [[START_1]], [[HIGH]]
 126 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
 127 ; CHECK-NEXT:    [[START_2:%.*]] = mul nsw i8 [[START]], 2
 128 ; CHECK-NEXT:    [[C_5:%.*]] = icmp slt i8 [[START_2]], [[HIGH]]
 129 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
 130 ; CHECK-NEXT:    [[START_3:%.*]] = mul nsw i8 [[START]], 3
 131 ; CHECK-NEXT:    [[C_6:%.*]] = icmp slt i8 [[START_3]], [[HIGH]]
 132 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
 133 ; CHECK-NEXT:    [[START_4:%.*]] = mul nsw i8 [[START]], 4
 134 ; CHECK-NEXT:    [[C_7:%.*]] = icmp slt i8 [[START_4]], [[HIGH]]
 135 ; CHECK-NEXT:    call void @use(i1 [[C_7]])
 136 ; CHECK-NEXT:    ret void
 137 ; CHECK:       else:
 138 ; CHECK-NEXT:    ret void
 139 ;
 140 entry:
 141   %mul.3  = mul i8 %start, 3
 142   %c.1 = icmp slt i8 %mul.3, %high
 143   %c.2 = icmp sgt i8 %start, 0
 144   %and = and i1 %c.1, %c.2
 145   br i1 %and, label %then, label %else
 146
 147 then:
 148   %c.3 = icmp slt i8 %start, %high
 149   call void @use(i1 %c.3)
 150   %start.1 = mul nsw i8 %start, 1
 151   %c.4 = icmp slt i8 %start.1, %high
 152   call void @use(i1 %c.4)
 153   %start.2 = mul nsw i8 %start, 2
 154   %c.5 = icmp slt i8 %start.2, %high
 155   call void @use(i1 %c.5)
 156   %start.3 = mul nsw i8 %start, 3
 157   %c.6 = icmp slt i8 %start.3, %high
 158   call void @use(i1 %c.6)
 159   %start.4 = mul nsw i8 %start, 4
 160   %c.7 = icmp slt i8 %start.4, %high
 161   call void @use(i1 %c.7)
 162   ret void
 163
 164 else:
 165   ret void
 166 }
 167
 168 define void @slt_mul_no_nsw_3_known_positive_2(i8 %start, i8 %high) {
 169 ; CHECK-LABEL: @slt_mul_no_nsw_3_known_positive_2(
 170 ; CHECK-NEXT:  entry:
 171 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul i8 [[START:%.*]], 3
 172 ; CHECK-NEXT:    [[C_1:%.*]] = icmp slt i8 [[MUL_3]], [[HIGH:%.*]]
 173 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sgt i8 [[START]], 0
 174 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
 175 ; CHECK-NEXT:    br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]
 176 ; CHECK:       then:
 177 ; CHECK-NEXT:    ret void
 178 ; CHECK:       else:
 179 ; CHECK-NEXT:    [[C_8:%.*]] = icmp slt i8 [[START]], [[HIGH]]
 180 ; CHECK-NEXT:    call void @use(i1 [[C_8]])
 181 ; CHECK-NEXT:    [[ELSE_START_1:%.*]] = mul nsw i8 [[START]], 1
 182 ; CHECK-NEXT:    [[C_9:%.*]] = icmp slt i8 [[ELSE_START_1]], [[HIGH]]
 183 ; CHECK-NEXT:    call void @use(i1 [[C_9]])
 184 ; CHECK-NEXT:    [[ELSE_START_2:%.*]] = mul nsw i8 [[START]], 2
 185 ; CHECK-NEXT:    [[C_10:%.*]] = icmp slt i8 [[ELSE_START_2]], [[HIGH]]
 186 ; CHECK-NEXT:    call void @use(i1 [[C_10]])
 187 ; CHECK-NEXT:    [[ELSE_START_3:%.*]] = mul nsw i8 [[START]], 3
 188 ; CHECK-NEXT:    [[C_11:%.*]] = icmp slt i8 [[ELSE_START_3]], [[HIGH]]
 189 ; CHECK-NEXT:    call void @use(i1 [[C_11]])
 190 ; CHECK-NEXT:    [[ELSE_START_4:%.*]] = mul nsw i8 [[START]], 4
 191 ; CHECK-NEXT:    [[C_12:%.*]] = icmp slt i8 [[ELSE_START_4]], [[HIGH]]
 192 ; CHECK-NEXT:    call void @use(i1 [[C_12]])
 193 ; CHECK-NEXT:    ret void
 194 ;
 195 entry:
 196   %mul.3  = mul i8 %start, 3
 197   %c.1 = icmp slt i8 %mul.3, %high
 198   %c.2 = icmp sgt i8 %start, 0
 199   %and = and i1 %c.1, %c.2
 200   br i1 %and, label %then, label %else
 201
 202 then:
 203   ret void
 204
 205 else:
 206   %c.8 = icmp slt i8 %start, %high
 207   call void @use(i1 %c.8)
 208   %else.start.1 = mul nsw i8 %start, 1
 209   %c.9 = icmp slt i8 %else.start.1, %high
 210   call void @use(i1 %c.9)
 211   %else.start.2 = mul nsw i8 %start, 2
 212   %c.10 = icmp slt i8 %else.start.2, %high
 213   call void @use(i1 %c.10)
 214   %else.start.3 = mul nsw i8 %start, 3
 215   %c.11 = icmp slt i8 %else.start.3, %high
 216   call void @use(i1 %c.11)
 217   %else.start.4 = mul nsw i8 %start, 4
 218   %c.12 = icmp slt i8 %else.start.4, %high
 219   call void @use(i1 %c.12)
 220   ret void
 221 }
 222
 223 define void @slt_mul_nsw_3_not_known_positive_1(i8 %start, i8 %high) {
 224 ; CHECK-LABEL: @slt_mul_nsw_3_not_known_positive_1(
 225 ; CHECK-NEXT:  entry:
 226 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul i8 [[START:%.*]], 3
 227 ; CHECK-NEXT:    [[C_1:%.*]] = icmp slt i8 [[MUL_3]], [[HIGH:%.*]]
 228 ; CHECK-NEXT:    br i1 [[C_1]], label [[THEN:%.*]], label [[ELSE:%.*]]
 229 ; CHECK:       then:
 230 ; CHECK-NEXT:    [[C_3:%.*]] = icmp slt i8 [[START]], [[HIGH]]
 231 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
 232 ; CHECK-NEXT:    [[START_1:%.*]] = mul nsw i8 [[START]], 1
 233 ; CHECK-NEXT:    [[C_4:%.*]] = icmp slt i8 [[START_1]], [[HIGH]]
 234 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
 235 ; CHECK-NEXT:    [[START_2:%.*]] = mul nsw i8 [[START]], 2
 236 ; CHECK-NEXT:    [[C_5:%.*]] = icmp slt i8 [[START_2]], [[HIGH]]
 237 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
 238 ; CHECK-NEXT:    [[START_3:%.*]] = mul nsw i8 [[START]], 3
 239 ; CHECK-NEXT:    [[C_6:%.*]] = icmp slt i8 [[START_3]], [[HIGH]]
 240 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
 241 ; CHECK-NEXT:    [[START_4:%.*]] = mul nsw i8 [[START]], 4
 242 ; CHECK-NEXT:    [[C_7:%.*]] = icmp slt i8 [[START_4]], [[HIGH]]
 243 ; CHECK-NEXT:    call void @use(i1 [[C_7]])
 244 ; CHECK-NEXT:    ret void
 245 ; CHECK:       else:
 246 ; CHECK-NEXT:    ret void
 247 ;
 248 entry:
 249   %mul.3  = mul i8 %start, 3
 250   %c.1 = icmp slt i8 %mul.3, %high
 251   br i1 %c.1, label %then, label %else
 252
 253 then:
 254   %c.3 = icmp slt i8 %start, %high
 255   call void @use(i1 %c.3)
 256   %start.1 = mul nsw i8 %start, 1
 257   %c.4 = icmp slt i8 %start.1, %high
 258   call void @use(i1 %c.4)
 259   %start.2 = mul nsw i8 %start, 2
 260   %c.5 = icmp slt i8 %start.2, %high
 261   call void @use(i1 %c.5)
 262   %start.3 = mul nsw i8 %start, 3
 263   %c.6 = icmp slt i8 %start.3, %high
 264   call void @use(i1 %c.6)
 265   %start.4 = mul nsw i8 %start, 4
 266   %c.7 = icmp slt i8 %start.4, %high
 267   call void @use(i1 %c.7)
 268   ret void
 269
 270 else:
 271   ret void
 272 }
 273
 274 define void @slt_mul_nsw_3_not_known_positive_2(i8 %start, i8 %high) {
 275 ; CHECK-LABEL: @slt_mul_nsw_3_not_known_positive_2(
 276 ; CHECK-NEXT:  entry:
 277 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul i8 [[START:%.*]], 3
 278 ; CHECK-NEXT:    [[C_1:%.*]] = icmp slt i8 [[MUL_3]], [[HIGH:%.*]]
 279 ; CHECK-NEXT:    br i1 [[C_1]], label [[THEN:%.*]], label [[ELSE:%.*]]
 280 ; CHECK:       then:
 281 ; CHECK-NEXT:    ret void
 282 ; CHECK:       else:
 283 ; CHECK-NEXT:    [[C_8:%.*]] = icmp slt i8 [[START]], [[HIGH]]
 284 ; CHECK-NEXT:    call void @use(i1 [[C_8]])
 285 ; CHECK-NEXT:    [[ELSE_START_1:%.*]] = mul nsw i8 [[START]], 1
 286 ; CHECK-NEXT:    [[C_9:%.*]] = icmp slt i8 [[ELSE_START_1]], [[HIGH]]
 287 ; CHECK-NEXT:    call void @use(i1 [[C_9]])
 288 ; CHECK-NEXT:    [[ELSE_START_2:%.*]] = mul nsw i8 [[START]], 2
 289 ; CHECK-NEXT:    [[C_10:%.*]] = icmp slt i8 [[ELSE_START_2]], [[HIGH]]
 290 ; CHECK-NEXT:    call void @use(i1 [[C_10]])
 291 ; CHECK-NEXT:    [[ELSE_START_3:%.*]] = mul nsw i8 [[START]], 3
 292 ; CHECK-NEXT:    [[C_11:%.*]] = icmp slt i8 [[ELSE_START_3]], [[HIGH]]
 293 ; CHECK-NEXT:    call void @use(i1 [[C_11]])
 294 ; CHECK-NEXT:    [[ELSE_START_4:%.*]] = mul nsw i8 [[START]], 4
 295 ; CHECK-NEXT:    [[C_12:%.*]] = icmp slt i8 [[ELSE_START_4]], [[HIGH]]
 296 ; CHECK-NEXT:    call void @use(i1 [[C_12]])
 297 ; CHECK-NEXT:    ret void
 298 ;
 299 entry:
 300   %mul.3  = mul i8 %start, 3
 301   %c.1 = icmp slt i8 %mul.3, %high
 302   br i1 %c.1, label %then, label %else
 303
 304 then:
 305   ret void
 306
 307 else:
 308   %c.8 = icmp slt i8 %start, %high
 309   call void @use(i1 %c.8)
 310   %else.start.1 = mul nsw i8 %start, 1
 311   %c.9 = icmp slt i8 %else.start.1, %high
 312   call void @use(i1 %c.9)
 313   %else.start.2 = mul nsw i8 %start, 2
 314   %c.10 = icmp slt i8 %else.start.2, %high
 315   call void @use(i1 %c.10)
 316   %else.start.3 = mul nsw i8 %start, 3
 317   %c.11 = icmp slt i8 %else.start.3, %high
 318   call void @use(i1 %c.11)
 319   %else.start.4 = mul nsw i8 %start, 4
 320   %c.12 = icmp slt i8 %else.start.4, %high
 321   call void @use(i1 %c.12)
 322   ret void
 323 }
 324
 325 define void @slt_mul_nsw_neg_3_known_negative_1(i8 %start, i8 %high) {
 326 ; CHECK-LABEL: @slt_mul_nsw_neg_3_known_negative_1(
 327 ; CHECK-NEXT:  entry:
 328 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul nsw i8 [[START:%.*]], -3
 329 ; CHECK-NEXT:    [[C_1:%.*]] = icmp slt i8 [[MUL_3]], [[HIGH:%.*]]
 330 ; CHECK-NEXT:    [[C_2:%.*]] = icmp slt i8 [[START]], 0
 331 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
 332 ; CHECK-NEXT:    br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]
 333 ; CHECK:       then:
 334 ; CHECK-NEXT:    call void @use(i1 true)
 335 ; CHECK-NEXT:    [[START_1:%.*]] = mul nsw i8 [[START]], -1
 336 ; CHECK-NEXT:    call void @use(i1 true)
 337 ; CHECK-NEXT:    [[START_2:%.*]] = mul nsw i8 [[START]], -2
 338 ; CHECK-NEXT:    call void @use(i1 true)
 339 ; CHECK-NEXT:    [[START_3:%.*]] = mul nsw i8 [[START]], -3
 340 ; CHECK-NEXT:    call void @use(i1 true)
 341 ; CHECK-NEXT:    [[START_4:%.*]] = mul nsw i8 [[START]], -4
 342 ; CHECK-NEXT:    [[C_3:%.*]] = icmp slt i8 [[START_4]], [[HIGH]]
 343 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
 344 ; CHECK-NEXT:    ret void
 345 ; CHECK:       else:
 346 ; CHECK-NEXT:    ret void
 347 ;
 348 entry:
 349   %mul.3  = mul nsw i8 %start, -3
 350   %c.1 = icmp slt i8 %mul.3, %high
 351   %c.2 = icmp slt i8 %start, 0
 352   %and = and i1 %c.1, %c.2
 353   br i1 %and, label %then, label %else
 354
 355 then:
 356   %t.0 = icmp slt i8 %start, %high
 357   call void @use(i1 %t.0)
 358   %start.1 = mul nsw i8 %start, -1
 359   %t.1 = icmp slt i8 %start.1, %high
 360   call void @use(i1 %t.1)
 361   %start.2 = mul nsw i8 %start, -2
 362   %t.2 = icmp slt i8 %start.2, %high
 363   call void @use(i1 %t.2)
 364   %start.3 = mul nsw i8 %start, -3
 365   %t.3 = icmp slt i8 %start.3, %high
 366   call void @use(i1 %t.3)
 367   %start.4 = mul nsw i8 %start, -4
 368   %c.3 = icmp slt i8 %start.4, %high
 369   call void @use(i1 %c.3)
 370   ret void
 371
 372 else:
 373   ret void
 374 }
 375
 376 define void @slt_mul_nsw_neg_3_known_negative_2(i8 %start, i8 %high) {
 377 ; CHECK-LABEL: @slt_mul_nsw_neg_3_known_negative_2(
 378 ; CHECK-NEXT:  entry:
 379 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul nsw i8 [[START:%.*]], -3
 380 ; CHECK-NEXT:    [[C_1:%.*]] = icmp slt i8 [[MUL_3]], [[HIGH:%.*]]
 381 ; CHECK-NEXT:    [[C_2:%.*]] = icmp slt i8 [[START]], 0
 382 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
 383 ; CHECK-NEXT:    br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]
 384 ; CHECK:       then:
 385 ; CHECK-NEXT:    ret void
 386 ; CHECK:       else:
 387 ; CHECK-NEXT:    [[C_4:%.*]] = icmp slt i8 [[START]], [[HIGH]]
 388 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
 389 ; CHECK-NEXT:    [[ELSE_START_1:%.*]] = mul nsw i8 [[START]], -1
 390 ; CHECK-NEXT:    [[C_5:%.*]] = icmp slt i8 [[ELSE_START_1]], [[HIGH]]
 391 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
 392 ; CHECK-NEXT:    [[ELSE_START_2:%.*]] = mul nsw i8 [[START]], -2
 393 ; CHECK-NEXT:    [[C_6:%.*]] = icmp slt i8 [[ELSE_START_2]], [[HIGH]]
 394 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
 395 ; CHECK-NEXT:    [[ELSE_START_3:%.*]] = mul nsw i8 [[START]], -3
 396 ; CHECK-NEXT:    [[C_7:%.*]] = icmp slt i8 [[ELSE_START_3]], [[HIGH]]
 397 ; CHECK-NEXT:    call void @use(i1 [[C_7]])
 398 ; CHECK-NEXT:    [[ELSE_START_4:%.*]] = mul nsw i8 [[START]], -4
 399 ; CHECK-NEXT:    [[C_8:%.*]] = icmp slt i8 [[ELSE_START_4]], [[HIGH]]
 400 ; CHECK-NEXT:    call void @use(i1 [[C_8]])
 401 ; CHECK-NEXT:    ret void
 402 ;
 403 entry:
 404   %mul.3  = mul nsw i8 %start, -3
 405   %c.1 = icmp slt i8 %mul.3, %high
 406   %c.2 = icmp slt i8 %start, 0
 407   %and = and i1 %c.1, %c.2
 408   br i1 %and, label %then, label %else
 409
 410 then:
 411   ret void
 412
 413 else:
 414   %c.4 = icmp slt i8 %start, %high
 415   call void @use(i1 %c.4)
 416   %else.start.1 = mul nsw i8 %start, -1
 417   %c.5 = icmp slt i8 %else.start.1, %high
 418   call void @use(i1 %c.5)
 419   %else.start.2 = mul nsw i8 %start, -2
 420   %c.6 = icmp slt i8 %else.start.2, %high
 421   call void @use(i1 %c.6)
 422   %else.start.3 = mul nsw i8 %start, -3
 423   %c.7 = icmp slt i8 %else.start.3, %high
 424   call void @use(i1 %c.7)
 425   %else.start.4 = mul nsw i8 %start, -4
 426   %c.8 = icmp slt i8 %else.start.4, %high
 427   call void @use(i1 %c.8)
 428   ret void
 429 }
 430
 431 define void @slt_mul_nsw_3_known_negative_1(i8 %start, i8 %high) {
 432 ; CHECK-LABEL: @slt_mul_nsw_3_known_negative_1(
 433 ; CHECK-NEXT:  entry:
 434 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul nsw i8 [[START:%.*]], 3
 435 ; CHECK-NEXT:    [[C_1:%.*]] = icmp slt i8 [[MUL_3]], [[HIGH:%.*]]
 436 ; CHECK-NEXT:    [[C_2:%.*]] = icmp slt i8 [[START]], 0
 437 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
 438 ; CHECK-NEXT:    br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]
 439 ; CHECK:       then:
 440 ; CHECK-NEXT:    [[C_3:%.*]] = icmp slt i8 [[START]], [[HIGH]]
 441 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
 442 ; CHECK-NEXT:    [[START_1:%.*]] = mul nsw i8 [[START]], 1
 443 ; CHECK-NEXT:    [[C_4:%.*]] = icmp slt i8 [[START_1]], [[HIGH]]
 444 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
 445 ; CHECK-NEXT:    [[START_2:%.*]] = mul nsw i8 [[START]], 2
 446 ; CHECK-NEXT:    [[C_5:%.*]] = icmp slt i8 [[START_2]], [[HIGH]]
 447 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
 448 ; CHECK-NEXT:    [[START_3:%.*]] = mul nsw i8 [[START]], 3
 449 ; CHECK-NEXT:    call void @use(i1 true)
 450 ; CHECK-NEXT:    [[START_4:%.*]] = mul nsw i8 [[START]], 4
 451 ; CHECK-NEXT:    call void @use(i1 true)
 452 ; CHECK-NEXT:    ret void
 453 ; CHECK:       else:
 454 ; CHECK-NEXT:    ret void
 455 ;
 456 entry:
 457   %mul.3  = mul nsw i8 %start, 3
 458   %c.1 = icmp slt i8 %mul.3, %high
 459   %c.2 = icmp slt i8 %start, 0
 460   %and = and i1 %c.1, %c.2
 461   br i1 %and, label %then, label %else
 462
 463 then:
 464   %c.3 = icmp slt i8 %start, %high
 465   call void @use(i1 %c.3)
 466   %start.1 = mul nsw i8 %start, 1
 467   %c.4 = icmp slt i8 %start.1, %high
 468   call void @use(i1 %c.4)
 469   %start.2 = mul nsw i8 %start, 2
 470   %c.5 = icmp slt i8 %start.2, %high
 471   call void @use(i1 %c.5)
 472   %start.3 = mul nsw i8 %start, 3
 473   %t.0 = icmp slt i8 %start.3, %high
 474   call void @use(i1 %t.0)
 475   %start.4 = mul nsw i8 %start, 4
 476   %t.1 = icmp slt i8 %start.4, %high
 477   call void @use(i1 %t.1)
 478   ret void
 479
 480 else:
 481   ret void
 482 }
 483
 484 define void @slt_mul_nsw_3_known_negative_2(i8 %start, i8 %high) {
 485 ; CHECK-LABEL: @slt_mul_nsw_3_known_negative_2(
 486 ; CHECK-NEXT:  entry:
 487 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul nsw i8 [[START:%.*]], 3
 488 ; CHECK-NEXT:    [[C_1:%.*]] = icmp slt i8 [[MUL_3]], [[HIGH:%.*]]
 489 ; CHECK-NEXT:    [[C_2:%.*]] = icmp slt i8 [[START]], 0
 490 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
 491 ; CHECK-NEXT:    br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]
 492 ; CHECK:       then:
 493 ; CHECK-NEXT:    ret void
 494 ; CHECK:       else:
 495 ; CHECK-NEXT:    [[C_6:%.*]] = icmp slt i8 [[START]], [[HIGH]]
 496 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
 497 ; CHECK-NEXT:    [[ELSE_START_1:%.*]] = mul nsw i8 [[START]], 1
 498 ; CHECK-NEXT:    [[C_7:%.*]] = icmp slt i8 [[ELSE_START_1]], [[HIGH]]
 499 ; CHECK-NEXT:    call void @use(i1 [[C_7]])
 500 ; CHECK-NEXT:    [[ELSE_START_2:%.*]] = mul nsw i8 [[START]], 2
 501 ; CHECK-NEXT:    [[C_8:%.*]] = icmp slt i8 [[ELSE_START_2]], [[HIGH]]
 502 ; CHECK-NEXT:    call void @use(i1 [[C_8]])
 503 ; CHECK-NEXT:    [[ELSE_START_3:%.*]] = mul nsw i8 [[START]], 3
 504 ; CHECK-NEXT:    [[C_9:%.*]] = icmp slt i8 [[ELSE_START_3]], [[HIGH]]
 505 ; CHECK-NEXT:    call void @use(i1 [[C_9]])
 506 ; CHECK-NEXT:    [[ELSE_START_4:%.*]] = mul nsw i8 [[START]], 4
 507 ; CHECK-NEXT:    [[C_10:%.*]] = icmp slt i8 [[ELSE_START_4]], [[HIGH]]
 508 ; CHECK-NEXT:    call void @use(i1 [[C_10]])
 509 ; CHECK-NEXT:    ret void
 510 ;
 511 entry:
 512   %mul.3  = mul nsw i8 %start, 3
 513   %c.1 = icmp slt i8 %mul.3, %high
 514   %c.2 = icmp slt i8 %start, 0
 515   %and = and i1 %c.1, %c.2
 516   br i1 %and, label %then, label %else
 517
 518 then:
 519   ret void
 520
 521 else:
 522   %c.6 = icmp slt i8 %start, %high
 523   call void @use(i1 %c.6)
 524   %else.start.1 = mul nsw i8 %start, 1
 525   %c.7 = icmp slt i8 %else.start.1, %high
 526   call void @use(i1 %c.7)
 527   %else.start.2 = mul nsw i8 %start, 2
 528   %c.8 = icmp slt i8 %else.start.2, %high
 529   call void @use(i1 %c.8)
 530   %else.start.3 = mul nsw i8 %start, 3
 531   %c.9 = icmp slt i8 %else.start.3, %high
 532   call void @use(i1 %c.9)
 533   %else.start.4 = mul nsw i8 %start, 4
 534   %c.10 = icmp slt i8 %else.start.4, %high
 535   call void @use(i1 %c.10)
 536   ret void
 537 }
 538
 539 define void @slt_mul_nsw_neg_3_known_positive_1(i8 %start, i8 %high) {
 540 ; CHECK-LABEL: @slt_mul_nsw_neg_3_known_positive_1(
 541 ; CHECK-NEXT:  entry:
 542 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul nsw i8 [[START:%.*]], -3
 543 ; CHECK-NEXT:    [[C_1:%.*]] = icmp slt i8 [[MUL_3]], [[HIGH:%.*]]
 544 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sgt i8 [[START]], 0
 545 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
 546 ; CHECK-NEXT:    br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]
 547 ; CHECK:       then:
 548 ; CHECK-NEXT:    [[C_3:%.*]] = icmp slt i8 [[START]], [[HIGH]]
 549 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
 550 ; CHECK-NEXT:    [[START_1:%.*]] = mul nsw i8 [[START]], -1
 551 ; CHECK-NEXT:    [[C_4:%.*]] = icmp slt i8 [[START_1]], [[HIGH]]
 552 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
 553 ; CHECK-NEXT:    [[START_2:%.*]] = mul nsw i8 [[START]], -2
 554 ; CHECK-NEXT:    [[C_5:%.*]] = icmp slt i8 [[START_2]], [[HIGH]]
 555 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
 556 ; CHECK-NEXT:    [[START_3:%.*]] = mul nsw i8 [[START]], -3
 557 ; CHECK-NEXT:    call void @use(i1 true)
 558 ; CHECK-NEXT:    [[START_4:%.*]] = mul nsw i8 [[START]], -4
 559 ; CHECK-NEXT:    call void @use(i1 true)
 560 ; CHECK-NEXT:    ret void
 561 ; CHECK:       else:
 562 ; CHECK-NEXT:    ret void
 563 ;
 564 entry:
 565   %mul.3  = mul nsw i8 %start, -3
 566   %c.1 = icmp slt i8 %mul.3, %high
 567   %c.2 = icmp sgt i8 %start, 0
 568   %and = and i1 %c.1, %c.2
 569   br i1 %and, label %then, label %else
 570
 571 then:
 572   %c.3 = icmp slt i8 %start, %high
 573   call void @use(i1 %c.3)
 574   %start.1 = mul nsw i8 %start, -1
 575   %c.4 = icmp slt i8 %start.1, %high
 576   call void @use(i1 %c.4)
 577   %start.2 = mul nsw i8 %start, -2
 578   %c.5 = icmp slt i8 %start.2, %high
 579   call void @use(i1 %c.5)
 580   %start.3 = mul nsw i8 %start, -3
 581   %t.0 = icmp slt i8 %start.3, %high
 582   call void @use(i1 %t.0)
 583   %start.4 = mul nsw i8 %start, -4
 584   %t.1 = icmp slt i8 %start.4, %high
 585   call void @use(i1 %t.1)
 586   ret void
 587
 588 else:
 589   ret void
 590 }
 591
 592 define void @slt_mul_nsw_neg_3_known_positive_2(i8 %start, i8 %high) {
 593 ; CHECK-LABEL: @slt_mul_nsw_neg_3_known_positive_2(
 594 ; CHECK-NEXT:  entry:
 595 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul nsw i8 [[START:%.*]], -3
 596 ; CHECK-NEXT:    [[C_1:%.*]] = icmp slt i8 [[MUL_3]], [[HIGH:%.*]]
 597 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sgt i8 [[START]], 0
 598 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
 599 ; CHECK-NEXT:    br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]
 600 ; CHECK:       then:
 601 ; CHECK-NEXT:    ret void
 602 ; CHECK:       else:
 603 ; CHECK-NEXT:    [[C_6:%.*]] = icmp slt i8 [[START]], [[HIGH]]
 604 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
 605 ; CHECK-NEXT:    [[ELSE_START_1:%.*]] = mul nsw i8 [[START]], -1
 606 ; CHECK-NEXT:    [[C_7:%.*]] = icmp slt i8 [[ELSE_START_1]], [[HIGH]]
 607 ; CHECK-NEXT:    call void @use(i1 [[C_7]])
 608 ; CHECK-NEXT:    [[ELSE_START_2:%.*]] = mul nsw i8 [[START]], -2
 609 ; CHECK-NEXT:    [[C_8:%.*]] = icmp slt i8 [[ELSE_START_2]], [[HIGH]]
 610 ; CHECK-NEXT:    call void @use(i1 [[C_8]])
 611 ; CHECK-NEXT:    [[ELSE_START_3:%.*]] = mul nsw i8 [[START]], -3
 612 ; CHECK-NEXT:    [[C_9:%.*]] = icmp slt i8 [[ELSE_START_3]], [[HIGH]]
 613 ; CHECK-NEXT:    call void @use(i1 [[C_9]])
 614 ; CHECK-NEXT:    [[ELSE_START_4:%.*]] = mul nsw i8 [[START]], -4
 615 ; CHECK-NEXT:    [[C_10:%.*]] = icmp slt i8 [[ELSE_START_4]], [[HIGH]]
 616 ; CHECK-NEXT:    call void @use(i1 [[C_10]])
 617 ; CHECK-NEXT:    ret void
 618 ;
 619 entry:
 620   %mul.3  = mul nsw i8 %start, -3
 621   %c.1 = icmp slt i8 %mul.3, %high
 622   %c.2 = icmp sgt i8 %start, 0
 623   %and = and i1 %c.1, %c.2
 624   br i1 %and, label %then, label %else
 625
 626 then:
 627   ret void
 628
 629 else:
 630   %c.6 = icmp slt i8 %start, %high
 631   call void @use(i1 %c.6)
 632   %else.start.1 = mul nsw i8 %start, -1
 633   %c.7 = icmp slt i8 %else.start.1, %high
 634   call void @use(i1 %c.7)
 635   %else.start.2 = mul nsw i8 %start, -2
 636   %c.8 = icmp slt i8 %else.start.2, %high
 637   call void @use(i1 %c.8)
 638   %else.start.3 = mul nsw i8 %start, -3
 639   %c.9 = icmp slt i8 %else.start.3, %high
 640   call void @use(i1 %c.9)
 641   %else.start.4 = mul nsw i8 %start, -4
 642   %c.10 = icmp slt i8 %else.start.4, %high
 643   call void @use(i1 %c.10)
 644   ret void
 645 }
 646
 647 define void @slt_mul_nsw_3_known_nonnegative_1(i8 %start, i8 %high) {
 648 ; CHECK-LABEL: @slt_mul_nsw_3_known_nonnegative_1(
 649 ; CHECK-NEXT:  entry:
 650 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul nsw i8 [[START:%.*]], 3
 651 ; CHECK-NEXT:    [[C_1:%.*]] = icmp slt i8 [[MUL_3]], [[HIGH:%.*]]
 652 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sge i8 [[START]], 0
 653 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
 654 ; CHECK-NEXT:    br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]
 655 ; CHECK:       then:
 656 ; CHECK-NEXT:    call void @use(i1 true)
 657 ; CHECK-NEXT:    [[START_1:%.*]] = mul nsw i8 [[START]], 1
 658 ; CHECK-NEXT:    call void @use(i1 true)
 659 ; CHECK-NEXT:    [[START_2:%.*]] = mul nsw i8 [[START]], 2
 660 ; CHECK-NEXT:    call void @use(i1 true)
 661 ; CHECK-NEXT:    [[START_3:%.*]] = mul nsw i8 [[START]], 3
 662 ; CHECK-NEXT:    call void @use(i1 true)
 663 ; CHECK-NEXT:    [[START_4:%.*]] = mul nsw i8 [[START]], 4
 664 ; CHECK-NEXT:    [[C_3:%.*]] = icmp slt i8 [[START_4]], [[HIGH]]
 665 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
 666 ; CHECK-NEXT:    ret void
 667 ; CHECK:       else:
 668 ; CHECK-NEXT:    ret void
 669 ;
 670 entry:
 671   %mul.3  = mul nsw i8 %start, 3
 672   %c.1 = icmp slt i8 %mul.3, %high
 673   %c.2 = icmp sge i8 %start, 0
 674   %and = and i1 %c.1, %c.2
 675   br i1 %and, label %then, label %else
 676
 677 then:
 678   %t.0 = icmp slt i8 %start, %high
 679   call void @use(i1 %t.0)
 680   %start.1 = mul nsw i8 %start, 1
 681   %t.1 = icmp slt i8 %start.1, %high
 682   call void @use(i1 %t.1)
 683   %start.2 = mul nsw i8 %start, 2
 684   %t.2 = icmp slt i8 %start.2, %high
 685   call void @use(i1 %t.2)
 686   %start.3 = mul nsw i8 %start, 3
 687   %t.3 = icmp slt i8 %start.3, %high
 688   call void @use(i1 %t.3)
 689   %start.4 = mul nsw i8 %start, 4
 690   %c.3 = icmp slt i8 %start.4, %high
 691   call void @use(i1 %c.3)
 692   ret void
 693
 694 else:
 695   ret void
 696 }
 697
 698 define void @slt_mul_nsw_3_known_nonnegative_2(i8 %start, i8 %high) {
 699 ; CHECK-LABEL: @slt_mul_nsw_3_known_nonnegative_2(
 700 ; CHECK-NEXT:  entry:
 701 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul nsw i8 [[START:%.*]], 3
 702 ; CHECK-NEXT:    [[C_1:%.*]] = icmp slt i8 [[MUL_3]], [[HIGH:%.*]]
 703 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sge i8 [[START]], 0
 704 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
 705 ; CHECK-NEXT:    br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]
 706 ; CHECK:       then:
 707 ; CHECK-NEXT:    ret void
 708 ; CHECK:       else:
 709 ; CHECK-NEXT:    [[C_4:%.*]] = icmp slt i8 [[START]], [[HIGH]]
 710 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
 711 ; CHECK-NEXT:    [[ELSE_START_1:%.*]] = mul nsw i8 [[START]], 1
 712 ; CHECK-NEXT:    [[C_5:%.*]] = icmp slt i8 [[ELSE_START_1]], [[HIGH]]
 713 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
 714 ; CHECK-NEXT:    [[ELSE_START_2:%.*]] = mul nsw i8 [[START]], 2
 715 ; CHECK-NEXT:    [[C_6:%.*]] = icmp slt i8 [[ELSE_START_2]], [[HIGH]]
 716 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
 717 ; CHECK-NEXT:    [[ELSE_START_3:%.*]] = mul nsw i8 [[START]], 3
 718 ; CHECK-NEXT:    [[C_7:%.*]] = icmp slt i8 [[ELSE_START_3]], [[HIGH]]
 719 ; CHECK-NEXT:    call void @use(i1 [[C_7]])
 720 ; CHECK-NEXT:    [[ELSE_START_4:%.*]] = mul nsw i8 [[START]], 4
 721 ; CHECK-NEXT:    [[C_8:%.*]] = icmp slt i8 [[ELSE_START_4]], [[HIGH]]
 722 ; CHECK-NEXT:    call void @use(i1 [[C_8]])
 723 ; CHECK-NEXT:    ret void
 724 ;
 725 entry:
 726   %mul.3  = mul nsw i8 %start, 3
 727   %c.1 = icmp slt i8 %mul.3, %high
 728   %c.2 = icmp sge i8 %start, 0
 729   %and = and i1 %c.1, %c.2
 730   br i1 %and, label %then, label %else
 731
 732 then:
 733   ret void
 734
 735 else:
 736   %c.4 = icmp slt i8 %start, %high
 737   call void @use(i1 %c.4)
 738   %else.start.1 = mul nsw i8 %start, 1
 739   %c.5 = icmp slt i8 %else.start.1, %high
 740   call void @use(i1 %c.5)
 741   %else.start.2 = mul nsw i8 %start, 2
 742   %c.6 = icmp slt i8 %else.start.2, %high
 743   call void @use(i1 %c.6)
 744   %else.start.3 = mul nsw i8 %start, 3
 745   %c.7 = icmp slt i8 %else.start.3, %high
 746   call void @use(i1 %c.7)
 747   %else.start.4 = mul nsw i8 %start, 4
 748   %c.8 = icmp slt i8 %else.start.4, %high
 749   call void @use(i1 %c.8)
 750   ret void
 751 }
 752
 753 define void @slt_mul_nsw_both_var_non_negative_1(i8 %start, i8 %scale, i8 %high) {
 754 ; CHECK-LABEL: @slt_mul_nsw_both_var_non_negative_1(
 755 ; CHECK-NEXT:  entry:
 756 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul nsw i8 [[START:%.*]], [[SCALE:%.*]]
 757 ; CHECK-NEXT:    [[C_1:%.*]] = icmp slt i8 [[MUL_3]], [[HIGH:%.*]]
 758 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sgt i8 [[START]], 0
 759 ; CHECK-NEXT:    [[C3:%.*]] = icmp sgt i8 [[SCALE]], 0
 760 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C3]])
 761 ; CHECK-NEXT:    [[C4:%.*]] = icmp sle i8 [[SCALE]], 3
 762 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C3]])
 763 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
 764 ; CHECK-NEXT:    br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]
 765 ; CHECK:       then:
 766 ; CHECK-NEXT:    [[T_0:%.*]] = icmp slt i8 [[START]], [[HIGH]]
 767 ; CHECK-NEXT:    call void @use(i1 [[T_0]])
 768 ; CHECK-NEXT:    [[START_1:%.*]] = mul nsw i8 [[START]], 1
 769 ; CHECK-NEXT:    [[T_1:%.*]] = icmp slt i8 [[START_1]], [[HIGH]]
 770 ; CHECK-NEXT:    call void @use(i1 [[T_1]])
 771 ; CHECK-NEXT:    [[START_2:%.*]] = mul nsw i8 [[START]], 2
 772 ; CHECK-NEXT:    [[T_2:%.*]] = icmp slt i8 [[START_2]], [[HIGH]]
 773 ; CHECK-NEXT:    call void @use(i1 [[T_2]])
 774 ; CHECK-NEXT:    [[START_3:%.*]] = mul nsw i8 [[START]], 3
 775 ; CHECK-NEXT:    [[T_3:%.*]] = icmp slt i8 [[START_3]], [[HIGH]]
 776 ; CHECK-NEXT:    call void @use(i1 [[T_3]])
 777 ; CHECK-NEXT:    [[START_4:%.*]] = mul nsw i8 [[START]], 4
 778 ; CHECK-NEXT:    [[C_3:%.*]] = icmp slt i8 [[START_4]], [[HIGH]]
 779 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
 780 ; CHECK-NEXT:    ret void
 781 ; CHECK:       else:
 782 ; CHECK-NEXT:    [[C_4:%.*]] = icmp slt i8 [[START]], [[HIGH]]
 783 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
 784 ; CHECK-NEXT:    [[ELSE_START_1:%.*]] = mul nsw i8 [[START]], 1
 785 ; CHECK-NEXT:    [[C_5:%.*]] = icmp slt i8 [[ELSE_START_1]], [[HIGH]]
 786 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
 787 ; CHECK-NEXT:    [[ELSE_START_2:%.*]] = mul nsw i8 [[START]], 2
 788 ; CHECK-NEXT:    [[C_6:%.*]] = icmp slt i8 [[ELSE_START_2]], [[HIGH]]
 789 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
 790 ; CHECK-NEXT:    [[ELSE_START_3:%.*]] = mul nsw i8 [[START]], 3
 791 ; CHECK-NEXT:    [[C_7:%.*]] = icmp slt i8 [[ELSE_START_3]], [[HIGH]]
 792 ; CHECK-NEXT:    call void @use(i1 [[C_7]])
 793 ; CHECK-NEXT:    [[ELSE_START_4:%.*]] = mul nsw i8 [[START]], 4
 794 ; CHECK-NEXT:    [[C_8:%.*]] = icmp slt i8 [[ELSE_START_4]], [[HIGH]]
 795 ; CHECK-NEXT:    call void @use(i1 [[C_8]])
 796 ; CHECK-NEXT:    ret void
 797 ;
 798 entry:
 799   %mul.3  = mul nsw i8 %start, %scale
 800   %c.1 = icmp slt i8 %mul.3, %high
 801   %c.2 = icmp sgt i8 %start, 0
 802   %c3 = icmp sgt i8 %scale, 0
 803   call void @llvm.assume(i1 %c3)
 804   %c4 = icmp sle i8 %scale, 3
 805   call void @llvm.assume(i1 %c3)
 806   %and = and i1 %c.1, %c.2
 807   br i1 %and, label %then, label %else
 808
 809 then:
 810   %t.0 = icmp slt i8 %start, %high
 811   call void @use(i1 %t.0)
 812   %start.1 = mul nsw i8 %start, 1
 813   %t.1 = icmp slt i8 %start.1, %high
 814   call void @use(i1 %t.1)
 815   %start.2 = mul nsw i8 %start, 2
 816   %t.2 = icmp slt i8 %start.2, %high
 817   call void @use(i1 %t.2)
 818   %start.3 = mul nsw i8 %start, 3
 819   %t.3 = icmp slt i8 %start.3, %high
 820   call void @use(i1 %t.3)
 821   %start.4 = mul nsw i8 %start, 4
 822   %c.3 = icmp slt i8 %start.4, %high
 823   call void @use(i1 %c.3)
 824   ret void
 825
 826 else:
 827   %c.4 = icmp slt i8 %start, %high
 828   call void @use(i1 %c.4)
 829   %else.start.1 = mul nsw i8 %start, 1
 830   %c.5 = icmp slt i8 %else.start.1, %high
 831   call void @use(i1 %c.5)
 832   %else.start.2 = mul nsw i8 %start, 2
 833   %c.6 = icmp slt i8 %else.start.2, %high
 834   call void @use(i1 %c.6)
 835   %else.start.3 = mul nsw i8 %start, 3
 836   %c.7 = icmp slt i8 %else.start.3, %high
 837   call void @use(i1 %c.7)
 838   %else.start.4 = mul nsw i8 %start, 4
 839   %c.8 = icmp slt i8 %else.start.4, %high
 840   call void @use(i1 %c.8)
 841   ret void
 842 }
 843
 844 define void @slt_mul_nsw_both_var_non_negative_2(i8 %start, i8 %scale, i8 %high) {
 845 ; CHECK-LABEL: @slt_mul_nsw_both_var_non_negative_2(
 846 ; CHECK-NEXT:  entry:
 847 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul nsw i8 [[START:%.*]], [[SCALE:%.*]]
 848 ; CHECK-NEXT:    [[C_1:%.*]] = icmp slt i8 [[MUL_3]], [[HIGH:%.*]]
 849 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sgt i8 [[START]], 0
 850 ; CHECK-NEXT:    [[C3:%.*]] = icmp sgt i8 [[SCALE]], 0
 851 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C3]])
 852 ; CHECK-NEXT:    [[C4:%.*]] = icmp sle i8 [[SCALE]], 3
 853 ; CHECK-NEXT:    call void @llvm.assume(i1 [[C3]])
 854 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
 855 ; CHECK-NEXT:    br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]
 856 ; CHECK:       then:
 857 ; CHECK-NEXT:    ret void
 858 ; CHECK:       else:
 859 ; CHECK-NEXT:    [[C_4:%.*]] = icmp slt i8 [[START]], [[HIGH]]
 860 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
 861 ; CHECK-NEXT:    [[ELSE_START_1:%.*]] = mul nsw i8 [[START]], 1
 862 ; CHECK-NEXT:    [[C_5:%.*]] = icmp slt i8 [[ELSE_START_1]], [[HIGH]]
 863 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
 864 ; CHECK-NEXT:    [[ELSE_START_2:%.*]] = mul nsw i8 [[START]], 2
 865 ; CHECK-NEXT:    [[C_6:%.*]] = icmp slt i8 [[ELSE_START_2]], [[HIGH]]
 866 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
 867 ; CHECK-NEXT:    [[ELSE_START_3:%.*]] = mul nsw i8 [[START]], 3
 868 ; CHECK-NEXT:    [[C_7:%.*]] = icmp slt i8 [[ELSE_START_3]], [[HIGH]]
 869 ; CHECK-NEXT:    call void @use(i1 [[C_7]])
 870 ; CHECK-NEXT:    [[ELSE_START_4:%.*]] = mul nsw i8 [[START]], 4
 871 ; CHECK-NEXT:    [[C_8:%.*]] = icmp slt i8 [[ELSE_START_4]], [[HIGH]]
 872 ; CHECK-NEXT:    call void @use(i1 [[C_8]])
 873 ; CHECK-NEXT:    ret void
 874 ;
 875 entry:
 876   %mul.3  = mul nsw i8 %start, %scale
 877   %c.1 = icmp slt i8 %mul.3, %high
 878   %c.2 = icmp sgt i8 %start, 0
 879   %c3 = icmp sgt i8 %scale, 0
 880   call void @llvm.assume(i1 %c3)
 881   %c4 = icmp sle i8 %scale, 3
 882   call void @llvm.assume(i1 %c3)
 883   %and = and i1 %c.1, %c.2
 884   br i1 %and, label %then, label %else
 885
 886 then:
 887   ret void
 888
 889 else:
 890   %c.4 = icmp slt i8 %start, %high
 891   call void @use(i1 %c.4)
 892   %else.start.1 = mul nsw i8 %start, 1
 893   %c.5 = icmp slt i8 %else.start.1, %high
 894   call void @use(i1 %c.5)
 895   %else.start.2 = mul nsw i8 %start, 2
 896   %c.6 = icmp slt i8 %else.start.2, %high
 897   call void @use(i1 %c.6)
 898   %else.start.3 = mul nsw i8 %start, 3
 899   %c.7 = icmp slt i8 %else.start.3, %high
 900   call void @use(i1 %c.7)
 901   %else.start.4 = mul nsw i8 %start, 4
 902   %c.8 = icmp slt i8 %else.start.4, %high
 903   call void @use(i1 %c.8)
 904   ret void
 905 }
 906
 907 define void @ult_mul_nsw_3_known_positive_1(i8 %start, i8 %high) {
 908 ; CHECK-LABEL: @ult_mul_nsw_3_known_positive_1(
 909 ; CHECK-NEXT:  entry:
 910 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul nsw i8 [[START:%.*]], 3
 911 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[MUL_3]], [[HIGH:%.*]]
 912 ; CHECK-NEXT:    [[C_2:%.*]] = icmp ugt i8 [[START]], 0
 913 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
 914 ; CHECK-NEXT:    br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]
 915 ; CHECK:       then:
 916 ; CHECK-NEXT:    [[T_0:%.*]] = icmp ult i8 [[START]], [[HIGH]]
 917 ; CHECK-NEXT:    call void @use(i1 [[T_0]])
 918 ; CHECK-NEXT:    [[START_1:%.*]] = mul nsw i8 [[START]], 1
 919 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ult i8 [[START_1]], [[HIGH]]
 920 ; CHECK-NEXT:    call void @use(i1 [[T_1]])
 921 ; CHECK-NEXT:    [[START_2:%.*]] = mul nsw i8 [[START]], 2
 922 ; CHECK-NEXT:    [[T_2:%.*]] = icmp ult i8 [[START_2]], [[HIGH]]
 923 ; CHECK-NEXT:    call void @use(i1 [[T_2]])
 924 ; CHECK-NEXT:    [[START_3:%.*]] = mul nsw i8 [[START]], 3
 925 ; CHECK-NEXT:    [[T_3:%.*]] = icmp ult i8 [[START_3]], [[HIGH]]
 926 ; CHECK-NEXT:    call void @use(i1 [[T_3]])
 927 ; CHECK-NEXT:    [[START_4:%.*]] = mul nsw i8 [[START]], 4
 928 ; CHECK-NEXT:    [[C_3:%.*]] = icmp slt i8 [[START_4]], [[HIGH]]
 929 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
 930 ; CHECK-NEXT:    ret void
 931 ; CHECK:       else:
 932 ; CHECK-NEXT:    ret void
 933 ;
 934 entry:
 935   %mul.3  = mul nsw i8 %start, 3
 936   %c.1 = icmp ult i8 %mul.3, %high
 937   %c.2 = icmp ugt i8 %start, 0
 938   %and = and i1 %c.1, %c.2
 939   br i1 %and, label %then, label %else
 940
 941 then:
 942   %t.0 = icmp ult i8 %start, %high
 943   call void @use(i1 %t.0)
 944   %start.1 = mul nsw i8 %start, 1
 945   %t.1 = icmp ult i8 %start.1, %high
 946   call void @use(i1 %t.1)
 947   %start.2 = mul nsw i8 %start, 2
 948   %t.2 = icmp ult i8 %start.2, %high
 949   call void @use(i1 %t.2)
 950   %start.3 = mul nsw i8 %start, 3
 951   %t.3 = icmp ult i8 %start.3, %high
 952   call void @use(i1 %t.3)
 953   %start.4 = mul nsw i8 %start, 4
 954   %c.3 = icmp slt i8 %start.4, %high
 955   call void @use(i1 %c.3)
 956   ret void
 957
 958 else:
 959   ret void
 960 }
 961
 962 define void @ult_mul_nsw_3_known_positive_2(i8 %start, i8 %high) {
 963 ; CHECK-LABEL: @ult_mul_nsw_3_known_positive_2(
 964 ; CHECK-NEXT:  entry:
 965 ; CHECK-NEXT:    [[MUL_3:%.*]] = mul nsw i8 [[START:%.*]], 3
 966 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i8 [[MUL_3]], [[HIGH:%.*]]
 967 ; CHECK-NEXT:    [[C_2:%.*]] = icmp ugt i8 [[START]], 0
 968 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
 969 ; CHECK-NEXT:    br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]
 970 ; CHECK:       then:
 971 ; CHECK-NEXT:    ret void
 972 ; CHECK:       else:
 973 ; CHECK-NEXT:    [[C_4:%.*]] = icmp slt i8 [[START]], [[HIGH]]
 974 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
 975 ; CHECK-NEXT:    [[ELSE_START_1:%.*]] = mul nsw i8 [[START]], 1
 976 ; CHECK-NEXT:    [[C_5:%.*]] = icmp slt i8 [[ELSE_START_1]], [[HIGH]]
 977 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
 978 ; CHECK-NEXT:    [[ELSE_START_2:%.*]] = mul nsw i8 [[START]], 2
 979 ; CHECK-NEXT:    [[C_6:%.*]] = icmp slt i8 [[ELSE_START_2]], [[HIGH]]
 980 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
 981 ; CHECK-NEXT:    [[ELSE_START_3:%.*]] = mul nsw i8 [[START]], 3
 982 ; CHECK-NEXT:    [[C_7:%.*]] = icmp slt i8 [[ELSE_START_3]], [[HIGH]]
 983 ; CHECK-NEXT:    call void @use(i1 [[C_7]])
 984 ; CHECK-NEXT:    [[ELSE_START_4:%.*]] = mul nsw i8 [[START]], 4
 985 ; CHECK-NEXT:    [[C_8:%.*]] = icmp slt i8 [[ELSE_START_4]], [[HIGH]]
 986 ; CHECK-NEXT:    call void @use(i1 [[C_8]])
 987 ; CHECK-NEXT:    ret void
 988 ;
 989 entry:
 990   %mul.3  = mul nsw i8 %start, 3
 991   %c.1 = icmp ult i8 %mul.3, %high
 992   %c.2 = icmp ugt i8 %start, 0
 993   %and = and i1 %c.1, %c.2
 994   br i1 %and, label %then, label %else
 995
 996 then:
 997   ret void
 998
 999 else:
1000   %c.4 = icmp slt i8 %start, %high
1001   call void @use(i1 %c.4)
1002   %else.start.1 = mul nsw i8 %start, 1
1003   %c.5 = icmp slt i8 %else.start.1, %high
1004   call void @use(i1 %c.5)
1005   %else.start.2 = mul nsw i8 %start, 2
1006   %c.6 = icmp slt i8 %else.start.2, %high
1007   call void @use(i1 %c.6)
1008   %else.start.3 = mul nsw i8 %start, 3
1009   %c.7 = icmp slt i8 %else.start.3, %high
1010   call void @use(i1 %c.7)
1011   %else.start.4 = mul nsw i8 %start, 4
1012   %c.8 = icmp slt i8 %else.start.4, %high
1013   call void @use(i1 %c.8)
1014   ret void
1015 }