1Regression test for the DCE pass of the compiler which used
2to trip on this code: the DCE pass would re-build the dominator
3tree and that code used to not anticipate seeing phis in the graph.
4