1 files changed, 65 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/PowerPC/tail-dup-branch-to-fallthrough.ll b/llvm/test/CodeGen/PowerPC/tail-dup-branch-to-fallthrough.ll
new file mode 100644
index 00000000000..5d03af801fc
--- /dev/null
+++ b/llvm/test/CodeGen/PowerPC/tail-dup-branch-to-fallthrough.ll
@@ -0,0 +1,65 @@
+; RUN: llc -O2 %s -o - | FileCheck %s
+target datalayout = "E-m:e-i64:64-n32:64"
+target triple = "powerpc64-unknown-linux-gnu"
+
+; Function Attrs: nounwind
+declare void @llvm.lifetime.end(i64, i8* nocapture) #0
+
+declare void @f1()
+declare void @f2()
+declare void @f3()
+declare void @f4()
+
+; Function Attrs: nounwind
+; CHECK-LABEL: tail_dup_fallthrough_with_branch
+; CHECK: # %entry
+; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}}
+; CHECK: # %entry
+; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}}
+; CHECK: # %sw.0
+; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}}
+; CHECK: # %sw.1
+; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}}
+; CHECK: # %sw.default
+; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}}
+; CHECK: # %if.then
+; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}}
+; CHECK: # %if.else
+; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}}
+; CHECK: .Lfunc_end0
+define fastcc void @tail_dup_fallthrough_with_branch(i32 %a, i1 %b) unnamed_addr #0 {
+entry:
+  switch i32 %a, label %sw.default [
+    i32 0, label %sw.0
+    i32 1, label %sw.1
+  ]
+
+sw.0:                                         ; preds = %entry
+  call void @f1() #0
+  br label %dup1
+
+sw.1:                                         ; preds = %entry
+  call void @f2() #0
+  br label %dup1
+
+sw.default:                                   ; preds = %entry
+  br i1 %b, label %if.then, label %if.else
+
+if.then:                                      ; preds = %sw.default
+  call void @f3() #0
+  br label %dup2
+
+if.else:                                      ; preds = %sw.default
+  call void @f4() #0
+  br label %dup2
+
+dup1:                                         ; preds = %sw.0, %sw.1
+  call void @llvm.lifetime.end(i64 8, i8* nonnull undef) #0
+  unreachable
+
+dup2:                                         ; preds = %if.then, %if.else
+  call void @llvm.lifetime.end(i64 8, i8* nonnull undef) #0
+  unreachable
+}
+
+attributes #0 = { nounwind }