Integrated: 8262256: C2 intrinsincs should not modify IR when bailing out

Tobias Hartmann thartmann at openjdk.java.net
Wed Mar 3 11:33:53 UTC 2021


On Mon, 1 Mar 2021 08:30:49 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote:

> While investigating [JDK-8262231](https://bugs.openjdk.java.net/browse/JDK-8262231) in project Valhalla, I've noticed that the unsafe access C2 intrinsics sometimes emit code before then bailing out, leaving control flow before the slow call that might lead to deoptimization or an inconsistent JVMState. I've added an assert to catch this and fixed the corresponding intrinsic code (in that case null checks in `make_unsafe_address` are the culprit).
> 
> Thanks,
> Tobias

This pull request has now been integrated.

Changeset: 54dfd79c
Author:    Tobias Hartmann <thartmann at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/54dfd79c
Stats:     31 lines in 1 file changed: 24 ins; 3 del; 4 mod

8262256: C2 intrinsincs should not modify IR when bailing out

Reviewed-by: roland, kvn

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

PR: https://git.openjdk.java.net/jdk/pull/2775


More information about the hotspot-compiler-dev mailing list