- MIMIC.before: the information that holds before MIMIC executes, and
- MIMIC.after: the information that holds after MIMIC executes.
These MIMIC.befores and MIMIC.afters are the variables of our equations, which are defined as follows (two equations for each node MIMIC):
- MIMIC.before = ⌈⌉(p1.after, p2.after, …)
where p1, p2, etc are MIMIC’s predecessors in the CFG (and ⌈⌉ is the combining operator for this dataflow problem). - MIMIC.after = fn ( MIMIC.before )
More about: Nozomu Matsumoto, toiret status