| Chris Lattner | ecd7b6d | 2005-09-20 00:41:55 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | opt -simplifycfg -adce | llvm-dis | not grep 'call void %f1' && |
| 2 | ; RUN: llvm-as < %s | opt -simplifycfg -adce -disable-output |
| Chris Lattner | b6e2b7e | 2005-09-19 23:48:04 +0000 | [diff] [blame] | 3 | declare void %f1() |
| 4 | declare void %f2() |
| 5 | declare void %f3() |
| 6 | declare void %f4() |
| 7 | |
| 8 | implementation |
| 9 | |
| Chris Lattner | ecd7b6d | 2005-09-20 00:41:55 +0000 | [diff] [blame] | 10 | int %test1(int %X, bool %D) { |
| 11 | E: |
| 12 | %C = seteq int %X, 0 |
| 13 | br bool %C, label %T, label %F |
| 14 | T: |
| 15 | br bool %C, label %B, label %A |
| 16 | A: |
| 17 | call void %f1() |
| 18 | br bool %D, label %T, label %F |
| 19 | B: |
| 20 | call void %f2() |
| 21 | ret int 345 |
| 22 | F: |
| 23 | call void %f3() |
| 24 | ret int 123 |
| 25 | } |
| 26 | |
| Chris Lattner | b6e2b7e | 2005-09-19 23:48:04 +0000 | [diff] [blame] | 27 | int %test2(int %X, bool %D) { |
| 28 | E: |
| 29 | %C = seteq int %X, 0 |
| 30 | br bool %C, label %T, label %F |
| 31 | T: |
| 32 | %P = phi bool [true, %E], [%C, %A] |
| 33 | br bool %P, label %B, label %A |
| 34 | A: |
| 35 | call void %f1() |
| 36 | br bool %D, label %T, label %F |
| 37 | B: |
| 38 | call void %f2() |
| 39 | ret int 345 |
| 40 | F: |
| 41 | call void %f3() |
| 42 | ret int 123 |
| 43 | } |
| 44 | |
| Chris Lattner | 055135d | 2005-09-20 01:43:41 +0000 | [diff] [blame^] | 45 | int %test3(int %X, bool %D, int* %AP, int* %BP) { |
| 46 | E: |
| 47 | %C = seteq int %X, 0 |
| 48 | br bool %C, label %T, label %F |
| 49 | T: |
| 50 | call void %f3() ;; Inst in block. |
| 51 | %XX = load int* %AP |
| 52 | store int %XX, int* %BP |
| 53 | br bool %C, label %B, label %A |
| 54 | A: |
| 55 | call void %f1() |
| 56 | br bool %D, label %T, label %F |
| 57 | B: |
| 58 | call void %f2() |
| 59 | ret int 345 |
| 60 | F: |
| 61 | call void %f3() |
| 62 | ret int 123 |
| 63 | } |