34 lines · plain
1; RUN: opt < %s -passes='print<iv-users>'2; PR9633: Tests that SCEV handles the mul.i2 recurrence being folded to3; constant zero.4 5define signext i8 @func_14(i8 signext %p_18, i1 %arg) nounwind readnone ssp {6entry:7 br label %for.inc8 9for.inc:10 %p_17.addr.012 = phi i32 [ 0, %entry ], [ %add, %for.inc ]11 %add = add nsw i32 %p_17.addr.012, 112 br i1 false, label %for.inc, label %for.cond13 14for.cond:15 %tobool.i = icmp ult i32 %add, 819216 %shl.i = select i1 %tobool.i, i32 13, i32 017 %shl.left.i = shl i32 %add, %shl.i18 %conv.i4 = trunc i32 %shl.left.i to i819 br i1 %arg, label %for.inc9, label %if.then20 21for.inc9:22 %p_18.addr.011 = phi i8 [ %add12, %for.inc9 ], [ %p_18, %for.cond ]23 %add12 = add i8 %p_18.addr.011, 124 %mul.i2 = mul i8 %add12, %conv.i425 %mul.i2.lobit = lshr i8 %mul.i2, 726 %lor.ext.shr.i = select i1 undef, i8 %mul.i2.lobit, i8 %mul.i227 %tobool = icmp eq i8 %lor.ext.shr.i, 028 br i1 %tobool, label %for.inc9, label %if.then29 30if.then:31 ret i8 032 33}34