dense-homogeneous-members ( members size -- members/f )

Vocabulary

cpu.arm.64.abi

Inputs

members	an object
size	an object

Outputs

members/f

an object

Definition

USING: combinators.short-circuit grouping kernel math sequences
sets sorting ;

IN: cpu.arm.64.abi

:: dense-homogeneous-members ( members size -- members/f )
    members members [ first ] sort-by :> unique unique empty?
    [ f ] [
        unique first second :> stride unique {
            [ length 4 <= ]
            [ [ third ] map all-equal? ]
            [
                [ first ] map dup length <iota> [ stride * ] map
                =
            ]
            [ length stride * size = ]
        } 1&& [ unique ] [ f ] if
    ] if ;