RFR(L): 8203197: C2: consider all paths in loop body for loop predication

Roland Westrelin rwestrel at redhat.com
Mon Jun 18 09:00:54 UTC 2018


http://cr.openjdk.java.net/~roland/8203197/webrev.01/

Incremental change:

http://cr.openjdk.java.net/~roland/8203197/webrev.00-01/

The new webrev doesn't include the MDO change anymore as it was pushed
under a separate CR. I fixed the issues that Nils reported as well.

Also, to properly leverage the MDO change, I realized that the previous
patch was not sufficient: ideally we would want a profile_predicate trap
to be recorded in the header of an existing profile data entry but there
might not be one where the predicates are added (in the loop
header). To work around that problem, the new patch tries to add the
predicates at a if that dominates the loop header.

Roland.


More information about the hotspot-compiler-dev mailing list