zero-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

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