RFR: 8354348: Enable Extended EVEX to REX2/REX demotion for commutative operations with same dst and src2 [v4]

[Jatin Bhateja]

On Thu, 4 Sep 2025 20:16:30 GMT, Srinivas Vamsi Parasa <sparasa at openjdk.org> wrote:

>> src/hotspot/cpu/x86/x86_64.ad line 7121:
>> 
>>> 7119: %{
>>> 7120:   predicate(UseAPX);
>>> 7121:   match(Set dst (AddI (LoadI src1) src2));
>> 
>> Will this not be covered by the pattern at line 7103, since ADLC automatically generates a DFA to handle both cases?
>
> Will run experiments to make sure that the RegRegMem pattern also applies to RegMemReg case and remove the newly added match rules if they're redundant. Will update you soon.

Hi @vamsi-parasa, your latest patch does not address this.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/26997#discussion_r2331827360