Integrated: 8354668: Missing REX2 prefix accounting in ZGC barriers leads to incorrect encoding

[Jatin Bhateja]

On Tue, 15 Apr 2025 13:50:40 GMT, Jatin Bhateja <jbhateja at openjdk.org> wrote:

> ZGC bookkeeps multiple place holders in barrier code snippets through relocations, these are later used to patch appropriate contents (mostly immediate values) in instruction encoding. While most of the relocation records the patching offsets from the end of the instruction, SHL instruction, which is used for pointer coloring, computes the patching offset from the starting address of the instruction.
> 
> Thus, in case the destination register operand of SHL instruction is an extended GPR register, we miss accounting additional REX2 prefix byte in patch offset, thereby corrupting the encoding since runtime patches the primary opcode byte resulting into ILLEGAL instruction exception.
> 
> This patch fixes reported failures by computing the relocation offset of SHL instruction from end of instruction, thereby making the patch offset agnostic to REX/REX2 prefix.
> 
> Please review and share your feedback.
> 
> Best Regards,
> Jatin
> 
> PS: Validation were performed using latest Intel Software Development Emulator after modifying static register allocation order in x86_64.ad file giving preference to EGPRs.

This pull request has now been integrated.

Changeset: 4c373703
Author:    Jatin Bhateja <jbhateja at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/4c373703d9ed63dfc85df7cdcc04ecad5b02ade0
Stats:     16 lines in 4 files changed: 5 ins; 5 del; 6 mod

8354668: Missing REX2 prefix accounting in ZGC barriers leads to incorrect encoding

Reviewed-by: aboldtch, sviswanathan

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

PR: https://git.openjdk.org/jdk/pull/24664