lp:~mgiuca/mars/interactive-ssa

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #580487: Interactive doesn't assign unique names to variables

Critical

Fix Released

Link a bug report

Related blueprints

1070. By Matt Giuca on 2010-05-21

ast_cfg: Simplify basic_stmt_to_cfg, as it no longer needs a special case for each type of stmt.

1069. By Matt Giuca on 2010-05-21

ast_cfg's public predicates expr_to_instrs and basic_stmt_to_instrs now
    convert their variables to SSA form before generating instructions. This
    means that interactive now deals internally in SSA-named variables (which
    can be seen with :e), and no variable internally is ever re-assigned.
    Interactive is now fully SSA-compliant (though it now has an obvious
    memory leak in that no interpreter-variable will ever be reclaimed).
Fixes Launchpad bug #580487.

1068. By Matt Giuca on 2010-05-21

interactive: :e now prints the variables in st_ssa_localtable, not st_localtable. The variable names in ssa_localtable are the ones stored in the env (though currently they are identical except ssa_localtable includes temporaries, this will change).

1067. By Matt Giuca on 2010-05-21

interactive: Now threads a persistent ast_state through the calls to the ast generator predicates.

1066. By Matt Giuca on 2010-05-21

interactive: Now updates ssa_localtable with the types of the SSA variables provided by ast_cfg.
tables: Added extend_localtable.

1065. By Matt Giuca on 2010-05-21

interactive: exec_stmt_internal now threads a whole state, not just an env.

1064. By Matt Giuca on 2010-05-21

interactive: State now includes an ast_cfg.ast_state.

1063. By Matt Giuca on 2010-05-21

ast_cfg: basic_stmt_to_instrs now threads a def_map (currently doesn't use it).

1062. By Matt Giuca on 2010-05-21

ast_cfg: Public versions of expr_to_instrs and basic_stmt_to_instrs now thread an ast_state. They are now sensitive to the existing SSA state and will update it (though interactive currently supplies an empty map and ignores the result).

1061. By Matt Giuca on 2010-05-21

ast_cfg: expr_to_instrs and basic_stmt_to_instrs public versions now return a mapping for all types bound by the generated instructions.