El coprocesador de punto flotante Intel 8087, lanzado en 1980, estableció el estándar de aritmética de punto flotante en la computación moderna al ofrecer precisión superior a los sistemas anteriores. Aunque su implementación de instrucciones se realiza mediante microcódigo de bajo nivel, la complejidad de este código ha sido poco documentada. El Opcode Collective, un grupo dedicado a la ingeniería inversa de este chip, ha analizado recientemente el microcódigo de la instrucción FSCALE (Floating-point Scale), diseñada para escalar un número por una potencia de dos de manera más rápida que una multiplicación estándar.
Contrario a lo esperado, la instrucción FSCALE no es trivial: utiliza más de 140 microinstrucciones y tres niveles de llamadas a subrutinas para gestionar casos especiales. El análisis revela la arquitectura interna del 8087, incluyendo el registrador de exponentes, el conversor de exponentes, el desplazador de 64 bits y la unidad sumadora, que actúa como núcleo de las operaciones de multiplicación, división y raíz cuadrada. El chip almacena todos los datos internamente como números de punto flotante de 80 bits, conocidos como 'temporary real', compuestos por un bit de signo, un exponente de 15 bits (con un sesgo de 16383) y una significanda de 64 bits.
El sistema de excepciones del 8087 es robusto, gestionando seis tipos de errores, desde operaciones inválidas como 0/0 hasta desbordamientos y problemas de precisión. Esta flexibilidad permite que las operaciones continúen incluso ante errores, generando resultados lo más precisos posible, aunque aumenta significativamente la complejidad del microcódigo. El estudio detalla cómo el microcódigo navega por estas combinaciones de casos especiales, ofreciendo una visión profunda de cómo el hardware de los años 80 lograba estabilidad numérica en aplicaciones que iban desde hojas de cálculo hasta diseño asistido por computadora.