wrongtest opened a new pull request, #11428: URL: https://github.com/apache/tvm/pull/11428
`EstimateRegionLowerBound` sometimes gives "too accurate" region extents (dependent by outer loop vars). However, the lowering (`StorageRewrite`) would lift buffer allocation to the global scope, bring the loop vars out of it's def scope illegally. For the padded and tiled pooling case in the test, the h-dimension's region extent could be infered as `h_o * 8 + 8 - max(h_o * 8 - 1, 0)`, it is correct since with padding, the edge tiles do not need same buffer size as others. (h_o = 0 => extent = 8, h_o > 0 => extent = 9). But the dynamic allocation for this extent expression can not get properly handled afterwards... Here is just one work-around, very glad to see any robust solutions. @Hzfengsy @spectrometerHBH -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
