; Test that any rethrown exceptions in an inlined function are automatically
; turned into branches to the invoke destination.
-; RUN: as < %s | opt -inline | dis | not grep 'call void %llvm.exc.rethrow'
+; RUN: llvm-as < %s | opt -inline | llvm-dis | not grep unwind$
-declare void %might_throw()
-declare void %llvm.exc.rethrow()
+declare void @might_throw()
-implementation
+define internal i32 @callee() {
+ invoke void @might_throw( )
+ to label %cont unwind label %exc
-internal int %callee() {
- invoke void %might_throw() to label %cont except label %exc
-cont:
- ret int 0
-exc: ; This just rethrows the exception!
- call void %llvm.exc.rethrow()
- ret int 123 ; DEAD!
+cont: ; preds = %0
+ ret i32 0
+
+exc: ; preds = %0a
+ ; This just rethrows the exception!
+ unwind
}
-; caller returns true if might_throw throws an exception... which gets
+; 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
+define i32 @caller() {
+ %X = invoke i32 @callee( )
+ to label %cont unwind label %Handler ; <i32> [#uses=1]
+
+cont: ; preds = %0
+ ret i32 %X
+
+Handler: ; preds = %0
+; This consumes an exception thrown by might_throw
+ ret i32 1
}