Unnecessary sign-extension with bitwise AND

[xtqqczze]

static nint M1(int value) {
    return value & 1;
}
static nint M2(int value) {
    return (nint)((uint)value & 1);
}

// coreclr trunk-20250921+80fb00f580f5b2353ff3a8aa78c5b5fd3f275a34

C:M1(int):nint (FullOpts):
       and      edi, 1
       movsxd   rax, edi
       ret      

C:M2(int):nint (FullOpts):
       and      edi, 1
       mov      eax, edi
       ret      

godbolt.org

[dotnet-policy-service]

Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch
See info in area-owners.md if you want to be subscribed.

[tannergooding]

this looks like the same as another recent issue logged, which is likely just that x & cns doesn't create an appropriate range assertion such that we can track it as never negative or being within a finite bounds.

CC. @EgorBo

[JulieLeeMSFT]

cc @dotnet/jit-contrib.

[adamperlin]

I can investigate this one!