| ; RUN: opt < %s -analyze -enable-new-pm=0 -iv-users |
| ; RUN: opt < %s -disable-output -iv-users |
| ; RUN: opt < %s -passes='print<iv-users>' |
| ; PR9633: Tests that SCEV handles the mul.i2 recurrence being folded to |
| ; constant zero. |
| |
| define signext i8 @func_14(i8 signext %p_18) nounwind readnone ssp { |
| entry: |
| br label %for.inc |
| |
| for.inc: |
| %p_17.addr.012 = phi i32 [ 0, %entry ], [ %add, %for.inc ] |
| %add = add nsw i32 %p_17.addr.012, 1 |
| br i1 false, label %for.inc, label %for.cond |
| |
| for.cond: |
| %tobool.i = icmp ult i32 %add, 8192 |
| %shl.i = select i1 %tobool.i, i32 13, i32 0 |
| %shl.left.i = shl i32 %add, %shl.i |
| %conv.i4 = trunc i32 %shl.left.i to i8 |
| br i1 undef, label %for.inc9, label %if.then |
| |
| for.inc9: |
| %p_18.addr.011 = phi i8 [ %add12, %for.inc9 ], [ %p_18, %for.cond ] |
| %add12 = add i8 %p_18.addr.011, 1 |
| %mul.i2 = mul i8 %add12, %conv.i4 |
| %mul.i2.lobit = lshr i8 %mul.i2, 7 |
| %lor.ext.shr.i = select i1 undef, i8 %mul.i2.lobit, i8 %mul.i2 |
| %tobool = icmp eq i8 %lor.ext.shr.i, 0 |
| br i1 %tobool, label %for.inc9, label %if.then |
| |
| if.then: |
| ret i8 0 |
| |
| } |