require_rv64;
P_I_LOOP(32, 5, {
  pd = ps1 >> imm5u;
})