validation-vector-program ( a b x -- result )

Vocabulary

compiler.cfg.register-allocation.validation

Inputs

a	an object
b	an object
x	an object

Outputs

result

an object

Definition

USING: math.libm math.vectors ;

IN: compiler.cfg.register-allocation.validation

:: validation-vector-program ( a b x -- result )
    a b v+ :> sum a b v- :> difference a b v* :> product a a v*
    :> square-a b b v*
    :> square-b x fsin :> scalar sum difference v+ product v+
    square-a v+ square-b scalar v*n v+ ; inline