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