RFR: 8310299: C2: 8275201 broke constant folding of array store check in some cases

[Tobias Hartmann]

On Mon, 19 Jun 2023 08:56:26 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> Before 8275201, loading the element klass of an array returned:
> 
> 
> TypeKlassPtr::make(tkls->ptr(), elem, 0/*offset*/);
> 
> 
> that is exact if the array type is exact. I changed it to:
> 
> 
> tkls->is_aryklassptr()->elem();
> 
> 
> When the array type is exact (newly allocated array for instance) but
> the element class has subclasses, this doesn't return an exact class
> (so the logic is different from the one that was there before). That
> affects array store checks that no longer constant fold.

Looks good to me.

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

Marked as reviewed by thartmann (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/14536#pullrequestreview-1490429175