[Bug tree-optimization/126455] [16/17 Regression] Wrong folding of (a < b) ^ (a > b) to a != b for vector (FP) since r16-2134

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126455

--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Andrea Pinski <[email protected]>:

https://gcc.gnu.org/g:b13db033a4ee22e920756be0e182c001a1e99dce

commit r17-2804-gb13db033a4ee22e920756be0e182c001a1e99dce
Author: Andrea Pinski <[email protected]>
Date:   Wed Jul 29 16:44:17 2026 -0700

    match: Fix some incorrect vector fp comparison combines [PR 126455]

    This fixes r16-2134-gf33cc3af8fd9c4 which extended some patterns to
    support vector types but these patterns are only valid for integral
    types and the check that was used was VECTOR_TYPE.
    This fixes it by using VECTOR_INTEGRAL_TYPE || VECTOR_BOOLCEAN_TYPE
    which prevent the, for vector floating point types.

    Pushed as obvious after bootstrap/test on x86_64-linux-gnu.

            PR tree-optimization/126455

    gcc/ChangeLog:

            * match.pd: Fix up patterns dealing with bitwise AND/OR/XOR
            and comparisons for floating point types.

    Signed-off-by: Andrea Pinski <[email protected]>