Move type checks from switch cases to beginning of `_Py_Specialize_BinaryOp`

Feature or enhancement

Proposal:

_Py_Specialize_BinaryOp: https://github.com/python/cpython/blob/aeb9b65aa26444529e4adc7d6e5b0d3dd9889ec2/Python/specialize.c#L2380-L2443
uses

if (!Py_IS_TYPE(lhs, Py_TYPE(rhs))) { 
    break; 
} 

check inside every switch case which is redundant. Placing this check before switch results in same performance but less generated code. Compiler with -O3 option seems to not recognize it. Attaching generated machine code (clang, apple silicon) for old and new versions
new.txt
old.txt

Feel free to close this if not worth it.

Has this already been discussed elsewhere?

No response given

Links to previous discussion of this feature:

No response

Linked PRs

• gh-128311

Trước tiên, hãy kiểm tra gh-128311, vì issue liên kết đến công việc đang được thực hiện. Sau đó đọc Python/specialize.c tại _Py_Specialize_BinaryOp và so sánh đầu ra của compiler trong old.txt và new.txt được đính kèm; hoàn thành có nghĩa là các kiểm tra dư thừa được xử lý nhất quán và mã được tạo ra cho kết quả như dự định.