RFR: Don't check store value in Shenandoah C2 verifier

Aleksey Shipilev shade at redhat.com
Mon Feb 18 16:47:58 UTC 2019


On 2/18/19 5:40 PM, Roman Kennke wrote:
> Here comes the real fix: CreateEx nodes don't require a barrier (the
> exception is either new, or one of the pre-generated exceptions that we
> keep guaranteed in to-space), and the verifier needs to be extended for
> this:
> 
> http://cr.openjdk.java.net/~rkennke/fixoptoverifier/webrev.01/

Patch looks okay.

But let me ask this: the same must be true for our mainline non-LRB Shenandoah too? If so, why
verification started to fail only with LRB?

-Aleksey



More information about the shenandoah-dev mailing list