|View source on GitHub|
Live variable analysis.
A variable is "dead" at some point if the compiler can find a proof that no future instruction will read the value before that value is overwritten; "live" otherwise.
This module implements a liveness analysis for the IR defined in instructions.py.
liveness_analysis(...): Computes liveness information for each op in each block.