24531904_j

fcvt.fx
fcvt.fx ─ 浮動小数点から整数への変換 (Convert Floating-point to Integer)
書式 : (qp) fcvt.fx.sf f 1 = f 2 signed_form F10
(qp) fcvt.fx.trunc.sf f 1 = f 2 signed_form, trunc_form F10
(qp) fcvt.fxu.sf f 1 = f 2 unsigned_form F10
(qp) fcvt.fxu.trunc.sf f 1 = f 2 unsigned_form, trunc_form F10
説明 : FR f2 が レ ジ ス タ形式の浮動小数点値 と して扱われ、 FPSR.sf.rc で指定される丸めモー ド
を使用するか、 あるいは trunc_form の場合にはゼロ側への丸めモー ド を使用して、 符号
付き (signed_form の場合 ) または符号なし (unsigned_form の場合 ) の整数に変換される。
結果は、 FR f1 の 64 ビットの仮数フィールドに格納される。 FR f1 の指数フ ィ ール ド は
2.0 63 (0x1003E) のバイアス付き指数に設定 さ れ、 FR f1 の符号フ ィ ール ド は正に対応する
0 に設定 さ れる。 変換の結果を 64 ビ ッ ト 整数で表現で き ない場合は、 IEEE 無効操作浮
動小数点例外フ ォ ル ト がデ ィ スエ ー ブルに さ れている と き は、 変換結果 と して 64 ビッ ト
整数不定値 0x8000000000000000 が使用される。
FR f2 が NaTVal である場合は、 FR f1 は計算結果ではな く NaTVal に設定される。
sf のニーモニ ッ ク値は 3:50 ページの表 2-23 に示している。
操作 : if (PR[qp]) {
fp_check_target_register(f 1);
if (tmp_isrcode = fp_reg_disabled(f 1 , f 2 , 0, 0))
disabled_fp_register_fault(tmp_isrcode, 0);
}
if (fp_is_natval(FR[f 2 ])) {
FR[f 1 ] = NATVAL;
fp_update_psr(f 1);
} else {
tmp_default_result = fcvt_exception_fault_check(f 2 , signed_form,
trunc_form, sf, &tmp_fp_env);
if (fp_raise_fault(tmp_fp_env))
fp_exception_fault(fp_decode_fault(tmp_fp_env));
}
if (fp_is_nan(tmp_default_result)) {
FR[f 1 ].significand = INTEGER_INDEFINITE;
FR[f 1].exponent = FP_INTEGER_EXP;
FR[f 1 ].sign = FP_SIGN_POSITIVE;
} else {
tmp_res = fp_ieee_rnd_to_int(fp_reg_read(FR[f 2]), &tmp_fp_env);
if (tmp_res.exponent)
tmp_res.significand = fp_U64_rsh(
tmp_res.significand, (FP_INTEGER_EXP - tmp_res.exponent));
if (signed_form && tmp_res.sign)
tmp_res.significand = (~tmp_res.significand) + 1;
}
FR[f 1 ].significand = tmp_res.significand;
FR[f 1 ].exponent = FP_INTEGER_EXP;
FR[f 1].sign = FP_SIGN_POSITIVE;
fp_update_fpsr(sf, tmp_fp_env);
fp_update_psr(f 1 );
if (fp_raise_traps(tmp_fp_env))
fp_exception_trap(fp_decode_trap(tmp_fp_env));
第 3 巻 : 命令リファレンス 3:63