X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FTransforms%2FPruneEH%2Fsimplenoreturntest.ll;h=ec5d100d751388ecaa31375fd11c6fd4f52d5628;hb=6623d050c6f4351293bc1849e49bc0e37ec04596;hp=29cf9e5c82f40bdd33d74dc46aee817562860698;hpb=cd4b7a4454950799aa9f95826f8231e6764da283;p=oota-llvm.git diff --git a/test/Transforms/PruneEH/simplenoreturntest.ll b/test/Transforms/PruneEH/simplenoreturntest.ll index 29cf9e5c82f..ec5d100d751 100644 --- a/test/Transforms/PruneEH/simplenoreturntest.ll +++ b/test/Transforms/PruneEH/simplenoreturntest.ll @@ -1,16 +1,13 @@ -; RUN: llvm-as < %s | opt -prune-eh | llvm-dis | not grep 'ret int' +; RUN: opt < %s -prune-eh -S | not grep "ret i32" -void %noreturn() { - unwind -} +declare void @noreturn() noreturn -int %caller() { - ; noreturn never returns, so the ret is unreachable. - call void %noreturn() - ret int 17 +define i32 @caller() { + call void @noreturn( ) + ret i32 17 } -int %caller2() { - %T = call int %caller() - ret int %T ;; this is also unreachable! +define i32 @caller2() { + %T = call i32 @caller( ) ; [#uses=1] + ret i32 %T }