llvm/test/Analysis/Delinearization/gcd_multiply_expr.ll

   1 ; RUN: opt < %s -aa-pipeline=basic-aa -passes='require<da>,print<delinearization>' -disable-output
   2 ;
   3 ; a, b, c, d, g, h;
   4 ; char *f;
   5 ; static fn1(p1) {
   6 ;   char *e = p1;
   7 ;   for (; d;) {
   8 ;     a = 0;
   9 ;     for (;; ++a)
  10 ;       for (; b; ++b)
  11 ;         c = e[b + a];
  12 ;   }
  13 ; }
  14 ;
  15 ; fn2() {
  16 ;   for (;;)
  17 ;     fn1(&f[g * h]);
  18 ; }
  19
  20 @g = common global i32 0, align 4
  21 @h = common global i32 0, align 4
  22 @f = common global ptr null, align 4
  23 @a = common global i32 0, align 4
  24 @b = common global i32 0, align 4
  25 @c = common global i32 0, align 4
  26 @d = common global i32 0, align 4
  27
  28 define i32 @fn2() {
  29 entry:
  30   %.pr = load i32, ptr @d, align 4
  31   %phitmp = icmp eq i32 %.pr, 0
  32   br label %for.cond
  33
  34 for.cond:
  35   %0 = phi i1 [ true, %for.cond ], [ %phitmp, %entry ]
  36   br i1 %0, label %for.cond, label %for.cond2thread-pre-split.preheader.i
  37
  38 for.cond2thread-pre-split.preheader.i:
  39   %1 = load i32, ptr @g, align 4
  40   %2 = load i32, ptr @h, align 4
  41   %mul = mul nsw i32 %2, %1
  42   %3 = load ptr, ptr @f, align 4
  43   %.pr.pre.i = load i32, ptr @b, align 4
  44   br label %for.cond2thread-pre-split.i
  45
  46 for.cond2thread-pre-split.i:
  47   %.pr.i = phi i32 [ 0, %for.inc5.i ], [ %.pr.pre.i, %for.cond2thread-pre-split.preheader.i ]
  48   %storemerge.i = phi i32 [ %inc6.i, %for.inc5.i ], [ 0, %for.cond2thread-pre-split.preheader.i ]
  49   store i32 %storemerge.i, ptr @a, align 4
  50   %tobool31.i = icmp eq i32 %.pr.i, 0
  51   br i1 %tobool31.i, label %for.inc5.i, label %for.body4.preheader.i
  52
  53 for.body4.preheader.i:
  54   %4 = icmp slt i32 %.pr.i, -7
  55   %add.i = add i32 %storemerge.i, %mul
  56   br i1 %4, label %for.body4.i.preheader, label %for.body4.ur.i.preheader
  57
  58 for.body4.i.preheader:
  59   %5 = sub i32 -8, %.pr.i
  60   %6 = lshr i32 %5, 3
  61   %7 = mul i32 %6, 8
  62   br label %for.body4.i
  63
  64 for.body4.i:
  65   %8 = phi i32 [ %inc.7.i, %for.body4.i ], [ %.pr.i, %for.body4.i.preheader ]
  66   %arrayidx.sum1 = add i32 %add.i, %8
  67   %arrayidx.i = getelementptr inbounds i8, ptr %3, i32 %arrayidx.sum1
  68   %9 = load i8, ptr %arrayidx.i, align 1
  69   %conv.i = sext i8 %9 to i32
  70   store i32 %conv.i, ptr @c, align 4
  71   %inc.i = add nsw i32 %8, 1
  72   store i32 %inc.i, ptr @b, align 4
  73   %arrayidx.sum2 = add i32 %add.i, %inc.i
  74   %arrayidx.1.i = getelementptr inbounds i8, ptr %3, i32 %arrayidx.sum2
  75   %10 = load i8, ptr %arrayidx.1.i, align 1
  76   %conv.1.i = sext i8 %10 to i32
  77   store i32 %conv.1.i, ptr @c, align 4
  78   %inc.1.i = add nsw i32 %8, 2
  79   store i32 %inc.1.i, ptr @b, align 4
  80   %arrayidx.sum3 = add i32 %add.i, %inc.1.i
  81   %arrayidx.2.i = getelementptr inbounds i8, ptr %3, i32 %arrayidx.sum3
  82   %11 = load i8, ptr %arrayidx.2.i, align 1
  83   %conv.2.i = sext i8 %11 to i32
  84   store i32 %conv.2.i, ptr @c, align 4
  85   %inc.2.i = add nsw i32 %8, 3
  86   store i32 %inc.2.i, ptr @b, align 4
  87   %arrayidx.sum4 = add i32 %add.i, %inc.2.i
  88   %arrayidx.3.i = getelementptr inbounds i8, ptr %3, i32 %arrayidx.sum4
  89   %12 = load i8, ptr %arrayidx.3.i, align 1
  90   %conv.3.i = sext i8 %12 to i32
  91   store i32 %conv.3.i, ptr @c, align 4
  92   %inc.3.i = add nsw i32 %8, 4
  93   store i32 %inc.3.i, ptr @b, align 4
  94   %arrayidx.sum5 = add i32 %add.i, %inc.3.i
  95   %arrayidx.4.i = getelementptr inbounds i8, ptr %3, i32 %arrayidx.sum5
  96   %13 = load i8, ptr %arrayidx.4.i, align 1
  97   %conv.4.i = sext i8 %13 to i32
  98   store i32 %conv.4.i, ptr @c, align 4
  99   %inc.4.i = add nsw i32 %8, 5
 100   store i32 %inc.4.i, ptr @b, align 4
 101   %arrayidx.sum6 = add i32 %add.i, %inc.4.i
 102   %arrayidx.5.i = getelementptr inbounds i8, ptr %3, i32 %arrayidx.sum6
 103   %14 = load i8, ptr %arrayidx.5.i, align 1
 104   %conv.5.i = sext i8 %14 to i32
 105   store i32 %conv.5.i, ptr @c, align 4
 106   %inc.5.i = add nsw i32 %8, 6
 107   store i32 %inc.5.i, ptr @b, align 4
 108   %arrayidx.sum7 = add i32 %add.i, %inc.5.i
 109   %arrayidx.6.i = getelementptr inbounds i8, ptr %3, i32 %arrayidx.sum7
 110   %15 = load i8, ptr %arrayidx.6.i, align 1
 111   %conv.6.i = sext i8 %15 to i32
 112   store i32 %conv.6.i, ptr @c, align 4
 113   %inc.6.i = add nsw i32 %8, 7
 114   store i32 %inc.6.i, ptr @b, align 4
 115   %arrayidx.sum8 = add i32 %add.i, %inc.6.i
 116   %arrayidx.7.i = getelementptr inbounds i8, ptr %3, i32 %arrayidx.sum8
 117   %16 = load i8, ptr %arrayidx.7.i, align 1
 118   %conv.7.i = sext i8 %16 to i32
 119   store i32 %conv.7.i, ptr @c, align 4
 120   %inc.7.i = add nsw i32 %8, 8
 121   store i32 %inc.7.i, ptr @b, align 4
 122   %tobool3.7.i = icmp sgt i32 %inc.7.i, -8
 123   br i1 %tobool3.7.i, label %for.inc5.loopexit.ur-lcssa.i, label %for.body4.i
 124
 125 for.inc5.loopexit.ur-lcssa.i:
 126   %17 = add i32 %.pr.i, 8
 127   %18 = add i32 %17, %7
 128   %19 = icmp eq i32 %18, 0
 129   br i1 %19, label %for.inc5.i, label %for.body4.ur.i.preheader
 130
 131 for.body4.ur.i.preheader:
 132   %.ph = phi i32 [ %18, %for.inc5.loopexit.ur-lcssa.i ], [ %.pr.i, %for.body4.preheader.i ]
 133   br label %for.body4.ur.i
 134
 135 for.body4.ur.i:
 136   %20 = phi i32 [ %inc.ur.i, %for.body4.ur.i ], [ %.ph, %for.body4.ur.i.preheader ]
 137   %arrayidx.sum = add i32 %add.i, %20
 138   %arrayidx.ur.i = getelementptr inbounds i8, ptr %3, i32 %arrayidx.sum
 139   %21 = load i8, ptr %arrayidx.ur.i, align 1
 140   %conv.ur.i = sext i8 %21 to i32
 141   store i32 %conv.ur.i, ptr @c, align 4
 142   %inc.ur.i = add nsw i32 %20, 1
 143   store i32 %inc.ur.i, ptr @b, align 4
 144   %tobool3.ur.i = icmp eq i32 %inc.ur.i, 0
 145   br i1 %tobool3.ur.i, label %for.inc5.i.loopexit, label %for.body4.ur.i
 146
 147 for.inc5.i.loopexit:
 148   br label %for.inc5.i
 149
 150 for.inc5.i:
 151   %inc6.i = add nsw i32 %storemerge.i, 1
 152   br label %for.cond2thread-pre-split.i
 153 }