This is an archive of the discontinued LLVM Phabricator instance.

[mlir][linalg][bufferize] Implement equivalence analysis

Authored by springerm on Nov 29 2021, 11:49 PM.



Instead of checking buffer equivalence during bufferization, gather buffer equivalence information right after the analysis. This is in preparation of decoupling bufferization from BufferizationAliasInfo.

This change also fixes equivalence analysis for scf.if op results, which was not fully implemented. scf.if op results are equivalent to their corresponding yield values if both yield values are equivalent.

Depends On D114773

Diff Detail

Event Timeline

springerm created this revision.Nov 29 2021, 11:49 PM
springerm requested review of this revision.Nov 29 2021, 11:49 PM
nicolasvasilache accepted this revision.Dec 1 2021, 12:43 AM

Please mark NFC-

This revision is now accepted and ready to land.Dec 1 2021, 12:43 AM
This revision was landed with ongoing or failed builds.Dec 3 2021, 8:00 PM
This revision was automatically updated to reflect the committed changes.