A pass that conservatively removes dead code in the generated IR. Theremoved dead code is usually produced by a lifter, though it might bepossible that a binary indeed contains a dead code. The algorithmdoesn't remove variables that are stored in memory, only registers areconsidered.