compiler.tree.propagation.call-effect vocabulary - Factor Documentation (original) (raw)
compiler.tree.propagation.call-effect vocabulary
Factor handbook » Vocabulary index
Documentation
Expansions of call( and execute( words
Metadata
| Parents: | compiler.tree.propagation |
|---|---|
| Authors: | Slava Pestov, Daniel Ehrenberg |
Words
Tuple classes
| Class | Superclass | Slots |
|---|---|---|
 inline-cache |
tuple |
value counter |
 uninferable |
tuple |
Singleton classes
Generic words
| Word | Stack effect |
|---|---|
 add-quot-to-history |
( quot -- ) |
| already-inlined-quot? |
( quot -- ? ) |
| cached-effect |
( quot -- effect ) |
| curry-effect* |
( effect -- effect' ) |
Ordinary words
| Word | Stack effect |
|---|---|
| (infer-value) |
( value-info -- effect ) |
| (value>quot) |
( value-info -- quot ) |
| cached-effect-valid? |
( quot -- ? ) |
| call-effect-fast |
( quot effect inline-cache -- ) |
| call-effect-ic |
( quot effect inline-cache -- ) |
| call-effect-slow |
( quot effect -- ) |
| call-effect-slow>quot |
( effect -- quot ) |
| call-effect-unsafe? |
( quot effect -- ? ) |
| call-effect>quot |
( effect -- quot ) |
| call-inlining |
( #call -- quot/f ) |
| compose-effects* |
( effect1 effect2 -- effect' ) |
| execute-effect-fast |
( word effect inline-cache -- ) |
| execute-effect-ic |
( word effect inline-cache -- ) |
| execute-effect-slow |
( word effect -- ) |
| execute-effect-unsafe? |
( word effect -- ? ) |
| execute-effect>quot |
( effect -- quot ) |
| execute-inlining |
( #call -- quot/f ) |
| infer-value |
( value-info -- effect/f ) |
| inline-cache-hit? |
( word/quot ic -- ? ) |
| remove-effect-input |
( effect -- effect' ) |
| safe-infer |
( quot -- effect ) |
| save-effect |
( effect quot -- ) |
| top-two |
( #call -- effect value ) |
| uninferable |
( -- * ) |
| update-inline-cache |
( word/quot ic -- ) |
| value>quot |
( value-info -- quot: ( code effect -- ) ) |
Class predicate words
| Word | Stack effect |
|---|---|
| +unknown+? |
( object -- ? ) |
| inline-cache? |
( object -- ? ) |
| uninferable? |
( object -- ? ) |
Files
resource:basis/compiler/tree/propagation/call-effect/call-effect.factor
resource:basis/compiler/tree/propagation/call-effect/call-effect-docs.factor
resource:basis/compiler/tree/propagation/call-effect/call-effect-tests.factor
Metadata files
resource:basis/compiler/tree/propagation/call-effect/authors.txt