llvm/test/CodeGen/PowerPC/ctrloop-sums.ll

   1 ; RUN: llc -verify-machineinstrs < %s | FileCheck %s
   2 ; ModuleID = 'SingleSource/Regression/C/sumarray2d.c'
   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-v128:128:128-n32:64"
   4 target triple = "powerpc64-unknown-linux-gnu"
   5
   6 @.str = private unnamed_addr constant [23 x i8] c"Sum(Array[%d,%d] = %d\0A\00", align 1
   7
   8 define i32 @SumArray(ptr nocapture %Array, i32 %NumI, i32 %NumJ) nounwind readonly {
   9 entry:
  10   %cmp12 = icmp eq i32 %NumI, 0
  11   br i1 %cmp12, label %for.end8, label %for.cond1.preheader.lr.ph
  12
  13 for.cond1.preheader.lr.ph:                        ; preds = %entry
  14   %cmp29 = icmp eq i32 %NumJ, 0
  15   br i1 %cmp29, label %for.inc6, label %for.body3.lr.ph.us
  16
  17 for.inc6.us:                                      ; preds = %for.body3.us
  18   %indvars.iv.next17 = add i64 %indvars.iv16, 1
  19   %lftr.wideiv18 = trunc i64 %indvars.iv.next17 to i32
  20   %exitcond19 = icmp eq i32 %lftr.wideiv18, %NumI
  21   br i1 %exitcond19, label %for.end8, label %for.body3.lr.ph.us
  22
  23 for.body3.us:                                     ; preds = %for.body3.us, %for.body3.lr.ph.us
  24   %indvars.iv = phi i64 [ 0, %for.body3.lr.ph.us ], [ %indvars.iv.next, %for.body3.us ]
  25   %Result.111.us = phi i32 [ %Result.014.us, %for.body3.lr.ph.us ], [ %add.us, %for.body3.us ]
  26   %arrayidx5.us = getelementptr inbounds [100 x i32], ptr %Array, i64 %indvars.iv16, i64 %indvars.iv
  27   %0 = load i32, ptr %arrayidx5.us, align 4
  28   %add.us = add nsw i32 %0, %Result.111.us
  29   %indvars.iv.next = add i64 %indvars.iv, 1
  30   %lftr.wideiv = trunc i64 %indvars.iv.next to i32
  31   %exitcond = icmp eq i32 %lftr.wideiv, %NumJ
  32   br i1 %exitcond, label %for.inc6.us, label %for.body3.us
  33
  34 for.body3.lr.ph.us:                               ; preds = %for.inc6.us, %for.cond1.preheader.lr.ph
  35   %indvars.iv16 = phi i64 [ %indvars.iv.next17, %for.inc6.us ], [ 0, %for.cond1.preheader.lr.ph ]
  36   %Result.014.us = phi i32 [ %add.us, %for.inc6.us ], [ 0, %for.cond1.preheader.lr.ph ]
  37   br label %for.body3.us
  38
  39 for.inc6:                                         ; preds = %for.inc6, %for.cond1.preheader.lr.ph
  40   %i.013 = phi i32 [ %inc7, %for.inc6 ], [ 0, %for.cond1.preheader.lr.ph ]
  41   %inc7 = add i32 %i.013, 1
  42   %exitcond20 = icmp eq i32 %inc7, %NumI
  43   br i1 %exitcond20, label %for.end8, label %for.inc6
  44
  45 for.end8:                                         ; preds = %for.inc6.us, %for.inc6, %entry
  46   %Result.0.lcssa = phi i32 [ 0, %entry ], [ %add.us, %for.inc6.us ], [ 0, %for.inc6 ]
  47   ret i32 %Result.0.lcssa
  48 ; CHECK: @SumArray
  49 ; CHECK: mtctr
  50 ; CHECK: bdnz
  51 }
  52
  53 define i32 @main() nounwind {
  54 entry:
  55   %Array = alloca [100 x [100 x i32]], align 4
  56   br label %for.body
  57
  58 for.body:                                         ; preds = %for.body, %entry
  59   %indvars.iv33 = phi i64 [ 0, %entry ], [ %indvars.iv.next34, %for.body ]
  60   %0 = trunc i64 %indvars.iv33 to i32
  61   %sub = sub i32 0, %0
  62   %arrayidx2 = getelementptr inbounds [100 x [100 x i32]], ptr %Array, i64 0, i64 %indvars.iv33, i64 %indvars.iv33
  63   store i32 %sub, ptr %arrayidx2, align 4
  64   %indvars.iv.next34 = add i64 %indvars.iv33, 1
  65   %lftr.wideiv35 = trunc i64 %indvars.iv.next34 to i32
  66   %exitcond36 = icmp eq i32 %lftr.wideiv35, 100
  67   br i1 %exitcond36, label %for.cond6.preheader, label %for.body
  68
  69 for.cond6.preheader:                              ; preds = %for.body, %for.inc17
  70   %indvars.iv29 = phi i64 [ %indvars.iv.next30, %for.inc17 ], [ 0, %for.body ]
  71   br label %for.body8
  72
  73 for.body8:                                        ; preds = %for.inc14, %for.cond6.preheader
  74   %indvars.iv = phi i64 [ 0, %for.cond6.preheader ], [ %indvars.iv.next, %for.inc14 ]
  75   %1 = trunc i64 %indvars.iv to i32
  76   %2 = trunc i64 %indvars.iv29 to i32
  77   %cmp9 = icmp eq i32 %1, %2
  78   br i1 %cmp9, label %for.inc14, label %if.then
  79
  80 if.then:                                          ; preds = %for.body8
  81   %3 = add i64 %indvars.iv, %indvars.iv29
  82   %arrayidx13 = getelementptr inbounds [100 x [100 x i32]], ptr %Array, i64 0, i64 %indvars.iv29, i64 %indvars.iv
  83   %4 = trunc i64 %3 to i32
  84   store i32 %4, ptr %arrayidx13, align 4
  85   br label %for.inc14
  86
  87 for.inc14:                                        ; preds = %for.body8, %if.then
  88   %indvars.iv.next = add i64 %indvars.iv, 1
  89   %lftr.wideiv27 = trunc i64 %indvars.iv.next to i32
  90   %exitcond28 = icmp eq i32 %lftr.wideiv27, 100
  91   br i1 %exitcond28, label %for.inc17, label %for.body8
  92
  93 for.inc17:                                        ; preds = %for.inc14
  94   %indvars.iv.next30 = add i64 %indvars.iv29, 1
  95   %lftr.wideiv31 = trunc i64 %indvars.iv.next30 to i32
  96   %exitcond32 = icmp eq i32 %lftr.wideiv31, 100
  97   br i1 %exitcond32, label %for.body3.lr.ph.us.i, label %for.cond6.preheader
  98
  99 for.inc6.us.i:                                    ; preds = %for.body3.us.i
 100   %indvars.iv.next17.i = add i64 %indvars.iv16.i, 1
 101   %lftr.wideiv24 = trunc i64 %indvars.iv.next17.i to i32
 102   %exitcond25 = icmp eq i32 %lftr.wideiv24, 100
 103   br i1 %exitcond25, label %SumArray.exit, label %for.body3.lr.ph.us.i
 104
 105 for.body3.us.i:                                   ; preds = %for.body3.lr.ph.us.i, %for.body3.us.i
 106   %indvars.iv.i = phi i64 [ 0, %for.body3.lr.ph.us.i ], [ %indvars.iv.next.i, %for.body3.us.i ]
 107   %Result.111.us.i = phi i32 [ %Result.014.us.i, %for.body3.lr.ph.us.i ], [ %add.us.i, %for.body3.us.i ]
 108   %arrayidx5.us.i = getelementptr inbounds [100 x [100 x i32]], ptr %Array, i64 0, i64 %indvars.iv16.i, i64 %indvars.iv.i
 109   %5 = load i32, ptr %arrayidx5.us.i, align 4
 110   %add.us.i = add nsw i32 %5, %Result.111.us.i
 111   %indvars.iv.next.i = add i64 %indvars.iv.i, 1
 112   %lftr.wideiv = trunc i64 %indvars.iv.next.i to i32
 113   %exitcond = icmp eq i32 %lftr.wideiv, 100
 114   br i1 %exitcond, label %for.inc6.us.i, label %for.body3.us.i
 115
 116 for.body3.lr.ph.us.i:                             ; preds = %for.inc17, %for.inc6.us.i
 117   %indvars.iv16.i = phi i64 [ %indvars.iv.next17.i, %for.inc6.us.i ], [ 0, %for.inc17 ]
 118   %Result.014.us.i = phi i32 [ %add.us.i, %for.inc6.us.i ], [ 0, %for.inc17 ]
 119   br label %for.body3.us.i
 120
 121 SumArray.exit:                                    ; preds = %for.inc6.us.i
 122   %call20 = call i32 (ptr, ...) @printf(ptr @.str, i32 100, i32 100, i32 %add.us.i) nounwind
 123   ret i32 0
 124
 125 ; CHECK: @main
 126 ; CHECK: mtctr
 127 ; CHECK: bdnz
 128 }
 129
 130 declare i32 @printf(ptr nocapture, ...) nounwind