require_rv32;
sreg_t sshamt = P_FIELD(RS2, 0, 8);
P_RD_RS1_DW_LOOP(16, 16, {
  if (sshamt < 0) {
    if (sshamt <= -16)
      p_rd = 0;
    else
      p_rd = (uint16_t)p_rs1 >> (-sshamt);
  } else {
    uint32_t shx = (sshamt >= 16) ? ((uint32_t)(uint16_t)p_rs1 << 16) : ((uint32_t)(uint16_t)p_rs1 << sshamt);
    if (shx > 0xFFFF) {
      P.set_vxsat();
      p_rd = 0xFFFF;
    } else {
      p_rd = (uint16_t)shx;
    }
  }
})

