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


Documentation
Expansions of call( and execute( words

Meta-data
Authors:Slava Pestov, Daniel Ehrenberg


Words

Tuple classes
ClassSuperclassSlots
inline-cache tuplevalue counter
uninferable tuple


Singleton classes
+unknown+


Generic words
WordStack effect
add-quot-to-history( quot -- )
already-inlined-quot?( quot -- ? )
cached-effect( quot -- effect )
curry-effect*( effect -- effect' )


Ordinary words
WordStack 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 -- ? )
last2( seq -- penultimate ultimate )
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
WordStack effect
+unknown+?( object -- ? )
inline-cache?( object -- ? )
uninferable?( object -- ? )


Files