91 lines · plain
1; REQUIRES: asserts2; RUN: llc -mtriple=x86_64-apple-darwin < %s -o /dev/null -stats -info-output-file - | grep "hoisted out of loops" | grep 33 4; MachineLICM should be able to hoist the symbolic addresses out of5; the inner loops.6 7@main.flags = internal global [8193 x i8] zeroinitializer, align 16 ; <ptr> [#uses=3]8@.str = private constant [11 x i8] c"Count: %d\0A\00" ; <ptr> [#uses=1]9 10define i32 @main(i32 %argc, ptr nocapture %argv) nounwind ssp {11entry:12 %cmp = icmp eq i32 %argc, 2 ; <i1> [#uses=1]13 br i1 %cmp, label %while.cond.preheader, label %bb.nph5314 15while.cond.preheader: ; preds = %entry16 %arrayidx = getelementptr inbounds ptr, ptr %argv, i64 1 ; <ptr> [#uses=1]17 %tmp2 = load ptr, ptr %arrayidx ; <ptr> [#uses=1]18 %call = tail call i32 @atoi(ptr %tmp2) nounwind ; <i32> [#uses=2]19 %tobool51 = icmp eq i32 %call, 0 ; <i1> [#uses=1]20 br i1 %tobool51, label %while.end, label %bb.nph5321 22while.cond.loopexit: ; preds = %for.inc3523 %indvar.next77 = add i32 %indvar76, 1 ; <i32> [#uses=2]24 %exitcond78 = icmp eq i32 %indvar.next77, %NUM.0.ph80 ; <i1> [#uses=1]25 br i1 %exitcond78, label %while.end, label %bb.nph26 27bb.nph53: ; preds = %entry, %while.cond.preheader28 %NUM.0.ph80 = phi i32 [ %call, %while.cond.preheader ], [ 17000, %entry ] ; <i32> [#uses=1]29 br label %bb.nph30 31bb.nph: ; preds = %while.cond.loopexit, %bb.nph5332 %indvar76 = phi i32 [ 0, %bb.nph53 ], [ %indvar.next77, %while.cond.loopexit ] ; <i32> [#uses=1]33 br label %for.body34 35for.body: ; preds = %for.body, %bb.nph36 %indvar = phi i64 [ 0, %bb.nph ], [ %indvar.next, %for.body ] ; <i64> [#uses=2]37 %tmp = add i64 %indvar, 2 ; <i64> [#uses=1]38 %arrayidx10 = getelementptr [8193 x i8], ptr @main.flags, i64 0, i64 %tmp ; <ptr> [#uses=1]39 store i8 1, ptr %arrayidx1040 %indvar.next = add i64 %indvar, 1 ; <i64> [#uses=2]41 %exitcond = icmp eq i64 %indvar.next, 8191 ; <i1> [#uses=1]42 br i1 %exitcond, label %for.body15, label %for.body43 44for.body15: ; preds = %for.body, %for.inc3545 %indvar57 = phi i64 [ %indvar.next58, %for.inc35 ], [ 0, %for.body ] ; <i64> [#uses=4]46 %count.248 = phi i32 [ %count.1, %for.inc35 ], [ 0, %for.body ] ; <i32> [#uses=2]47 %tmp68 = add i64 %indvar57, 2 ; <i64> [#uses=2]48 %tmp70 = mul i64 %indvar57, 3 ; <i64> [#uses=1]49 %tmp71 = add i64 %tmp70, 6 ; <i64> [#uses=1]50 %tmp73 = shl i64 %indvar57, 1 ; <i64> [#uses=1]51 %add = add i64 %tmp73, 4 ; <i64> [#uses=2]52 %arrayidx17 = getelementptr [8193 x i8], ptr @main.flags, i64 0, i64 %tmp68 ; <ptr> [#uses=1]53 %tmp18 = load i8, ptr %arrayidx17 ; <i8> [#uses=1]54 %tobool19 = icmp eq i8 %tmp18, 0 ; <i1> [#uses=1]55 br i1 %tobool19, label %for.inc35, label %if.then56 57if.then: ; preds = %for.body1558 %cmp2443 = icmp slt i64 %add, 8193 ; <i1> [#uses=1]59 br i1 %cmp2443, label %for.body25, label %for.end3260 61for.body25: ; preds = %if.then, %for.body2562 %indvar55 = phi i64 [ %indvar.next56, %for.body25 ], [ 0, %if.then ] ; <i64> [#uses=2]63 %tmp60 = mul i64 %tmp68, %indvar55 ; <i64> [#uses=2]64 %tmp75 = add i64 %add, %tmp60 ; <i64> [#uses=1]65 %arrayidx27 = getelementptr [8193 x i8], ptr @main.flags, i64 0, i64 %tmp75 ; <ptr> [#uses=1]66 store i8 0, ptr %arrayidx2767 %add31 = add i64 %tmp71, %tmp60 ; <i64> [#uses=1]68 %cmp24 = icmp slt i64 %add31, 8193 ; <i1> [#uses=1]69 %indvar.next56 = add i64 %indvar55, 1 ; <i64> [#uses=1]70 br i1 %cmp24, label %for.body25, label %for.end3271 72for.end32: ; preds = %for.body25, %if.then73 %inc34 = add nsw i32 %count.248, 1 ; <i32> [#uses=1]74 br label %for.inc3575 76for.inc35: ; preds = %for.body15, %for.end3277 %count.1 = phi i32 [ %inc34, %for.end32 ], [ %count.248, %for.body15 ] ; <i32> [#uses=2]78 %indvar.next58 = add i64 %indvar57, 1 ; <i64> [#uses=2]79 %exitcond67 = icmp eq i64 %indvar.next58, 8191 ; <i1> [#uses=1]80 br i1 %exitcond67, label %while.cond.loopexit, label %for.body1581 82while.end: ; preds = %while.cond.loopexit, %while.cond.preheader83 %count.0.lcssa = phi i32 [ 0, %while.cond.preheader ], [ %count.1, %while.cond.loopexit ] ; <i32> [#uses=1]84 %call40 = tail call i32 (ptr, ...) @printf(ptr @.str, i32 %count.0.lcssa) nounwind ; <i32> [#uses=0]85 ret i32 086}87 88declare i32 @atoi(ptr nocapture) nounwind readonly89 90declare i32 @printf(ptr nocapture, ...) nounwind91