[SLP] Enable vectorization of GEP expressions.

Description

[SLP] Enable vectorization of GEP expressions.

The use cases look like the following:

x->a = y->a + 10
x->b = y->b + 12

Details

Committed
mzolotukhinJun 6 2014, 8:34 AM
Parents
rL210341: Added the CAV 2014 SMACK publication.
Branches
Unknown
Tags
Unknown