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 | fec74e7ce258f5c630cde2a0f29d3f24ac31c9f2 (patch) | |
| tree | 89603d4a4a2021c2f712e2e65d71346b928f32f9 /llvm/test/Regression/Transforms/CodeExtractor | |
| parent | 2f155d8734e71188640a5f40810a1921a644d05f (diff) | |
| download | bcm5719-llvm-fec74e7ce258f5c630cde2a0f29d3f24ac31c9f2.tar.gz bcm5719-llvm-fec74e7ce258f5c630cde2a0f29d3f24ac31c9f2.zip | |
New testcase that causes the code extractor to generate bogus code.
llvm-svn: 12404
Diffstat (limited to 'llvm/test/Regression/Transforms/CodeExtractor')
| -rw-r--r-- | llvm/test/Regression/Transforms/CodeExtractor/2004-03-14-DominanceProblem.ll | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/llvm/test/Regression/Transforms/CodeExtractor/2004-03-14-DominanceProblem.ll b/llvm/test/Regression/Transforms/CodeExtractor/2004-03-14-DominanceProblem.ll new file mode 100644 index 00000000000..5dffe4b5adf --- /dev/null +++ b/llvm/test/Regression/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() |
