slp-expandable? ( pair definitions uses root? -- ? )


Vocabulary
compiler.cfg.slp

Inputs
pairan object
definitionsan object
usesan object
root?an object


Outputs
?an object


Definition


:: slp-expandable? ( pair definitions uses root? -- ? )
pair [ definitions at ] map :> insns insns [ >boolean ] all?
[
insns [ slp-vector-op ] map first2 = root? pair
[ uses at 1 = ] all? or and pair first2 = not and
] [ f ] if ;