Documentation
Normalize IR created by high level IR builder to simplify subsequent passes

Words

Generic words
WordStack effect
normalize*( node -- node' )


Symbol words
introduction-stack
remaining-introductions


Ordinary words
WordStack effect
(normalize)( nodes introductions -- nodes )
call<return( #call-recursive n -- nodes )
call>return( #call-recursive n -- #call-recursive )
eliminate-phi-introductions( introductions seq terminated -- seq' )
normalize( nodes -- nodes' )
pop-introduction( -- value )
pop-introductions( n -- values )
unchanged-underneath( #call-recursive -- n )


Files


Children from resource:basis
VocabularySummary
compiler.tree.normalization.introductionsCoalesce value introduction nodes to beginning of each tree leaf
compiler.tree.normalization.renamingSupport for renaming values