An optimizer for IR