peephole-optimizable? ( object -- ? )

Vocabulary

compiler.cfg.representations.selection

Inputs and outputs

object	an object
?	a boolean

Word description

Tests if the object is an instance of the peephole-optimizable class.

Definition

USING: classes.tuple.private compiler.cfg.instructions kernel
math.private slots.private ;

IN: compiler.cfg.representations.selection

: peephole-optimizable? ( object -- ? )
    dup dup tuple? [
        layout-of
        dup
        dup
        1
        slot
        15
        fixnum>=
        [
            15
            slot
            dup
            \ ##bit-count
            eq?
            [ drop t ]
            [
                dup \ ##test eq?
                [ drop t ] [
                    dup \ ##test-imm eq?
                    [ drop t ] [
                        dup \ ##compare-integer eq?
                        ~quotation~ ~quotation~ if
                    ] if
                ] if
            ]
            if
        ]
        [ drop f ]
        if
        [ drop t ]
        [
            dup
            1
            slot
            11
            fixnum>=
            [
                11
                slot
                dup
                \ ##test-branch
                eq?
                [ drop t ]
                [
                    dup \ ##test-imm-branch eq?
                    [ drop t ] [
                        dup \ ##compare-integer-branch eq?
                        ~quotation~ ~curried~ if
                    ] if
                ]
                if
            ]
            [ drop f ]
            if
        ]
        if
    ] [ drop f ] if
    [ drop t ] [
        dup inert-bitwise-tag-untag-insn?
        [ drop t ] [
            dup inert-arithmetic-tag-untag-insn?
            [ drop t ] [ inert-tag-untag-insn? ] if
        ] if
    ] if ;