Page MenuHomePhabricator

[mlir] [VectorOps] Correctly account for rank-0 affine-map result in vector.contract
ClosedPublic

Authored by aartbik on Mar 11 2020, 2:30 PM.

Details

Summary

Now that, thanks to ntv, we have the ability to parse and represent an affine
map with rank-0 results, viz. (i,j) -> (), we can pay off some engineering debt
in special casing the verification of such affine maps in dot-product flavored
vector.contract operations.

Diff Detail

Event Timeline

aartbik created this revision.Mar 11 2020, 2:30 PM
nicolasvasilache accepted this revision.Mar 11 2020, 2:55 PM

Thanks for the cleanup Aart!

This revision is now accepted and ready to land.Mar 11 2020, 2:55 PM
This revision was automatically updated to reflect the committed changes.