Constant propagation for _BINARY_OP

[Fidget-Spinner]

Feature or enhancement

Proposal:

Parent issue #115506

Has this already been discussed elsewhere?

No response given

Links to previous discussion of this feature:

No response

Linked PRs

• gh-115758: Optimizer constant propagation for 64-bit ints and doubles #117396

[gvanrossum]

FWIW, until we've implemented a mechanism that allows executors to own references to objects, we cannot replace e.g. LOAD_CONST 1000; LOAD_CONST 1000; BINARY_OP_ADD_INTwithNOP; NOP; LOAD_CONST_INLINE 1000000, because there's nothing to keep the inlined constants alive.

[Fidget-Spinner]

See faster-cpython/ideas#670 for design discussion.