浮動小数点比較

動作確認の為には、とりあえずいんちゃんなものでも作らなければならないら しい(涙)

今いんちゃんなのは

• Inf , NaN に対する無配慮
• 符号付き 0 に対する無配慮 ( +0 == -0 : True としなければならない )
• Invalid Operation の例外に対する無配慮。( インターフェースすら付け ていない )

DLX にある命令は

1. EQual
2. NotEqual
3. LessThan
4. GreaterThan
5. Less-Equal
6. Greater-Equal

ここで気をつけなければならないのが Unordered についてで

• 規格的には IsUnordered も実装しなければならない
• LT,GT,LE,GE のときに Unordered のときは、Invalid Operation の例外 を出さなければならない

とりあえずEQ,LESS,GREATERの3つを検出できる回路を作ってそれを組み合わせ るのがベストデザインとみた。