RFR (S) 8141044: C1 should fold (this == null) to false
john.r.rose at oracle.com
Tue Nov 3 22:40:57 UTC 2015
On Nov 3, 2015, at 1:42 PM, Aleksey Shipilev <aleksey.shipilev at oracle.com> wrote:
> Actually, scratch that, I've played with different examples, including
> the A*FU case, and the example Kris shows above, and we elide the
> null-check in all interesting cases. Therefore, I'd like the current
> patch to go in its current form. For the record:
> http://cr.openjdk.java.net/~shade/8141044/webrev.01/ <http://cr.openjdk.java.net/~shade/8141044/webrev.01/>
Reviewed. Nice work.
I'm glad you are not changing the type system. That's a high-leverage, high-risk move.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the hotspot-compiler-dev