diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-08-06 15:23:07 +0200 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-08-06 18:58:07 +0200 |
| commit | aa9416253ec2bafb50a295335b8e04a839c5632d (patch) | |
| tree | 645e57bf70a03633fd9d9be91fd0fd2d87e75494 /miasm2/jitter/codegen.py | |
| parent | 27461051227c2e1ff93ecb9c5f7ad89ae3239a24 (diff) | |
| download | miasm-aa9416253ec2bafb50a295335b8e04a839c5632d.tar.gz miasm-aa9416253ec2bafb50a295335b8e04a839c5632d.zip | |
Symbexec: Use simplifier with high level in symbexec
Diffstat (limited to 'miasm2/jitter/codegen.py')
| -rw-r--r-- | miasm2/jitter/codegen.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/miasm2/jitter/codegen.py b/miasm2/jitter/codegen.py index fec10f41..69e83de5 100644 --- a/miasm2/jitter/codegen.py +++ b/miasm2/jitter/codegen.py @@ -8,7 +8,7 @@ from miasm2.ir.ir import IRBlock, AssignBlock from miasm2.ir.translators.C import TranslatorC, int_size_to_bn from miasm2.core.asmblock import AsmBlockBad -from miasm2.expression.simplifications_high_level import expr_simp +from miasm2.expression.simplifications import expr_simp_high_to_explicit TRANSLATOR_NO_SYMBOL = TranslatorC(loc_db=None) @@ -170,7 +170,7 @@ class CGen(object): # Simplify high level operators out = [] for irblock in irblocks: - new_irblock = irblock.simplify(expr_simp)[1] + new_irblock = irblock.simplify(expr_simp_high_to_explicit)[1] out.append(new_irblock) irblocks = out |