Summary
Metadata
Words
Tuple classes
Singleton classes
Generic words
Symbol words
Ordinary words
Class predicate words
Files
Metadata
| Parents: | compiler.cfg.stacks |
Words
Tuple classes
| Class | Superclass | Slots |
 vacant-peek |  tuple | insn |
| vacant-when-calling | tuple | seq |
Singleton classes
 padding |
Generic words
| Word | Stack effect |
 visit-insn | ( state insn -- state' ) |
Symbol words
| padding-ins |
| padding-outs |
| stack-record |
Ordinary words
| Word | Stack effect |
| all-live | ( state -- state' ) |
| apply-stack-op | ( state insn quote: ( n stack -- stack' ) -- state' ) |
| classify-read | ( stack n -- val ) |
| combine-stacks | ( stacks -- stack ) |
| combine-states | ( states -- state ) |
| compute-padding-sets | ( cfg -- ) |
| ensure-no-vacant | ( state -- ) |
 initial-state | ( -- value ) |
| live-location | ( state insn -- state' ) |
| padding-in | ( bb -- set ) |
| padding-out | ( bb -- set ) |
| register-stack-state | ( state insn -- ) |
| register-write | ( n stack -- stack' ) |
| shift-stack | ( n stack -- stack' ) |
| trace-stack-state | ( cfg -- assoc ) |
| underflowable-peek? | ( state peek -- ? ) |
| uniquely-number-instructions | ( cfg -- ) |
| vacant-peek | ( insn -- * ) |
| vacant-when-calling | ( seq -- * ) |
| visit-insns | ( insns state -- state' ) |
Class predicate words
| Word | Stack effect |
| padding? | ( object -- ? ) |
| vacant-peek? | ( object -- ? ) |
| vacant-when-calling? | ( object -- ? ) |
Files