diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-12-20 10:07:47 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2019-01-15 15:16:34 +0100 |
| commit | a89cc198f018588c62c76f895eb80f9ec0d63787 (patch) | |
| tree | 4bec47bfd2ee67e10f037ecb5dab5f3c64241657 /example/disasm/full.py | |
| parent | eb9b59dd4b4805dee549b69f024019f9d25b2fa5 (diff) | |
| download | miasm-a89cc198f018588c62c76f895eb80f9ec0d63787.tar.gz miasm-a89cc198f018588c62c76f895eb80f9ec0d63787.zip | |
SSA: make ssa_variable_to_expr public
Diffstat (limited to 'example/disasm/full.py')
| -rw-r--r-- | example/disasm/full.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/example/disasm/full.py b/example/disasm/full.py index 4da32f67..f4c50d9a 100644 --- a/example/disasm/full.py +++ b/example/disasm/full.py @@ -339,7 +339,7 @@ if args.propagexpr: ssa.transform(head) - all_ssa_vars.update(ssa._ssa_variable_to_expr) + all_ssa_vars.update(ssa.ssa_variable_to_expr) ssa_regs = [reg for reg in ssa.expressions if reg.is_id()] ssa_forbidden_regs.update(ssa_regs) @@ -347,7 +347,7 @@ if args.propagexpr: if args.verbose > 3: open("ssa_%d.dot" % index, "wb").write(ircfg_a.dot()) - ir_arch_a.ssa_var.update(ssa._ssa_variable_to_expr) + ir_arch_a.ssa_var.update(ssa.ssa_variable_to_expr) if args.verbose > 3: open("ssa_orig.dot", "wb").write(ircfg_a.dot()) @@ -392,9 +392,9 @@ if args.propagexpr: ssa = SSADiGraph(ircfg_a) ssa.immutable_ids.update(ssa_forbidden_regs) ssa.transform(head) - all_ssa_vars.update(ssa._ssa_variable_to_expr) + all_ssa_vars.update(ssa.ssa_variable_to_expr) print '*'*80, "Remove phi" - ssa._ssa_variable_to_expr = all_ssa_vars + ssa.ssa_variable_to_expr = all_ssa_vars if args.verbose > 3: open('final_ssa.dot', 'w').write(ircfg_a.dot()) remove_phi(ssa, head) |