1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-30 15:32:52 +01:00
llvm-mirror/test/Regression/Transforms/Inline/invoke_test-2.ll
2003-09-16 15:29:54 +00:00

28 lines
692 B
LLVM

; Test that if an invoked function is inlined, and if that function cannot
; throw, that the dead handler is now unreachable.
; RUN: llvm-as < %s | opt -inline -simplifycfg | llvm-dis | not grep UnreachableExceptionHandler
declare void %might_throw()
implementation
internal int %callee() {
invoke void %might_throw() to label %cont except label %exc
cont:
ret int 0
exc:
; This just consumes the exception!
ret int 1
}
; caller returns true if might_throw throws an exception... callee cannot throw.
int %caller() {
%X = invoke int %callee() to label %cont
except label %UnreachableExceptionHandler
cont:
ret int %X
UnreachableExceptionHandler:
ret int -1 ; This is dead!
}