|---| | [ View source on GitHub](https://github.com/tensorflow/probability/blob/v0.25.0/tensorflow_probability/python/experimental/auto_batching/liveness.py) | 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. ## Functions [`liveness_analysis(...)`](https://www.tensorflow.org/probability/api_docs/python/tfp/experimental/auto_batching/liveness/liveness_analysis): Computes liveness information for each op in each block.