aboutsummaryrefslogtreecommitdiffstats
path: root/test/CodeGen
diff options
context:
space:
mode:
authorDan Gohman <gohman@apple.com>2009-05-05 21:10:19 +0000
committerDan Gohman <gohman@apple.com>2009-05-05 21:10:19 +0000
commit5412d06e9c352c9795f4a71b91c4f869585866eb (patch)
treeb9dd046cc5947a1881033e8a0c35e6bbd85d944b /test/CodeGen
parent8c87ae229c43939f5868b5778c53e787df0927ef (diff)
downloadexternal_llvm-5412d06e9c352c9795f4a71b91c4f869585866eb.zip
external_llvm-5412d06e9c352c9795f4a71b91c4f869585866eb.tar.gz
external_llvm-5412d06e9c352c9795f4a71b91c4f869585866eb.tar.bz2
If a MachineBasicBlock has multiple ways of reaching another block,
allow it to have multiple CFG edges to that block. This is needed to allow MachineBasicBlock::isOnlyReachableByFallthrough to work correctly. This fixes PR4126. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@71018 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen')
-rw-r--r--test/CodeGen/X86/omit-label.ll23
1 files changed, 23 insertions, 0 deletions
diff --git a/test/CodeGen/X86/omit-label.ll b/test/CodeGen/X86/omit-label.ll
new file mode 100644
index 0000000..457b66b
--- /dev/null
+++ b/test/CodeGen/X86/omit-label.ll
@@ -0,0 +1,23 @@
+; RUN: llvm-as < %s | llc -march=x86-64 | grep BB1_1:
+; PR4126
+
+; Don't omit this label's definition.
+
+define void @bux(i32 %p_53) nounwind optsize {
+entry:
+ %0 = icmp eq i32 %p_53, 0 ; <i1> [#uses=1]
+ %1 = icmp sgt i32 %p_53, 0 ; <i1> [#uses=1]
+ %or.cond = and i1 %0, %1 ; <i1> [#uses=1]
+ br i1 %or.cond, label %bb.i, label %bb3
+
+bb.i: ; preds = %entry
+ %2 = add i32 %p_53, 1 ; <i32> [#uses=1]
+ %3 = icmp slt i32 %2, 0 ; <i1> [#uses=0]
+ br label %bb3
+
+bb3: ; preds = %bb.i, %entry
+ %4 = tail call i32 (...)* @baz(i32 0) nounwind ; <i32> [#uses=0]
+ ret void
+}
+
+declare i32 @baz(...)