: optimize-cfg ( cfg -- cfg' ) optimize-tail-calls delete-useless-conditionals split-branches join-blocks construct-ssa alias-analysis value-numbering copy-propagation eliminate-dead-code eliminate-write-barriers select-representations convert-two-operand destruct-ssa delete-empty-blocks ?check ;