llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned-is-known-non-negative.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
   6 define void @iv_known_non_negative_constant_trip_count() {
   7 ; CHECK-LABEL: @iv_known_non_negative_constant_trip_count(
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    br label [[LOOP_HEADER:%.*]]
  10 ; CHECK:       loop.header:
  11 ; CHECK-NEXT:    [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
  12 ; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[IV]], 2
  13 ; CHECK-NEXT:    br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
  14 ; CHECK:       loop.latch:
  15 ; CHECK-NEXT:    call void @use(i1 true)
  16 ; CHECK-NEXT:    call void @use(i1 true)
  17 ; CHECK-NEXT:    call void @use(i1 false)
  18 ; CHECK-NEXT:    call void @use(i1 false)
  19 ; CHECK-NEXT:    call void @use(i1 false)
  20 ; CHECK-NEXT:    [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
  21 ; CHECK-NEXT:    br label [[LOOP_HEADER]]
  22 ; CHECK:       exit.1:
  23 ; CHECK-NEXT:    ret void
  24 ;
  25 entry:
  26   br label %loop.header
  27
  28 loop.header:
  29   %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
  30   %cmp = icmp slt i8 %iv, 2
  31   br i1 %cmp, label %loop.latch, label %exit.1
  32
  33 loop.latch:
  34   %t.1 = icmp ugt i8 2, %iv
  35   call void @use(i1 %t.1)
  36   %t.2 = icmp sgt i8 2, %iv
  37   call void @use(i1 %t.2)
  38   %f.1 = icmp ule i8 2, %iv
  39   call void @use(i1 %f.1)
  40   %f.2 = icmp sle i8 2, %iv
  41   call void @use(i1 %f.2)
  42   %c.0 = icmp ugt i8 %iv, 2
  43   call void @use(i1 %c.0)
  44   %iv.next = add nuw nsw i8 %iv, 1
  45   br label %loop.header
  46
  47 exit.1:
  48   ret void
  49 }
  50
  51 define void @iv_known_non_negative_constant_trip_count_no_nsw_flag(i8 %N) {
  52 ; CHECK-LABEL: @iv_known_non_negative_constant_trip_count_no_nsw_flag(
  53 ; CHECK-NEXT:  entry:
  54 ; CHECK-NEXT:    br label [[LOOP_HEADER:%.*]]
  55 ; CHECK:       loop.header:
  56 ; CHECK-NEXT:    [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
  57 ; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[IV]], 2
  58 ; CHECK-NEXT:    br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
  59 ; CHECK:       loop.latch:
  60 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ugt i8 [[N:%.*]], [[IV]]
  61 ; CHECK-NEXT:    call void @use(i1 [[T_1]])
  62 ; CHECK-NEXT:    [[T_2:%.*]] = icmp sgt i8 [[N]], [[IV]]
  63 ; CHECK-NEXT:    call void @use(i1 [[T_2]])
  64 ; CHECK-NEXT:    [[F_1:%.*]] = icmp ule i8 [[N]], [[IV]]
  65 ; CHECK-NEXT:    call void @use(i1 [[F_1]])
  66 ; CHECK-NEXT:    [[F_2:%.*]] = icmp sle i8 [[N]], [[IV]]
  67 ; CHECK-NEXT:    call void @use(i1 [[F_2]])
  68 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
  69 ; CHECK-NEXT:    call void @use(i1 [[C_0]])
  70 ; CHECK-NEXT:    [[IV_NEXT]] = add nuw i8 [[IV]], 1
  71 ; CHECK-NEXT:    br label [[LOOP_HEADER]]
  72 ; CHECK:       exit.1:
  73 ; CHECK-NEXT:    ret void
  74 ;
  75 entry:
  76   br label %loop.header
  77
  78 loop.header:
  79   %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
  80   %cmp = icmp slt i8 %iv, 2
  81   br i1 %cmp, label %loop.latch, label %exit.1
  82
  83 loop.latch:
  84   %t.1 = icmp ugt i8 %N, %iv
  85   call void @use(i1 %t.1)
  86   %t.2 = icmp sgt i8 %N, %iv
  87   call void @use(i1 %t.2)
  88   %f.1 = icmp ule i8 %N, %iv
  89   call void @use(i1 %f.1)
  90   %f.2 = icmp sle i8 %N, %iv
  91   call void @use(i1 %f.2)
  92   %c.0 = icmp ugt i8 %iv, 2
  93   call void @use(i1 %c.0)
  94   %iv.next = add nuw i8 %iv, 1
  95   br label %loop.header
  96
  97 exit.1:
  98   ret void
  99 }
 100
 101 define void @iv_known_non_negative_variable_trip_count(i8 %N) {
 102 ; CHECK-LABEL: @iv_known_non_negative_variable_trip_count(
 103 ; CHECK-NEXT:  entry:
 104 ; CHECK-NEXT:    br label [[LOOP_HEADER:%.*]]
 105 ; CHECK:       loop.header:
 106 ; CHECK-NEXT:    [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
 107 ; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[IV]], [[N:%.*]]
 108 ; CHECK-NEXT:    br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
 109 ; CHECK:       loop.latch:
 110 ; CHECK-NEXT:    call void @use(i1 true)
 111 ; CHECK-NEXT:    call void @use(i1 true)
 112 ; CHECK-NEXT:    call void @use(i1 false)
 113 ; CHECK-NEXT:    call void @use(i1 false)
 114 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
 115 ; CHECK-NEXT:    call void @use(i1 [[C_0]])
 116 ; CHECK-NEXT:    [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
 117 ; CHECK-NEXT:    br label [[LOOP_HEADER]]
 118 ; CHECK:       exit.1:
 119 ; CHECK-NEXT:    ret void
 120 ;
 121 entry:
 122   br label %loop.header
 123
 124 loop.header:
 125   %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
 126   %cmp = icmp slt i8 %iv, %N
 127   br i1 %cmp, label %loop.latch, label %exit.1
 128
 129 loop.latch:
 130   %t.1 = icmp ugt i8 %N, %iv
 131   call void @use(i1 %t.1)
 132   %t.2 = icmp sgt i8 %N, %iv
 133   call void @use(i1 %t.2)
 134   %f.1 = icmp ule i8 %N, %iv
 135   call void @use(i1 %f.1)
 136   %f.2 = icmp sle i8 %N, %iv
 137   call void @use(i1 %f.2)
 138   %c.0 = icmp ugt i8 %iv, 2
 139   call void @use(i1 %c.0)
 140   %iv.next = add nuw nsw i8 %iv, 1
 141   br label %loop.header
 142
 143 exit.1:
 144   ret void
 145 }
 146
 147 define void @iv_may_signed_wrap_variable_trip_count(i8 %N) {
 148 ; CHECK-LABEL: @iv_may_signed_wrap_variable_trip_count(
 149 ; CHECK-NEXT:  entry:
 150 ; CHECK-NEXT:    br label [[LOOP_HEADER:%.*]]
 151 ; CHECK:       loop.header:
 152 ; CHECK-NEXT:    [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
 153 ; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[IV]], [[N:%.*]]
 154 ; CHECK-NEXT:    br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
 155 ; CHECK:       loop.latch:
 156 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ugt i8 [[N]], [[IV]]
 157 ; CHECK-NEXT:    call void @use(i1 [[T_1]])
 158 ; CHECK-NEXT:    call void @use(i1 true)
 159 ; CHECK-NEXT:    [[F_1:%.*]] = icmp ule i8 [[N]], [[IV]]
 160 ; CHECK-NEXT:    call void @use(i1 [[F_1]])
 161 ; CHECK-NEXT:    call void @use(i1 false)
 162 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
 163 ; CHECK-NEXT:    call void @use(i1 [[C_0]])
 164 ; CHECK-NEXT:    [[IV_NEXT]] = add nuw i8 [[IV]], 1
 165 ; CHECK-NEXT:    br label [[LOOP_HEADER]]
 166 ; CHECK:       exit.1:
 167 ; CHECK-NEXT:    ret void
 168 ;
 169 entry:
 170   br label %loop.header
 171
 172 loop.header:
 173   %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
 174   %cmp = icmp slt i8 %iv, %N
 175   br i1 %cmp, label %loop.latch, label %exit.1
 176
 177 loop.latch:
 178   %t.1 = icmp ugt i8 %N, %iv
 179   call void @use(i1 %t.1)
 180   %t.2 = icmp sgt i8 %N, %iv
 181   call void @use(i1 %t.2)
 182   %f.1 = icmp ule i8 %N, %iv
 183   call void @use(i1 %f.1)
 184   %f.2 = icmp sle i8 %N, %iv
 185   call void @use(i1 %f.2)
 186   %c.0 = icmp ugt i8 %iv, 2
 187   call void @use(i1 %c.0)
 188   %iv.next = add nuw i8 %iv, 1
 189   br label %loop.header
 190
 191 exit.1:
 192   ret void
 193 }
 194
 195 define void @iv_known_non_negative_iv_constant_trip_count_sgt() {
 196 ; CHECK-LABEL: @iv_known_non_negative_iv_constant_trip_count_sgt(
 197 ; CHECK-NEXT:  entry:
 198 ; CHECK-NEXT:    br label [[LOOP_HEADER:%.*]]
 199 ; CHECK:       loop.header:
 200 ; CHECK-NEXT:    [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
 201 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 2, [[IV]]
 202 ; CHECK-NEXT:    br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
 203 ; CHECK:       loop.latch:
 204 ; CHECK-NEXT:    call void @use(i1 false)
 205 ; CHECK-NEXT:    call void @use(i1 true)
 206 ; CHECK-NEXT:    call void @use(i1 false)
 207 ; CHECK-NEXT:    call void @use(i1 false)
 208 ; CHECK-NEXT:    call void @use(i1 false)
 209 ; CHECK-NEXT:    [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
 210 ; CHECK-NEXT:    br label [[LOOP_HEADER]]
 211 ; CHECK:       exit.1:
 212 ; CHECK-NEXT:    ret void
 213 ;
 214 entry:
 215   br label %loop.header
 216
 217 loop.header:
 218   %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
 219   %cmp = icmp sgt i8 2, %iv
 220   br i1 %cmp, label %loop.latch, label %exit.1
 221
 222 loop.latch:
 223   %t.1 = icmp ugt i8 %iv, 2
 224   call void @use(i1 %t.1)
 225   %t.2 = icmp sgt i8 2, %iv
 226   call void @use(i1 %t.2)
 227   %f.1 = icmp ule i8 2, %iv
 228   call void @use(i1 %f.1)
 229   %f.2 = icmp sle i8 2, %iv
 230   call void @use(i1 %f.2)
 231   %c.0 = icmp ugt i8 %iv, 2
 232   call void @use(i1 %c.0)
 233   %iv.next = add nsw nuw i8 %iv, 1
 234   br label %loop.header
 235
 236 exit.1:
 237   ret void
 238 }
 239
 240 define void @iv_known_non_negative_iv_variable_trip_count_sgt(i8 %N) {
 241 ; CHECK-LABEL: @iv_known_non_negative_iv_variable_trip_count_sgt(
 242 ; CHECK-NEXT:  entry:
 243 ; CHECK-NEXT:    br label [[LOOP_HEADER:%.*]]
 244 ; CHECK:       loop.header:
 245 ; CHECK-NEXT:    [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
 246 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[N:%.*]], [[IV]]
 247 ; CHECK-NEXT:    br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
 248 ; CHECK:       loop.latch:
 249 ; CHECK-NEXT:    call void @use(i1 false)
 250 ; CHECK-NEXT:    call void @use(i1 true)
 251 ; CHECK-NEXT:    call void @use(i1 false)
 252 ; CHECK-NEXT:    call void @use(i1 false)
 253 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
 254 ; CHECK-NEXT:    call void @use(i1 [[C_0]])
 255 ; CHECK-NEXT:    [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
 256 ; CHECK-NEXT:    br label [[LOOP_HEADER]]
 257 ; CHECK:       exit.1:
 258 ; CHECK-NEXT:    ret void
 259 ;
 260 entry:
 261   br label %loop.header
 262
 263 loop.header:
 264   %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
 265   %cmp = icmp sgt i8 %N, %iv
 266   br i1 %cmp, label %loop.latch, label %exit.1
 267
 268 loop.latch:
 269   %t.1 = icmp ugt i8 %iv, %N
 270   call void @use(i1 %t.1)
 271   %t.2 = icmp sgt i8 %N, %iv
 272   call void @use(i1 %t.2)
 273   %f.1 = icmp ule i8 %N, %iv
 274   call void @use(i1 %f.1)
 275   %f.2 = icmp sle i8 %N, %iv
 276   call void @use(i1 %f.2)
 277   %c.0 = icmp ugt i8 %iv, 2
 278   call void @use(i1 %c.0)
 279   %iv.next = add nsw nuw i8 %iv, 1
 280   br label %loop.header
 281
 282 exit.1:
 283   ret void
 284 }
 285
 286
 287 define void @iv_known_non_negative_iv_variable_trip_count_sgt_ops_flipped(i8 %N) {
 288 ; CHECK-LABEL: @iv_known_non_negative_iv_variable_trip_count_sgt_ops_flipped(
 289 ; CHECK-NEXT:  entry:
 290 ; CHECK-NEXT:    br label [[LOOP_HEADER:%.*]]
 291 ; CHECK:       loop.header:
 292 ; CHECK-NEXT:    [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
 293 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[IV]], [[N:%.*]]
 294 ; CHECK-NEXT:    br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
 295 ; CHECK:       loop.latch:
 296 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ugt i8 [[IV]], [[N]]
 297 ; CHECK-NEXT:    call void @use(i1 [[T_1]])
 298 ; CHECK-NEXT:    call void @use(i1 true)
 299 ; CHECK-NEXT:    [[F_1:%.*]] = icmp ule i8 [[N]], [[IV]]
 300 ; CHECK-NEXT:    call void @use(i1 [[F_1]])
 301 ; CHECK-NEXT:    call void @use(i1 true)
 302 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
 303 ; CHECK-NEXT:    call void @use(i1 [[C_0]])
 304 ; CHECK-NEXT:    [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
 305 ; CHECK-NEXT:    br label [[LOOP_HEADER]]
 306 ; CHECK:       exit.1:
 307 ; CHECK-NEXT:    ret void
 308 ;
 309 entry:
 310   br label %loop.header
 311
 312 loop.header:
 313   %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
 314   %cmp = icmp sgt i8 %iv, %N
 315   br i1 %cmp, label %loop.latch, label %exit.1
 316
 317 loop.latch:
 318   %t.1 = icmp ugt i8 %iv, %N
 319   call void @use(i1 %t.1)
 320   %t.2 = icmp sgt i8 %iv, %N
 321   call void @use(i1 %t.2)
 322   %f.1 = icmp ule i8 %N, %iv
 323   call void @use(i1 %f.1)
 324   %f.2 = icmp sle i8 %N, %iv
 325   call void @use(i1 %f.2)
 326   %c.0 = icmp ugt i8 %iv, 2
 327   call void @use(i1 %c.0)
 328   %iv.next = add nsw nuw i8 %iv, 1
 329   br label %loop.header
 330
 331 exit.1:
 332   ret void
 333 }
 334
 335 define void @iv_known_non_negative_iv_constant_trip_count_sge() {
 336 ; CHECK-LABEL: @iv_known_non_negative_iv_constant_trip_count_sge(
 337 ; CHECK-NEXT:  entry:
 338 ; CHECK-NEXT:    br label [[LOOP_HEADER:%.*]]
 339 ; CHECK:       loop.header:
 340 ; CHECK-NEXT:    [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
 341 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sge i8 2, [[IV]]
 342 ; CHECK-NEXT:    br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
 343 ; CHECK:       loop.latch:
 344 ; CHECK-NEXT:    call void @use(i1 true)
 345 ; CHECK-NEXT:    call void @use(i1 true)
 346 ; CHECK-NEXT:    call void @use(i1 false)
 347 ; CHECK-NEXT:    call void @use(i1 false)
 348 ; CHECK-NEXT:    call void @use(i1 false)
 349 ; CHECK-NEXT:    [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
 350 ; CHECK-NEXT:    br label [[LOOP_HEADER]]
 351 ; CHECK:       exit.1:
 352 ; CHECK-NEXT:    ret void
 353 ;
 354 entry:
 355   br label %loop.header
 356
 357 loop.header:
 358   %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
 359   %cmp = icmp sge i8 2, %iv
 360   br i1 %cmp, label %loop.latch, label %exit.1
 361
 362 loop.latch:
 363   %t.1 = icmp uge i8 2, %iv
 364   call void @use(i1 %t.1)
 365   %t.2 = icmp sge i8 2, %iv
 366   call void @use(i1 %t.2)
 367   %f.1 = icmp ult i8 2, %iv
 368   call void @use(i1 %f.1)
 369   %f.2 = icmp slt i8 2, %iv
 370   call void @use(i1 %f.2)
 371   %c.0 = icmp ugt i8 %iv, 2
 372   call void @use(i1 %c.0)
 373   %iv.next = add nsw nuw i8 %iv, 1
 374   br label %loop.header
 375
 376 exit.1:
 377   ret void
 378 }
 379
 380 define void @iv_known_non_negative_iv_variable_trip_count_sge(i8 %N) {
 381 ; CHECK-LABEL: @iv_known_non_negative_iv_variable_trip_count_sge(
 382 ; CHECK-NEXT:  entry:
 383 ; CHECK-NEXT:    br label [[LOOP_HEADER:%.*]]
 384 ; CHECK:       loop.header:
 385 ; CHECK-NEXT:    [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
 386 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sge i8 [[N:%.*]], [[IV]]
 387 ; CHECK-NEXT:    br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
 388 ; CHECK:       loop.latch:
 389 ; CHECK-NEXT:    call void @use(i1 true)
 390 ; CHECK-NEXT:    call void @use(i1 true)
 391 ; CHECK-NEXT:    call void @use(i1 false)
 392 ; CHECK-NEXT:    call void @use(i1 false)
 393 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
 394 ; CHECK-NEXT:    call void @use(i1 [[C_0]])
 395 ; CHECK-NEXT:    [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
 396 ; CHECK-NEXT:    br label [[LOOP_HEADER]]
 397 ; CHECK:       exit.1:
 398 ; CHECK-NEXT:    ret void
 399 ;
 400 entry:
 401   br label %loop.header
 402
 403 loop.header:
 404   %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
 405   %cmp = icmp sge i8 %N, %iv
 406   br i1 %cmp, label %loop.latch, label %exit.1
 407
 408 loop.latch:
 409   %t.1 = icmp uge i8 %N, %iv
 410   call void @use(i1 %t.1)
 411   %t.2 = icmp sge i8 %N, %iv
 412   call void @use(i1 %t.2)
 413   %f.1 = icmp ult i8 %N, %iv
 414   call void @use(i1 %f.1)
 415   %f.2 = icmp slt i8 %N, %iv
 416   call void @use(i1 %f.2)
 417   %c.0 = icmp ugt i8 %iv, 2
 418   call void @use(i1 %c.0)
 419   %iv.next = add nsw nuw i8 %iv, 1
 420   br label %loop.header
 421
 422 exit.1:
 423   ret void
 424 }
 425
 426 define void @iv_known_non_negative_iv_variable_trip_count_sge_operands_swapped(i8 %N) {
 427 ; CHECK-LABEL: @iv_known_non_negative_iv_variable_trip_count_sge_operands_swapped(
 428 ; CHECK-NEXT:  entry:
 429 ; CHECK-NEXT:    br label [[LOOP_HEADER:%.*]]
 430 ; CHECK:       loop.header:
 431 ; CHECK-NEXT:    [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
 432 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sge i8 [[IV]], [[N:%.*]]
 433 ; CHECK-NEXT:    br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
 434 ; CHECK:       loop.latch:
 435 ; CHECK-NEXT:    [[T_1:%.*]] = icmp uge i8 [[N]], [[IV]]
 436 ; CHECK-NEXT:    call void @use(i1 [[T_1]])
 437 ; CHECK-NEXT:    [[T_2:%.*]] = icmp sge i8 [[N]], [[IV]]
 438 ; CHECK-NEXT:    call void @use(i1 [[T_2]])
 439 ; CHECK-NEXT:    [[F_1:%.*]] = icmp ult i8 [[N]], [[IV]]
 440 ; CHECK-NEXT:    call void @use(i1 [[F_1]])
 441 ; CHECK-NEXT:    [[F_2:%.*]] = icmp slt i8 [[N]], [[IV]]
 442 ; CHECK-NEXT:    call void @use(i1 [[F_2]])
 443 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
 444 ; CHECK-NEXT:    call void @use(i1 [[C_0]])
 445 ; CHECK-NEXT:    [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
 446 ; CHECK-NEXT:    br label [[LOOP_HEADER]]
 447 ; CHECK:       exit.1:
 448 ; CHECK-NEXT:    ret void
 449 ;
 450 entry:
 451   br label %loop.header
 452
 453 loop.header:
 454   %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
 455   %cmp = icmp sge i8 %iv, %N
 456   br i1 %cmp, label %loop.latch, label %exit.1
 457
 458 loop.latch:
 459   %t.1 = icmp uge i8 %N, %iv
 460   call void @use(i1 %t.1)
 461   %t.2 = icmp sge i8 %N, %iv
 462   call void @use(i1 %t.2)
 463   %f.1 = icmp ult i8 %N, %iv
 464   call void @use(i1 %f.1)
 465   %f.2 = icmp slt i8 %N, %iv
 466   call void @use(i1 %f.2)
 467   %c.0 = icmp ugt i8 %iv, 2
 468   call void @use(i1 %c.0)
 469   %iv.next = add nsw nuw i8 %iv, 1
 470   br label %loop.header
 471
 472 exit.1:
 473   ret void
 474 }