Page MenuHomePhabricator

[mlir] LocalAliasAnalysis: Assume allocation scope to function scope if cannot determine better

Authored by Hardcode84 on May 15 2021, 10:39 AM.



It helps when checking aliasing between AllocOp result and function arguments.

Diff Detail

Event Timeline

Hardcode84 created this revision.May 15 2021, 10:39 AM
Hardcode84 requested review of this revision.May 15 2021, 10:39 AM
rriddle accepted this revision.May 25 2021, 10:57 AM

Right, this works because of how we defined the nature of the Allocate effect. Going under that definition, I think we could technically just check dominance to see if an alias is possible. LGTM


This should be dropped now.

This revision is now accepted and ready to land.May 25 2021, 10:57 AM