add support for zero initialized unions, patch by Tim Northover!

[oota-llvm.git] / test / Transforms / SimplifyCFG / basictest.ll

diff --git a/test/Transforms/SimplifyCFG/basictest.ll b/test/Transforms/SimplifyCFG/basictest.ll
index a829e030e21d0f3216c6d32f73d68d7f9fa4828a..83a9fa7ad1b8da349ba0e1bf8c576c2177efac7e 100644 (file)
--- a/test/Transforms/SimplifyCFG/basictest.ll
+++ b/test/Transforms/SimplifyCFG/basictest.ll
@@ -1,30 +1,59 @@
-; Test CFG simplify removal of branch instructions...
+; Test CFG simplify removal of branch instructions.
 ;
-; RUN: opt < %s -simplifycfg -S | not grep br
+; RUN: opt < %s -simplifycfg -S | FileCheck %s
 
 define void @test1() {
         br label %BB1
 BB1:            ; preds = %0
         ret void
+; CHECK: @test1
+; CHECK-NEXT: ret void
 }
 
 define void @test2() {
         ret void
 BB1:            ; No predecessors!
         ret void
+; CHECK: @test2
+; CHECK-NEXT: ret void
+; CHECK-NEXT: }
 }
 
 define void @test3(i1 %T) {
         br i1 %T, label %BB1, label %BB1
 BB1:            ; preds = %0, %0
         ret void
+; CHECK: @test3
+; CHECK-NEXT: ret void
 }
 
 
 define void @test4() {
-entry:
- br label %return
+  br label %return
 return:
- ret void
+  ret void
+; CHECK: @test4
+; CHECK-NEXT: ret void
 }
 @test4g = global i8* blockaddress(@test4, %return)
+
+
+; PR5795
+define void @test5(i32 %A) {
+  switch i32 %A, label %return [
+    i32 2, label %bb
+    i32 10, label %bb1
+  ]
+
+bb:                                               ; preds = %entry
+  ret void
+
+bb1:                                              ; preds = %entry
+  ret void
+
+return:                                           ; preds = %entry
+  ret void
+; CHECK: @test5
+; CHECK-NEXT: bb:
+; CHECK-NEXT: ret void
+}