admin/d810
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Mark MBA as dirty if we remove some block while cleaning

Browse Source
This commit is contained in:
Boris Batteux
2021-02-18 15:28:52 +01:00
parent e7820ac63b
commit 4046716de9
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
d810/optimizers/flow/flattening/generic.py
View File

@@ -460,9 +460,9 @@ class GenericDispatcherUnflatteningRule(GenericUnflatteningRule):
self.last_pass_nb_patch_done = self.remove_flattening()
unflat_logger.info("Unflattening at maturity {0} path {1}: {2} changes"
.format(self.cur_maturity, self.cur_maturity_pass, self.last_pass_nb_patch_done))
mba_deep_cleaning(self.mba)
nb_clean = mba_deep_cleaning(self.mba)
dump_microcode_for_debug(self.mba, self.log_dir, "unflat_{0}_after_cleaning".format(self.cur_maturity_pass))
if self.last_pass_nb_patch_done > 0:
if self.last_pass_nb_patch_done + nb_clean > 0:
self.mba.mark_chains_dirty()
self.mba.optimize_local(0)
self.mba.verify(True)