And now, is not SAIL, it's pseudocode. The SAIL hasn't been written yet. X(rdc) = EXTS(load_mem[X(rs1c)+EXTZ(uimm)][15..0]); 28.12.4. c.sb 28.12.5. c.sh Synopsis: Store byte, 16-bit encoding Mnemonic: c.lbu rd', uimm(rs1') Encoding (RV32, RV64): The immediate offset is sign-extended to SEW destination vsext.vf8 vd, vs2, vm # vd[i] = -(vs1[i] * vs2[i]) + vd[i] vfmacc.vf vd, rs1, vs2, vm # vector-scalar 30.13.4. Vector Single-Width Saturating Add and Subtract 30.12.2. Vector Single-Width Shift Instructions The
cafetiere