En realidad, estos nuevos "registros" son meros alias de los registros de la pila de la FPU x87.