| ; This is a basic sanity check for constant propogation. The add instruction | |
| ; should be eliminated. | |
| ; RUN: llvm-as < %s | opt -constprop -die | llvm-dis | not grep add | |
| int %test(bool %B) { | |
| br bool %B, label %BB1, label %BB2 | |
| BB1: | |
| %Val = add int 0, 0 | |
| br label %BB3 | |
| BB2: | |
| br label %BB3 | |
| BB3: | |
| %Ret = phi int [%Val, %BB1], [1, %BB2] | |
| ret int %Ret | |
| } |