check-registers ( n quot -- quot: ( ... -- ... w ) )

Vocabulary

cpu.arm.64.assembler.private

Inputs

n	an object
quot	an object

Outputs

quot	a quotation with stack effect ( ... -- ... w )

Definition

USING: generalizations grouping kernel sequences
sequences.generalizations ;

IN: cpu.arm.64.assembler.private

: check-registers ( n quot -- quot: ( ... -- ... w ) )
    dupd
    [ [ [ ndup ] curry ] dip [ narray dup ] curry compose ] dip 
    [
        map dup all-equal?
        [ nip first ] [ drop register-width-mismatch ] if
    ] curry compose ; inline