| Bob Wilson | b75e5d9 | 2011-10-11 23:34:31 +0000 | [diff] [blame] | 1 | ; RUN: llc -mtriple=x86_64-apple-darwin -march=x86-64 < %s -o /dev/null -stats -info-output-file - | grep "hoisted out of loops" | grep 3 |
| Dan Gohman | aa74260 | 2010-07-09 18:49:45 +0000 | [diff] [blame] | 2 | |
| 3 | ; MachineLICM should be able to hoist the symbolic addresses out of |
| 4 | ; the inner loops. |
| 5 | |
| 6 | @main.flags = internal global [8193 x i8] zeroinitializer, align 16 ; <[8193 x i8]*> [#uses=3] |
| 7 | @.str = private constant [11 x i8] c"Count: %d\0A\00" ; <[11 x i8]*> [#uses=1] |
| 8 | |
| 9 | define i32 @main(i32 %argc, i8** nocapture %argv) nounwind ssp { |
| 10 | entry: |
| 11 | %cmp = icmp eq i32 %argc, 2 ; <i1> [#uses=1] |
| 12 | br i1 %cmp, label %while.cond.preheader, label %bb.nph53 |
| 13 | |
| 14 | while.cond.preheader: ; preds = %entry |
| 15 | %arrayidx = getelementptr inbounds i8** %argv, i64 1 ; <i8**> [#uses=1] |
| 16 | %tmp2 = load i8** %arrayidx ; <i8*> [#uses=1] |
| 17 | %call = tail call i32 @atoi(i8* %tmp2) nounwind ; <i32> [#uses=2] |
| 18 | %tobool51 = icmp eq i32 %call, 0 ; <i1> [#uses=1] |
| 19 | br i1 %tobool51, label %while.end, label %bb.nph53 |
| 20 | |
| 21 | while.cond.loopexit: ; preds = %for.inc35 |
| 22 | %indvar.next77 = add i32 %indvar76, 1 ; <i32> [#uses=2] |
| 23 | %exitcond78 = icmp eq i32 %indvar.next77, %NUM.0.ph80 ; <i1> [#uses=1] |
| 24 | br i1 %exitcond78, label %while.end, label %bb.nph |
| 25 | |
| 26 | bb.nph53: ; preds = %entry, %while.cond.preheader |
| 27 | %NUM.0.ph80 = phi i32 [ %call, %while.cond.preheader ], [ 17000, %entry ] ; <i32> [#uses=1] |
| 28 | br label %bb.nph |
| 29 | |
| 30 | bb.nph: ; preds = %while.cond.loopexit, %bb.nph53 |
| 31 | %indvar76 = phi i32 [ 0, %bb.nph53 ], [ %indvar.next77, %while.cond.loopexit ] ; <i32> [#uses=1] |
| 32 | br label %for.body |
| 33 | |
| 34 | for.body: ; preds = %for.body, %bb.nph |
| 35 | %indvar = phi i64 [ 0, %bb.nph ], [ %indvar.next, %for.body ] ; <i64> [#uses=2] |
| 36 | %tmp = add i64 %indvar, 2 ; <i64> [#uses=1] |
| 37 | %arrayidx10 = getelementptr [8193 x i8]* @main.flags, i64 0, i64 %tmp ; <i8*> [#uses=1] |
| 38 | store i8 1, i8* %arrayidx10 |
| 39 | %indvar.next = add i64 %indvar, 1 ; <i64> [#uses=2] |
| 40 | %exitcond = icmp eq i64 %indvar.next, 8191 ; <i1> [#uses=1] |
| 41 | br i1 %exitcond, label %for.body15, label %for.body |
| 42 | |
| 43 | for.body15: ; preds = %for.body, %for.inc35 |
| 44 | %indvar57 = phi i64 [ %indvar.next58, %for.inc35 ], [ 0, %for.body ] ; <i64> [#uses=4] |
| 45 | %count.248 = phi i32 [ %count.1, %for.inc35 ], [ 0, %for.body ] ; <i32> [#uses=2] |
| 46 | %tmp68 = add i64 %indvar57, 2 ; <i64> [#uses=2] |
| 47 | %tmp70 = mul i64 %indvar57, 3 ; <i64> [#uses=1] |
| 48 | %tmp71 = add i64 %tmp70, 6 ; <i64> [#uses=1] |
| 49 | %tmp73 = shl i64 %indvar57, 1 ; <i64> [#uses=1] |
| 50 | %add = add i64 %tmp73, 4 ; <i64> [#uses=2] |
| 51 | %arrayidx17 = getelementptr [8193 x i8]* @main.flags, i64 0, i64 %tmp68 ; <i8*> [#uses=1] |
| 52 | %tmp18 = load i8* %arrayidx17 ; <i8> [#uses=1] |
| 53 | %tobool19 = icmp eq i8 %tmp18, 0 ; <i1> [#uses=1] |
| 54 | br i1 %tobool19, label %for.inc35, label %if.then |
| 55 | |
| 56 | if.then: ; preds = %for.body15 |
| 57 | %cmp2443 = icmp slt i64 %add, 8193 ; <i1> [#uses=1] |
| 58 | br i1 %cmp2443, label %for.body25, label %for.end32 |
| 59 | |
| 60 | for.body25: ; preds = %if.then, %for.body25 |
| 61 | %indvar55 = phi i64 [ %indvar.next56, %for.body25 ], [ 0, %if.then ] ; <i64> [#uses=2] |
| 62 | %tmp60 = mul i64 %tmp68, %indvar55 ; <i64> [#uses=2] |
| 63 | %tmp75 = add i64 %add, %tmp60 ; <i64> [#uses=1] |
| 64 | %arrayidx27 = getelementptr [8193 x i8]* @main.flags, i64 0, i64 %tmp75 ; <i8*> [#uses=1] |
| 65 | store i8 0, i8* %arrayidx27 |
| 66 | %add31 = add i64 %tmp71, %tmp60 ; <i64> [#uses=1] |
| 67 | %cmp24 = icmp slt i64 %add31, 8193 ; <i1> [#uses=1] |
| 68 | %indvar.next56 = add i64 %indvar55, 1 ; <i64> [#uses=1] |
| 69 | br i1 %cmp24, label %for.body25, label %for.end32 |
| 70 | |
| 71 | for.end32: ; preds = %for.body25, %if.then |
| 72 | %inc34 = add nsw i32 %count.248, 1 ; <i32> [#uses=1] |
| 73 | br label %for.inc35 |
| 74 | |
| 75 | for.inc35: ; preds = %for.body15, %for.end32 |
| 76 | %count.1 = phi i32 [ %inc34, %for.end32 ], [ %count.248, %for.body15 ] ; <i32> [#uses=2] |
| 77 | %indvar.next58 = add i64 %indvar57, 1 ; <i64> [#uses=2] |
| 78 | %exitcond67 = icmp eq i64 %indvar.next58, 8191 ; <i1> [#uses=1] |
| 79 | br i1 %exitcond67, label %while.cond.loopexit, label %for.body15 |
| 80 | |
| 81 | while.end: ; preds = %while.cond.loopexit, %while.cond.preheader |
| 82 | %count.0.lcssa = phi i32 [ 0, %while.cond.preheader ], [ %count.1, %while.cond.loopexit ] ; <i32> [#uses=1] |
| 83 | %call40 = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([11 x i8]* @.str, i64 0, i64 0), i32 %count.0.lcssa) nounwind ; <i32> [#uses=0] |
| 84 | ret i32 0 |
| 85 | } |
| 86 | |
| 87 | declare i32 @atoi(i8* nocapture) nounwind readonly |
| 88 | |
| 89 | declare i32 @printf(i8* nocapture, ...) nounwind |