[Bug target/80482] [7/8 Regression] vec_mul produces compilation error if 1 of its parms is const or volatile

[seurer at gcc dot gnu.org]

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

--- Comment #6 from seurer at gcc dot gnu.org ---
Author: seurer
Date: Tue Apr 25 16:16:13 2017
New Revision: 247256

URL: https://gcc.gnu.org/viewcvs?rev=247256&root=gcc&view=rev
Log:
[PATCH, rs6000] pr80482 Relax vector builtin parameter checks

PR target/80482
Backport from mainline

This patch changes the parameter testing for powerpc vector builtins to relax
the existing requirement that the parameters be identical to instead that they
be compatible.  This allows for mixing parameters with differing qualified
(const, volatile, etc.) types.

See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80482 for more information.

Bootstrapped and tested on powerpc64le-unknown-linux-gnu and
powerpc64be-unknown-linux-gnu with no regressions.  Is this ok for trunk?

[gcc]

2017-04-25  Bill Seurer  <seurer@linux.vnet.ibm.com>

        Backport from mainline
        PR target/80482
        * config/rs6000/rs6000-c.c (altivec_resolve_overloaded_builtin): Change
        type checks to test for compatibility instead of equality.

[gcc/testsuite]

2017-04-25  Bill Seurer  <seurer@linux.vnet.ibm.com>

        Backport from mainline
        PR target/80482
        * gcc.target/powerpc/vec-constvolatile.c: New test.

Added:
    branches/gcc-7-branch/gcc/testsuite/gcc.target/powerpc/vec-constvolatile.c
Modified:
    branches/gcc-7-branch/gcc/ChangeLog
    branches/gcc-7-branch/gcc/config/rs6000/rs6000-c.c
    branches/gcc-7-branch/gcc/testsuite/ChangeLog