X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FFeature%2Funreachable.ll;h=8bffb4c10e7fc5d0c8f5dede0a148f94a8ff762c;hb=ab3d00e5350fd4c097e2a5b077da7584692029a7;hp=de7beb93aeb52caed9e80beca3065bb3b403e3c6;hpb=3f7706b5d23aca56a6d3a62ebb9466e1e89335f7;p=oota-llvm.git diff --git a/test/Feature/unreachable.ll b/test/Feature/unreachable.ll index de7beb93aeb..8bffb4c10e7 100644 --- a/test/Feature/unreachable.ll +++ b/test/Feature/unreachable.ll @@ -1,17 +1,15 @@ -; RUN: llvm-as %s -o - | 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 } +