On Mon, 17 Nov 2014, Moore, Catherine wrote: > > * config/mips/mips.md (compression): Add `micromips32' setting. > > (enabled, length): Handle it. > > (shift_compression): Replace `micromips' with `micromips32' in > > the `compression' attribute. > > (*add<mode>3, sub<mode>3): Likewise. > > Yes, this looks good.
Applied now, thanks for your review. Maciej
