llvm/test/Transforms/ConstraintElimination/loops.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -constraint-elimination -S %s | FileCheck %s
   3
   4 declare void @use(i1)
   5
   6 ; Make sure conditions in loops are not used to simplify themselves.
   7
   8 define void @loop1(float* %T, float* %x, i32 %points, i32 %trigint) {
   9 ; CHECK-LABEL: @loop1(
  10 ; CHECK-NEXT:  entry:
  11 ; CHECK-NEXT:    [[IDX_EXT:%.*]] = sext i32 [[POINTS:%.*]] to i64
  12 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds float, float* [[X:%.*]], i64 [[IDX_EXT]]
  13 ; CHECK-NEXT:    [[ADD_PTR1:%.*]] = getelementptr inbounds float, float* [[ADD_PTR]], i64 -8
  14 ; CHECK-NEXT:    [[SHR:%.*]] = ashr i32 [[POINTS]], 1
  15 ; CHECK-NEXT:    [[IDX_EXT2:%.*]] = sext i32 [[SHR]] to i64
  16 ; CHECK-NEXT:    [[ADD_PTR3:%.*]] = getelementptr inbounds float, float* [[X]], i64 [[IDX_EXT2]]
  17 ; CHECK-NEXT:    [[ADD_PTR4:%.*]] = getelementptr inbounds float, float* [[ADD_PTR3]], i64 -8
  18 ; CHECK-NEXT:    br label [[DO_BODY:%.*]]
  19 ; CHECK:       do.body:
  20 ; CHECK-NEXT:    [[X2_0:%.*]] = phi float* [ [[ADD_PTR4]], [[ENTRY:%.*]] ], [ [[ADD_PTR106:%.*]], [[DO_BODY]] ]
  21 ; CHECK-NEXT:    [[X1_0:%.*]] = phi float* [ [[ADD_PTR1]], [[ENTRY]] ], [ [[ADD_PTR105:%.*]], [[DO_BODY]] ]
  22 ; CHECK-NEXT:    [[ADD_PTR105]] = getelementptr inbounds float, float* [[X1_0]], i64 -8
  23 ; CHECK-NEXT:    [[ADD_PTR106]] = getelementptr inbounds float, float* [[X2_0]], i64 -8
  24 ; CHECK-NEXT:    [[CMP:%.*]] = icmp uge float* [[ADD_PTR106]], [[X]]
  25 ; CHECK-NEXT:    br i1 [[CMP]], label [[DO_BODY]], label [[DO_END:%.*]]
  26 ; CHECK:       do.end:
  27 ; CHECK-NEXT:    ret void
  28 ;
  29 entry:
  30   %idx.ext = sext i32 %points to i64
  31   %add.ptr = getelementptr inbounds float, float* %x, i64 %idx.ext
  32   %add.ptr1 = getelementptr inbounds float, float* %add.ptr, i64 -8
  33   %shr = ashr i32 %points, 1
  34   %idx.ext2 = sext i32 %shr to i64
  35   %add.ptr3 = getelementptr inbounds float, float* %x, i64 %idx.ext2
  36   %add.ptr4 = getelementptr inbounds float, float* %add.ptr3, i64 -8
  37   br label %do.body
  38
  39 do.body:                                          ; preds = %do.body, %entry
  40   %x2.0 = phi float* [ %add.ptr4, %entry ], [ %add.ptr106, %do.body ]
  41   %x1.0 = phi float* [ %add.ptr1, %entry ], [ %add.ptr105, %do.body ]
  42   %add.ptr105 = getelementptr inbounds float, float* %x1.0, i64 -8
  43   %add.ptr106 = getelementptr inbounds float, float* %x2.0, i64 -8
  44   %cmp = icmp uge float* %add.ptr106, %x
  45   br i1 %cmp, label %do.body, label %do.end
  46
  47 do.end:                                           ; preds = %do.body
  48   ret void
  49 }
  50
  51
  52 ; Some tests with loops with conditions in the header.
  53
  54 define i32 @loop_header_dom(i32 %y, i1 %c) {
  55 ; CHECK-LABEL: @loop_header_dom(
  56 ; CHECK-NEXT:  entry:
  57 ; CHECK-NEXT:    br i1 [[C:%.*]], label [[LOOP_HEADER:%.*]], label [[EXIT:%.*]]
  58 ; CHECK:       loop.header:
  59 ; CHECK-NEXT:    [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
  60 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule i32 [[X]], 10
  61 ; CHECK-NEXT:    br i1 [[C_1]], label [[LOOP_LATCH]], label [[EXIT]]
  62 ; CHECK:       loop.latch:
  63 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ule i32 [[X]], 10
  64 ; CHECK-NEXT:    call void @use(i1 true)
  65 ; CHECK-NEXT:    [[F_1:%.*]] = icmp ugt i32 [[X]], 10
  66 ; CHECK-NEXT:    call void @use(i1 false)
  67 ; CHECK-NEXT:    [[C_2:%.*]] = icmp ule i32 [[X]], 9
  68 ; CHECK-NEXT:    call void @use(i1 [[C_2]])
  69 ; CHECK-NEXT:    [[C_3:%.*]] = icmp ugt i32 [[X]], 9
  70 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
  71 ; CHECK-NEXT:    [[X_NEXT]] = add i32 [[X]], 1
  72 ; CHECK-NEXT:    br label [[LOOP_HEADER]]
  73 ; CHECK:       exit:
  74 ; CHECK-NEXT:    [[C_4:%.*]] = icmp ugt i32 [[Y:%.*]], 10
  75 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
  76 ; CHECK-NEXT:    ret i32 20
  77 ;
  78 entry:
  79   br i1 %c, label %loop.header, label %exit
  80
  81 loop.header:
  82   %x = phi i32 [ 0, %entry ], [ %x.next, %loop.latch ]
  83   %c.1 = icmp ule i32 %x, 10
  84   br i1 %c.1, label %loop.latch, label %exit
  85
  86 loop.latch:
  87   %t.1 = icmp ule i32 %x, 10
  88   call void @use(i1 %t.1)
  89   %f.1 = icmp ugt i32 %x, 10
  90   call void @use(i1 %f.1)
  91
  92   %c.2 = icmp ule i32 %x, 9
  93   call void @use(i1 %c.2)
  94   %c.3 = icmp ugt i32 %x, 9
  95   call void @use(i1 %c.3)
  96
  97   %x.next = add i32 %x, 1
  98   br label %loop.header
  99
 100 exit:
 101   %c.4 = icmp ugt i32 %y, 10
 102   call void @use(i1 %c.4)
 103   ret i32 20
 104 }
 105
 106 define i32 @loop_header_dom_successors_flipped(i32 %y, i1 %c) {
 107 ; CHECK-LABEL: @loop_header_dom_successors_flipped(
 108 ; CHECK-NEXT:  entry:
 109 ; CHECK-NEXT:    br i1 [[C:%.*]], label [[LOOP_HEADER:%.*]], label [[EXIT:%.*]]
 110 ; CHECK:       loop.header:
 111 ; CHECK-NEXT:    [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
 112 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule i32 [[X]], 10
 113 ; CHECK-NEXT:    br i1 [[C_1]], label [[EXIT]], label [[LOOP_LATCH]]
 114 ; CHECK:       loop.latch:
 115 ; CHECK-NEXT:    [[F_1:%.*]] = icmp ule i32 [[X]], 10
 116 ; CHECK-NEXT:    call void @use(i1 false)
 117 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ugt i32 [[X]], 10
 118 ; CHECK-NEXT:    call void @use(i1 true)
 119 ; CHECK-NEXT:    [[C_2:%.*]] = icmp ugt i32 [[X]], 11
 120 ; CHECK-NEXT:    call void @use(i1 [[C_2]])
 121 ; CHECK-NEXT:    [[C_3:%.*]] = icmp ule i32 [[X]], 11
 122 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
 123 ; CHECK-NEXT:    [[X_NEXT]] = add i32 [[X]], 1
 124 ; CHECK-NEXT:    br label [[LOOP_HEADER]]
 125 ; CHECK:       exit:
 126 ; CHECK-NEXT:    [[C_4:%.*]] = icmp ugt i32 [[Y:%.*]], 10
 127 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
 128 ; CHECK-NEXT:    ret i32 20
 129 ;
 130 entry:
 131   br i1 %c, label %loop.header, label %exit
 132
 133 loop.header:
 134   %x = phi i32 [ 0, %entry ], [ %x.next, %loop.latch ]
 135   %c.1 = icmp ule i32 %x, 10
 136   br i1 %c.1, label %exit, label %loop.latch
 137
 138 loop.latch:
 139   %f.1 = icmp ule i32 %x, 10
 140   call void @use(i1 %f.1)
 141   %t.1 = icmp ugt i32 %x, 10
 142   call void @use(i1 %t.1)
 143
 144   %c.2 = icmp ugt i32 %x, 11
 145   call void @use(i1 %c.2)
 146   %c.3 = icmp ule i32 %x,11
 147   call void @use(i1 %c.3)
 148
 149   %x.next = add i32 %x, 1
 150   br label %loop.header
 151
 152 exit:
 153   %c.4 = icmp ugt i32 %y, 10
 154   call void @use(i1 %c.4)
 155   ret i32 20
 156 }
 157
 158 define void @loop_header_dom_or(i32 %y, i1 %c) {
 159 ; CHECK-LABEL: @loop_header_dom_or(
 160 ; CHECK-NEXT:  entry:
 161 ; CHECK-NEXT:    br i1 [[C:%.*]], label [[LOOP_HEADER:%.*]], label [[EXIT:%.*]]
 162 ; CHECK:       loop.header:
 163 ; CHECK-NEXT:    [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
 164 ; CHECK-NEXT:    [[X_1:%.*]] = icmp ule i32 [[X]], 10
 165 ; CHECK-NEXT:    [[Y_1:%.*]] = icmp ugt i32 [[Y:%.*]], 99
 166 ; CHECK-NEXT:    [[OR:%.*]] = or i1 [[X_1]], [[Y_1]]
 167 ; CHECK-NEXT:    br i1 [[OR]], label [[EXIT]], label [[LOOP_LATCH]]
 168 ; CHECK:       loop.latch:
 169 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ugt i32 [[X]], 10
 170 ; CHECK-NEXT:    call void @use(i1 true)
 171 ; CHECK-NEXT:    [[F_1:%.*]] = icmp ule i32 [[X]], 10
 172 ; CHECK-NEXT:    call void @use(i1 false)
 173 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ugt i32 [[X]], 11
 174 ; CHECK-NEXT:    call void @use(i1 [[C_1]])
 175 ; CHECK-NEXT:    [[C_2:%.*]] = icmp ule i32 [[X]], 11
 176 ; CHECK-NEXT:    call void @use(i1 [[C_2]])
 177 ; CHECK-NEXT:    [[T_2:%.*]] = icmp ule i32 [[Y]], 99
 178 ; CHECK-NEXT:    call void @use(i1 true)
 179 ; CHECK-NEXT:    [[F_2:%.*]] = icmp ugt i32 [[Y]], 99
 180 ; CHECK-NEXT:    call void @use(i1 false)
 181 ; CHECK-NEXT:    [[C_3:%.*]] = icmp ule i32 [[Y]], 98
 182 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
 183 ; CHECK-NEXT:    [[C_4:%.*]] = icmp ule i32 [[Y]], 98
 184 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
 185 ; CHECK-NEXT:    [[X_NEXT]] = add i32 [[X]], 1
 186 ; CHECK-NEXT:    br label [[LOOP_HEADER]]
 187 ; CHECK:       exit:
 188 ; CHECK-NEXT:    [[C_5:%.*]] = icmp ugt i32 [[Y]], 10
 189 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
 190 ; CHECK-NEXT:    ret void
 191 ;
 192 entry:
 193   br i1 %c, label %loop.header, label %exit
 194
 195 loop.header:
 196   %x = phi i32 [ 0, %entry ], [ %x.next, %loop.latch ]
 197   %x.1 = icmp ule i32 %x, 10
 198   %y.1 = icmp ugt i32 %y, 99
 199   %or = or i1 %x.1, %y.1
 200   br i1 %or, label %exit, label %loop.latch
 201
 202 loop.latch:
 203   %t.1 = icmp ugt i32 %x, 10
 204   call void @use(i1 %t.1)
 205   %f.1 = icmp ule i32 %x, 10
 206   call void @use(i1 %f.1)
 207   %c.1 = icmp ugt i32 %x, 11
 208   call void @use(i1 %c.1)
 209   %c.2 = icmp ule i32 %x, 11
 210   call void @use(i1 %c.2)
 211
 212
 213   %t.2 = icmp ule i32 %y, 99
 214   call void @use(i1 %t.2)
 215   %f.2 = icmp ugt i32 %y, 99
 216   call void @use(i1 %f.2)
 217
 218   %c.3 = icmp ule i32 %y, 98
 219   call void @use(i1 %c.3)
 220   %c.4 = icmp ule i32 %y, 98
 221   call void @use(i1 %c.4)
 222
 223   %x.next = add i32 %x, 1
 224   br label %loop.header
 225
 226 exit:
 227   %c.5 = icmp ugt i32 %y, 10
 228   call void @use(i1 %c.5)
 229   ret void
 230 }
 231
 232 define void @loop_header_dom_or_successors_flipped(i32 %y, i1 %c) {
 233 ; CHECK-LABEL: @loop_header_dom_or_successors_flipped(
 234 ; CHECK-NEXT:  entry:
 235 ; CHECK-NEXT:    br i1 [[C:%.*]], label [[LOOP_HEADER:%.*]], label [[EXIT:%.*]]
 236 ; CHECK:       loop.header:
 237 ; CHECK-NEXT:    [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
 238 ; CHECK-NEXT:    [[X_1:%.*]] = icmp ule i32 [[X]], 10
 239 ; CHECK-NEXT:    [[Y_1:%.*]] = icmp ugt i32 [[Y:%.*]], 99
 240 ; CHECK-NEXT:    [[OR:%.*]] = or i1 [[X_1]], [[Y_1]]
 241 ; CHECK-NEXT:    br i1 [[OR]], label [[LOOP_LATCH]], label [[EXIT]]
 242 ; CHECK:       loop.latch:
 243 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule i32 [[X]], 10
 244 ; CHECK-NEXT:    call void @use(i1 [[C_1]])
 245 ; CHECK-NEXT:    [[C_2:%.*]] = icmp ugt i32 [[X]], 10
 246 ; CHECK-NEXT:    call void @use(i1 [[C_2]])
 247 ; CHECK-NEXT:    [[C_3:%.*]] = icmp ule i32 [[X]], 9
 248 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
 249 ; CHECK-NEXT:    [[C_4:%.*]] = icmp ugt i32 [[X]], 9
 250 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
 251 ; CHECK-NEXT:    [[C_5:%.*]] = icmp ugt i32 [[Y]], 99
 252 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
 253 ; CHECK-NEXT:    [[C_6:%.*]] = icmp ule i32 [[Y]], 99
 254 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
 255 ; CHECK-NEXT:    [[C_7:%.*]] = icmp ugt i32 [[Y]], 100
 256 ; CHECK-NEXT:    call void @use(i1 [[C_7]])
 257 ; CHECK-NEXT:    [[C_8:%.*]] = icmp ugt i32 [[Y]], 100
 258 ; CHECK-NEXT:    call void @use(i1 [[C_8]])
 259 ; CHECK-NEXT:    [[X_NEXT]] = add i32 [[X]], 1
 260 ; CHECK-NEXT:    br label [[LOOP_HEADER]]
 261 ; CHECK:       exit:
 262 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ugt i32 [[Y]], 10
 263 ; CHECK-NEXT:    call void @use(i1 [[T_1]])
 264 ; CHECK-NEXT:    ret void
 265 ;
 266 entry:
 267   br i1 %c, label %loop.header, label %exit
 268
 269 loop.header:
 270   %x = phi i32 [ 0, %entry ], [ %x.next, %loop.latch ]
 271   %x.1 = icmp ule i32 %x, 10
 272   %y.1 = icmp ugt i32 %y, 99
 273   %or = or i1 %x.1, %y.1
 274   br i1 %or, label %loop.latch, label %exit
 275
 276 loop.latch:
 277   %c.1 = icmp ule i32 %x, 10
 278   call void @use(i1 %c.1)
 279   %c.2 = icmp ugt i32 %x, 10
 280   call void @use(i1 %c.2)
 281   %c.3 = icmp ule i32 %x, 9
 282   call void @use(i1 %c.3)
 283   %c.4 = icmp ugt i32 %x, 9
 284   call void @use(i1 %c.4)
 285
 286
 287   %c.5 = icmp ugt i32 %y, 99
 288   call void @use(i1 %c.5)
 289   %c.6 = icmp ule i32 %y, 99
 290   call void @use(i1 %c.6)
 291
 292   %c.7 = icmp ugt i32 %y, 100
 293   call void @use(i1 %c.7)
 294   %c.8 = icmp ugt i32 %y, 100
 295   call void @use(i1 %c.8)
 296
 297   %x.next = add i32 %x, 1
 298   br label %loop.header
 299
 300 exit:
 301   %t.1 = icmp ugt i32 %y, 10
 302   call void @use(i1 %t.1)
 303   ret void
 304 }
 305
 306
 307 define void @loop_header_dom_and(i32 %y, i1 %c) {
 308 ; CHECK-LABEL: @loop_header_dom_and(
 309 ; CHECK-NEXT:  entry:
 310 ; CHECK-NEXT:    br i1 [[C:%.*]], label [[LOOP_HEADER:%.*]], label [[EXIT:%.*]]
 311 ; CHECK:       exit:
 312 ; CHECK-NEXT:    [[C_5:%.*]] = icmp ugt i32 [[Y:%.*]], 10
 313 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
 314 ; CHECK-NEXT:    ret void
 315 ; CHECK:       loop.header:
 316 ; CHECK-NEXT:    [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
 317 ; CHECK-NEXT:    [[X_1:%.*]] = icmp ule i32 [[X]], 10
 318 ; CHECK-NEXT:    [[Y_1:%.*]] = icmp ugt i32 [[Y]], 99
 319 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[X_1]], [[Y_1]]
 320 ; CHECK-NEXT:    br i1 [[AND]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
 321 ; CHECK:       loop.latch:
 322 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ule i32 [[X]], 10
 323 ; CHECK-NEXT:    call void @use(i1 true)
 324 ; CHECK-NEXT:    [[F_1:%.*]] = icmp ugt i32 [[X]], 10
 325 ; CHECK-NEXT:    call void @use(i1 false)
 326 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule i32 [[X]], 9
 327 ; CHECK-NEXT:    call void @use(i1 [[C_1]])
 328 ; CHECK-NEXT:    [[C_2:%.*]] = icmp ugt i32 [[X]], 9
 329 ; CHECK-NEXT:    call void @use(i1 [[C_2]])
 330 ; CHECK-NEXT:    [[T_2:%.*]] = icmp ugt i32 [[Y]], 99
 331 ; CHECK-NEXT:    call void @use(i1 true)
 332 ; CHECK-NEXT:    [[F_2:%.*]] = icmp ule i32 [[Y]], 99
 333 ; CHECK-NEXT:    call void @use(i1 false)
 334 ; CHECK-NEXT:    [[C_3:%.*]] = icmp ugt i32 [[Y]], 100
 335 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
 336 ; CHECK-NEXT:    [[C_4:%.*]] = icmp ugt i32 [[Y]], 100
 337 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
 338 ; CHECK-NEXT:    [[X_NEXT]] = add i32 [[X]], 1
 339 ; CHECK-NEXT:    br label [[LOOP_HEADER]]
 340 ; CHECK:       exit.1:
 341 ; CHECK-NEXT:    [[C_6:%.*]] = icmp ugt i32 [[Y]], 10
 342 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
 343 ; CHECK-NEXT:    ret void
 344 ;
 345 entry:
 346   br i1 %c, label %loop.header, label %exit
 347
 348 exit:
 349   %c.5 = icmp ugt i32 %y, 10
 350   call void @use(i1 %c.5)
 351   ret void
 352
 353 loop.header:
 354   %x = phi i32 [ 0, %entry ], [ %x.next, %loop.latch ]
 355   %x.1 = icmp ule i32 %x, 10
 356   %y.1 = icmp ugt i32 %y, 99
 357   %and = and i1 %x.1, %y.1
 358   br i1 %and, label %loop.latch, label %exit.1
 359
 360 loop.latch:
 361   %t.1 = icmp ule i32 %x, 10
 362   call void @use(i1 %t.1)
 363   %f.1 = icmp ugt i32 %x, 10
 364   call void @use(i1 %f.1)
 365   %c.1 = icmp ule i32 %x, 9
 366   call void @use(i1 %c.1)
 367   %c.2 = icmp ugt i32 %x, 9
 368   call void @use(i1 %c.2)
 369
 370
 371   %t.2 = icmp ugt i32 %y, 99
 372   call void @use(i1 %t.2)
 373   %f.2 = icmp ule i32 %y, 99
 374   call void @use(i1 %f.2)
 375
 376   %c.3 = icmp ugt i32 %y, 100
 377   call void @use(i1 %c.3)
 378   %c.4 = icmp ugt i32 %y, 100
 379   call void @use(i1 %c.4)
 380
 381   %x.next = add i32 %x, 1
 382   br label %loop.header
 383
 384 exit.1:
 385   %c.6 = icmp ugt i32 %y, 10
 386   call void @use(i1 %c.6)
 387   ret void
 388 }
 389
 390 define void @loop_header_dom_and_successors_flipped(i32 %y, i1 %c) {
 391 ; CHECK-LABEL: @loop_header_dom_and_successors_flipped(
 392 ; CHECK-NEXT:  entry:
 393 ; CHECK-NEXT:    br i1 [[C:%.*]], label [[LOOP_HEADER:%.*]], label [[EXIT:%.*]]
 394 ; CHECK:       exit:
 395 ; CHECK-NEXT:    [[C_9:%.*]] = icmp ugt i32 [[Y:%.*]], 10
 396 ; CHECK-NEXT:    call void @use(i1 [[C_9]])
 397 ; CHECK-NEXT:    ret void
 398 ; CHECK:       loop.header:
 399 ; CHECK-NEXT:    [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
 400 ; CHECK-NEXT:    [[X_1:%.*]] = icmp ule i32 [[X]], 10
 401 ; CHECK-NEXT:    [[Y_1:%.*]] = icmp ugt i32 [[Y]], 99
 402 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[X_1]], [[Y_1]]
 403 ; CHECK-NEXT:    br i1 [[AND]], label [[EXIT_1:%.*]], label [[LOOP_LATCH]]
 404 ; CHECK:       loop.latch:
 405 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule i32 [[X]], 10
 406 ; CHECK-NEXT:    call void @use(i1 [[C_1]])
 407 ; CHECK-NEXT:    [[C_2:%.*]] = icmp ugt i32 [[X]], 10
 408 ; CHECK-NEXT:    call void @use(i1 [[C_2]])
 409 ; CHECK-NEXT:    [[C_3:%.*]] = icmp ule i32 [[X]], 9
 410 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
 411 ; CHECK-NEXT:    [[C_4:%.*]] = icmp ugt i32 [[X]], 9
 412 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
 413 ; CHECK-NEXT:    [[C_5:%.*]] = icmp ugt i32 [[Y]], 99
 414 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
 415 ; CHECK-NEXT:    [[C_6:%.*]] = icmp ule i32 [[Y]], 99
 416 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
 417 ; CHECK-NEXT:    [[C_7:%.*]] = icmp ugt i32 [[Y]], 100
 418 ; CHECK-NEXT:    call void @use(i1 [[C_7]])
 419 ; CHECK-NEXT:    [[C_8:%.*]] = icmp ugt i32 [[Y]], 100
 420 ; CHECK-NEXT:    call void @use(i1 [[C_8]])
 421 ; CHECK-NEXT:    [[X_NEXT]] = add i32 [[X]], 1
 422 ; CHECK-NEXT:    br label [[LOOP_HEADER]]
 423 ; CHECK:       exit.1:
 424 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ugt i32 [[Y]], 10
 425 ; CHECK-NEXT:    call void @use(i1 true)
 426 ; CHECK-NEXT:    ret void
 427 ;
 428 entry:
 429   br i1 %c, label %loop.header, label %exit
 430
 431 exit:
 432   %c.9 = icmp ugt i32 %y, 10
 433   call void @use(i1 %c.9)
 434   ret void
 435
 436 loop.header:
 437   %x = phi i32 [ 0, %entry ], [ %x.next, %loop.latch ]
 438   %x.1 = icmp ule i32 %x, 10
 439   %y.1 = icmp ugt i32 %y, 99
 440   %and = and i1 %x.1, %y.1
 441   br i1 %and, label %exit.1, label %loop.latch
 442
 443 loop.latch:
 444   %c.1 = icmp ule i32 %x, 10
 445   call void @use(i1 %c.1)
 446   %c.2 = icmp ugt i32 %x, 10
 447   call void @use(i1 %c.2)
 448   %c.3 = icmp ule i32 %x, 9
 449   call void @use(i1 %c.3)
 450   %c.4 = icmp ugt i32 %x, 9
 451   call void @use(i1 %c.4)
 452
 453
 454   %c.5 = icmp ugt i32 %y, 99
 455   call void @use(i1 %c.5)
 456   %c.6 = icmp ule i32 %y, 99
 457   call void @use(i1 %c.6)
 458
 459   %c.7 = icmp ugt i32 %y, 100
 460   call void @use(i1 %c.7)
 461   %c.8 = icmp ugt i32 %y, 100
 462   call void @use(i1 %c.8)
 463
 464   %x.next = add i32 %x, 1
 465   br label %loop.header
 466
 467 exit.1:
 468   %t.1 = icmp ugt i32 %y, 10
 469   call void @use(i1 %t.1)
 470   ret void
 471 }