require_either_extension('M', EXT_ZMMUL);
WRITE_RD(sext_xlen(RS1 * RS2));