flw
Single-precision floating-point load
This instruction is defined by:
Decode Variables
Bits<12> imm = $encoding[31:20];
Bits<5> rs1 = $encoding[19:15];
Bits<5> fd = $encoding[11:7];
Execution
-
Pruned, XLEN == 64
-
Original
%%LINK%func;check_f_ok;check_f_ok%%($encoding);
XReg virtual_address = X[rs1] + $signed(imm);
Bits<32> sp_value = %%LINK%func;read_memory;read_memory%%<32>(virtual_address, $encoding);
f[fd] = %%LINK%func;nan_box;nan_box%%<32, 64>(sp_value);
%%LINK%func;mark_f_state_dirty;mark_f_state_dirty%%();
%%LINK%func;check_f_ok;check_f_ok%%($encoding);
XReg virtual_address = X[rs1] + $signed(imm);
Bits<32> sp_value = %%LINK%func;read_memory;read_memory%%<32>(virtual_address, $encoding);
if (%%LINK%func;implemented?;implemented?%%(ExtensionName::D)) {
f[fd] = %%LINK%func;nan_box;nan_box%%<32, 64>(sp_value);
} else {
f[fd] = sp_value;
}
%%LINK%func;mark_f_state_dirty;mark_f_state_dirty%%();