From: Kyrylo Tkachov Date: Tue, 5 Jun 2018 09:50:16 +0000 (+0000) Subject: [arm] PR target/81497: Fix arm_acle.h for C++ X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=12b2b9103a52b909f5df5ce20e3761f3f1d27211;p=gcc.git [arm] PR target/81497: Fix arm_acle.h for C++ When trying to compile something with arm_acle.h using G++ we get a number of nasty errors: arm_acle.h:48:49: error: invalid conversion from ‘const void*’ to ‘const int*’ [-fpermissive] return __builtin_arm_ldc (__coproc, __CRd, __p); This is because the intrinsics that are supposed to be void return the "result" of their builtin, which is void. C lets that slide but C++ complains. After fixing that we run into further errors: arm_acle.h:48:46: error: invalid conversion from 'const void*' to 'const int*' [-fpermissive] return __builtin_arm_ldc (__coproc, __CRd, __p); ^~~ Because the pointer arguments in these intrinsics are void pointers but the builtin expects int pointers. So this patch introduces new qualifiers for void pointers and their const-qualified versions and uses that in the specification of these intrinsics. This gives us the opportunity of creating an arm subdirectory in g++.dg and inaugurates it with the first arm-specific C++ tests (in that directory). PR target/81497 * config/arm/arm-builtins.c (arm_type_qualifiers): Add qualifier_void_pointer and qualifier_const_void_pointer. (arm_ldc_qualifiers, arm_stc_qualifiers): Use the above. (arm_init_builtins): Handle the above. * config/arm/arm_acle.h (__arm_cdp, __arm_ldc, __arm_ldcl, __arm_stc, __arm_stcl, __arm_mcr, __arm_cdp2, __arm_ldc2, __arm_ldcl2, __arm_stc2, __arm_stcl2,__arm_mcr2, __arm_mcrr, __arm_mcrr2): Remove return for void intrinsics. * g++.target/arm/arm.exp: New file. * g++.target/arm/pr81497.C: Likewise. From-SVN: r261191 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6e968d696a6..1681b231e9b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,15 @@ +2018-06-05 Kyrylo Tkachov + + PR target/81497 + * config/arm/arm-builtins.c (arm_type_qualifiers): Add + qualifier_void_pointer and qualifier_const_void_pointer. + (arm_ldc_qualifiers, arm_stc_qualifiers): Use the above. + (arm_init_builtins): Handle the above. + * config/arm/arm_acle.h (__arm_cdp, __arm_ldc, __arm_ldcl, __arm_stc, + __arm_stcl, __arm_mcr, __arm_cdp2, __arm_ldc2, __arm_ldcl2, __arm_stc2, + __arm_stcl2,__arm_mcr2, __arm_mcrr, __arm_mcrr2): Remove return for + void intrinsics. + 2018-06-05 Martin Liska * auto-profile.c (read_autofdo_file): Do not use diff --git a/gcc/config/arm/arm-builtins.c b/gcc/config/arm/arm-builtins.c index 7fde7a04672..183a7b907f6 100644 --- a/gcc/config/arm/arm-builtins.c +++ b/gcc/config/arm/arm-builtins.c @@ -78,7 +78,11 @@ enum arm_type_qualifiers /* Lane indices - must be within range of previous argument = a vector. */ qualifier_lane_index = 0x200, /* Lane indices for single lane structure loads and stores. */ - qualifier_struct_load_store_lane_index = 0x400 + qualifier_struct_load_store_lane_index = 0x400, + /* A void pointer. */ + qualifier_void_pointer = 0x800, + /* A const void pointer. */ + qualifier_const_void_pointer = 0x802 }; /* The qualifier_internal allows generation of a unary builtin from @@ -202,7 +206,7 @@ arm_cdp_qualifiers[SIMD_MAX_BUILTIN_ARGS] static enum arm_type_qualifiers arm_ldc_qualifiers[SIMD_MAX_BUILTIN_ARGS] = { qualifier_void, qualifier_unsigned_immediate, - qualifier_unsigned_immediate, qualifier_const_pointer }; + qualifier_unsigned_immediate, qualifier_const_void_pointer }; #define LDC_QUALIFIERS \ (arm_ldc_qualifiers) @@ -210,7 +214,7 @@ arm_ldc_qualifiers[SIMD_MAX_BUILTIN_ARGS] static enum arm_type_qualifiers arm_stc_qualifiers[SIMD_MAX_BUILTIN_ARGS] = { qualifier_void, qualifier_unsigned_immediate, - qualifier_unsigned_immediate, qualifier_pointer }; + qualifier_unsigned_immediate, qualifier_void_pointer }; #define STC_QUALIFIERS \ (arm_stc_qualifiers) @@ -1095,19 +1099,25 @@ arm_init_builtin (unsigned int fcode, arm_builtin_datum *d, if (qualifiers & qualifier_pointer && VECTOR_MODE_P (op_mode)) op_mode = GET_MODE_INNER (op_mode); - eltype = arm_simd_builtin_type - (op_mode, - (qualifiers & qualifier_unsigned) != 0, - (qualifiers & qualifier_poly) != 0); - gcc_assert (eltype != NULL); - - /* Add qualifiers. */ - if (qualifiers & qualifier_const) - eltype = build_qualified_type (eltype, TYPE_QUAL_CONST); - - if (qualifiers & qualifier_pointer) - eltype = build_pointer_type (eltype); - + /* For void pointers we already have nodes constructed by the midend. */ + if (qualifiers & qualifier_void_pointer) + eltype = qualifiers & qualifier_const + ? const_ptr_type_node : ptr_type_node; + else + { + eltype + = arm_simd_builtin_type (op_mode, + (qualifiers & qualifier_unsigned) != 0, + (qualifiers & qualifier_poly) != 0); + gcc_assert (eltype != NULL); + + /* Add qualifiers. */ + if (qualifiers & qualifier_const) + eltype = build_qualified_type (eltype, TYPE_QUAL_CONST); + + if (qualifiers & qualifier_pointer) + eltype = build_pointer_type (eltype); + } /* If we have reached arg_num == 0, we are at a non-void return type. Otherwise, we are still processing arguments. */ diff --git a/gcc/config/arm/arm_acle.h b/gcc/config/arm/arm_acle.h index 9a2f0ba30dc..c0f6ea2d156 100644 --- a/gcc/config/arm/arm_acle.h +++ b/gcc/config/arm/arm_acle.h @@ -38,35 +38,35 @@ __arm_cdp (const unsigned int __coproc, const unsigned int __opc1, const unsigned int __CRd, const unsigned int __CRn, const unsigned int __CRm, const unsigned int __opc2) { - return __builtin_arm_cdp (__coproc, __opc1, __CRd, __CRn, __CRm, __opc2); + __builtin_arm_cdp (__coproc, __opc1, __CRd, __CRn, __CRm, __opc2); } __extension__ static __inline void __attribute__ ((__always_inline__)) __arm_ldc (const unsigned int __coproc, const unsigned int __CRd, const void * __p) { - return __builtin_arm_ldc (__coproc, __CRd, __p); + __builtin_arm_ldc (__coproc, __CRd, __p); } __extension__ static __inline void __attribute__ ((__always_inline__)) __arm_ldcl (const unsigned int __coproc, const unsigned int __CRd, const void * __p) { - return __builtin_arm_ldcl (__coproc, __CRd, __p); + __builtin_arm_ldcl (__coproc, __CRd, __p); } __extension__ static __inline void __attribute__ ((__always_inline__)) __arm_stc (const unsigned int __coproc, const unsigned int __CRd, void * __p) { - return __builtin_arm_stc (__coproc, __CRd, __p); + __builtin_arm_stc (__coproc, __CRd, __p); } __extension__ static __inline void __attribute__ ((__always_inline__)) __arm_stcl (const unsigned int __coproc, const unsigned int __CRd, void * __p) { - return __builtin_arm_stcl (__coproc, __CRd, __p); + __builtin_arm_stcl (__coproc, __CRd, __p); } __extension__ static __inline void __attribute__ ((__always_inline__)) @@ -74,7 +74,7 @@ __arm_mcr (const unsigned int __coproc, const unsigned int __opc1, uint32_t __value, const unsigned int __CRn, const unsigned int __CRm, const unsigned int __opc2) { - return __builtin_arm_mcr (__coproc, __opc1, __value, __CRn, __CRm, __opc2); + __builtin_arm_mcr (__coproc, __opc1, __value, __CRn, __CRm, __opc2); } __extension__ static __inline uint32_t __attribute__ ((__always_inline__)) @@ -90,35 +90,35 @@ __arm_cdp2 (const unsigned int __coproc, const unsigned int __opc1, const unsigned int __CRd, const unsigned int __CRn, const unsigned int __CRm, const unsigned int __opc2) { - return __builtin_arm_cdp2 (__coproc, __opc1, __CRd, __CRn, __CRm, __opc2); + __builtin_arm_cdp2 (__coproc, __opc1, __CRd, __CRn, __CRm, __opc2); } __extension__ static __inline void __attribute__ ((__always_inline__)) __arm_ldc2 (const unsigned int __coproc, const unsigned int __CRd, const void * __p) { - return __builtin_arm_ldc2 (__coproc, __CRd, __p); + __builtin_arm_ldc2 (__coproc, __CRd, __p); } __extension__ static __inline void __attribute__ ((__always_inline__)) __arm_ldc2l (const unsigned int __coproc, const unsigned int __CRd, const void * __p) { - return __builtin_arm_ldc2l (__coproc, __CRd, __p); + __builtin_arm_ldc2l (__coproc, __CRd, __p); } __extension__ static __inline void __attribute__ ((__always_inline__)) __arm_stc2 (const unsigned int __coproc, const unsigned int __CRd, void * __p) { - return __builtin_arm_stc2 (__coproc, __CRd, __p); + __builtin_arm_stc2 (__coproc, __CRd, __p); } __extension__ static __inline void __attribute__ ((__always_inline__)) __arm_stc2l (const unsigned int __coproc, const unsigned int __CRd, void * __p) { - return __builtin_arm_stc2l (__coproc, __CRd, __p); + __builtin_arm_stc2l (__coproc, __CRd, __p); } __extension__ static __inline void __attribute__ ((__always_inline__)) @@ -126,7 +126,7 @@ __arm_mcr2 (const unsigned int __coproc, const unsigned int __opc1, uint32_t __value, const unsigned int __CRn, const unsigned int __CRm, const unsigned int __opc2) { - return __builtin_arm_mcr2 (__coproc, __opc1, __value, __CRn, __CRm, __opc2); + __builtin_arm_mcr2 (__coproc, __opc1, __value, __CRn, __CRm, __opc2); } __extension__ static __inline uint32_t __attribute__ ((__always_inline__)) @@ -143,7 +143,7 @@ __extension__ static __inline void __attribute__ ((__always_inline__)) __arm_mcrr (const unsigned int __coproc, const unsigned int __opc1, uint64_t __value, const unsigned int __CRm) { - return __builtin_arm_mcrr (__coproc, __opc1, __value, __CRm); + __builtin_arm_mcrr (__coproc, __opc1, __value, __CRm); } __extension__ static __inline uint64_t __attribute__ ((__always_inline__)) @@ -159,7 +159,7 @@ __extension__ static __inline void __attribute__ ((__always_inline__)) __arm_mcrr2 (const unsigned int __coproc, const unsigned int __opc1, uint64_t __value, const unsigned int __CRm) { - return __builtin_arm_mcrr2 (__coproc, __opc1, __value, __CRm); + __builtin_arm_mcrr2 (__coproc, __opc1, __value, __CRm); } __extension__ static __inline uint64_t __attribute__ ((__always_inline__)) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1fdae087b11..52282f6c8a9 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2018-06-05 Kyrylo Tkachov + + PR target/81497 + * g++.target/arm/arm.exp: New file. + * g++.target/arm/pr81497.C: Likewise. + 2018-06-05 Andreas Krebbel * gcc.target/s390/htm-builtins-compile-4.c: New test. diff --git a/gcc/testsuite/g++.target/arm/arm.exp b/gcc/testsuite/g++.target/arm/arm.exp new file mode 100644 index 00000000000..1a169d2f220 --- /dev/null +++ b/gcc/testsuite/g++.target/arm/arm.exp @@ -0,0 +1,50 @@ +# Specific regression driver for arm. +# Copyright (C) 2009-2018 Free Software Foundation, Inc. +# +# This file is part of GCC. +# +# GCC is free software; you can redistribute it and/or modify it +# under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 3, or (at your option) +# any later version. +# +# GCC is distributed in the hope that it will be useful, but +# WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +# General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with GCC; see the file COPYING3. If not see +# . */ + +# GCC testsuite that uses the `dg.exp' driver. + +# Exit immediately if this isn't an arm target. +if {![istarget arm*-*-*] } then { + return +} + +# Load support procs. +load_lib g++-dg.exp + +global DEFAULT_CXXFLAGS +if ![info exists DEFAULT_CXXFLAGS] then { + set DEFAULT_CXXFLAGS " -pedantic-errors" +} + + +global dg_runtest_extra_prunes +set dg_runtest_extra_prunes "" +lappend dg_runtest_extra_prunes "warning: switch -m(cpu|arch)=.* conflicts with -m(cpu|arch)=.* switch" + +# Initialize `dg'. +dg-init + +# Main loop. +dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/*.C]] \ + "" $DEFAULT_CXXFLAGS + +# All done. +set dg_runtest_extra_prunes "" +dg-finish + diff --git a/gcc/testsuite/g++.target/arm/pr81497.C b/gcc/testsuite/g++.target/arm/pr81497.C new file mode 100644 index 00000000000..0519a3a3045 --- /dev/null +++ b/gcc/testsuite/g++.target/arm/pr81497.C @@ -0,0 +1,9 @@ +/* { dg-do compile } */ +/* { dg-require-effective-target arm_thumb2_ok } */ + +#include + +int main () +{ + return 0; +}