- Fixes a bug when calculating the offset in GetLinearExpression. The code previously used zext to extend the offset, so negative offsets were converted to large positive ones.
- Enhance aliasGEP to deduce that, if the difference between two GEP allocations is positive and all the variables that govern the offset are also positive (i.e. the offset is strictly after the higher base pointer), then allocations that fit in the gap between the two base pointers are NoAlias.
Details
Details
- Reviewers
hfinkel
Diff Detail
Diff Detail
Event Timeline
Comment Actions
I added an early exit from the loop to avoid unnecessary, but expensive, functions call. r219135.