[Bug tree-optimization/92710] [9 Regression] Vectoriser generates invalid simd call for bool arguments

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-9 branch has been updated by Richard Sandiford
<rsandifo@gcc.gnu.org>:

https://gcc.gnu.org/g:84a465171761faeceb87037a606f7834dab18942

commit r9-8249-g84a465171761faeceb87037a606f7834dab18942
Author: Richard Sandiford <richard.sandiford@arm.com>
Date:   Fri Nov 29 13:04:56 2019 +0000

    Don't pass booleans as mask types to simd clones [PR92710]

    In this PR we assigned a vector mask type to the result of a comparison
    and then tried to pass that mask type to a simd clone, which expected
    a normal (non-mask) type instead.

    This patch simply punts on call arguments that have a mask type.
    A better fix would be to pattern-match the comparison to a COND_EXPR,
    like we would if the comparison was stored to memory, but doing that
    isn't gcc 9 or 10 material.

    Note that this doesn't affect x86_64-linux-gnu because the ABI promotes
    bool arguments to ints.

    2020-02-18  Richard Sandiford  <richard.sandiford@arm.com>

    gcc/
        Backport from mainline
        2019-11-29  Richard Sandiford  <richard.sandiford@arm.com>

        PR tree-optimization/92710
        * tree-vect-stmts.c (vectorizable_simd_clone_call): Reject
        vector mask arguments.

    gcc/testsuite/
        PR tree-optimization/92710
        * gcc.dg/vect/pr92710.c: New test.