validation-diamond-result ( input width seed -- result )

Vocabulary

compiler.cfg.register-allocation.validation

Inputs

input	an object
width	an object
seed	an object

Outputs

result

an object

Definition

USING: kernel math ;

IN: compiler.cfg.register-allocation.validation

:: validation-diamond-result ( input width seed -- result )
    width input * width width 1 + * 2 /i input 0 >
    [ seed 2 * 4 + ] [ -1 ] if * + ;