compiler.tree.propagation.call-effect vocabulary
Factor handbook » Vocabulary index

Documentation
Expansions of call( and execute( words

Metadata

Authors:

Slava Pestov, Daniel Ehrenberg

Words

Tuple classes

Class	Superclass	Slots
inline-cache	tuple	value counter
uninferable	tuple

Singleton classes

+unknown+

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