| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
Sorry, something went wrong.
There was a problem hiding this comment.
Thanks for the PR! This changes behavior subtly by not supporting __instancecheck__, among other things. There are other places where we don't fully support some dynamic isinstance check functionality, so I don't think that this makes things significantly worse. Having primitive types for all of the target types would mostly fix the issue, but that's a somewhat more involved change.
Sorry, something went wrong.
Fixes mypyc/mypyc#1227 This is just an idea for how to improve performance, for an issue that was exposed to me because of the issues in PR #22097 . `isinstance(x, (A, B))` is specialized when every class in the tuple is a primitive type (#19949) or every class is a native class (mypyc/mypyc#413). Anything else falls back to the generic path, which builds a new tuple and calls `PyObject_IsInstance` on every call, so the primitive types in the tuple lose their fast checks as well. That covers: - a primitive type mixed with a native class: `isinstance(x, (float, MyNativeClass))` - a primitive type mixed with any other class: `isinstance(x, (float, Decimal))` - nested tuples, even when every class is a primitive type: `isinstance(x, (int, (float, str)))` The chained checks added in #19949 could be generalized: flatten nested tuples, use the fast checks for primitive types and native classes, and check any other class with its own `PyObject_IsInstance` call, so no tuple is built. In a quick microbenchmark this takes `isinstance(x, (float, MyNativeClass))` from about 50 ns to about 5 ns per call. Relatedly, `isinstance(f(), ())` currently returns `False` without calling `f()`.
Fixes mypyc/mypyc#1228 This is a duplicate of #22099. I'm opening this due to Github issues yesterday. This includes patches due to @p-sawicki's review Reading `.real` or `.imag` from a value typed as `int`, `float`, `complex`, or a union of them was compiled to a generic attribute lookup, whose result was then unboxed or type-checked again. Native `int`, `bool` and `float` values were even boxed first, only to read back the same value or zero. I ran into this in the same code as #22097. This specializes these reads when the static type of the receiver is `int`, `float`, `complex` or a union of them, which includes values narrowed by `isinstance()`: - On native `int`, `bool` and `float` values, `x.real` is the value itself (converted to an `int` for a `bool`), and `x.imag` is `0` or `0.0`. - When the result is a `float` (receivers typed `float`, `complex` or `float | complex`), new `CPyComplex_Real` and `CPyComplex_Imag` primitives read exact `complex`, `float` and `int` objects directly as a C double. - When the result can be an `int` (receivers such as `int | float | complex`), new `CPyNumber_Real` and `CPyNumber_Imag` primitives return exact `int` and `float` objects themselves, as `int.real` and `float.real` do, and read exact `complex` objects directly. Anything else (a subclass that overrides `real` or `imag`, a `bool` in a union, or an object of the wrong type at runtime) uses the same lookup as before, followed by the same unboxing or type check, so results and error messages don't change. The run tests cover NaN, infinities, `-0.0`, a value equal to mypyc's float error value (`-113.0`), small and large ints, bools, subclasses that override the properties, and the error cases. Microbenchmark results (Python 3.12, ns per value): - `z.real + z.imag` with `z: complex`: 59.3 -> 6.0 - the same with ints passed as `z: complex`: 55.8 -> 7.1 - `x.real + x.imag` with `x: float`: 49.9 -> 6.0 - `x.real + x.imag` with `x: int`: 41.8 -> 9.9 - `x.real` and `x.imag` with `x: int | float | complex`: 29.6 -> 8.1 with ints, 36.9 -> 13.0 with floats, 46.3 -> 18.8 with complex values (35.0 -> 25.7 when the three alternate) - `if isinstance(x, (float, complex)): real, imag = x.real, x.imag` with `x: Any`: 93.9 -> 52.7, or 6.6 together with #22097
| Back | FazBrowse Home | New Git URL |
isinstance(x, complex) wasn't specialized, so every call looked up builtins.complex by name and went through PyObject_IsInstance. Because the tuple fast path from #19949 only applies when every member is a primitive type, isinstance(x, (float, complex)) was worse still: it built a new tuple on every call, and float lost its fast path too. This is an issue I have run into in my personal projects.
This adds isinstance primitives for complex, type, range, slice and memoryview (PyComplex_Check, PyType_Check, etc.), plus direct type object loads for complex, slice and memoryview so things like type(x) is complex don't go through builtins either. Tuples such as (float, complex) and (bytes, bytearray, memoryview) now use the existing chained checks.
Also fixes a typo in the name of the isinstance(obj, int) primitive (builtints.isinstance).
Benchmarks in ns, Python 3.12:
| | master | this PR |
| isinstance(x, complex) | 43.0 | 5.9 |
| isinstance(x, (float, complex)) | 106.0 | 7.1 |
| isinstance(x, (bytes, bytearray, memoryview)) | 101.8 | 5.4 |
| type(x) is complex | 22.2 | 4.3 |