llvm/test/Transforms/IndVarSimplify/udiv.ll

   1 ; RUN: opt -passes=indvars -S < %s | FileCheck %s
   2
   3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
   4
   5 @main.flags = internal global [8193 x i8] zeroinitializer, align 1 ; <ptr> [#uses=5]
   6 @.str = private constant [11 x i8] c"Count: %d\0A\00" ; <ptr> [#uses=1]
   7
   8 ; Indvars shouldn't emit a udiv here, because there's no udiv in the
   9 ; original code. This comes from SingleSource/Benchmarks/Shootout/sieve.c.
  10
  11 ; CHECK-LABEL: @main(
  12 ; CHECK-NOT: div
  13
  14 define i32 @main(i32 %argc, ptr nocapture %argv) nounwind {
  15 entry:
  16   %cmp = icmp eq i32 %argc, 2                     ; <i1> [#uses=1]
  17   br i1 %cmp, label %cond.true, label %while.cond.preheader
  18
  19 cond.true:                                        ; preds = %entry
  20   %arrayidx = getelementptr inbounds ptr, ptr %argv, i64 1 ; <ptr> [#uses=1]
  21   %tmp2 = load ptr, ptr %arrayidx                     ; <ptr> [#uses=1]
  22   %call = tail call i32 @atoi(ptr %tmp2) nounwind readonly ; <i32> [#uses=1]
  23   br label %while.cond.preheader
  24
  25 while.cond.preheader:                             ; preds = %entry, %cond.true
  26   %NUM.0.ph = phi i32 [ %call, %cond.true ], [ 170000, %entry ] ; <i32> [#uses=2]
  27   %tobool18 = icmp eq i32 %NUM.0.ph, 0            ; <i1> [#uses=1]
  28   br i1 %tobool18, label %while.end, label %bb.nph30
  29
  30 while.cond.loopexit:                              ; preds = %for.cond12.while.cond.loopexit_crit_edge, %for.cond12.loopexit
  31   %count.2.lcssa = phi i32 [ %count.1.lcssa, %for.cond12.while.cond.loopexit_crit_edge ], [ 0, %for.cond12.loopexit ] ; <i32> [#uses=1]
  32   br label %while.cond
  33
  34 while.cond:                                       ; preds = %while.cond.loopexit
  35   %tobool = icmp eq i32 %dec19, 0                 ; <i1> [#uses=1]
  36   br i1 %tobool, label %while.cond.while.end_crit_edge, label %for.cond.preheader
  37
  38 while.cond.while.end_crit_edge:                   ; preds = %while.cond
  39   %count.2.lcssa.lcssa = phi i32 [ %count.2.lcssa, %while.cond ] ; <i32> [#uses=1]
  40   br label %while.end
  41
  42 bb.nph30:                                         ; preds = %while.cond.preheader
  43   br label %for.cond.preheader
  44
  45 for.cond.preheader:                               ; preds = %bb.nph30, %while.cond
  46   %dec19.in = phi i32 [ %NUM.0.ph, %bb.nph30 ], [ %dec19, %while.cond ] ; <i32> [#uses=1]
  47   %dec19 = add i32 %dec19.in, -1                  ; <i32> [#uses=2]
  48   br i1 true, label %bb.nph, label %for.cond12.loopexit
  49
  50 for.cond:                                         ; preds = %for.body
  51   %cmp8 = icmp slt i64 %inc, 8193                 ; <i1> [#uses=1]
  52   br i1 %cmp8, label %for.body, label %for.cond.for.cond12.loopexit_crit_edge
  53
  54 for.cond.for.cond12.loopexit_crit_edge:           ; preds = %for.cond
  55   br label %for.cond12.loopexit
  56
  57 bb.nph:                                           ; preds = %for.cond.preheader
  58   br label %for.body
  59
  60 for.body:                                         ; preds = %bb.nph, %for.cond
  61   %i.02 = phi i64 [ 2, %bb.nph ], [ %inc, %for.cond ] ; <i64> [#uses=2]
  62   %arrayidx10 = getelementptr inbounds [8193 x i8], ptr @main.flags, i64 0, i64 %i.02 ; <ptr> [#uses=1]
  63   store i8 1, ptr %arrayidx10
  64   %inc = add nsw i64 %i.02, 1                     ; <i64> [#uses=2]
  65   br label %for.cond
  66
  67 for.cond12.loopexit:                              ; preds = %for.cond.for.cond12.loopexit_crit_edge, %for.cond.preheader
  68   br i1 true, label %bb.nph16, label %while.cond.loopexit
  69
  70 for.cond12:                                       ; preds = %for.inc35
  71   %cmp14 = icmp slt i64 %inc37, 8193              ; <i1> [#uses=1]
  72   br i1 %cmp14, label %for.body15, label %for.cond12.while.cond.loopexit_crit_edge
  73
  74 for.cond12.while.cond.loopexit_crit_edge:         ; preds = %for.cond12
  75   %count.1.lcssa = phi i32 [ %count.1, %for.cond12 ] ; <i32> [#uses=1]
  76   br label %while.cond.loopexit
  77
  78 bb.nph16:                                         ; preds = %for.cond12.loopexit
  79   br label %for.body15
  80
  81 for.body15:                                       ; preds = %bb.nph16, %for.cond12
  82   %count.212 = phi i32 [ 0, %bb.nph16 ], [ %count.1, %for.cond12 ] ; <i32> [#uses=2]
  83   %i.17 = phi i64 [ 2, %bb.nph16 ], [ %inc37, %for.cond12 ] ; <i64> [#uses=4]
  84   %arrayidx17 = getelementptr inbounds [8193 x i8], ptr @main.flags, i64 0, i64 %i.17 ; <ptr> [#uses=1]
  85   %tmp18 = load i8, ptr %arrayidx17                   ; <i8> [#uses=1]
  86   %tobool19 = icmp eq i8 %tmp18, 0                ; <i1> [#uses=1]
  87   br i1 %tobool19, label %for.inc35, label %if.then
  88
  89 if.then:                                          ; preds = %for.body15
  90   %add = shl i64 %i.17, 1                         ; <i64> [#uses=2]
  91   %cmp243 = icmp slt i64 %add, 8193               ; <i1> [#uses=1]
  92   br i1 %cmp243, label %bb.nph5, label %for.end32
  93
  94 for.cond22:                                       ; preds = %for.body25
  95   %cmp24 = icmp slt i64 %add31, 8193              ; <i1> [#uses=1]
  96   br i1 %cmp24, label %for.body25, label %for.cond22.for.end32_crit_edge
  97
  98 for.cond22.for.end32_crit_edge:                   ; preds = %for.cond22
  99   br label %for.end32
 100
 101 bb.nph5:                                          ; preds = %if.then
 102   br label %for.body25
 103
 104 for.body25:                                       ; preds = %bb.nph5, %for.cond22
 105   %k.04 = phi i64 [ %add, %bb.nph5 ], [ %add31, %for.cond22 ] ; <i64> [#uses=2]
 106   %arrayidx27 = getelementptr inbounds [8193 x i8], ptr @main.flags, i64 0, i64 %k.04 ; <ptr> [#uses=1]
 107   store i8 0, ptr %arrayidx27
 108   %add31 = add nsw i64 %k.04, %i.17               ; <i64> [#uses=2]
 109   br label %for.cond22
 110
 111 for.end32:                                        ; preds = %for.cond22.for.end32_crit_edge, %if.then
 112   %inc34 = add nsw i32 %count.212, 1              ; <i32> [#uses=1]
 113   br label %for.inc35
 114
 115 for.inc35:                                        ; preds = %for.body15, %for.end32
 116   %count.1 = phi i32 [ %inc34, %for.end32 ], [ %count.212, %for.body15 ] ; <i32> [#uses=2]
 117   %inc37 = add nsw i64 %i.17, 1                   ; <i64> [#uses=2]
 118   br label %for.cond12
 119
 120 while.end:                                        ; preds = %while.cond.while.end_crit_edge, %while.cond.preheader
 121   %count.0.lcssa = phi i32 [ %count.2.lcssa.lcssa, %while.cond.while.end_crit_edge ], [ 0, %while.cond.preheader ] ; <i32> [#uses=1]
 122   %call40 = tail call i32 (ptr, ...) @printf(ptr @.str, i32 %count.0.lcssa) nounwind ; <i32> [#uses=0]
 123   ret i32 0
 124 }
 125
 126 declare i32 @atoi(ptr nocapture) nounwind readonly
 127
 128 declare i32 @printf(ptr nocapture, ...) nounwind
 129
 130 ; IndVars doesn't emit a udiv in for.body.preheader since SCEVExpander::expand will
 131 ; find out there's already a udiv in the original code.
 132
 133 ; CHECK-LABEL: @foo(
 134 ; CHECK: for.body.preheader:
 135 ; CHECK-NOT: udiv
 136
 137 define void @foo(ptr %p, i64 %n) nounwind {
 138 entry:
 139   %div0 = udiv i64 %n, 7                          ; <i64> [#uses=1]
 140   %div1 = add i64 %div0, 1
 141   %cmp2 = icmp ult i64 0, %div1                   ; <i1> [#uses=1]
 142   br i1 %cmp2, label %for.body.preheader, label %for.end
 143
 144 for.body.preheader:                               ; preds = %entry
 145   br label %for.body
 146
 147 for.body:                                         ; preds = %for.body.preheader, %for.body
 148   %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] ; <i64> [#uses=2]
 149   %arrayidx = getelementptr inbounds double, ptr %p, i64 %i.03 ; <ptr> [#uses=1]
 150   store double 0.000000e+00, ptr %arrayidx
 151   %inc = add i64 %i.03, 1                         ; <i64> [#uses=2]
 152   %divx = udiv i64 %n, 7                           ; <i64> [#uses=1]
 153   %div = add i64 %divx, 1
 154   %cmp = icmp ult i64 %inc, %div                  ; <i1> [#uses=1]
 155   br i1 %cmp, label %for.body, label %for.end.loopexit
 156
 157 for.end.loopexit:                                 ; preds = %for.body
 158   br label %for.end
 159
 160 for.end:                                          ; preds = %for.end.loopexit, %entry
 161   ret void
 162 }