| Chris Lattner | a1ab959 | 2002-05-02 20:41:39 +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 -sccp | dis | not grep add |
| Chris Lattner | a1ab959 | 2002-05-02 20:41:39 +0000 | [diff] [blame] | 5 | |
| Chris Lattner | 50e8682 | 2003-06-28 23:23:34 +0000 | [diff] [blame^] | 6 | int %test(bool %B) { |
| Chris Lattner | a1ab959 | 2002-05-02 20:41:39 +0000 | [diff] [blame] | 7 | br bool %B, label %BB1, label %BB2 |
| 8 | BB1: |
| 9 | %Val = add int 0, 0 |
| 10 | br label %BB3 |
| 11 | BB2: |
| 12 | br label %BB3 |
| 13 | BB3: |
| 14 | %Ret = phi int [%Val, %BB1], [1, %BB2] |
| 15 | ret int %Ret |
| Chris Lattner | 50e8682 | 2003-06-28 23:23:34 +0000 | [diff] [blame^] | 16 | } |