alt Hacker NewsI have hunch PGO does detect when bound check can be eliminated.
Replies
porridgeraisin • yesterday at 11:00 AM
bound check elimination exists separately, PGO can help unveil more opportunities for BCE.
I have hunch PGO does detect when bound check can be eliminated.
bound check elimination exists separately, PGO can help unveil more opportunities for BCE.
How so? PGO might indicate that most of the time arguments are in bounds, but that's not enough. It has to be a proof with 100% certainty before bound checks can be removed