Checking compiler costs and temporary lifetimes

Separate operand occurrences from live values, retain output dependencies, and verify allocation order against a small lifetime trace.