RFR(L): 8029015: PPC64 (part 216): opto: trap based null and range checks

[Lindenmaier, Goetz]

Hi,

I prepared a webrev for the trap based checks feature used on PPC:
http://cr.openjdk.java.net/~goetz/webrevs/8029015-0-trch/

PPC has the tdi instruction that does a compare and raises SIGTRAP
if the compare is successful.
With this instruction conditional branches leading to uncommon
traps can be implemented very efficiently.
This is especially needed on AIX, where there are almost no
possibilities for ImplicitNullChecks as the zero page is not
protected.

On linux, this accounts for about 2% jvm2008 performance.

Possibilities for trap based range checks and trap based null checks
are recognized during matching. To support this, we added a method
branches_to_uncommon_trap() to be used in the predicate during
matching.
The computation of the final block layout must know about this,
as it must place the fallthrough properly and adapt the condition
in the tdi instruction.
We added a method is_TrapBasedCheckNode so these nodes
can be recogized in a platform independent way.

Please review and test this change.

Best regards,
  Goetz
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/ppc-aix-port-dev/attachments/20131122/e8c56d2a/attachment.html