wrongtest-intellif opened a new pull request, #17584:
URL: https://github.com/apache/tvm/pull/17584
The change wants to merge set of finegrained control approvement on loop
partition pass.
1) Add an annotation intrinsic `T.ignore_loop_partition`, which mark the
wrapped predicate not to take part in the loop partition phase. Since in
sometimes loop partition would enlarge the generated code size and we want to
preserve some predicates intentionally.
2) Add patch for EQ predicate partition. Try solve `a <= b && b <= a`
instead if solve `a==b` directly failed.
3) Fix `TryPartition`'s return statement. Since the caller handle the return
value by
- If undef, try recursive solving.
- If defined, treat as a successfully partioned result stmt.
--
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]
