RFR: 8286197: C2: Optimize MemorySegment shape in int loop [v2]

[Roland Westrelin]

On Thu, 5 May 2022 16:47:13 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

>> Thanks for looking at this. t is the result of Value() which takes the type of its input into account so, AFAICT, there's no way t can be wider than t_in. Am I missing something? If not I could add an assert. What do you think?
>
> There is no specialized `CastLLNode::Value()` and `ConstraintCastNode` only calls `filter_speculative()` which do call `join()`. May be it is indeed enough. Yes, would be nice to have an assert to make sure we got it right.

The new commit adds an assert

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

PR: https://git.openjdk.java.net/jdk/pull/8555