24531904_j

fpnma
fpnma ─ 浮動小数点並列積和否定
(Floating-point Parallel Negative Multiply Add)
書式 : (qp) fpnma.sf f 1 = f 3 , f 4 , f 2 F1
説明 : FR f3 およびFR f4 の両仮数フ ィ ー ル ド に格納 さ れてい る単精度値ペア間の積が最大精度
ま で計算され、 否定され、 次に FR f2 の仮数フ ィ ー ル ド 内の単精度値ペアが、 それぞれ
の否定された積にやは り無限の精度で加算される。 その後、 加算結果のそれぞれの値が
FPSR.sf.rc で指定される丸めモー ド を使用して単精度に丸められる。 丸められた結果のペ
アが FR f1 の仮数フ ィ ール ド に格納される。 FR f1 の指数フ ィ ール ド は 2.063 (0x1003E) の
バイアス付き指数に設定 さ れ、 FR f1 の符号フ ィ ール ド は正に対応する 0 に設定される。
FR f3 、 FR f4 、 FR f2 のどれか 1 つでも NaTVal である場合は、 FR f1 は計算結果ではな く
NaTVal に設定される。
注 : fmnma 命令の f2 が f0 の場合は、 単に IEEE の乗算が実行 さ れる ( 積が否定された後
に丸められる )。
sf のニーモニ ッ ク値は 3:50 ページの表 2-23 に示している。
ステータス ・ フ ィ ールドの rc のエンコ ーデ ィ ング と意味は、 第 1 巻、 第 1 部の表 5-5 に
示している。
操作 : if (PR[qp]) {
fp_check_target_register(f 1 );
if (tmp_isrcode = fp_reg_disabled(f 1 , f 2 , f 3 , f 4 ))
disabled_fp_register_fault(tmp_isrcode, 0);
if (fp_is_natval(FR[f 2 ]) || fp_is_natval(FR[f 3 ]) ||
fp_is_natval(FR[f 4])) {
FR[f 1 ] = NATVAL;
fp_update_psr(f 1 );
} else {
tmp_default_result_pair = fpms_fpnma_exception_fault_check(f 2 , f 3 ,
f 4 , sf, &tmp_fp_env);
if (fp_raise_fault(tmp_fp_env))
fp_exception_fault(fp_decode_fault(tmp_fp_env));
if (fp_is_nan_or_inf(tmp_default_result_pair.hi)) {
tmp_res_hi = fp_single(tmp_default_result_pair.hi);
} else {
tmp_res = fp_mul(fp_reg_read_hi(f 3), fp_reg_read_hi(f 4));
tmp_res.sign = !tmp_res.sign;
if (f 2 != 0)
tmp_res = fp_add(tmp_res, fp_reg_read_hi(f 2), tmp_fp_env);
tmp_res_hi = fp_ieee_round_sp(tmp_res, HIGH, &tmp_fp_env);
}
if (fp_is_nan_or_inf(tmp_default_result_pair.lo)) {
tmp_res_lo = fp_single(tmp_default_result_pair.lo);
} else {
tmp_res = fp_mul(fp_reg_read_lo(f 3 ), fp_reg_read_lo(f 4 ));
tmp_res.sign = !tmp_res.sign;
if (f 2 != 0)
tmp_res = fp_add(tmp_res, fp_reg_read_lo(f 2 ), tmp_fp_env);
tmp_res_lo = fp_ieee_round_sp(tmp_res, LOW, &tmp_fp_env);
}
FR[f 1 ].significand = fp_concatenate(tmp_res_hi, tmp_res_lo);
FR[f 1].exponent = FP_INTEGER_EXP;
第 3 巻 : 命令リファレンス 3:107