Debug Info Testing: updated to use NULL instead of "i32 0" in a few fields.

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

diff --git a/test/Transforms/SimplifyCFG/basictest.ll b/test/Transforms/SimplifyCFG/basictest.ll
index 9dac7c05ab61ce65e536917c2395c69ddbd5e9e3..9c4edd68b800c9e0b17af6b971196bb1a7613c3d 100644 (file)
--- a/test/Transforms/SimplifyCFG/basictest.ll
+++ b/test/Transforms/SimplifyCFG/basictest.ll
@@ -1,24 +1,43 @@
-; Test CFG simplify removal of branch instructions...
+; Test CFG simplify removal of branch instructions.
 ;
-; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis | not grep br
+; RUN: opt < %s -simplifycfg -S | FileCheck %s
 
-
-void "test1"() {
-       br label %BB1
-BB1:
-       ret void
+define void @test1() {
+        br label %1
+        ret void
+; CHECK-LABEL: @test1(
+; CHECK-NEXT: ret void
 }
 
-void "test2"() {
-       ret void
-BB1:
-       ret void
+define void @test2() {
+        ret void
+        ret void
+; CHECK-LABEL: @test2(
+; CHECK-NEXT: ret void
+; CHECK-NEXT: }
 }
 
-void "test3"(bool %T) {
-       br bool %T, label %BB1, label %BB1
-BB1:
-       ret void
+define void @test3(i1 %T) {
+        br i1 %T, label %1, label %1
+        ret void
+; CHECK-LABEL: @test3(
+; CHECK-NEXT: ret void
 }
 
 
+; PR5795
+define void @test5(i32 %A) {
+  switch i32 %A, label %return [
+    i32 2, label %1
+    i32 10, label %2
+  ]
+
+  ret void
+
+  ret void
+
+return:                                           ; preds = %entry
+  ret void
+; CHECK-LABEL: @test5(
+; CHECK-NEXT: ret void
+}