1; RUN: opt < %s -S -loop-reduce | FileCheck %s 2 3define void @testIVNext(ptr nocapture %a, i64 signext %m, i64 signext %n) { 4entry: 5 br label %for.body 6 7for.body: 8 %indvars.iv.prol = phi i64 [ %indvars.iv.next.prol, %for.body ], [ %m, %entry ] 9 %i = phi i64 [ %i.next, %for.body ], [ 0, %entry ] 10 %uglygep138 = getelementptr i64, ptr %a, i64 %i 11 store i64 55, ptr %uglygep138, align 4 12 %indvars.iv.next.prol = add nuw nsw i64 %indvars.iv.prol, 1 13 %i.next = add i64 %i, 1 14 %i.cmp.not = icmp eq i64 %i.next, %n 15 br i1 %i.cmp.not, label %for.exit, label %for.body 16 17; CHECK: entry: 18; CHECK: %0 = add i64 %n, %m 19; CHECK-NOT: %indvars.iv.next.prol 20; CHECK-NOT: %indvars.iv.prol 21; CHECK: %indvars.iv.unr = phi i64 [ %0, %for.exit ] 22for.exit: 23 %indvars.iv.next.prol.lcssa = phi i64 [ %indvars.iv.next.prol, %for.body ] 24 br label %exit 25 26exit: 27 %indvars.iv.unr = phi i64 [ %indvars.iv.next.prol.lcssa, %for.exit ] 28 ret void 29} 30 31define void @testIV(ptr nocapture %a, i64 signext %m, i64 signext %n) { 32entry: 33 br label %for.body 34 35for.body: 36 %iv.prol = phi i64 [ %iv.next.prol, %for.body ], [ %m, %entry ] 37 %i = phi i64 [ %i.next, %for.body ], [ 0, %entry ] 38 %uglygep138 = getelementptr i64, ptr %a, i64 %i 39 store i64 55, ptr %uglygep138, align 4 40 %iv.next.prol = add nuw nsw i64 %iv.prol, 1 41 %i.next = add i64 %i, 1 42 %i.cmp.not = icmp eq i64 %i.next, %n 43 br i1 %i.cmp.not, label %for.exit, label %for.body 44 45; CHECK: entry: 46; CHECK: %0 = add i64 %n, %m 47; CHECK: %1 = add i64 %0, -1 48; CHECK-NOT: %iv.next.prol 49; CHECK-NOT: %iv.prol 50; CHECK: %indvars.iv.unr = phi i64 [ %1, %for.exit ] 51for.exit: 52 %iv.prol.lcssa = phi i64 [ %iv.prol, %for.body ] 53 br label %exit 54exit: 55 %indvars.iv.unr = phi i64 [%iv.prol.lcssa, %for.exit] 56 ret void 57} 58 59define void @testNonIndVarPhi() { 60cont5820: 61 br label %for.cond5821 62 63for.cond5821: ; preds = %cont5825, %cont5820 64 %0 = phi i32 [ 0, %cont5825 ], [ 1, %cont5820 ] 65 br label %cont5825 66 67cont5825: ; preds = %for.cond5821 68 br i1 false, label %for.cond5821, label %for.cond6403 69 70for.cond6403: ; preds = %dead, %cont5825 71 %1 = phi i32 [ %.lcssa221, %dead ], [ 0, %cont5825 ] 72 br label %for.cond6418 73 74for.cond6418: ; preds = %cont6497, %for.cond6403 75 %2 = phi i32 [ %0, %cont6497 ], [ %1, %for.cond6403 ] 76 %3 = phi i64 [ 1, %cont6497 ], [ 0, %for.cond6403 ] 77 %cmp6419 = icmp ule i64 %3, 0 78 br i1 %cmp6419, label %cont6497, label %for.end6730 79 80cont6497: ; preds = %for.cond6418 81 %conv6498 = sext i32 %2 to i64 82 br label %for.cond6418 83 84for.end6730: ; preds = %for.cond6418 85; Check that we don't make changes for phis which are not considered 86; induction variables 87; CHECK: %.lcssa221 = phi i32 [ %2, %for.cond6418 ] 88 %.lcssa221 = phi i32 [ %2, %for.cond6418 ] 89 ret void 90 91dead: ; No predecessors! 92 br label %for.cond6403 93} 94 95 96; Check that this doesn't crash 97define void @kernfs_path_from_node() { 98entry: 99 callbr void asm sideeffect "", "!i"() 100 to label %asm.fallthrough [label %while.body] 101 102asm.fallthrough: ; preds = %entry 103 br label %while.body 104 105while.body: ; preds = %while.body, %asm.fallthrough, %entry 106 %depth.04 = phi i32 [ %inc, %while.body ], [ 0, %asm.fallthrough ], [ 0, %entry ] 107 %inc = add i32 %depth.04, 1 108 br i1 false, label %while.end, label %while.body 109 110while.end: ; preds = %while.body 111 %inc.lcssa = phi i32 [ %depth.04, %while.body ] 112 store i32 %inc.lcssa, ptr null, align 4 113 ret void 114} 115