115 lines · plain
1; RUN: opt < %s -S -loop-reduce | FileCheck %s2 3define void @testIVNext(ptr nocapture %a, i64 signext %m, i64 signext %n) {4entry:5 br label %for.body6 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 %i11 store i64 55, ptr %uglygep138, align 412 %indvars.iv.next.prol = add nuw nsw i64 %indvars.iv.prol, 113 %i.next = add i64 %i, 114 %i.cmp.not = icmp eq i64 %i.next, %n15 br i1 %i.cmp.not, label %for.exit, label %for.body16 17; CHECK: entry:18; CHECK: %0 = add i64 %n, %m19; CHECK-NOT: %indvars.iv.next.prol20; CHECK-NOT: %indvars.iv.prol21; 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 %exit25 26exit:27 %indvars.iv.unr = phi i64 [ %indvars.iv.next.prol.lcssa, %for.exit ]28 ret void29}30 31define void @testIV(ptr nocapture %a, i64 signext %m, i64 signext %n) {32entry:33 br label %for.body34 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 %i39 store i64 55, ptr %uglygep138, align 440 %iv.next.prol = add nuw nsw i64 %iv.prol, 141 %i.next = add i64 %i, 142 %i.cmp.not = icmp eq i64 %i.next, %n43 br i1 %i.cmp.not, label %for.exit, label %for.body44 45; CHECK: entry:46; CHECK: %0 = add i64 %n, %m47; CHECK: %1 = add i64 %0, -148; CHECK-NOT: %iv.next.prol49; CHECK-NOT: %iv.prol50; CHECK: %indvars.iv.unr = phi i64 [ %1, %for.exit ]51for.exit:52 %iv.prol.lcssa = phi i64 [ %iv.prol, %for.body ]53 br label %exit54exit:55 %indvars.iv.unr = phi i64 [%iv.prol.lcssa, %for.exit]56 ret void57}58 59define void @testNonIndVarPhi() {60cont5820:61 br label %for.cond582162 63for.cond5821: ; preds = %cont5825, %cont582064 %0 = phi i32 [ 0, %cont5825 ], [ 1, %cont5820 ]65 br label %cont582566 67cont5825: ; preds = %for.cond582168 br i1 false, label %for.cond5821, label %for.cond640369 70for.cond6403: ; preds = %dead, %cont582571 %1 = phi i32 [ %.lcssa221, %dead ], [ 0, %cont5825 ]72 br label %for.cond641873 74for.cond6418: ; preds = %cont6497, %for.cond640375 %2 = phi i32 [ %0, %cont6497 ], [ %1, %for.cond6403 ]76 %3 = phi i64 [ 1, %cont6497 ], [ 0, %for.cond6403 ]77 %cmp6419 = icmp ule i64 %3, 078 br i1 %cmp6419, label %cont6497, label %for.end673079 80cont6497: ; preds = %for.cond641881 %conv6498 = sext i32 %2 to i6482 br label %for.cond641883 84for.end6730: ; preds = %for.cond641885; Check that we don't make changes for phis which are not considered86; induction variables87; CHECK: %.lcssa221 = phi i32 [ %2, %for.cond6418 ]88 %.lcssa221 = phi i32 [ %2, %for.cond6418 ]89 ret void90 91dead: ; No predecessors!92 br label %for.cond640393}94 95 96; Check that this doesn't crash97define void @kernfs_path_from_node() {98entry:99 callbr void asm sideeffect "", "!i"()100 to label %asm.fallthrough [label %while.body]101 102asm.fallthrough: ; preds = %entry103 br label %while.body104 105while.body: ; preds = %while.body, %asm.fallthrough, %entry106 %depth.04 = phi i32 [ %inc, %while.body ], [ 0, %asm.fallthrough ], [ 0, %entry ]107 %inc = add i32 %depth.04, 1108 br i1 false, label %while.end, label %while.body109 110while.end: ; preds = %while.body111 %inc.lcssa = phi i32 [ %depth.04, %while.body ]112 store i32 %inc.lcssa, ptr null, align 4113 ret void114}115