X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FFeature%2Funreachable.ll;h=8bffb4c10e7fc5d0c8f5dede0a148f94a8ff762c;hb=7c1683d47c960a66dc0e006f789962b3f10d6f45;hp=84c4552a627d69958d929ac50f9069752cdd220e;hpb=9bbcf09431cd203239de81b07f948c9537591e6d;p=oota-llvm.git

diff --git a/test/Feature/unreachable.ll b/test/Feature/unreachable.ll
index 84c4552a627..8bffb4c10e7 100644
--- 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
 }
+