| 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() { |
| 8 | ; CHECK: @test1 |
| 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: |
| Tanya Lattner | baa370b | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 15 | unwind |
| Chris Lattner | 94be300 | 2003-08-24 17:58:24 +0000 | [diff] [blame] | 16 | } |
| Chris Lattner | 19788ca | 2009-10-13 18:13:05 +0000 | [diff] [blame] | 17 | |
| 18 | |
| 19 | ; Verify that simplifycfg isn't duplicating 'unwind' instructions. Doing this |
| 20 | ; is bad because it discourages commoning. |
| 21 | define i32 @test2(i1 %c) { |
| 22 | ; CHECK: @test2 |
| 23 | ; CHECK: T: |
| 24 | ; CHECK-NEXT: call void @bar() |
| 25 | ; CHECK-NEXT: br label %F |
| 26 | br i1 %c, label %T, label %F |
| 27 | T: |
| 28 | call void @bar() |
| 29 | br label %F |
| 30 | F: |
| 31 | unwind |
| 32 | } |