Low-level optimizer operating on control flow graph SSA IR