-
-
Notifications
You must be signed in to change notification settings - Fork 31.8k
gh-131798: JIT: Narrow the return type of _CALL_LEN to int #132940
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
Reduce unnecessary guards whenever `len()` is called and used in arithmetic operations.
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.
Thanks!
Windows JIT builds might've been broken by #132852. That PR did not trigger JIT CI. |
a = [1, 2, 3, 4] | ||
for _ in range(n): | ||
_ = len(a) - 1 | ||
|
||
_, ex = self._run_with_optimizer(testfunc, TIER2_THRESHOLD) |
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.
I don't know if it's needed in this case, but for other tests there's normally a 'control' variable that checks that the result is still correct even with the optimization. Something like this:
a = [1, 2, 3, 4] | |
for _ in range(n): | |
_ = len(a) - 1 | |
_, ex = self._run_with_optimizer(testfunc, TIER2_THRESHOLD) | |
x = 0 | |
a = [1, 2, 3, 4] | |
for _ in range(n): | |
_ = len(a) - 1 | |
if _ == 3: | |
x += 1 | |
_, ex = self._run_with_optimizer(testfunc, TIER2_THRESHOLD) | |
self.assertEqual(res, TIER2_THRESHOLD) |
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.
Good point, I'll do it.
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.
OK the problem is if I add this, _GUARD_TOS_INT and _GUARD_NOS_INT are appearing in the uops list.
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.
Yeah we can't do it. x
is from outside the loop (trace), so the first x += 1
has to have a guard somewhere.
Misc/NEWS.d/next/Core_and_Builtins/2025-04-25-14-56-45.gh-issue-131798.NpcKub.rst
Outdated
Show resolved
Hide resolved
…e-131798.NpcKub.rst Co-authored-by: Max Bernstein <tekknolagi@gmail.com>
Reduce unnecessary guards whenever
len()
is called and used in arithmetic operations.