diff --git a/test/Regression/Transforms/SimplifyCFG/2002-09-24-PHIAssertion.ll b/test/Regression/Transforms/SimplifyCFG/2002-09-24-PHIAssertion.ll new file mode 100644 index 00000000000..94d632f8f83 --- /dev/null +++ b/test/Regression/Transforms/SimplifyCFG/2002-09-24-PHIAssertion.ll @@ -0,0 +1,12 @@ +; RUN: as < %s | opt -simplifycfg + +int %test(int %A, int %B, bool %cond) { +J: + %C = add int %A, 12 + br bool %cond, label %L, label %L +L: + %Q = phi int [%C, %J], [%C, %J] ; PHI node is obviously redundant + %D = add int %C, %B + %E = add int %Q, %D + ret int %E +}