[MIPS] Add new virtualization instructions

[Richard Sandiford]

Chao-Ying Fu <Chao-Ying.Fu@imgtec.com> writes:
> gas/ChangLog
> 2013-06-12  Chao-ying Fu  <Chao-ying.Fu@imgtec.com>
>
> 	* config/tc-mips.c (ISA_SUPPORTS_VIRT_ASE): Support micromips.
>
> gas/testsuite/ChangLog
> 2013-06-12  Chao-ying Fu  <Chao-ying.Fu@imgtec.com>
>
> 	* gas/mips/micromips@virt.d: New file.
> 	gas/mips/micromips@virt64.d: New file.
> 	gas/mips/mips.exp: Change micromips to use -march=mips64r2, as the virt64 test needs it.
> 	Enable virt and virt64 tests for micromips.

	* gas/mips/micromips@virt.d: New file.
	* gas/mips/micromips@virt64.d: New file.
	* gas/mips/mips.exp: Change micromips to use -march=mips64r2.
	Enable virt and virt64 tests for micromips.

> opcodes/ChangeLog
> 2013-06-12  Chao-ying Fu  <Chao-ying.Fu@imgtec.com>
>
> 	* micromips-opc.c (IVIRT): New define.
> 	(IVIRT64): New define.
> 	(micromips_opcodes): Add dmfgc0, dmtgc0, hypcall, mfgc0, mtgc0,
> 	tlbginv, tlbginvf, tlbgp, tlbgr, tlbgwi, tlbgwr VIRT instructions.
>
> 	* mips-dis.c (print_insn_micromips): Handle mfgc0, mtgc0, dmfgc0, dmtgc0
> 	to print cp0 names.

OK, thanks.

Richard