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