The value-numbering stage simplifies instructions and eliminates repeated expressions within each basic block. SSA literal information is shared across blocks so the existing folder can fold exact integer-to-float conversions. Inexact floating-point conversions remain at runtime.

global-value-numbering?