| Reid Spencer | c6b9efa | 2007-04-13 22:33:10 +0000 | [diff] [blame^] | 1 | ; This is a basic sanity check for constant propogation. The add instruction |
| 2 | ; should be eliminated. | ||||
| 3 | |||||
| 4 | ; RUN: llvm-as < %s | opt -sccp | llvm-dis -o /dev/null -f && | ||||
| 5 | ; RUN: llvm-as < %s | opt -sccp | llvm-dis | not grep add | ||||
| 6 | |||||
| 7 | define i128 @test(i1 %B) { | ||||
| 8 | br i1 %B, label %BB1, label %BB2 | ||||
| 9 | BB1: | ||||
| 10 | %Val = add i128 0, 1 | ||||
| 11 | br label %BB3 | ||||
| 12 | BB2: | ||||
| 13 | br label %BB3 | ||||
| 14 | BB3: | ||||
| 15 | %Ret = phi i128 [%Val, %BB1], [2, %BB2] | ||||
| 16 | ret i128 %Ret | ||||
| 17 | } | ||||