mips $12-$15 are named $t4-$t7

[Thiemo Seufer]

Alexandre Oliva wrote:
> Even though $t0-$t3 were renamed to $a4-$a7 in NewABI, $t4-$t7
> retained their names.  The MIPS disassembler incorrectly renumbered
> the $t# registers.  Fixed as follows.  I'm checking it in as obviously
> correct.

Have you cross-checked this with the SGI toolchain?

The dascription in "See MIPS Run" and the usage in the Linux kernel
sources suggest t0-t3 ($t? would be invalid in any case).


Thiemo