Page MenuHomePhabricator

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

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

Details

Reviewers
None
Summary

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