lb
Load byte
This instruction is defined by:
Synopsis
Load 8 bits of data into register xd from an
address formed by adding xs1 to a signed offset.
Sign extend the result.
Decode Variables
Bits<12> imm = $encoding[31:20];
Bits<5> xs1 = $encoding[19:15];
Bits<5> xd = $encoding[11:7];Execution
-
Pruned, XLEN == 64
-
Original
XReg virtual_address = X[xs1] + $signed(imm);
X[xd] = %%LINK%func;sext;sext%%(%%LINK%func;read_memory;read_memory%%<8>(virtual_address, $encoding), 8);XReg virtual_address = X[xs1] + $signed(imm);
X[xd] = %%LINK%func;sext;sext%%(%%LINK%func;read_memory;read_memory%%<8>(virtual_address, $encoding), 8);