Are Datapath Circuit Transformations just Compiler Optimisations?

An investigation into whether carry-save arithmetic can be viewed as loop fusion.