On the decidability of phase ordering problem in optimizing compilation