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

[Alexandre Oliva]

On Apr  7, 2003, Thiemo Seufer <ica2_ts@csv.ica.uni-stuttgart.de> wrote:

> Have you cross-checked this with the SGI toolchain?

Nope, I just believed the MIPSpro N32 Handbook:

Table 2-1      N32 and Native 64-Bit Interface Register Conventions
$12..$15          t4..t7           Temporaries             Caller-saved

I find it would be a really bad idea to give the same name to
different registers depending on the ABI.

-- 
Alexandre Oliva   Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer                 aoliva@{redhat.com, gcc.gnu.org}
CS PhD student at IC-Unicamp        oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist                Professional serial bug killer