Debug Info Testing: updated to use NULL instead of "i32 0" in a few fields.
[oota-llvm.git] / test / Transforms / SimplifyCFG / basictest.ll
index d0e475425231ae051aed06399f0656c9607ccd58..9c4edd68b800c9e0b17af6b971196bb1a7613c3d 100644 (file)
@@ -3,38 +3,41 @@
 ; RUN: opt < %s -simplifycfg -S | FileCheck %s
 
 define void @test1() {
-        br label %BB1
-BB1:            ; preds = %0
+        br label %1
         ret void
-; CHECK: @test1
+; CHECK-LABEL: @test1(
 ; CHECK-NEXT: ret void
 }
 
 define void @test2() {
         ret void
-BB1:            ; No predecessors!
         ret void
-; CHECK: @test2
+; CHECK-LABEL: @test2(
 ; CHECK-NEXT: ret void
 ; CHECK-NEXT: }
 }
 
 define void @test3(i1 %T) {
-        br i1 %T, label %BB1, label %BB1
-BB1:            ; preds = %0, %0
+        br i1 %T, label %1, label %1
         ret void
-; CHECK: @test3
+; CHECK-LABEL: @test3(
 ; CHECK-NEXT: ret void
 }
 
 
-define void @test4() {
-  br label %return
-return:
+; PR5795
+define void @test5(i32 %A) {
+  switch i32 %A, label %return [
+    i32 2, label %1
+    i32 10, label %2
+  ]
+
   ret void
-; CHECK: @test4
-; CHECK-NEXT: ret void
-}
-@test4g = global i8* blockaddress(@test4, %return)
 
+  ret void
 
+return:                                           ; preds = %entry
+  ret void
+; CHECK-LABEL: @test5(
+; CHECK-NEXT: ret void
+}