You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2022/08/22 08:17:59 UTC

[GitHub] [tvm] wrongtest-intellif opened a new pull request, #12527: [TIR][CompactBufferAllocation] Improve upperbound estimation of buffer compaction

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: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

[GitHub] [tvm] Hzfengsy merged pull request #12527: [TIR][CompactBufferAllocation] Improve upperbound estimation of buffer compaction

Posted by GitBox <gi...@apache.org>.
Hzfengsy merged PR #12527:
URL: https://github.com/apache/tvm/pull/12527


-- 
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: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org