131 lines · plain
1; RUN: llc -verify-machineinstrs < %s | FileCheck %s2; ModuleID = 'SingleSource/Regression/C/sumarray2d.c'3target 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"4target triple = "powerpc64-unknown-linux-gnu"5 6@.str = private unnamed_addr constant [23 x i8] c"Sum(Array[%d,%d] = %d\0A\00", align 17 8define i32 @SumArray(ptr nocapture %Array, i32 %NumI, i32 %NumJ) nounwind readonly {9entry:10 %cmp12 = icmp eq i32 %NumI, 011 br i1 %cmp12, label %for.end8, label %for.cond1.preheader.lr.ph12 13for.cond1.preheader.lr.ph: ; preds = %entry14 %cmp29 = icmp eq i32 %NumJ, 015 br i1 %cmp29, label %for.inc6, label %for.body3.lr.ph.us16 17for.inc6.us: ; preds = %for.body3.us18 %indvars.iv.next17 = add i64 %indvars.iv16, 119 %lftr.wideiv18 = trunc i64 %indvars.iv.next17 to i3220 %exitcond19 = icmp eq i32 %lftr.wideiv18, %NumI21 br i1 %exitcond19, label %for.end8, label %for.body3.lr.ph.us22 23for.body3.us: ; preds = %for.body3.us, %for.body3.lr.ph.us24 %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.iv27 %0 = load i32, ptr %arrayidx5.us, align 428 %add.us = add nsw i32 %0, %Result.111.us29 %indvars.iv.next = add i64 %indvars.iv, 130 %lftr.wideiv = trunc i64 %indvars.iv.next to i3231 %exitcond = icmp eq i32 %lftr.wideiv, %NumJ32 br i1 %exitcond, label %for.inc6.us, label %for.body3.us33 34for.body3.lr.ph.us: ; preds = %for.inc6.us, %for.cond1.preheader.lr.ph35 %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.us38 39for.inc6: ; preds = %for.inc6, %for.cond1.preheader.lr.ph40 %i.013 = phi i32 [ %inc7, %for.inc6 ], [ 0, %for.cond1.preheader.lr.ph ]41 %inc7 = add i32 %i.013, 142 %exitcond20 = icmp eq i32 %inc7, %NumI43 br i1 %exitcond20, label %for.end8, label %for.inc644 45for.end8: ; preds = %for.inc6.us, %for.inc6, %entry46 %Result.0.lcssa = phi i32 [ 0, %entry ], [ %add.us, %for.inc6.us ], [ 0, %for.inc6 ]47 ret i32 %Result.0.lcssa48; CHECK: @SumArray49; CHECK: mtctr50; CHECK: bdnz51}52 53define i32 @main() nounwind {54entry:55 %Array = alloca [100 x [100 x i32]], align 456 br label %for.body57 58for.body: ; preds = %for.body, %entry59 %indvars.iv33 = phi i64 [ 0, %entry ], [ %indvars.iv.next34, %for.body ]60 %0 = trunc i64 %indvars.iv33 to i3261 %sub = sub i32 0, %062 %arrayidx2 = getelementptr inbounds [100 x [100 x i32]], ptr %Array, i64 0, i64 %indvars.iv33, i64 %indvars.iv3363 store i32 %sub, ptr %arrayidx2, align 464 %indvars.iv.next34 = add i64 %indvars.iv33, 165 %lftr.wideiv35 = trunc i64 %indvars.iv.next34 to i3266 %exitcond36 = icmp eq i32 %lftr.wideiv35, 10067 br i1 %exitcond36, label %for.cond6.preheader, label %for.body68 69for.cond6.preheader: ; preds = %for.body, %for.inc1770 %indvars.iv29 = phi i64 [ %indvars.iv.next30, %for.inc17 ], [ 0, %for.body ]71 br label %for.body872 73for.body8: ; preds = %for.inc14, %for.cond6.preheader74 %indvars.iv = phi i64 [ 0, %for.cond6.preheader ], [ %indvars.iv.next, %for.inc14 ]75 %1 = trunc i64 %indvars.iv to i3276 %2 = trunc i64 %indvars.iv29 to i3277 %cmp9 = icmp eq i32 %1, %278 br i1 %cmp9, label %for.inc14, label %if.then79 80if.then: ; preds = %for.body881 %3 = add i64 %indvars.iv, %indvars.iv2982 %arrayidx13 = getelementptr inbounds [100 x [100 x i32]], ptr %Array, i64 0, i64 %indvars.iv29, i64 %indvars.iv83 %4 = trunc i64 %3 to i3284 store i32 %4, ptr %arrayidx13, align 485 br label %for.inc1486 87for.inc14: ; preds = %for.body8, %if.then88 %indvars.iv.next = add i64 %indvars.iv, 189 %lftr.wideiv27 = trunc i64 %indvars.iv.next to i3290 %exitcond28 = icmp eq i32 %lftr.wideiv27, 10091 br i1 %exitcond28, label %for.inc17, label %for.body892 93for.inc17: ; preds = %for.inc1494 %indvars.iv.next30 = add i64 %indvars.iv29, 195 %lftr.wideiv31 = trunc i64 %indvars.iv.next30 to i3296 %exitcond32 = icmp eq i32 %lftr.wideiv31, 10097 br i1 %exitcond32, label %for.body3.lr.ph.us.i, label %for.cond6.preheader98 99for.inc6.us.i: ; preds = %for.body3.us.i100 %indvars.iv.next17.i = add i64 %indvars.iv16.i, 1101 %lftr.wideiv24 = trunc i64 %indvars.iv.next17.i to i32102 %exitcond25 = icmp eq i32 %lftr.wideiv24, 100103 br i1 %exitcond25, label %SumArray.exit, label %for.body3.lr.ph.us.i104 105for.body3.us.i: ; preds = %for.body3.lr.ph.us.i, %for.body3.us.i106 %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.i109 %5 = load i32, ptr %arrayidx5.us.i, align 4110 %add.us.i = add nsw i32 %5, %Result.111.us.i111 %indvars.iv.next.i = add i64 %indvars.iv.i, 1112 %lftr.wideiv = trunc i64 %indvars.iv.next.i to i32113 %exitcond = icmp eq i32 %lftr.wideiv, 100114 br i1 %exitcond, label %for.inc6.us.i, label %for.body3.us.i115 116for.body3.lr.ph.us.i: ; preds = %for.inc17, %for.inc6.us.i117 %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.i120 121SumArray.exit: ; preds = %for.inc6.us.i122 %call20 = call i32 (ptr, ...) @printf(ptr @.str, i32 100, i32 100, i32 %add.us.i) nounwind123 ret i32 0124 125; CHECK: @main126; CHECK: mtctr127; CHECK: bdnz128}129 130declare i32 @printf(ptr nocapture, ...) nounwind131