RFR (S) 8141044: C1 should fold (this == null) to false

[John Rose]

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.

— John
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/hotspot-compiler-dev/attachments/20151103/00743b63/attachment.html>