On Sat, 4 Jul 2026 07:55:25 GMT, Daisuke Yamazaki <[email protected]> wrote:

>> When `left == right` is known at code generation time, the operands are 
>> necessarily the same oop, so we can jump directly to `L_oops_equal`. 
>> This patch changes both x86 and aarch65 to do that.
>> 
>> I also considered emitting `equal_result` and returning early in that case.
>> I decided not to do that because `LIR_OpSubstitutabilityCheck::emit_code()` 
>> still appends the slow-path stub after `emit_opSubstitutabilityCheck()` 
>> returns.
>> An early return here would skip binding `op->stub()->continuation()`, 
>> leaving the appended stub with an unbound continuation label. 
>> 
>> ---------
>> - [x] I confirm that I make this contribution in accordance with the 
>> [OpenJDK Interim AI Policy](https://openjdk.org/legal/ai).
>
> Daisuke Yamazaki has updated the pull request incrementally with one 
> additional commit since the last revision:
> 
>   Fix emitting the unreachable klass check for identical operands

Why not

  if (left == right) {
    move(op->equal_result(), op->result_opr());
    return;
  }

?

-------------

PR Comment: https://git.openjdk.org/valhalla/pull/2628#issuecomment-4891102193

Reply via email to