| Dan Gohman | f2f6ce6 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -simplifycfg -adce -S | \ |
| Chandler Carruth | 1de43ed | 2012-07-02 19:09:46 +0000 | [diff] [blame] | 2 | ; RUN: not grep "call void @f1" |
| Reid Spencer | 9aafdcf | 2007-04-15 09:21:47 +0000 | [diff] [blame] | 3 | ; END. |
| 4 | |
| Tanya Lattner | f04d8d1 | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 5 | declare void @f1() |
| Chris Lattner | b6e2b7e | 2005-09-19 23:48:04 +0000 | [diff] [blame] | 6 | |
| Tanya Lattner | f04d8d1 | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 7 | declare void @f2() |
| Chris Lattner | b6e2b7e | 2005-09-19 23:48:04 +0000 | [diff] [blame] | 8 | |
| Tanya Lattner | f04d8d1 | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 9 | declare void @f3() |
| 10 | |
| 11 | declare void @f4() |
| 12 | |
| 13 | define i32 @test1(i32 %X, i1 %D) { |
| Chris Lattner | ecd7b6d | 2005-09-20 00:41:55 +0000 | [diff] [blame] | 14 | E: |
| Tanya Lattner | f04d8d1 | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 15 | %C = icmp eq i32 %X, 0 ; <i1> [#uses=2] |
| 16 | br i1 %C, label %T, label %F |
| 17 | T: ; preds = %A, %E |
| 18 | br i1 %C, label %B, label %A |
| 19 | A: ; preds = %T |
| 20 | call void @f1( ) |
| 21 | br i1 %D, label %T, label %F |
| 22 | B: ; preds = %T |
| 23 | call void @f2( ) |
| 24 | ret i32 345 |
| 25 | F: ; preds = %A, %E |
| 26 | call void @f3( ) |
| 27 | ret i32 123 |
| Chris Lattner | ecd7b6d | 2005-09-20 00:41:55 +0000 | [diff] [blame] | 28 | } |
| 29 | |
| Tanya Lattner | f04d8d1 | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 30 | define i32 @test2(i32 %X, i1 %D) { |
| Chris Lattner | b6e2b7e | 2005-09-19 23:48:04 +0000 | [diff] [blame] | 31 | E: |
| Tanya Lattner | f04d8d1 | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 32 | %C = icmp eq i32 %X, 0 ; <i1> [#uses=2] |
| 33 | br i1 %C, label %T, label %F |
| 34 | T: ; preds = %A, %E |
| 35 | %P = phi i1 [ true, %E ], [ %C, %A ] ; <i1> [#uses=1] |
| 36 | br i1 %P, label %B, label %A |
| 37 | A: ; preds = %T |
| 38 | call void @f1( ) |
| 39 | br i1 %D, label %T, label %F |
| 40 | B: ; preds = %T |
| 41 | call void @f2( ) |
| 42 | ret i32 345 |
| 43 | F: ; preds = %A, %E |
| 44 | call void @f3( ) |
| 45 | ret i32 123 |
| Chris Lattner | b6e2b7e | 2005-09-19 23:48:04 +0000 | [diff] [blame] | 46 | } |
| 47 | |
| Tanya Lattner | f04d8d1 | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 48 | define i32 @test3(i32 %X, i1 %D, i32* %AP, i32* %BP) { |
| Chris Lattner | 055135d | 2005-09-20 01:43:41 +0000 | [diff] [blame] | 49 | E: |
| Tanya Lattner | f04d8d1 | 2008-03-18 03:45:45 +0000 | [diff] [blame] | 50 | %C = icmp eq i32 %X, 0 ; <i1> [#uses=2] |
| 51 | br i1 %C, label %T, label %F |
| 52 | T: ; preds = %A, %E |
| 53 | call void @f3( ) |
| 54 | %XX = load i32* %AP ; <i32> [#uses=1] |
| 55 | store i32 %XX, i32* %BP |
| 56 | br i1 %C, label %B, label %A |
| 57 | A: ; preds = %T |
| 58 | call void @f1( ) |
| 59 | br i1 %D, label %T, label %F |
| 60 | B: ; preds = %T |
| 61 | call void @f2( ) |
| 62 | ret i32 345 |
| 63 | F: ; preds = %A, %E |
| 64 | call void @f3( ) |
| 65 | ret i32 123 |
| Chris Lattner | 055135d | 2005-09-20 01:43:41 +0000 | [diff] [blame] | 66 | } |