Replace conservative overflow check with int limit

[kant2002]

Third item from #116191

[jkotas]

Instead of the ceremony with FAST_OBJECT_ARRAY_ALLOCATION_THRESHOLD and delegating the call conservatively, it would be easier to just do the right thing here:

        // we want to limit the element count to the non-negative 32-bit int range
        cmp         rsi, 0x07fffffff
        ja          LOCAL_LABEL(ArraySizeOverflow)

[am11]

We can bring others to the same plan.

[dotnet-policy-service]

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

[jkotas]

This can be on the 0x07FFFFFFF plan

[kant2002]

I did try that, but it does not have LOCAL_LABEL machinery, and for some reasons label was not found. After writing this I probably should look for typo somewhere.

[jkotas]

This needs to be on the conservative 0x40000000 plan, like any other 32-bit platform.

This check needs to ensure that add r2, r2, r1, lsl #2 below won't overflow silently.

[am11]

Nit: PR title could now be Replace conservative overflow check with int limit.

[jkotas]

Failing tests:

Assert failure(PID 552 [0x00000228], Thread: 4156 [0x103c]): m_alignpad == 0

[jkotas]

"Delegate overflow handling to the generic helper conservatively" should be deleted here and on other 64-bit platforms.