Constraint based vectorization
Brian Koblenz, William B. Noyce · 1989
The constraint tree provides a uniform framework for representing many loop transformations. It allows us to estimate the performance of several alternative execution methods before committing to any of the transformations.