one-mod-custom-inlining ( inputs -- quot/f )

Vocabulary

compiler.tree.propagation.transforms

Inputs

inputs

SSA inputs

Outputs

quot/f

an expansion or f

Word description

Specializes integer remainder with numerator one. Divisors one and minus one yield zero, and other nonzero integer divisors yield one. A zero divisor uses the quotient/remainder operation to preserve platform-specific division-by-zero behavior.

Definition

USING: accessors classes.algebra compiler.tree.propagation.info
kernel math sequences ;

IN: compiler.tree.propagation.transforms

: one-mod-custom-inlining ( inputs -- quot/f )
    dup first value-info literal>> 1 eq? [
        second value-info class>> integer class<= [
            [
                nip dup zero?
                [ 1 swap /mod nip ]
                [ dup 1 = swap -1 = or 0 1 ? ] if
            ]
        ] [ f ] if
    ] [ drop f ] if ;