dangerous-insn? ( state insn -- ? )

Vocabulary

compiler.cfg.stacks.clearing

Inputs

state	a stack state
insn	an insn

Outputs

?

a boolean

Word description

Checks if the instruction is dangerous, meaning that the holes in the stack must be filled before it is executed.

Examples

USING: compiler.cfg.instructions compiler.cfg.registers compiler.cfg.stacks.clearing prettyprint ; { { 0 { } } { 0 { } } } T{ ##peek { loc D: 0 } } dangerous-insn? .
t

USING: compiler.cfg.instructions compiler.cfg.registers compiler.cfg.stacks.clearing prettyprint ; { { 0 { } } { 2 { } } } T{ ##peek { loc R: 0 } } dangerous-insn? .
f

USING: compiler.cfg.instructions compiler.cfg.registers compiler.cfg.stacks.clearing prettyprint ; { { 0 { } } { 3 { } } } T{ ##call-gc } dangerous-insn? .
t

Definition

USING: combinators.short-circuit compiler.cfg.instructions
compiler.cfg.stacks.padding kernel ;

IN: compiler.cfg.stacks.clearing

: dangerous-insn? ( state insn -- ? )
    {
        [ { [ nip ##peek? ] [ underflowable-peek? ] } 2&& ]
        [ gc-map-insn? ]
    } 1|| ;