Feature or enhancement

Proposal:

When the tier 2 optimizer can prove that an operand to a int binary operation is uniquely referenced, we can mutate it in place instead of allocating a new object. This avoids a an int allocation and the subsequent deallocation of the consumed operand on every iteration.

The approach is similar to #146307. Also see #90530.

Has this already been discussed elsewhere?

No response given

Links to previous discussion of this feature:

No response

Linked PRs

• gh-146640: Optimize int operations by mutating uniquely-referenced operands in place (JIT only) #146641