exact-single? ( x -- ? )

Vocabulary

compiler.cfg.value-numbering.folding

Inputs

x

an object

Outputs

?

an object

Definition

USING: kernel math math.bitwise math.order ;

IN: compiler.cfg.value-numbering.folding

:: exact-single? ( x -- ? )
    x double>bits 9223372036854775807 bitand
    :> encoding encoding 0 = encoding 9218868437227405312 = or
    [ t ] [
        encoding -52 shift 1023 - -126 127 between?
        encoding 29 bits zero? and
    ] if ;