Page MenuHomePhabricator

[BasicAA] Teach BasicAA about GEP variable index ranges.

Authored by courbet on Mar 24 2021, 2:09 AM.



Note that this is not as complete as what SCEV can do, but it's fast,
and it's enough for the common case, which is clang setting !range
metadata on array subscript indices.

Diff Detail

Event Timeline

courbet created this revision.Mar 24 2021, 2:09 AM
courbet requested review of this revision.Mar 24 2021, 2:09 AM
Herald added a project: Restricted Project. · View Herald TranscriptMar 24 2021, 2:09 AM
courbet updated this revision to Diff 333284.Mar 25 2021, 6:28 AM

Add more proposals for representing the range data.

fhahn added a subscriber: fhahn.Mar 25 2021, 8:17 AM
nikic added a subscriber: nikic.Mon, Oct 11, 1:29 AM

Abandon this as D109746 landed?

courbet abandoned this revision.Mon, Oct 11, 1:32 AM