24531904_j

表 3-1. 擬似コード関数 ( 続き )
fp_is_qnan(freg) 浮動小数点レジスタがクワイエット型 NaN を含んでいる場合に true を返す。
fp_is_snan(freg) 浮動小数点レジスタがシグナル型 NaN を含んでいる場合に true を返す。
fp_is_unorm(freg) 浮動小数点レジスタがアンノーマル数を含んでいる場合に true を返す。
fp_is_unsupported(freg) 浮動小数点レジスタがサポートされていない形式を含んでいる場合に true を返す。
fp_less_than(fr1, fr2) IEEE 標準の「未満」関係テスト。
fp_lesser_or_equal(fr1, fr2) IEEE 標準の「以下」関係テスト。
fp_normalize(fr1) アンノーマルの fp 値を正規化する。この関数は、レジスタ・ファイルで表現でき
ないアンノーマル数値をすべてゼロにフラッシュする。
fp_raise_fault(tmp_fp_env) ローカル命令状態をチェックして、割り込みの発生を必要とするフォルト条件が存
在するかどうかを調べる。
fp_raise_traps(tmp_fp_env) ローカル命令状態をチェックして、割り込みの発生を必要とするトラップ条件が存
在するかどうかを調べる。
fp_reg_bank_conflict(f1, f2) 2 つの指定された FR が同じバンクにある場合に true を返す。
fp_reg_disabled(f1, f2, f3, f4) ディスエーブルにされている浮動小数点レジスタ・フォルトが存在するかどうかを
チェックする。
fp_reg_read(freg) FR を読み込み、標準の拡張倍精度のデノーマル数 ( および擬似デノーマル数 ) に、
真の数学的指数を与える。これ以外のクラスのオペランドは変更されない。
fp_unordered(fr1, fr2) IEEE 標準の順序付けなしの関係。
fp_fr_to_mem_format(freg, size) レジスタ形式の浮動小数点値を、浮動小数点メモリ形式に変換する。レジスタ内の
浮動小数点値が、size パラメータに対応する正しい精度に事前に丸められている
前提がある。
fpcmp_exception_fault_check
(f2, f3, frel, sf, *tmp_fp_env)
fpcmp 命令について、すべての浮動小数点フォルト条件をチェックする。
fpcvt_exception_fault_check
(f2, signed_form, trunc_form, sf,
*tmp_fp_env)
関数 操作
fpma_exception_fault_check
(f2, f3, f4, sf, *tmp_fp_env)
fpminmax_exception_fault_check
(f2, f3, sf, *tmp_fp_env)
fpms_fpnma_exception_fault
_check(f2, f3, f4, sf, *tmp_fp_env)
fprcpa_exception_fault_check
(f2, f3, sf, *tmp_fp_env, *limits_check)
fprsqrta_exception_fault_check
(f3, sf, *tmp_fp_env, *limits_check)
frcpa_exception_fault_check
(f2, f3, sf, *tmp_fp_env)
frsqrta_exception_fault_check
(f3, sf, *tmp_fp_env)
fpcvt.fx、fpcvt.fxu、fpcvt.fx.trunc、fpcvt.fxu.trunc 命令について、
すべての浮動小数点フォルト条件をチェックする。NaN は伝播する。
fpma 命令について、すべての浮動小数点フォルト条件をチェックする。NaN と特
殊な IEEE 結果は伝播する。
fpmin、fpmax、fpamin、fpamax 命令について、すべての浮動小数点フォルト条
件をチェックする。
fpms および fpnma 命令について、すべての浮動小数点フォルト条件をチェックす
る。NaN と特殊な IEEE 結果は伝播する。
fprcpa 命令について、すべての浮動小数点フォルト条件をチェックする。NaN と
特殊な IEEE 結果は伝播する。オペランド制限違反も表示する。
fprsqrta 命令について、すべての浮動小数点フォルト条件をチェックする。NaN
と特殊な IEEE 結果は伝播する。オペランド制限違反も表示する。
frcpa 命令のためにすべての浮動小数点フォルト条件をチェックする。NaN および
特殊な IEEE 結果は伝播する。
frsqrta 命令のためにすべての浮動小数点フォルト条件をチェックする。NaN およ
び特殊な IEEE 結果は伝播する。
ignored_field_mask(regclass, reg, value) 指定されたレジスタとレジスタ・タイプの無視ビットに対応するビットを 0 にクリ
アして値を返すブール関数。
impl_itir_cwi_mask() 渡された値をそのまま返すか、ビット位置 {63:32} と {1:0} ( またはそのいずれか一
方 ) をゼロでマスクして返すプロセッサ固有の関数。
第 3 巻 : 擬似コード関数 3:253