SDCC has an implementation of lifetime-optimal speculative partial redundancy elimination based on tree-decompositions.