24531904_j

表 3-1. 擬似コード関数 ( 続き )
check_target_register(r1) r1 がフレーム範囲外のスタックされたレジスタ (CFM によって定義 ) をターゲット
にすると、無効操作フォルトが発生し、この関数は返らない。
check_target_register_sof(r1, newsof) r1 がフレーム範囲外のスタックされたレジスタ (newsof パラメータによって定義 )
をターゲットにすると、無効操作フォルトが発生し、この関数は返らない。
concatenate2(x1, x2) 2 つの引数の下位 32 ビットを連結し、64 ビットの結果を返す。
concatenate4(x1, x2, x3, x4) 4 つの引数の下位 16 ビットを連結し、64 ビットの結果を返す。
concatenate8(x1, x2, x3, x4, x5, x6, x7,
x8)
8 つの引数の下位 8 ビットを連結し、64 ビットの結果を返す。
data_serialize() 副次的作用を持つすべての先行するレジスタの更新が、後続のプログラム実行およ
びデータ・メモリ参照が実行される前に、検出されるようにする。
deliver_unmasked_pending_interrupt() このプロセッサ固有の関数は、未処理のマスクされていない外部割り込みがあるか
どうかをチェックし、このような割り込みがある場合は、外部割り込みベクタに制
御を渡す。
execute_hint(hint) hint によって指定されたヒントを実行する。
fadd(fp_dp, fr2) 無限精度の積に浮動小数点レジスタの値を加え、丸めの準備ができた無限精度の和
を返す。
fcmp_exception_fault_check(f2, f3, frel, fcmp 命令のためにすべての浮動小数点フォルト条件をチェックする。
sf, *tmp_fp_env)
fcvt_fx_exception_fault_check
(fr2, signed_form, trunc_form,
sf *tmp_fp_env)
fma_exception_fault_check
(f2, f3, f4, pc, sf, *tmp_fp_env)
fminmax_exception_fault_check
(f2, f3, sf, *tmp_fp_env)
fms_fnma_exception_fault_check
(f2, f3, f4, pc, sf, *tmp_fp_env)
関数 操作
fcvt.fx、fcvt.fxu、fcvt.fx.trunc、fcvt.fxu.trunc 命令のためにすべて
の浮動小数点フォルト条件をチェックする。NaN は伝播する。
fma 命令のためにすべての浮動小数点フォルト条件をチェックする。NaN および特
殊な IEEE 結果は伝播する。
famax、famin、fmax、および fmin 命令のためにすべての浮動小数点フォルト条
件をチェックする。
fms および fnma 命令のためにすべての浮動小数点フォルト条件をチェックする。
NaN および特殊な IEEE 結果は伝播する。
fmul(fr3, fr4) 2 つの浮動小数点レジスタ値の無限精度の乗算を実行する。
followed_by_stop() 現在の命令の後にストップが続いている場合には TRUE を返す。それ以外の場合は
FALSE を返す。
fp_check_target_register(f1) 指定された浮動小数点レジスタ識別子が 0 または 1 であれば、この関数は無効操作
フォルトを発生させる。
fp_decode_fault(tmp_fp_env) ISR.code のための浮動小数点例外フォルト・コード値を返す。
fp_decode_traps(tmp_fp_env) ISR.code のための浮動小数点トラップ・コード値を返す。
fp_is_nan_or_inf(freg) 浮動小数点例外フォルト・チェック関数が、IEEE フォルトがディスエーブルにさ
れたデフォルトの結果または伝播された NaN を返した場合に、true を返す。
fp_equal(fr1, fr2) IEEE 標準の等値関係テスト。
fp_ieee_recip(num, den) 特殊なオペランドのセットに対する真の商、またはソフトウェア除算アルゴリズム
で使用される除数の逆数の近似値を返す。
fp_ieee_recip_sqrt(root) 特殊なオペランドに対する真の平方根の結果、またはソフトウェア平方根アルゴリ
ズムで使用される平方根の逆数の近似値を返す。
fp_is_nan(freg) 浮動小数点レジスタが NaN を含んでいる場合に true を返す。
fp_is_natval(freg) 浮動小数点レジスタが NaTVal を含んでいる場合に true を返す。
fp_is_normal(freg) 浮動小数点レジスタがノーマル数を含んでいる場合に true を返す。
fp_is_pos_inf(freg) 浮動小数点レジスタが正の無限大を含んでいる場合に true を返す。
3:252 第 3 巻 : 擬似コード関数