This is an archive of the discontinued LLVM Phabricator instance.

[flang] conservative alias analysis support for hlfir.designate
ClosedPublic

Authored by tblah on Aug 11 2023, 7:37 AM.

Details

Summary

Add a rough alias analysis rule for hlfir.designate which just follows
the memref argument. This could be extended in the future to take into
account the indices or derived type fields accessed to spot for provably
non-overlapping cases. In the meantime, we need a flag to ensure we
never say "MustAlias" when following a value through a hlfir.designate
because the designate analysis is only approximate.

Diff Detail

Event Timeline

tblah created this revision.Aug 11 2023, 7:37 AM
Herald added projects: Restricted Project, Restricted Project. · View Herald TranscriptAug 11 2023, 7:37 AM
tblah requested review of this revision.Aug 11 2023, 7:37 AM
tblah retitled this revision from [flang] approximate alias analysis support for hlfir.designate to [flang] conservative alias analysis support for hlfir.designate.Aug 11 2023, 8:21 AM
Renaud-K accepted this revision.Aug 11 2023, 2:40 PM

This looks good to me. Thank you.

This revision is now accepted and ready to land.Aug 11 2023, 2:40 PM