llvm/test/Analysis/MustExecute/const-cond.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py\r
   2 ; RUN: opt -disable-output -passes=print-mustexecute %s 2>&1 | FileCheck %s\r
   3 ; RUN: opt -disable-output -passes=print-mustexecute %s 2>&1 | FileCheck %s\r
   4 \r
   5 ; In general the CFG below is easily simplified but this is useful for\r
   6 ; pass ordering issue elimination.\r
   7 define i1 @const_cond(i32 %high) {\r
   8 ; CHECK-LABEL: @const_cond(\r
   9 ; CHECK-NEXT:  entry:\r
  10 ; CHECK-NEXT:    br label [[LOOP:%.*]]\r
  11 ; CHECK:       loop:\r
  12 ; CHECK-NEXT:    [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[BACKEDGE:%.*]] ] ; (mustexec in: loop)\r
  13 ; CHECK-NEXT:    br i1 true, label [[NEXT:%.*]], label [[NEVER1:%.*]] ; (mustexec in: loop)\r
  14 ; CHECK:       next:\r
  15 ; CHECK-NEXT:    br i1 false, label [[NEVER2:%.*]], label [[BACKEDGE]] ; (mustexec in: loop)\r
  16 ; CHECK:       backedge:\r
  17 ; CHECK-NEXT:    [[IV_NEXT]] = add nuw nsw i32 [[IV]], 1 ; (mustexec in: loop)\r
  18 ; CHECK-NEXT:    [[EXIT_TEST:%.*]] = icmp slt i32 [[IV]], [[HIGH:%.*]] ; (mustexec in: loop)\r
  19 ; CHECK-NEXT:    br i1 [[EXIT_TEST]], label [[LOOP]], label [[EXIT:%.*]] ; (mustexec in: loop)\r
  20 ; CHECK:       exit:\r
  21 ; CHECK-NEXT:    ret i1 false\r
  22 ; CHECK:       never1:\r
  23 ; CHECK-NEXT:    unreachable\r
  24 ; CHECK:       never2:\r
  25 ; CHECK-NEXT:    unreachable\r
  26 ;\r
  27 entry:\r
  28   br label %loop\r
  29 \r
  30 loop:\r
  31   %iv = phi i32 [0, %entry], [%iv.next, %backedge]\r
  32   br i1 true, label %next, label %never1\r
  33 next:\r
  34   br i1 false, label %never2, label %backedge\r
  35 backedge:\r
  36   %iv.next = add nsw nuw i32 %iv, 1\r
  37   %exit.test = icmp slt i32 %iv, %high\r
  38   br i1 %exit.test, label %loop, label %exit\r
  39 \r
  40 exit:\r
  41   ret i1 false\r
  42 never1:\r
  43   unreachable\r
  44 never2:\r
  45   unreachable\r
  46 }\r
  47 \r