| Andrew Trick | 104f4ad | 2011-04-27 05:42:17 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -analyze -iv-users |
| 2 | ; PR9633: Tests that SCEV handles the mul.i2 recurrence being folded to |
| 3 | ; constant zero. |
| 4 | |
| 5 | define signext i8 @func_14(i8 signext %p_18) nounwind readnone ssp { |
| 6 | entry: |
| 7 | br label %for.inc |
| 8 | |
| 9 | for.inc: |
| 10 | %p_17.addr.012 = phi i32 [ 0, %entry ], [ %add, %for.inc ] |
| 11 | %add = add nsw i32 %p_17.addr.012, 1 |
| 12 | br i1 false, label %for.inc, label %for.cond |
| 13 | |
| 14 | for.cond: |
| 15 | %tobool.i = icmp ult i32 %add, 8192 |
| 16 | %shl.i = select i1 %tobool.i, i32 13, i32 0 |
| 17 | %shl.left.i = shl i32 %add, %shl.i |
| 18 | %conv.i4 = trunc i32 %shl.left.i to i8 |
| 19 | br i1 undef, label %for.inc9, label %if.then |
| 20 | |
| 21 | for.inc9: |
| 22 | %p_18.addr.011 = phi i8 [ %add12, %for.inc9 ], [ %p_18, %for.cond ] |
| 23 | %add12 = add i8 %p_18.addr.011, 1 |
| 24 | %mul.i2 = mul i8 %add12, %conv.i4 |
| 25 | %mul.i2.lobit = lshr i8 %mul.i2, 7 |
| 26 | %lor.ext.shr.i = select i1 undef, i8 %mul.i2.lobit, i8 %mul.i2 |
| 27 | %tobool = icmp eq i8 %lor.ext.shr.i, 0 |
| 28 | br i1 %tobool, label %for.inc9, label %if.then |
| 29 | |
| 30 | if.then: |
| 31 | ret i8 0 |
| 32 | |
| 33 | } |