24531904_j

fpmax ─ 浮動小数点並列最大値 (Floating-point Parallel Maximum)
fpmax
書式 : (qp) fpmax.sf f 1 = f 2 , f 3 F8
説明 : FR f2 およびFR f3 の両仮数フ ィ ー ル ド に格納 さ れてい る単精度値のペアがそれぞれ比較
される。 値が大きい方のオペランドが FR f1 の仮数フ ィ ール ド に返される。
FR f3 の上 ( 下 ) 位の値が FR f2 の上 ( 下 ) 位の値よ り も 小さ い場合は、 FR f1 の上 ( 下 ) 位
には FR f2 の上 ( 下 ) 位が格納される。 そ う でない場合は、 FR f1 の上 ( 下 ) 位には FR f3 の上 ( 下 ) 位が格納される。
FR f2 の上 ( 下 ) 位または FR f3 の上 ( 下 ) 位が NaN である場合は、 FR f1 の上 ( 下 ) 位に
はの FR f3 の上 ( 下 ) 位が格納される。
FR f1 の指数フ ィ ール ド は 2.0 63 (0x1003E) のバイアス付き指数に設定され、 FR f1 の符号
フィールドは正に対応する0 に設定される。
FR f2 か FR f3 が NaTVal である場合は、 FR f1 は計算結果ではな く NaTVal に設定される。
こ の操作は、 他の浮動小数点算術演算命令 と は異な り 、 NaN を伝播させない。
fpcmp.lt 操作の場合 と 同じ方法で無効操作 (Invalid Operation) が通知される。
sf のニーモニ ッ ク値は、 3:50 ページの表 2-23 に示している。
操作 : if (PR[qp]) {
fp_check_target_register(f 1 );
if (tmp_isrcode = fp_reg_disabled(f 1, f 2, f 3, 0))
disabled_fp_register_fault(tmp_isrcode, 0);
}
if (fp_is_natval(FR[f 2 ]) || fp_is_natval(FR[f 3 ])) {
FR[f 1 ] = NATVAL;
} else {
fpminmax_exception_fault_check(f 2, f 3, sf, &tmp_fp_env);
if (fp_raise_fault(tmp_fp_env))
fp_exception_fault(fp_decode_fault(tmp_fp_env));
tmp_fr2 = tmp_right = fp_reg_read_hi(f 2 );
tmp_fr3 = tmp_left = fp_reg_read_hi(f 3 );
tmp_bool_res = fp_less_than(tmp_left, tmp_right);
tmp_res_hi = fp_single(tmp_bool_res ? tmp_fr2 : tmp_fr3);
tmp_fr2 = tmp_right = fp_reg_read_lo(f 2 );
tmp_fr3 = tmp_left = fp_reg_read_lo(f 3 );
tmp_bool_res = fp_less_than(tmp_left, tmp_right);
tmp_res_lo = fp_single(tmp_bool_res ? tmp_fr2 : tmp_fr3);
FR[f 1 ].significand = fp_concatenate(tmp_res_hi, tmp_res_lo);
FR[f 1 ].exponent = FP_INTEGER_EXP;
FR[f 1 ].sign = FP_SIGN_POSITIVE;
fp_update_fpsr(sf, tmp_fp_env);
}
fp_update_psr(f1 );
FP 例外 : 無効操作 (Invalid Operation: V)
デノーマル/ アンノ ーマル ・ オペラン ド (Denormal/Unnormal Operand: D)
ソフ ト ウェア・アシスト (Software Assist: SWA) フォルト
割り込み : 無効操作フ ォ ル ト 浮動小数点例外フ ォ ル ト
浮動小数点レ ジ ス タ無効フ ォ ル ト
3:98 第 3 巻 : 命令リファレンス