shift-2^ ( -- quot )

Vocabulary

compiler.tree.propagation.transforms

Inputs

None

Outputs

quot

an object

Definition

USING: kernel layouts math math.private namespaces ;

IN: compiler.tree.propagation.transforms

: shift-2^ ( -- quot )
    cell-bits tag-bits get - 1 - [ [ dup ] ] dip
    [ < [ fixnum-shift ] [ fixnum-shift ] if ] curry compose
    [ [ integer>fixnum-strict dup 0 < [ 2drop 0 ] ] ] dip
    [ if ] curry compose ;