Module: tfp.experimental.auto_batching.allocation_strategy

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


optimize(...): Optimizes a Program's variable allocation strategy.