new testcase
[oota-llvm.git] / test / Transforms / SimplifyCFG / 2002-09-24-PHIAssertion.ll
1 ; RUN: llvm-as < %s | opt -simplifycfg
2
3 int %test(int %A, int %B, bool %cond) {
4 J:
5         %C = add int %A, 12
6         br bool %cond, label %L, label %L
7 L:
8         %Q = phi int [%C, %J], [%C, %J]  ; PHI node is obviously redundant
9         %D = add int %C, %B
10         %E = add int %Q, %D
11         ret int %E
12 }