Intel 8087のFSCALE、140超のマイクロ命令を解剖

要約

Opcode Collective は Intel 8087 の FSCALE 命令を実装するマイクロコードをリバースエンジニアリングした。FSCALE は浮動小数点数を2のべき乗で高速にスケーリングする命令だが、140以上のマイクロ命令と3段階のサブルーチン呼び出しで構成される。8087のマイクロコードROMには1648個のマイクロ命令があり、FSCALEは指数を整数化して加算し、オーバーフローやアンダーフロー、ゼロ・NaN・非正規化数などを処理する。解析では、2つのNaNを比較して大きい方を返す文書化済みの動作や、tmpA/tmpBの役割をフリップフロップで交換する実装も明らかになった。