search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 2 forks source link

shufflevector instruction must be implemented in domains #153

Closed karelklic closed 11 years ago

karelklic commented 11 years ago

Currently, the shufflevector instruction is implemented directly in Operations, and it assumes that array is of the exactsize type.