RFR: 8317507: C2 compilation fails with "Exceeded _node_regs array"

[Roberto Castañeda Lozano]

On Mon, 23 Oct 2023 09:48:40 GMT, Roberto Castañeda Lozano <rcastanedalo at openjdk.org> wrote:

> This changeset avoids incrementing the global node index counter (`Compile::_unique`) when creating a CISC version node that replaces and reuses the index of the original node. This prevents out-of-bounds accesses to `PhaseRegAlloc::_node_regs` in programs with a high-density of CISC spill candidate nodes. Such programs can arise, for example, after extensive unrolling of reduction operations in x64 (see the [failure analysis](https://bugs.openjdk.org/browse/JDK-8317507) for further detail).
> 
> A more general fix to eliminate potential out-of-bounds accesses would be to transform `PhaseRegAlloc::_node_regs` into a growable array. This fix could also reduce memory overhead, as it would obviate the need for [over-allocating space for future nodes](https://github.com/openjdk/jdk/blob/fc29a2e152310ed81bd1bb23e6f17d02f055a454/src/hotspot/share/opto/regalloc.cpp#L113-L114). This is however a more intrusive, architecture-sensitive, and difficult-to-backport change (see prototype [here](https://github.com/openjdk/jdk/compare/master...robcasloz:jdk:JDK-8317507-exceeded-node-regs-growable-array)) that might be best addressed as a separate RFE. Note that the general fix would still benefit from the simpler one proposed in this changeset.
> 
> #### Testing
> 
> - tier1-5, stress test, fuzzing (windows-x64, linux-x64, linux-aarch64, macosx-x64, macosx-aarch64; release and debug mode).
> - tier6-7 (linux-x64 only).

Added @TobiHartmann as contributor (provided the original version of the regression test included in the changeset).

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

PR Comment: https://git.openjdk.org/jdk/pull/16306#issuecomment-1776630661