Make loop-simplify produce better loops by turning PHI nodes like X = phi [X, Y]

into just Y.  This often occurs when it seperates loops that have collapsed loop
headers.  This implements LoopSimplify/phi-node-simplify.ll

llvm-svn: 22746