RFR: 8310190: C2 SuperWord: AlignVector is broken, generates misaligned packs [v3]

[Emanuel Peter]

On Fri, 6 Oct 2023 23:29:53 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

>> Emanuel Peter has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   fix up TestVectorizationMismatchedAccess.java
>
> src/hotspot/cpu/x86/x86.ad line 8974:
> 
>> 8972: 
>> 8973: #ifdef _LP64
>> 8974: instruct verify_alignment(rRegP r, rRegL mask, rRegP tmp) %{
> 
> this should be also under #ifdef ASSERT

done

> src/hotspot/share/opto/classes.hpp line 452:
> 
>> 450: macro(LoadVectorMasked)
>> 451: macro(StoreVectorMasked)
>> 452: macro(VerifyAlignment)
> 
> May be more vector specific name: VerifyVectorAlignment

done

> src/hotspot/share/opto/compile.cpp line 3670:
> 
>> 3668:   case Op_StoreVector:
>> 3669: #ifdef ASSERT
>> 3670: #ifdef AMD64
> 
> Instead of #ifdef AMD64 you can check `Matcher::has_match_rule(Op_VerifyAlignmen)`

done

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

PR Review Comment: https://git.openjdk.org/jdk/pull/14785#discussion_r1355075791
PR Review Comment: https://git.openjdk.org/jdk/pull/14785#discussion_r1355074108
PR Review Comment: https://git.openjdk.org/jdk/pull/14785#discussion_r1355078419