wrongtest-intellif opened a new pull request, #12527:
URL: https://github.com/apache/tvm/pull/12527
Hi, this change wants to add some minor updation to region estimator used by
buffer compaction:
- Add and clearify among `EstimateRegionStrictBound`,
`EstimateRegionLowerBound` and `EstimateRegionUpperBound`
Original `EstimateRegionLowerBound` actually implements strict bound
estimation IMO, thus we add an alias named `EstimateRegionStrictBound` for
where we actually want strict bound.
- When estimating upperbounds (eg. buffer compaction), try estimate each
dimension independently when they are dependent accesses, in which case
original invocation of `EstimateRegionLowerBound` is expected to fail.
Eg, `A[i, i], 3 < i < 16` fails via `EstimateRegionLowerBound` where
indices should be independent. But we can still try best to invoke strict bound
analysis on each dimension individually.
- If range->min == 1 for `EvalSet(range, dom)`, invoke `EvalSet(range->min.,
dom)` instead.
Eg, `EvalSet([k*k, k*k+1), dom_k)` results to [-inf, +inf] due to
algorithm limit but `EvalSet(k*k, dom_k)` results to a range which makes more
sense.
cc @spectrometerHBH @junrushao @Hzfengsy
--
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]
