require_rv64;
P_X_ULOOP(32, 5, {
  pd = ps1 << sa;
})