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

[Emanuel Peter]

On Wed, 6 Dec 2023 12:36:30 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote:

>> Emanuel Peter has updated the pull request incrementally with two additional commits since the last revision:
>> 
>>  - add newline suggested by Faye
>>  - improve the alignment proof, make it more explicit
>
> Impressive work! I'm still working my way through the proofs but here are some first comments.

@chhagedorn @fg1417 Ok, I now moved basically all code over to the `AlignmentSolver`. I placed it in `vectorization.hpp/cpp`, since I plan to use this facility in the future, possibly outside of SuperWord.

I'd be very thankful for re-reviews ;)

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

PR Comment: https://git.openjdk.org/jdk/pull/14785#issuecomment-1845523575