On Wed, 8 Jul 2026 02:18:03 GMT, Kuai Wei <[email protected]> wrote: > the changes to current JDK call sites are merely simplifications that take > advantage of the stronger guarantee.
How do you get stronger guarantees? Is it based solely on implementation-specific observations that the intrinsics always perform full scan over the arrays? If `ArraysSupport.vectorizedMismatch()` is allowed to perform partial comparison by the spec (and report non-zero count of remaining elements), then I don't see how you can drop the check at call sites. ------------- PR Comment: https://git.openjdk.org/jdk/pull/31802#issuecomment-4910900147
