infer-alien-invoke ( -- )
Inferring alien words

Next:

infer-alien-indirect ( -- )

Vocabulary
stack-checker.alien

Word description
Appends the necessary SSA nodes for performing an alien-invoke call to the IR tree being constructed.

Definition

USING: accessors alien.libraries kernel stack-checker.backend
stack-checker.visitor ;

IN: stack-checker.alien

: infer-alien-invoke ( -- )
    alien-invoke-params new pop-varargs? pop-params pop-function
    pop-library pop-return dup library>> library-abi >>abi
    dup param-prep-quot infer-quot-here
    dup dup inputs/outputs #alien-invoke, infer-return ;