Optimize int operations by mutating uniquely-referenced operands in place (JIT only) #146640
Description
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