Xilinx / mlir-air

MIT License
81 stars 27 forks source link

AIRSpecializeChannelWrapAndStride: More flexible wrap-and-stride offset canonicalization #791

Closed erwei-xilinx closed 5 days ago

erwei-xilinx commented 6 days ago

Previously, when the wrap-and-stride canonicalizer deletes any dimension i in the lists, it only attempts to compose any non-zero offsets[i] to its next dimension offsets[i+1]. This PR attempts to relax this constraint.