zxybazh opened a new issue, #12298:
URL: https://github.com/apache/tvm/issues/12298

   Hi, I noticed a split error when schedule verification is enabled with 
`debug_mask="all"`, where I think the split is actually valid.
   Script to reproduce the issue is here: 
https://gist.github.com/zxybazh/0759810aa841508c68abbdf7a00c4ab2
   
   The error says:
   ```
   - Wrong region_cover:  (output, expected=0, actual=1)
   - Wrong stage_pipeline:  (root, expected=0, actual=1)
   ```
   
   With the help from @spectrometerHBH I noticed this might be related to the 
region analysis part here: 
https://github.com/apache/tvm/blob/fefc27f26143e58120124aff30b8d2d4bf9a2e77/src/tir/schedule/state.cc#L105
   
   May I ask if there's any specifical reason that we use `canonical_simplify` 
here instead of `Simplify`?
   
   CC: @wrongtest-intellif @junrushao1994 


-- 
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-unsubscr...@tvm.apache.org.apache.org

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

Reply via email to