inline-recursive-word ( word -- )

Vocabulary

stack-checker.inlining

Inputs

word

a word

Outputs

None

Word description

Emits an #recursive SSA node for a call to the given inline recursive word. Effect inference tracks the stack depth accessed by the body, excluding untouched values carried through the node. Known values in this untouched prefix are preserved when inference returns to the caller.

Definition

USING: kernel math.order namespaces stack-checker.backend
stack-checker.state stack-checker.visitor ;

IN: stack-checker.inlining

: inline-recursive-word ( word -- )
    (inline-recursive-word) [
        3dup nip preserve-recursive-prefix inner-d-index get min
        [ [ consume-d ] [ output-d ] [ ] tri* #recursive, ] dip
        inner-d-index set
    ] dip [ terminate ] when ;