Add support for assumed fusion with register promotion.
Functional fusion with register promotion.