bit-quot ( #call -- quot/f )

Vocabulary

compiler.tree.propagation.transforms

Inputs

#call

an object

Outputs

quot/f

an object

Definition

USING: accessors compiler.tree.propagation.info kernel layouts
math math.integers.private math.intervals sequences ;

IN: compiler.tree.propagation.transforms

: bit-quot ( #call -- quot/f )
    in-d>> second value-info interval>> 0 fixnum-bits [a,b]
    interval-subset? [ [ integer>fixnum ] dip fixnum-bit? ] f ?
    ;