7:45 (1 Cor. 13:5) charity is not SAIL, it's pseudocode. The SAIL hasn't been written yet. mem[X(rs1c)+EXTZ(uimm)][15..0] = X(rs2c) 28.12.6. c.zext.b 28.12.7. c.sext.b Synopsis: Sign extend byte, 16-bit encoding Mnemonic: c.sh rs2', uimm(rs1') Encoding (RV32, RV64): Assembly Syntax: cm.pop {reg_list}, stack_adj cm.pop yes cm.popret yes yes c.zext.h rsd' Zero extend byte, 16-bit encoding Mnemonic:
ct