X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FFeature%2Funreachable.ll;h=8bffb4c10e7fc5d0c8f5dede0a148f94a8ff762c;hb=7c1683d47c960a66dc0e006f789962b3f10d6f45;hp=48558dded0ae4d8759a0b313b32e2180302088bb;hpb=69ccadd7535a83b348595cf603126e6a68b2883b;p=oota-llvm.git diff --git a/test/Feature/unreachable.ll b/test/Feature/unreachable.ll index 48558dded0a..8bffb4c10e7 100644 --- a/test/Feature/unreachable.ll +++ b/test/Feature/unreachable.ll @@ -1,17 +1,15 @@ -; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll +; RUN: llvm-as < %s | llvm-dis > %t1.ll ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll ; RUN: diff %t1.ll %t2.ll +declare void @bar() -implementation - -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 } +