[GitHub] [tvm] Hzfengsy opened a new pull request #9776: [ARITH] fix int set analysis on negative scale

[GitBox <gi...@apache.org>]

Hzfengsy opened a new pull request #9776:
URL: https://github.com/apache/tvm/pull/9776


   `EstimateRegionLowerBound` did not consider the case that scales are negative. 
   
   For example, the range `[1 - i, 5 - i)`, where `i in [0, 4)`. So the estimated region lower bound should be `[-2, 5)`.
   By mistake, we analyze it into `[1, 1]` previously.
   
   cc @junrushao1994 @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: commits-unsubscribe@tvm.apache.org

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

[GitHub] [tvm] junrushao1994 commented on pull request #9776: [ARITH] fix int set analysis on negative scale

[GitBox <gi...@apache.org>]

junrushao1994 commented on pull request #9776:
URL: https://github.com/apache/tvm/pull/9776#issuecomment-998149330


   Thanks for the fix!


-- 
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] junrushao1994 merged pull request #9776: [ARITH] fix int set analysis on negative scale

[GitBox <gi...@apache.org>]

junrushao1994 merged pull request #9776:
URL: https://github.com/apache/tvm/pull/9776


   


-- 
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