[jdk18u] RFR: 8280976: Incorrect encoding of avx512 vpsraq instruction with mask and constant shift.

[Tobias Hartmann]

Backport of [JDK-8280976](https://bugs.openjdk.java.net/browse/JDK-8280976). Applies cleanly. Backport was already approved.

Thanks,
Tobias

-------------

Commit messages:
 - 8280976: Incorrect encoding of avx512 vpsraq instruction with mask and constant shift.

Changes: https://git.openjdk.org/jdk18u/pull/172/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk18u&pr=172&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8280976
  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/jdk18u/pull/172.diff
  Fetch: git fetch https://git.openjdk.org/jdk18u pull/172/head:pull/172

PR: https://git.openjdk.org/jdk18u/pull/172