Open Bug 765128 Opened 8 years ago Updated 6 years ago
Monkey: use range analysis to eliminate and move bounds checks
Follow up to Bug 699883. Range analysis, especially if it is augmented to be symbolic range analysis, can be used to eliminate bounds checks on arrays. The beta node insertion/deletion pass can also be used to gather other information; it is similar to the pass used in Automatic Bounds Check Elimination on Demand. Relatedly, the results of bounds check information can be used to propagate tighter ranges. This is probably pretty simple and should be done!
You need to log in before you can comment on or make changes to this bug.