| Chris Lattner | 8d6d093 | 2009-10-13 18:10:05 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -simplifycfg -S | FileCheck %s |
| Chris Lattner | 94be300 | 2003-08-24 17:58:24 +0000 | [diff] [blame] | 2 | |
| Tanya Lattner | baa370b | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 3 | declare void @bar() |
| Chris Lattner | 94be300 | 2003-08-24 17:58:24 +0000 | [diff] [blame] | 4 | |
| Chris Lattner | 19788ca | 2009-10-13 18:13:05 +0000 | [diff] [blame] | 5 | ; This testcase checks to see if the simplifycfg pass is converting invoke |
| 6 | ; instructions to call instructions if the handler just rethrows the exception. |
| Chris Lattner | 8d6d093 | 2009-10-13 18:10:05 +0000 | [diff] [blame] | 7 | define i32 @test1() { |
| Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame] | 8 | ; CHECK-LABEL: @test1( |
| Chris Lattner | 8d6d093 | 2009-10-13 18:10:05 +0000 | [diff] [blame] | 9 | ; CHECK-NEXT: call void @bar() |
| 10 | ; CHECK-NEXT: ret i32 0 |
| Tanya Lattner | baa370b | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 11 | invoke void @bar( ) |
| Chris Lattner | bc9e6d9 | 2010-12-13 05:10:30 +0000 | [diff] [blame] | 12 | to label %1 unwind label %Rethrow |
| Tanya Lattner | baa370b | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 13 | ret i32 0 |
| Chris Lattner | bc9e6d9 | 2010-12-13 05:10:30 +0000 | [diff] [blame] | 14 | Rethrow: |
| Bill Wendling | e7b02b8 | 2011-09-19 22:11:35 +0000 | [diff] [blame] | 15 | %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0 |
| 16 | catch i8* null |
| 17 | resume { i8*, i32 } %exn |
| Chris Lattner | 94be300 | 2003-08-24 17:58:24 +0000 | [diff] [blame] | 18 | } |
| Chris Lattner | 19788ca | 2009-10-13 18:13:05 +0000 | [diff] [blame] | 19 | |
| Bill Wendling | e7b02b8 | 2011-09-19 22:11:35 +0000 | [diff] [blame] | 20 | declare i32 @__gxx_personality_v0(...) |