Closed Bug 774922 Opened 8 years ago Closed 7 years ago
Monkey: Unhoisted bounds checks in v8-crypto .
Attached test case is reduced from v8-crypto's am3(). The same problem occurs in every function that's ion-compiled in that benchmark. Bounds check hoisting logic is currently really hokey, having been shoved uncomfortably into LICM instead of some dedicated range analysis pass. It's also extremely narrow, as in Bug 769518. Crypto bounds checks are of the form given in the attached test case. It would be nice to use RangeAnalysis to mark them hoistable.
Added dependencies for handling this with RangeAnalysis. We could always go with yet another narrow optimization in LICM if RangeAnalysis looks far off.
All bounds checks in am3() are now being hoisted.
Status: NEW → RESOLVED
Closed: 7 years ago
Resolution: --- → DUPLICATE
Duplicate of bug: 766592
You need to log in before you can comment on or make changes to this bug.