redundant-bitand? ( value1 value2 -- ? )

Vocabulary

compiler.tree.propagation.transforms

Inputs

value1	an object
value2	an object

Outputs

?

an object

Definition

USING: accessors combinators.short-circuit kernel math
math.intervals ;

IN: compiler.tree.propagation.transforms

: redundant-bitand? ( value1 value2 -- ? )
    [ interval>> ] [ literal>> ] bi* {
        [ nip integer? ]
        [ nip all-ones? ]
        [ [0,b] interval-subset? ]
    } 2&& ;