High-level optimizer operating on lexical tree SSA IR


Node types:
#call

#declare

#shuffle


Nodes for control flow:
#call-recursive

#enter-recursive

#recursive

#return-recursive

#terminate


Nodes for alien ffi:
#alien-node

#alien-invoke

#alien-indirect

#alien-assembly

#alien-callback


Nodes for branching:
#dispatch

#if

#phi