llvm/test/Transforms/IndVarSimplify/loop_evaluate_1.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -indvars -loop-deletion -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s
   3
   4 ; Testcase distilled from 256.bzip2
   5 define i32 @test1() {
   6 ; CHECK-LABEL: @test1(
   7 ; CHECK-NEXT:  entry:
   8 ; CHECK-NEXT:    ret i32 364
   9 ;
  10 entry:
  11   br label %loopentry
  12
  13 loopentry:              ; preds = %loopentry, %entry
  14   %indvar1 = phi i32 [ 0, %entry ], [ %indvar.next2, %loopentry ]         ; <i32> [#uses=1]
  15   %h.0 = phi i32 [ %tmp.2, %loopentry ], [ 4, %entry ]            ; <i32> [#uses=1]
  16   %tmp.1 = mul i32 %h.0, 3                ; <i32> [#uses=1]
  17   %tmp.2 = add i32 %tmp.1, 1              ; <i32> [#uses=2]
  18   %indvar.next2 = add i32 %indvar1, 1             ; <i32> [#uses=2]
  19   %exitcond3 = icmp ne i32 %indvar.next2, 4               ; <i1> [#uses=1]
  20   br i1 %exitcond3, label %loopentry, label %loopexit
  21
  22 loopexit:               ; preds = %loopentry
  23   ret i32 %tmp.2
  24 }
  25
  26 ; PR12377
  27 define i32 @test2(i32 %arg) {
  28 ; CHECK-LABEL: @test2(
  29 ; CHECK-NEXT:  bb:
  30 ; CHECK-NEXT:    [[TMP:%.*]] = icmp ugt i32 [[ARG:%.*]], 10
  31 ; CHECK-NEXT:    [[TMP0:%.*]] = add i32 [[ARG]], -11
  32 ; CHECK-NEXT:    [[TMP1:%.*]] = lshr i32 [[TMP0]], 1
  33 ; CHECK-NEXT:    [[TMP2:%.*]] = add nuw i32 [[TMP1]], 1
  34 ; CHECK-NEXT:    [[TMP8:%.*]] = select i1 [[TMP]], i32 [[TMP2]], i32 0
  35 ; CHECK-NEXT:    ret i32 [[TMP8]]
  36 ;
  37 bb:
  38   %tmp = icmp ugt i32 %arg, 10
  39   br i1 %tmp, label %bb1, label %bb7
  40
  41 bb1:                                              ; preds = %bb1, %bb
  42   %tmp2 = phi i32 [ %tmp5, %bb1 ], [ 0, %bb ]
  43   %tmp3 = phi i32 [ %tmp4, %bb1 ], [ %arg, %bb ]
  44   %tmp4 = add i32 %tmp3, -2
  45   %tmp5 = add i32 %tmp2, 1
  46   %tmp6 = icmp ugt i32 %tmp4, 10
  47   br i1 %tmp6, label %bb1, label %bb7
  48
  49 bb7:                                              ; preds = %bb1, %bb
  50   %tmp8 = phi i32 [ 0, %bb ], [ %tmp5, %bb1 ]
  51   ret i32 %tmp8
  52 }