Dat3M icon indicating copy to clipboard operation
Dat3M copied to clipboard

Issue with GEPToAddition and alignment

Open ThomasHaas opened this issue 1 year ago • 0 comments

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.

ThomasHaas avatar Dec 02 '23 11:12 ThomasHaas