RFR: 8288204: GVN Crash: assert() failed: correct memory chain [v3]

[Yi Yang]

On Sat, 29 Oct 2022 00:02:24 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

> `te[int:>=0]:exact+any*` to instance array type `byte[int:8]:NotNull:exact+any *,iid=177`. Mostly because it does not adjust array's parameters. This cast chain simply does not work for arra

Make sense. But I guess we should cast more beyond the array parameter, i.e. [the offset should be cast as well?](https://github.com/openjdk/jdk/pull/9777/files/063d2468f2ae1102dc1e9bf396a29b92f1a40569)

Because we have a Phi#1109(`byte[int:>=0]:exact+any*`) and AddP#473(`byte[int:8]:NotNull:exact[0] *,iid=177`) with fixed offset due to ConI#585

 335  CheckCastPP  ===  331  461  [[... ]]  #byte[int:8]:NotNull:exact *,iid=177 
 585  ConL  ===  0  [[ 473  1054  970 ]]  #long:18
 473  AddP  === _  335  335  585  #byte[int:8]:NotNull:exact[0] *,iid=177

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

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