sizeof(xlen), signed(X(rsdc)) * signed(X(rs2c))); X(rsdc) = EXTZ(X(rsdc)[31..0]); 28.12.11. c.not 28.12.12. c.mul Synopsis: Multiply, 16-bit encoding Mnemonic sd rs2, offset(rs1) Store doubleword from even/odd register pair, 16-bit encoding Mnemonic c.sd rs2', offset(rs1') Store doubleword from register pair, 16-bit encoding yes no c.ld rd', offset(rs1') Load doubleword to even/odd register pair, 16-bit encoding
vole