diff options
| author | Chris Lattner <sabre@nondot.org> | 2004-03-15 00:08:49 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2004-03-15 00:08:49 +0000 |
| commit | e94fd1963ddb1102bebd2f769158d087445d7cc8 (patch) | |
| tree | b6a9484538e6a9f5c69e0db87c3b25d0d426e2bc /test | |
| parent | 5156c39d6419c891b3004da505487091c418bf63 (diff) | |
New testcase that causes the code extractor to generate bogus code.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@12404 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Transforms/CodeExtractor/2004-03-14-DominanceProblem.ll | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/test/Transforms/CodeExtractor/2004-03-14-DominanceProblem.ll b/test/Transforms/CodeExtractor/2004-03-14-DominanceProblem.ll new file mode 100644 index 0000000000..5dffe4b5ad --- /dev/null +++ b/test/Transforms/CodeExtractor/2004-03-14-DominanceProblem.ll @@ -0,0 +1,34 @@ +; RUN: llvm-as < %s | opt -loop-extract -disable-output +; This testcase is failing the loop extractor because not all exit blocks +; are dominated by all of the live-outs. + +implementation ; Functions: + +int %ab(int %alpha, int %beta) { +entry: + br label %loopentry.1.preheader + +loopentry.1.preheader: ; preds = %then.1 + br label %loopentry.1 + +loopentry.1: ; preds = %loopentry.1.preheader, %no_exit.1 + br bool false, label %no_exit.1, label %loopexit.0.loopexit1 + +no_exit.1: ; preds = %loopentry.1 + %tmp.53 = load int* null ; <int> [#uses=1] + br bool false, label %shortcirc_next.2, label %loopentry.1 + +shortcirc_next.2: ; preds = %no_exit.1 + %tmp.563 = call int %wins( int 0, int %tmp.53, int 3 ) ; <int> [#uses=0] + ret int 0 + +loopexit.0.loopexit1: ; preds = %loopentry.1 + br label %loopexit.0 + +loopexit.0: ; preds = %loopexit.0.loopexit, %loopexit.0.loopexit1 + ret int 0 +} + +declare int %wins(int, int, int) + +declare ushort %ab_code() |