You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
8 lines
198 B
8 lines
198 B
require_extension('P');
|
|
require_rv32;
|
|
if ((RS1 != (reg_t)INT32_MIN) || (RS2 != (reg_t)INT32_MIN)) {
|
|
WRITE_RD(sext32((RS1 * RS2) >> 31));
|
|
} else {
|
|
WRITE_RD(INT32_MAX);
|
|
P.set_vxsat();
|
|
}
|
|
|