Page MenuHomePhabricator

[LAA] Support looking through pointer selects (WIP).
Needs ReviewPublic

Authored by fhahn on Nov 23 2021, 2:57 PM.
This revision needs review, but there are no reviewers specified.



This patch extends visitPointes to look through GEPs. If the base
pointer is a select, construct 2 pointer SCEVs, one with each incoming
value and call AddPointer on both.

This effectively allows us to generate runtime checks for pointers
involving selects, by creating 2 MemAccessInfos for such pointers.

Diff Detail