Synthesis Optimization

Two mutually exclusive operations use identical adders in separate branches. The synthesis tool implements both operations using one shared adder and selection logic. Which optimization is this?