201c201
< if(fpindex < NumXMMRegs) {
---
> if(fpindex < NumXMMRegs * 2) {
206,207c206,212
< fpindex -= NumXMMRegs;
< ccprintf(os, "%%ufp%d", fpindex);
---
> fpindex -= NumXMMRegs * 2;
> if(fpindex < NumMicroFpRegs) {
> ccprintf(os, "%%ufp%d", fpindex);
> return;
> }
> fpindex -= NumMicroFpRegs;
> ccprintf(os, "%%st(%d)", fpindex);