diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-07-18 07:44:59 +0200 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-07-18 07:45:08 +0200 |
| commit | 7d2227eeb09a0ec43a837082570a0cb955651daa (patch) | |
| tree | 04780ca818378f42bc91efe2fc2d88a2d77692f7 /miasm2/arch/arm/ira.py | |
| parent | cf74092981e4f3fa7bed9ce182a38e570653a138 (diff) | |
| download | miasm-7d2227eeb09a0ec43a837082570a0cb955651daa.tar.gz miasm-7d2227eeb09a0ec43a837082570a0cb955651daa.zip | |
IR/Analysis: call_effects can add extra blocks
Diffstat (limited to 'miasm2/arch/arm/ira.py')
| -rw-r--r-- | miasm2/arch/arm/ira.py | 32 |
1 files changed, 21 insertions, 11 deletions
diff --git a/miasm2/arch/arm/ira.py b/miasm2/arch/arm/ira.py index 7b26a6e4..09a9cabc 100644 --- a/miasm2/arch/arm/ira.py +++ b/miasm2/arch/arm/ira.py @@ -23,17 +23,27 @@ class ir_a_arml(ir_a_arml_base): self.ret_reg = self.arch.regs.R0 def call_effects(self, ad, instr): - return [AssignBlock([ExprAff(self.ret_reg, ExprOp('call_func_ret', ad, - self.arch.regs.R0, - self.arch.regs.R1, - self.arch.regs.R2, - self.arch.regs.R3, - )), - ExprAff(self.sp, ExprOp('call_func_stack', - ad, self.sp)), - ], - instr - )] + call_assignblk = AssignBlock( + [ + ExprAff( + self.ret_reg, + ExprOp( + 'call_func_ret', + ad, + self.arch.regs.R0, + self.arch.regs.R1, + self.arch.regs.R2, + self.arch.regs.R3, + ) + ), + ExprAff( + self.sp, + ExprOp('call_func_stack', ad, self.sp) + ), + ], + instr + ) + return [call_assignblk], [] def get_out_regs(self, _): return set([self.ret_reg, self.sp]) |