diff options
author | Tobias Grosser <grosser@fim.uni-passau.de> | 2013-05-03 15:48:34 +0000 |
---|---|---|
committer | Tobias Grosser <grosser@fim.uni-passau.de> | 2013-05-03 15:48:34 +0000 |
commit | 333403abbda5722724025cda1f8f52ef36d31505 (patch) | |
tree | ccc9e55962e8420600335135333e8a42d1e22fee /test/Analysis | |
parent | e050e59a47a50f7236de8a1678a6a7c5e2e693c8 (diff) | |
download | llvm-333403abbda5722724025cda1f8f52ef36d31505.tar.gz llvm-333403abbda5722724025cda1f8f52ef36d31505.tar.bz2 llvm-333403abbda5722724025cda1f8f52ef36d31505.tar.xz |
RegionInfo: Do not crash if unreachable block is found
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@181025 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis')
-rw-r--r-- | test/Analysis/RegionInfo/unreachable_bb.ll | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/test/Analysis/RegionInfo/unreachable_bb.ll b/test/Analysis/RegionInfo/unreachable_bb.ll new file mode 100644 index 0000000000..626ccbe304 --- /dev/null +++ b/test/Analysis/RegionInfo/unreachable_bb.ll @@ -0,0 +1,29 @@ +; RUN: opt -regions -analyze < %s | FileCheck %s + +; We should not crash if there are some bbs that are not reachable. +define void @f() { +entry: + br label %for.pre + +notintree: ; No predecessors! + br label %ret + +for.pre: ; preds = %entry + br label %for + +for: ; preds = %for.inc, %for.pre + %indvar = phi i64 [ 0, %for.pre ], [ %indvar.next, %for.inc ] + %exitcond = icmp ne i64 %indvar, 200 + br i1 %exitcond, label %for.inc, label %ret + +for.inc: ; preds = %for + %indvar.next = add i64 %indvar, 1 + br label %for + +ret: ; preds = %for, %notintree + ret void +} + +; CHECK: [0] entry => <Function Return> +; CHECK: [1] for => ret + |