llvm/test/Transforms/LoopDeletion/invalidate-scev-after-hoisting.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes='loop(indvars,loop-deletion),verify<scalar-evolution>,print<scalar-evolution>' -S %s 2>&1| FileCheck %s
   3
   4 ; Make sure the SCEV for %invar is invalidated properly when the instruction is
   5 ; moved by LoopDeletion.
   6
   7 ; CHECK:      Determining loop execution counts for: @test
   8 ; CHECK-NEXT: Loop %inner: backedge-taken count is (405 + %invar)<nuw><nsw>
   9 ; CHECK-NEXT: Loop %inner: constant max backedge-taken count is 405
  10 ; CHECK-NEXT: Loop %inner: symbolic max backedge-taken count is (405 + %invar)<nuw><nsw>
  11 ; CHECK-NEXT: Loop %inner: Predicated backedge-taken count is (405 + %invar)<nuw><nsw>
  12
  13 define void @test_pr57837() {
  14 ; CHECK-LABEL: @test_pr57837(
  15 ; CHECK-NEXT:  bb:
  16 ; CHECK-NEXT:    br label [[OUTER_HEADER:%.*]]
  17 ; CHECK:       outer.header:
  18 ; CHECK-NEXT:    br i1 true, label [[INNER_PH:%.*]], label [[OUTER_LATCH:%.*]]
  19 ; CHECK:       inner.ph:
  20 ; CHECK-NEXT:    [[INVAR:%.*]] = ashr i32 0, 3
  21 ; CHECK-NEXT:    br label [[INNER:%.*]]
  22 ; CHECK:       inner:
  23 ; CHECK-NEXT:    [[P:%.*]] = phi i32 [ poison, [[INNER_PH]] ], [ [[INVAR]], [[INNER]] ]
  24 ; CHECK-NEXT:    [[INNER_IV:%.*]] = phi i32 [ 1, [[INNER_PH]] ], [ [[INNER_IV_NEXT:%.*]], [[INNER]] ]
  25 ; CHECK-NEXT:    [[ADD_1:%.*]] = add i32 [[P]], 30586
  26 ; CHECK-NEXT:    call void @use(i32 [[ADD_1]])
  27 ; CHECK-NEXT:    [[INNER_IV_NEXT]] = add nuw nsw i32 [[INNER_IV]], 1
  28 ; CHECK-NEXT:    [[INVAR_ADD:%.*]] = add i32 [[INVAR]], 407
  29 ; CHECK-NEXT:    [[INNER_CMP:%.*]] = icmp ult i32 [[INNER_IV_NEXT]], [[INVAR_ADD]]
  30 ; CHECK-NEXT:    br i1 [[INNER_CMP]], label [[INNER]], label [[INNER_EXIT:%.*]]
  31 ; CHECK:       inner.exit:
  32 ; CHECK-NEXT:    [[INVAR_LCSSA:%.*]] = phi i32 [ [[INVAR]], [[INNER]] ]
  33 ; CHECK-NEXT:    br label [[OUTER_LATCH]]
  34 ; CHECK:       outer.latch:
  35 ; CHECK-NEXT:    [[MERGE:%.*]] = phi i32 [ 0, [[OUTER_HEADER]] ], [ [[INVAR_LCSSA]], [[INNER_EXIT]] ]
  36 ; CHECK-NEXT:    call void @use(i32 [[MERGE]])
  37 ; CHECK-NEXT:    br label [[EXIT:%.*]]
  38 ; CHECK:       exit:
  39 ; CHECK-NEXT:    ret void
  40 ;
  41 bb:
  42   br label %outer.header
  43
  44 outer.header:                                              ; preds = %bb19, %bb
  45   %outer.iv = phi i32 [ 0, %bb ], [ %tmp21, %outer.latch ]
  46   %outer.cmp = icmp ult i32 %outer.iv, 400
  47   br i1 %outer.cmp, label %inner.ph, label %outer.latch
  48
  49 inner.ph:
  50   br label %inner
  51
  52 inner:
  53   %p = phi i32 [ poison, %inner.ph ], [ %invar, %inner ]
  54   %inner.iv = phi i32 [ 1, %inner.ph ], [ %inner.iv.next , %inner ]
  55   %add.1 = add i32 %p, 30586
  56   call void @use(i32 %add.1)
  57   %invar = ashr i32 0, 3
  58   %inner.iv.next = add nuw nsw i32 %inner.iv, 1
  59   %invar.add = add i32 %invar, 407
  60   %inner.cmp = icmp slt i32 %inner.iv.next, %invar.add
  61   br i1 %inner.cmp, label %inner, label %inner.exit
  62
  63 inner.exit:
  64   br label %outer.latch
  65
  66 outer.latch:
  67   %merge = phi i32 [ 0, %outer.header ], [ %invar, %inner.exit ]
  68   call void @use(i32 %merge)
  69   %tmp21 = add i32 %outer.iv, 1
  70   br i1 true, label %exit, label %outer.header
  71
  72 exit:
  73   ret void
  74 }
  75
  76 declare void @use(i32)
  77
  78
  79 define i32 @scev_invalidation_after_deleting(ptr %src) {
  80 ; CHECK-LABEL: @scev_invalidation_after_deleting(
  81 ; CHECK-NEXT:  entry:
  82 ; CHECK-NEXT:    br label [[OUTER_HEADER:%.*]]
  83 ; CHECK:       outer.header:
  84 ; CHECK-NEXT:    [[OUTER_IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[OUTER_IV_NEXT:%.*]], [[OUTER_LATCH:%.*]] ]
  85 ; CHECK-NEXT:    br label [[INNER_1:%.*]]
  86 ; CHECK:       inner.1:
  87 ; CHECK-NEXT:    [[C_1:%.*]] = icmp eq i32 0, [[OUTER_IV]]
  88 ; CHECK-NEXT:    br i1 [[C_1]], label [[INNER_2_PREHEADER:%.*]], label [[INNER_1]]
  89 ; CHECK:       inner.2.preheader:
  90 ; CHECK-NEXT:    br label [[INNER_3_PH:%.*]]
  91 ; CHECK:       inner.3.ph:
  92 ; CHECK-NEXT:    br label [[INNER_3:%.*]]
  93 ; CHECK:       inner.3:
  94 ; CHECK-NEXT:    [[L:%.*]] = load i32, ptr [[SRC:%.*]], align 4
  95 ; CHECK-NEXT:    br i1 false, label [[OUTER_LATCH]], label [[INNER_3]]
  96 ; CHECK:       outer.latch:
  97 ; CHECK-NEXT:    [[L_LCSSA:%.*]] = phi i32 [ [[L]], [[INNER_3]] ]
  98 ; CHECK-NEXT:    [[TRUNC:%.*]] = trunc i64 0 to i32
  99 ; CHECK-NEXT:    [[OUTER_IV_NEXT]] = add nsw i32 [[L_LCSSA]], [[TRUNC]]
 100 ; CHECK-NEXT:    br label [[OUTER_HEADER]]
 101 ;
 102 entry:
 103   br label %outer.header
 104
 105 outer.header:
 106   %outer.iv = phi i32 [ 0, %entry ], [ %outer.iv.next, %outer.latch ]
 107   br label %inner.1
 108
 109 inner.1:
 110   %c.1 = icmp eq i32 0, %outer.iv
 111   br i1 %c.1, label %inner.2, label %inner.1
 112
 113 inner.2:
 114   %iv.2 = phi i64 [ 0, %inner.1 ], [ %iv.2.next, %inner.2 ]
 115   %iv.2.next = add nuw i64 %iv.2, 1
 116   br i1 true, label %inner.3.ph, label %inner.2
 117
 118 inner.3.ph:
 119   %trunc = trunc i64 %iv.2 to i32
 120   br label %inner.3
 121
 122 inner.3:
 123   %l = load i32, ptr %src, align 4
 124   br i1 false, label %outer.latch, label %inner.3
 125
 126 outer.latch:
 127   %outer.iv.next = add nsw i32 %l, %trunc
 128   br label %outer.header
 129 }
 130
 131 define void @test_pr58314() {
 132 ; CHECK-LABEL: @test_pr58314(
 133 ; CHECK-NEXT:  entry:
 134 ; CHECK-NEXT:    br label [[OUTER_HEADER:%.*]]
 135 ; CHECK:       outer.header:
 136 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i16 0, 0
 137 ; CHECK-NEXT:    [[SEL:%.*]] = select i1 [[C]], i1 false, i1 true
 138 ; CHECK-NEXT:    br label [[INNER:%.*]]
 139 ; CHECK:       inner:
 140 ; CHECK-NEXT:    br i1 true, label [[INNER]], label [[OUTER_LATCH:%.*]]
 141 ; CHECK:       outer.latch:
 142 ; CHECK-NEXT:    [[SEL_LCSSA:%.*]] = phi i1 [ [[SEL]], [[INNER]] ]
 143 ; CHECK-NEXT:    br i1 [[SEL_LCSSA]], label [[OUTER_HEADER]], label [[EXIT:%.*]]
 144 ; CHECK:       exit:
 145 ; CHECK-NEXT:    ret void
 146 ;
 147 entry:
 148   br label %outer.header
 149
 150 outer.header:
 151   br label %inner
 152
 153 inner:
 154   %c = icmp ne i16 0, 0
 155   %sel = select i1 %c, i1 false, i1 true
 156   br i1 true, label %inner, label %outer.latch
 157
 158 outer.latch:
 159   br i1 %sel, label %outer.header, label %exit
 160
 161 exit:
 162   ret void
 163 }