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