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.
11 lines
222 B
11 lines
222 B
require_extension('P');
|
|
require_rv32;
|
|
uint32_t shamt = insn.shamtd();
|
|
reg_t tmp = ((((uint128_t)P_RS1_PAIR << 1) >> shamt) + 1) >> 1;
|
|
|
|
if (tmp > UINT32_MAX) {
|
|
tmp = UINT32_MAX;
|
|
P.set_vxsat();
|
|
}
|
|
WRITE_RD(sext32(tmp));
|
|
|
|
|