29 lines
679 B
LLVM
29 lines
679 B
LLVM
; Test that any rethrown exceptions in an inlined function are automatically
|
|
; turned into branches to the invoke destination.
|
|
|
|
; RUN: llvm-upgrade < %s | llvm-as | opt -inline | llvm-dis | not grep unwind$
|
|
|
|
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 rethrows the exception!
|
|
unwind
|
|
}
|
|
|
|
; caller returns true if might_throw throws an exception... which gets
|
|
; propagated by callee.
|
|
int %caller() {
|
|
%X = invoke int %callee() to label %cont
|
|
except label %Handler
|
|
cont:
|
|
ret int %X
|
|
Handler:
|
|
; This consumes an exception thrown by might_throw
|
|
ret int 1
|
|
}
|