1. The ‘liveness’ data fl ow property helps in performing global dead code elimination and also in making decisions for retaining a variable’s value in a register.
2. The iterative approach to solving data flow equations is used for resolving the cyclic dependency between the properties of flow graph nodes in the cases of input source having loops.
3. The dead code elimination can also be performed at a DAG level using live variable information in the form of live_OUT set for the block.