diff options
| author | Tobias Grosser <grosser@fim.uni-passau.de> | 2010-01-16 13:38:07 +0000 |
|---|---|---|
| committer | Tobias Grosser <grosser@fim.uni-passau.de> | 2010-01-16 13:38:07 +0000 |
| commit | 24dcbaf75618277b049ddf488a37ede3177613dc (patch) | |
| tree | e37e0a3a03312b5d544c61ea24a73783938a9eee /test/Analysis/PostDominators/pr6047_d.ll | |
| parent | 23279f18a9759d94579de7e79be61c7aa790b8ba (diff) | |
| download | external_llvm-24dcbaf75618277b049ddf488a37ede3177613dc.zip external_llvm-24dcbaf75618277b049ddf488a37ede3177613dc.tar.gz external_llvm-24dcbaf75618277b049ddf488a37ede3177613dc.tar.bz2 | |
Fix PR6047
Nodes that had children outside of the post dominator tree (infinite loops)
where removed from the post dominator tree. This seems to be wrong. Leave them
in the tree.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@93633 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/PostDominators/pr6047_d.ll')
| -rw-r--r-- | test/Analysis/PostDominators/pr6047_d.ll | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/test/Analysis/PostDominators/pr6047_d.ll b/test/Analysis/PostDominators/pr6047_d.ll new file mode 100644 index 0000000..4cfa880 --- /dev/null +++ b/test/Analysis/PostDominators/pr6047_d.ll @@ -0,0 +1,24 @@ +; RUN: opt < %s -postdomtree -analyze | FileCheck %s +define internal void @f() { +entry: + br i1 1, label %a, label %b + +a: +br label %c + +b: +br label %c + +c: + br i1 undef, label %bb35, label %bb3.i + +bb3.i: + br label %bb3.i + +bb35.loopexit3: + br label %bb35 + +bb35: + ret void +} +; CHECK: [4] %entry |