Revision 445e80ae
Added by Xavier Thirioux over 7 years ago
| src/plugins/salsa/machine_salsa_opt.ml | ||
|---|---|---|
| 297 | 297 |
if debug then Format.eprintf "Registering and producing state assign %a@ " MC.pp_instr hd_instr; |
| 298 | 298 |
let formalEnv' = FormalEnv.def formalEnv vd vt in (* formelEnv updated with vd = vt *) |
| 299 | 299 |
let instrs', ranges' = (* printing vd = optimized vt *) |
| 300 |
assign_vars printed_vars ranges formalEnv (Vars.singleton vd) |
|
| 300 |
assign_vars printed_vars ranges formalEnv' (Vars.singleton vd)
|
|
| 301 | 301 |
in |
| 302 | 302 |
instrs', |
| 303 | 303 |
ranges', (* no new range computed *) |
Also available in: Unified diff