57 lines · plain
1; RUN: opt < %s -passes=lcssa,verify -S -o /dev/null2 3; This bugpoint reduced test case used to assert when removing unused PHI nodes.4; Just verify that we do not assert/crash.5 6define void @test(i1 %arg) {7entry:8 br label %gazank9 10gazank:11 %value = phi i16 [ 0, %entry ], [ undef, %gazonk ]12 br i1 %arg, label %gazink, label %qqq13 14gazink:15 br i1 %arg, label %gazonk, label %infinite.loop.pred16 17gazonk:18 br i1 %arg, label %exit1, label %gazank19 20qqq:21 br i1 %arg, label %www, label %exit222 23www:24 br i1 %arg, label %qqq, label %foo.pred25 26foo.pred:27 br label %foo28 29foo:30 br i1 %arg, label %bar, label %exit1.pred31 32bar:33 br i1 %arg, label %foo, label %exit2.pred34 35unreachable1:36 br i1 %arg, label %foo, label %exit2.pred37 38exit1.pred:39 br label %exit140 41exit1:42 ret void43 44exit2.pred:45 br label %exit246 47exit2:48 ret void49 50infinite.loop.pred:51 br label %infinite.loop52 53infinite.loop:54 %dead = phi i16 [ %value, %infinite.loop.pred ], [ 0, %infinite.loop ]55 br label %infinite.loop56}57