Page MenuHomePhabricator

[BasicAA] Remove checks for GEP decomposition limit reached

Authored by nikic on Sat, Nov 7, 11:40 AM.



The GEP aliasing code currently checks for the GEP decomposition limit being reached (i.e., we did not reach the "final" underlying object). As far as I can see, these checks are not necessary. It is perfectly fine to work with a GEP whose base can still be further decomposed.

Looking back through the commit history, these checks were originally introduced in However, I believe that the problem this was intended to address was later properly fixed with, and the checks are no longer necessary since then (and were not the right fix in the first place).

Is there something I'm missing here?

Diff Detail

Event Timeline

nikic created this revision.Sat, Nov 7, 11:40 AM
Herald added a project: Restricted Project. · View Herald TranscriptSat, Nov 7, 11:40 AM
nikic requested review of this revision.Sat, Nov 7, 11:40 AM

I would assume the "leftover" parts could just as well be part of the base, right? We'd still run the same logic, wouldn't we?

nikic added a comment.Mon, Nov 9, 9:08 AM

I would assume the "leftover" parts could just as well be part of the base, right? We'd still run the same logic, wouldn't we?

Right. If the limit is reached, then we would for example have another GEP as base, but that shouldn't influence the treatment it gets in this function.

OK, this sounds sane to me. Can we create a test though?

nikic updated this revision to Diff 303951.Mon, Nov 9, 12:01 PM

Add test for behavior at decomposition limit.

nikic added inline comments.Mon, Nov 9, 12:07 PM

The effective change here is that results at the decomposition limit are now as good as results below the limit. Results above it have less precision.


Slightly non-obvious: The reason why we get a better result on the last one is that we strip off an offset 6 from both sides (from inc6 because that's all there is, from inc7 because of the limit). As the offset is the same, the recursive query can preserves access sizes, so we get a precise end result. For the other cases we'll strip off an asymmetric offset (5 and 6, or 7 and 6) and thus the recursive query is performed without sizes, so we don't get precise results there.

This revision is now accepted and ready to land.Mon, Nov 9, 12:58 PM
This revision was automatically updated to reflect the committed changes.