RFR: 8351468: C2: array fill optimization assigns wrong type to intrinsic call

[Roberto Castañeda Lozano]

On Fri, 14 Mar 2025 15:06:33 GMT, Roberto Castañeda Lozano <rcastanedalo at openjdk.org> wrote:

> The alternative of using `memory_type()` and introducing a `StoreS` node assumes for correctness that the array fill optimization does not succeed for mismatched stores such as those you mention (e.g. `StoreS` into a `char[]`).

After some more thought, I lean towards just disabling the `OptimizeFill` optimization for mismatched stores. It does not succeed today anyway due to accidental reasons (brittleness in pattern matching), so disabling it for this case should not have any other impact than making us more confident in the correctness of the optimization.

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

PR Comment: https://git.openjdk.org/jdk/pull/24005#issuecomment-2728817048