Dat3M
Dat3M copied to clipboard
Issue with GEPToAddition and alignment
Our GEPToAddition
pass produces wrong offsets that do not respect alignment.
The underlying issue is that size(struct {a, b}) != size(a) + size(b)
due to alignment requirements.
This results in misinterpretation of this benchmark.