diff options
| author | Andrew Trick <atrick@apple.com> | 2012-03-20 21:24:52 +0000 |
|---|---|---|
| committer | Andrew Trick <atrick@apple.com> | 2012-03-20 21:24:52 +0000 |
| commit | 7edc277f7214837d3b7cc382350ea1eb968d09aa (patch) | |
| tree | 5da24a29f809e93293d1a83961b92f42a04f45eb /test/Transforms/LoopSimplify | |
| parent | cd1142ef7f9ed5a570da8b332ba481061eb6fcb6 (diff) | |
| download | llvm-7edc277f7214837d3b7cc382350ea1eb968d09aa.tar.gz llvm-7edc277f7214837d3b7cc382350ea1eb968d09aa.tar.bz2 llvm-7edc277f7214837d3b7cc382350ea1eb968d09aa.tar.xz | |
LoopSimplify bug fix. Handle indirect loop back edges.
Do not call SplitBlockPredecessors on a loop preheader when one of the
predecessors is an indirectbr. Otherwise, you will hit this assert:
!isa<IndirectBrInst>(Preds[i]->getTerminator()) && "Cannot split an edge from an IndirectBrInst"
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153134 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/LoopSimplify')
| -rw-r--r-- | test/Transforms/LoopSimplify/2012-03-20-indirectbr.ll | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/test/Transforms/LoopSimplify/2012-03-20-indirectbr.ll b/test/Transforms/LoopSimplify/2012-03-20-indirectbr.ll new file mode 100644 index 0000000000..9c805da485 --- /dev/null +++ b/test/Transforms/LoopSimplify/2012-03-20-indirectbr.ll @@ -0,0 +1,41 @@ +; RUN: opt < %s -loop-simplify -S | FileCheck %s + +; Make sure the preheader exists. +; CHECK: sw.bb103: +; CHECK: indirectbr {{.*}}label %while.cond112 +; CHECK: while.cond112: +; But the tail is not split. +; CHECK: for.body: +; CHECK: indirectbr {{.*}}label %while.cond112 +define fastcc void @build_regex_nfa() nounwind uwtable ssp { +entry: + indirectbr i8* blockaddress(@build_regex_nfa, %while.cond), [label %while.cond] + +while.cond: ; preds = %if.then439, %entry + indirectbr i8* blockaddress(@build_regex_nfa, %sw.bb103), [label %do.body785, label %sw.bb103] + +sw.bb103: ; preds = %while.body + indirectbr i8* blockaddress(@build_regex_nfa, %while.cond112), [label %while.cond112] + +while.cond112: ; preds = %for.body, %for.cond.preheader, %sw.bb103 + %pc.0 = phi i8 [ -1, %sw.bb103 ], [ 0, %for.body ], [ %pc.0, %for.cond.preheader ] + indirectbr i8* blockaddress(@build_regex_nfa, %Lsetdone), [label %sw.bb118, label %Lsetdone] + +sw.bb118: ; preds = %while.cond112 + indirectbr i8* blockaddress(@build_regex_nfa, %for.cond.preheader), [label %Lerror.loopexit, label %for.cond.preheader] + +for.cond.preheader: ; preds = %sw.bb118 + indirectbr i8* blockaddress(@build_regex_nfa, %for.body), [label %while.cond112, label %for.body] + +for.body: ; preds = %for.body, %for.cond.preheader + indirectbr i8* blockaddress(@build_regex_nfa, %for.body), [label %while.cond112, label %for.body] + +Lsetdone: ; preds = %while.cond112 + unreachable + +do.body785: ; preds = %while.cond, %while.body + ret void + +Lerror.loopexit: ; preds = %sw.bb118 + unreachable +} |