Open Bug 765128 Opened 8 years ago Updated 6 years ago

IonMonkey: use range analysis to eliminate and move bounds checks

Categories

(Core :: JavaScript Engine, defect)

defect
Not set

Tracking

()

People

(Reporter: rpearl, Unassigned)

References

(Blocks 1 open bug)

Details

(Whiteboard: [ion:t])

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!
Depends on: 699883
Blocks: 774922
Blocks: IonSpeed
No longer blocks: IonMonkey
Whiteboard: [ion:t]
Assignee: general → nobody
You need to log in before you can comment on or make changes to this bug.