From 0f12ef6289367a97a10c21f57a0ea4033e6dc053 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sun, 24 Aug 2003 06:55:07 +0000 Subject: New testcases for inlining invoke instructions llvm-svn: 8103 --- .../Regression/Transforms/Inline/invoke_test-3.ll | 29 ++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 llvm/test/Regression/Transforms/Inline/invoke_test-3.ll (limited to 'llvm/test/Regression/Transforms/Inline/invoke_test-3.ll') diff --git a/llvm/test/Regression/Transforms/Inline/invoke_test-3.ll b/llvm/test/Regression/Transforms/Inline/invoke_test-3.ll new file mode 100644 index 00000000000..bc112042b2e --- /dev/null +++ b/llvm/test/Regression/Transforms/Inline/invoke_test-3.ll @@ -0,0 +1,29 @@ +; 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' + +declare void %might_throw() +declare void %llvm.exc.rethrow() + +implementation + +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 0 +} + +; caller returns true if might_throw throws an exception... +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 +} -- cgit v1.2.3