Summary
High-level optimizer operating on lexical tree SSA IR
Meta-data
Words
Tuple classes
Generic words
Ordinary words
Class predicate words
Files
Children from resource:basis
High-level optimizer operating on lexical tree SSA IR
Meta-data
| Authors: | Slava Pestov |
Words
Tuple classes
| Class | Superclass | Slots |
 #alien-assembly | #alien-node | in-d out-d |
| #alien-callback | node | params child |
| #alien-indirect | #alien-node | in-d out-d |
| #alien-invoke | #alien-node | in-d out-d |
| #alien-node | node | params |
| #branch | node | in-d children live-branches |
| #call | node | word in-d out-d body method class info |
| #call-recursive | node | label in-d out-d info |
| #copy | #renaming | in-d out-d |
| #declare | node | declaration |
| #dispatch | #branch | |
| #enter-recursive | node | in-d out-d label info |
| #if | #branch | |
| #introduce | node | out-d |
| #phi | node | phi-in-d phi-info-d out-d terminated |
| #push | node | literal out-d |
| #recursive | node | in-d word label loop? child |
| #renaming | node | |
| #return | node | in-d info |
| #return-recursive | #renaming | in-d out-d label info |
| #shuffle | #renaming | mapping in-d out-d in-r out-r |
| #terminate | node | in-d in-r |
| node | identity-tuple |
Generic words
| Word | Stack effect |
 inputs/outputs | ( #renaming -- inputs outputs ) |
Ordinary words
| Word | Stack effect |
 <#alien-assembly> | ( params -- node ) |
| <#alien-callback> | ( params child -- node ) |
| <#alien-indirect> | ( params -- node ) |
| <#alien-invoke> | ( params -- node ) |
| <#call-recursive> | ( inputs outputs label -- node ) |
| <#call> | ( inputs outputs word -- node ) |
| <#copy> | ( inputs outputs -- node ) |
| <#data-shuffle> | ( in-d out-d mapping -- node ) |
| <#declare> | ( declaration -- node ) |
| <#dispatch> | ( n branches -- node ) |
| <#drop> | ( inputs -- node ) |
| <#enter-recursive> | ( label inputs outputs -- node ) |
| <#if> | ( ? true false -- node ) |
| <#introduce> | ( out-d -- node ) |
| <#phi> | ( d-phi-in d-phi-out terminated -- node ) |
| <#push> | ( literal value -- node ) |
| <#recursive> | ( label inputs child -- node ) |
| <#return-recursive> | ( label inputs outputs -- node ) |
| <#return> | ( stack -- node ) |
| <#shuffle> | ( in-d out-d in-r out-r mapping -- node ) |
| <#terminate> | ( in-d in-r -- node ) |
| ends-with-terminate? | ( nodes -- ? ) |
| new-alien-node | ( params class -- node ) |
| new-branch | ( value children class -- node ) |
| node, | ( node -- ) |
Class predicate words
| Word | Stack effect |
| #alien-assembly? | ( object -- ? ) |
| #alien-callback? | ( object -- ? ) |
| #alien-indirect? | ( object -- ? ) |
| #alien-invoke? | ( object -- ? ) |
| #alien-node? | ( object -- ? ) |
| #branch? | ( object -- ? ) |
| #call-recursive? | ( object -- ? ) |
| #call? | ( object -- ? ) |
| #copy? | ( object -- ? ) |
| #declare? | ( object -- ? ) |
| #dispatch? | ( object -- ? ) |
| #enter-recursive? | ( object -- ? ) |
| #if? | ( object -- ? ) |
| #introduce? | ( object -- ? ) |
| #phi? | ( object -- ? ) |
| #push? | ( object -- ? ) |
| #recursive? | ( object -- ? ) |
| #renaming? | ( object -- ? ) |
| #return-recursive? | ( object -- ? ) |
| #return? | ( object -- ? ) |
| #shuffle? | ( object -- ? ) |
| #terminate? | ( object -- ? ) |
| node? | ( object -- ? ) |
Files
Children from resource:basis
| Vocabulary | Summary |
 compiler.tree.builder | Constructing high-level tree IR |
| compiler.tree.checker | Debugging tool for checking various invariants of tree IR |
| compiler.tree.cleanup | Finalizing speculative inlining and constant folding from propagation pass |
| compiler.tree.combinators | Combinators for iterating over tree IR |
| compiler.tree.comparisons | Utilities for working with binary comparison operations |
| compiler.tree.dead-code | Dead code elimination |
| compiler.tree.debugger | Tools for debugging high-level optimizer |
| compiler.tree.def-use | Def/use chain construction |
| compiler.tree.escape-analysis | Escape analysis for tuple unboxing |
| compiler.tree.finalization | Final pass cleans up high-level IR |
| compiler.tree.identities | Applying arithmetic identities to integer code |
| compiler.tree.late-optimizations | Utilities used by several optimization passes run in the later stages |
| compiler.tree.modular-arithmetic | Modular arithmetic optimization |
| compiler.tree.normalization | Normalize IR created by high level IR builder to simplify subsequent passes |
| compiler.tree.optimizer | Top-level harness for high-level optimizer |
| compiler.tree.propagation | Class, interval, constant propagation |
| compiler.tree.recursive | Analysis of inline recursive combinators and loop detection |
| compiler.tree.tuple-unboxing | Tuple unboxing |