Page MenuHomePhabricator

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

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

Details

Summary

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

mlir/test/Analysis/test-alias-analysis.mlir
16–17

This should be dropped now.

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