feq.s
Single-precision floating-point equal
This instruction is defined by:
Synopsis
Writes 1 to rd if fs1 and fs2 are equal, and 0 otherwise.
If either operand is NaN, the result is 0 (not equal). If either operand is a signaling NaN, the invalid flag is set.
Positive zero is considered equal to negative zero.
Decode Variables
Bits<5> fs2 = $encoding[24:20];
Bits<5> fs1 = $encoding[19:15];
Bits<5> rd = $encoding[11:7];Execution
-
Pruned, XLEN == 64
-
Original
%%LINK%func;check_f_ok;check_f_ok%%($encoding);
Bits<32> sp_value_a = f[fs1][31:0];
Bits<32> sp_value_b = f[fs1][31:0];
if (%%LINK%func;is_sp_nan?;is_sp_nan?%%(sp_value_a) || %%LINK%func;is_sp_nan?;is_sp_nan?%%(sp_value_b)) {
if (%%LINK%func;is_sp_signaling_nan?;is_sp_signaling_nan?%%(sp_value_a) || %%LINK%func;is_sp_signaling_nan?;is_sp_signaling_nan?%%(sp_value_b)) {
%%LINK%func;set_fp_flag;set_fp_flag%%(FpFlag::NV);
}
X[rd] = 0;
} else {
X[rd] = sp_value_a == sp_value_b) || ((sp_value_a | sp_value_b)[30:0] == 0 ? 1 : 0;
}%%LINK%func;check_f_ok;check_f_ok%%($encoding);
Bits<32> sp_value_a = f[fs1][31:0];
Bits<32> sp_value_b = f[fs1][31:0];
if (%%LINK%func;is_sp_nan?;is_sp_nan?%%(sp_value_a) || %%LINK%func;is_sp_nan?;is_sp_nan?%%(sp_value_b)) {
if (%%LINK%func;is_sp_signaling_nan?;is_sp_signaling_nan?%%(sp_value_a) || %%LINK%func;is_sp_signaling_nan?;is_sp_signaling_nan?%%(sp_value_b)) {
%%LINK%func;set_fp_flag;set_fp_flag%%(FpFlag::NV);
}
X[rd] = 0;
} else {
X[rd] = sp_value_a == sp_value_b) || ((sp_value_a | sp_value_b)[30:0] == 0 ? 1 : 0;
}