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 }
