Chris Lattner | 1610df2 | 2002-05-07 20:32:19 +0000 | [diff] [blame] | 1 | ; This is a basic sanity check for constant propogation. The add instruction |
| 2 | ; should be eliminated. |
| 3 | |
Chris Lattner | 50e8682 | 2003-06-28 23:23:34 +0000 | [diff] [blame^] | 4 | ; RUN: as < %s | opt -constprop -die | dis | not grep phi |
Chris Lattner | 1610df2 | 2002-05-07 20:32:19 +0000 | [diff] [blame] | 5 | |
Chris Lattner | 50e8682 | 2003-06-28 23:23:34 +0000 | [diff] [blame^] | 6 | int %test(bool %B) { |
Chris Lattner | 1610df2 | 2002-05-07 20:32:19 +0000 | [diff] [blame] | 7 | BB0: |
| 8 | br bool %B, label %BB1, label %BB3 |
| 9 | BB1: |
| 10 | br label %BB3 |
| 11 | BB3: |
| 12 | %Ret = phi int [1, %BB0], [1, %BB1] |
| 13 | ret int %Ret |
Chris Lattner | 50e8682 | 2003-06-28 23:23:34 +0000 | [diff] [blame^] | 14 | } |