On Mon, 3 Jun 2013, Richard Sandiford wrote: > > Index: config/mips/mips.opt > > =================================================================== > > --- config/mips/mips.opt (revision 199610) > > +++ config/mips/mips.opt (working copy) > > @@ -141,6 +141,10 @@ membedded-data > > Target Report Var(TARGET_EMBEDDED_DATA) > > Use ROM instead of RAM > > > > +meva > > +Target Report Var(TARGET_EVA) > > +Use microMIPS32/MIPS32 Enhanced VA instructions > > This is likely to get out of date if EVA is ever extended to MIPS64. > It's probably easier just to drop the "microMIPS32/MIPS32" bit.
I agree, however may I suggest spelling out EVA in full, that is: "Use Enhanced Virtual Addressing instructions" Maciej
