Module: tfp.experimental.auto_batching.liveness

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


liveness_analysis(...): Computes liveness information for each op in each block.