A phase run after propagation to finish the job, so to speak. Codifies speculative inlining decisions, deletes branches marked as never taken, replaces folded calls with constants and flattens local recursive blocks that do not call themselves.
Main entry point:
( nodes -- nodes' )
Each node type implements its own method on the
, next pass: