Integrated: 8293531: C2: some vectorapi tests fail assert "Not monotonic" with flag -XX:TypeProfileLevel=222

[Jatin Bhateja]

On Tue, 11 Oct 2022 12:19:05 GMT, Jatin Bhateja <jbhateja at openjdk.org> wrote:

> Problem occurs in iterative DF analysis during CCP optimization, meet operations drops the speculative types before converging participating lattice values since [include_speculative argument it receives is always set to false ](https://github.com/openjdk/jdk/blob/master/src/hotspot/share/opto/type.hpp#L231)where as [equality check ](https://github.com/openjdk/jdk/blob/master/src/hotspot/share/opto/phaseX.cpp#L1751) in the failing assertion is performed against original type still carrying the speculative type.
> 
> To fix this, type comparison in the assertion should also be done after stripping the speculative type, with this change intermittent assertion failures in several vector API tests reported in the bug report  are no longer seen.
> 
> Kindly review and share your feedback.
> 
> Best Regards,
> Jatin

This pull request has now been integrated.

Changeset: 0043d58c
Author:    Jatin Bhateja <jbhateja at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/0043d58c5d52c3b299a4b6dfcec34a7db5041aea
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

8293531: C2: some vectorapi tests fail assert "Not monotonic" with flag -XX:TypeProfileLevel=222

Reviewed-by: kvn

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

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