[SROA] Fold a PHI node if all its incoming values are the same