diff options
| -rw-r--r-- | test/Transforms/Inline/invoke_test-1.ll | 2 | ||||
| -rw-r--r-- | test/Transforms/Inline/invoke_test-2.ll | 2 | ||||
| -rw-r--r-- | test/Transforms/Inline/invoke_test-3.ll | 7 |
3 files changed, 6 insertions, 5 deletions
diff --git a/test/Transforms/Inline/invoke_test-1.ll b/test/Transforms/Inline/invoke_test-1.ll index c8d844c885..2aa47f770c 100644 --- a/test/Transforms/Inline/invoke_test-1.ll +++ b/test/Transforms/Inline/invoke_test-1.ll @@ -1,4 +1,4 @@ -; Test that we can invoke a simple function, turning the calls in it into invoke +; Test that we can inline a simple function, turning the calls in it into invoke ; instructions ; RUN: as < %s | opt -inline | dis | not grep 'call[^e]' diff --git a/test/Transforms/Inline/invoke_test-2.ll b/test/Transforms/Inline/invoke_test-2.ll index d673e85d7d..95c8e66c2b 100644 --- a/test/Transforms/Inline/invoke_test-2.ll +++ b/test/Transforms/Inline/invoke_test-2.ll @@ -16,7 +16,7 @@ exc: ret int 1 } -; caller returns true if might_throw throws an exception... +; caller returns true if might_throw throws an exception... callee cannot throw. int %caller() { %X = invoke int %callee() to label %cont except label %UnreachableExceptionHandler diff --git a/test/Transforms/Inline/invoke_test-3.ll b/test/Transforms/Inline/invoke_test-3.ll index bc112042b2..7ed3ed31de 100644 --- a/test/Transforms/Inline/invoke_test-3.ll +++ b/test/Transforms/Inline/invoke_test-3.ll @@ -14,10 +14,11 @@ cont: ret int 0 exc: ; This just rethrows the exception! call void %llvm.exc.rethrow() - ret int 0 + ret int 123 ; DEAD! } -; caller returns true if might_throw throws an exception... +; 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 @@ -25,5 +26,5 @@ cont: ret int %X Handler: ; This consumes an exception thrown by might_throw - ret int -1 + ret int 1 } |