; Test that any rethrown exceptions in an inlined function are automatically
; turned into branches to the invoke destination.
-; RUN: llvm-as < %s | opt -inline | llvm-dis | not grep 'call void %llvm.unwind'
+; RUN: opt < %s -inline -S | not grep unwind$
-declare void %might_throw()
-declare void %llvm.unwind()
+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.unwind()
- ret int 123 ; DEAD!
+cont: ; preds = %0
+ ret i32 0
+
+exc: ; preds = %0a
+ ; This just rethrows the exception!
+ %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
+ cleanup
+ resume { i8*, i32 } %exn
}
-; 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
+ %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
+ cleanup
+ ret i32 1
}
+
+declare i32 @__gxx_personality_v0(...)