Kill and collapse outstanding DomainValues.

[oota-llvm.git] / test / Feature / unreachable.ll

diff --git a/test/Feature/unreachable.ll b/test/Feature/unreachable.ll
index 84c4552a627d69958d929ac50f9069752cdd220e..8bffb4c10e7fc5d0c8f5dede0a148f94a8ff762c 100644 (file)
--- a/test/Feature/unreachable.ll
+++ b/test/Feature/unreachable.ll
@@ -1,13 +1,15 @@
+; RUN: llvm-as < %s | llvm-dis > %t1.ll
+; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
+; RUN: diff %t1.ll %t2.ll
 
-implementation
+declare void @bar()
 
-declare void %bar()
-
-int %foo() {  ;; Calling this function has undefined behavior
-       unreachable
+define i32 @foo() {
+        unreachable
 }
 
-double %xyz() {
-       call void %bar()
-       unreachable          ;; Bar must not return.
+define double @xyz() {
+        call void @bar( )
+        unreachable
 }
+