Closed
Bug 651966
Opened 13 years ago
Closed 13 years ago
DEFFUN and SETCONST should mark aliased local names as closed
Categories
(Core :: JavaScript Engine, defect)
Tracking
()
RESOLVED
FIXED
People
(Reporter: bhackett1024, Unassigned)
References
Details
(Whiteboard: )
Locals and args marked as closed should only be written through SETLOCAL/SETARG/etc. ops. There is an exception to this for the DEFFUN and SETCONST ops, and to maintain copy/constant invariants JM has to do this weird hack and wipe out all constants and copies when it sees such an op that could alis a non-closed local/arg: if (script->fun && script->bindings.hasBinding(cx, innerFun->atom)) frame.syncAndForgetEverything(); Instead, locals/args which could alias a DEFFUN or SETCONST should be marked as closed, and always synced after writes and loaded from memory for reads. This same thing is already being done for vars aliased by NAME* opcodes; we should have uniform handling for these opcodes that can read or write local names indirectly, to avoid the need to duplicate this logic elsewhere in the engine (e.g. for SSA analysis).
Reporter | ||
Comment 1•13 years ago
|
||
This is also needed for NAME accesses inside 'with' blocks. This doesn't affect JM currently because scripts using 'with' aren't compiled. See bug 652422.
Reporter | ||
Updated•13 years ago
|
Blocks: TypeInference
Reporter | ||
Comment 2•13 years ago
|
||
Instead of doing this in the emitter, it seems easier to watch for NAME aliasing during bytecode analysis. The closed vars/args attached to the script are still only for upvars, but the trackSlot/slotEscapes info which analyses and the compiler actually use take name aliasing into account. http://hg.mozilla.org/projects/jaegermonkey/rev/8816703032a6
Status: NEW → RESOLVED
Closed: 13 years ago
Resolution: --- → FIXED
You need to log in
before you can comment on or make changes to this bug.
Description
•