High-level optimizer operating on lexical tree SSA IR


The base node type:
node


Nodes for data:
#declare

#introduce

#shuffle

#renaming

#copy

#push


Nodes for control flow:
#call

#call-recursive

#enter-recursive

#recursive

#return

#return-recursive

#terminate


Nodes for alien ffi:
#alien-node

#alien-invoke

#alien-indirect

#alien-assembly

#alien-callback


Nodes for branching:
#branch

#if

#dispatch

#phi