-
Notifications
You must be signed in to change notification settings - Fork 25.6k
Check for index-rank consistency in FunctionInliner #44561
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
771379b
to
bd3e465
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@nickgg has been actively working on this recently, so I'd be more comfortable if he could review this
Looks fine, but this code is removed in #44231. Can you add a test to make sure that PR doesn't regress on this issue? |
Summary: When caller / callee pairs are inserted into the mapping, verify that the arity of the buffer access is consistent with its declared rank. Test Plan: CI, test_tensorexpr --gtest_filter=TensorExprTest.DetectInlineRankMismatch
bd3e465
to
1aba169
Compare
@nickgg Added a test for the error path. |
Codecov Report
@@ Coverage Diff @@
## master #44561 +/- ##
=======================================
Coverage 67.97% 67.97%
=======================================
Files 384 384
Lines 49589 49589
=======================================
Hits 33710 33710
Misses 15879 15879 Continue to review full report at Codecov.
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@asuhan has imported this pull request. If you are a Facebook employee, you can view this diff on Phabricator.
Summary: When caller / callee pairs are inserted into the mapping, verify that the arity of the buffer access is consistent with its declared rank. Pull Request resolved: #44561 Test Plan: CI, test_tensorexpr --gtest_filter=TensorExprTest.DetectInlineRankMismatch Reviewed By: albanD Differential Revision: D23684342 Pulled By: asuhan fbshipit-source-id: dd3a0cdd4c2492853fa68381468e0ec037136cab
Summary: When caller / callee pairs are inserted into the mapping, verify that
the arity of the buffer access is consistent with its declared rank.
Test Plan: CI, test_tensorexpr --gtest_filter=TensorExprTest.DetectInlineRankMismatch