From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1005) id E71DA3858D35; Thu, 5 Jan 2023 02:39:07 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E71DA3858D35 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1672886347; bh=FHre7m9Dukf2PEtF/ult8vHyLUT3EbWCBxnSxB3ya5U=; h=From:To:Subject:Date:From; b=AshXjmLcfERrXMovH+bjthwvbfF/PqK8w+6tvevU3jdkrmgwx0Tk/4PaSgHcvsnLZ kfD/F+L6PKxMD31ZWpOUFNuRGw6QQl4Hsi7ggGsWk0CFxTVm+XHfgwmvZMIP1kQqkl l3QpvuUTuBTxEs2LTTvC3ylJH3viYQ711o4YsHEg= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Michael Meissner To: gcc-cvs@gcc.gnu.org Subject: [gcc(refs/users/meissner/heads/work104)] Reset patches X-Act-Checkin: gcc X-Git-Author: Michael Meissner X-Git-Refname: refs/users/meissner/heads/work104 X-Git-Oldrev: cba4266a532a2173533e72e02594f37b162955d2 X-Git-Newrev: 106c79872f7e9eca8a217f8c2bae8a65cf1e07fa Message-Id: <20230105023907.E71DA3858D35@sourceware.org> Date: Thu, 5 Jan 2023 02:39:07 +0000 (GMT) List-Id: https://gcc.gnu.org/g:106c79872f7e9eca8a217f8c2bae8a65cf1e07fa commit 106c79872f7e9eca8a217f8c2bae8a65cf1e07fa Author: Michael Meissner Date: Wed Jan 4 21:39:03 2023 -0500 Reset patches Diff: --- gcc/config/rs6000/rs6000.cc | 109 ++++++++++++---------------- gcc/testsuite/gcc.target/powerpc/divic3-1.c | 18 ----- gcc/testsuite/gcc.target/powerpc/divic3-2.c | 17 ----- gcc/testsuite/gcc.target/powerpc/mulic3-1.c | 18 ----- gcc/testsuite/gcc.target/powerpc/mulic3-2.c | 17 ----- 5 files changed, 47 insertions(+), 132 deletions(-) diff --git a/gcc/config/rs6000/rs6000.cc b/gcc/config/rs6000/rs6000.cc index 585faedc4e6..69fbd2e8779 100644 --- a/gcc/config/rs6000/rs6000.cc +++ b/gcc/config/rs6000/rs6000.cc @@ -11145,6 +11145,26 @@ init_float128_ibm (machine_mode mode) } } +/* Create a decl for either complex long double multiply or complex long double + divide when long double is IEEE 128-bit floating point. We can't use + __multc3 and __divtc3 because the original long double using IBM extended + double used those names. The complex multiply/divide functions are encoded + as builtin functions with a complex result and 4 scalar inputs. */ + +static void +create_complex_muldiv (const char *name, built_in_function fncode, tree fntype) +{ + tree fndecl = add_builtin_function (name, fntype, fncode, BUILT_IN_NORMAL, + name, NULL_TREE); + + set_builtin_decl (fncode, fndecl, true); + + if (TARGET_DEBUG_BUILTIN) + fprintf (stderr, "create complex %s, fncode: %d\n", name, (int) fncode); + + return; +} + /* Set up IEEE 128-bit floating point routines. Use different names if the arguments can be passed in a vector register. The historical PowerPC implementation of IEEE 128-bit floating point used _q_ for the names, so @@ -11156,6 +11176,32 @@ init_float128_ieee (machine_mode mode) { if (FLOAT128_VECTOR_P (mode)) { + static bool complex_muldiv_init_p = false; + + /* Set up to call __mulkc3 and __divkc3 under -mabi=ieeelongdouble. If + we have clone or target attributes, this will be called a second + time. We want to create the built-in function only once. */ + if (mode == TFmode && TARGET_IEEEQUAD && !complex_muldiv_init_p) + { + complex_muldiv_init_p = true; + built_in_function fncode_mul = + (built_in_function) (BUILT_IN_COMPLEX_MUL_MIN + TCmode + - MIN_MODE_COMPLEX_FLOAT); + built_in_function fncode_div = + (built_in_function) (BUILT_IN_COMPLEX_DIV_MIN + TCmode + - MIN_MODE_COMPLEX_FLOAT); + + tree fntype = build_function_type_list (complex_long_double_type_node, + long_double_type_node, + long_double_type_node, + long_double_type_node, + long_double_type_node, + NULL_TREE); + + create_complex_muldiv ("__mulkc3", fncode_mul, fntype); + create_complex_muldiv ("__divkc3", fncode_div, fntype); + } + set_optab_libfunc (add_optab, mode, "__addkf3"); set_optab_libfunc (sub_optab, mode, "__subkf3"); set_optab_libfunc (neg_optab, mode, "__negkf2"); @@ -28173,25 +28219,6 @@ rs6000_starting_frame_offset (void) return RS6000_STARTING_FRAME_OFFSET; } -/* Internal function to return the built-in function id for the complex - multiply operation for a given mode. */ - -static inline built_in_function -complex_multiply_builtin_code (machine_mode mode) -{ - return (built_in_function) (BUILT_IN_COMPLEX_MUL_MIN + mode - - MIN_MODE_COMPLEX_FLOAT); -} - -/* Internal function to return the built-in function id for the complex divide - operation for a given mode. */ - -static inline built_in_function -complex_divide_builtin_code (machine_mode mode) -{ - return (built_in_function) (BUILT_IN_COMPLEX_DIV_MIN + mode - - MIN_MODE_COMPLEX_FLOAT); -} /* On 64-bit Linux and Freebsd systems, possibly switch the long double library function names from l to f128 if the default long double type is @@ -28210,53 +28237,11 @@ complex_divide_builtin_code (machine_mode mode) only do this transformation if the __float128 type is enabled. This prevents us from doing the transformation on older 32-bit ports that might have enabled using IEEE 128-bit floating point as the default long double - type. - - We also use the TARGET_MANGLE_DECL_ASSEMBLER_NAME hook to change the - function names used for complex multiply and divide to the appropriate - names. */ + type. */ static tree rs6000_mangle_decl_assembler_name (tree decl, tree id) { - /* Handle complex multiply/divide. For IEEE 128-bit, use __mulkc3 or - __divkc3 and for IBM 128-bit use __multc3 and __divtc3. */ - if (TARGET_FLOAT128_TYPE - && TREE_CODE (decl) == FUNCTION_DECL - && DECL_IS_UNDECLARED_BUILTIN (decl) - && DECL_BUILT_IN_CLASS (decl) == BUILT_IN_NORMAL) - { - built_in_function id = DECL_FUNCTION_CODE (decl); - const char *newname = NULL; - - if (id == complex_multiply_builtin_code (KCmode)) - newname = "__mulkc3"; - - else if (id == complex_multiply_builtin_code (ICmode)) - newname = "__multc3"; - - else if (id == complex_multiply_builtin_code (TCmode)) - newname = (TARGET_IEEEQUAD) ? "__mulkc3" : "__multc3"; - - else if (id == complex_divide_builtin_code (KCmode)) - newname = "__divkc3"; - - else if (id == complex_divide_builtin_code (ICmode)) - newname = "__divtc3"; - - else if (id == complex_divide_builtin_code (TCmode)) - newname = (TARGET_IEEEQUAD) ? "__divkc3" : "__divtc3"; - - if (newname) - { - if (TARGET_DEBUG_BUILTIN) - fprintf (stderr, "Map complex mul/div => %s\n", newname); - - return get_identifier (newname); - } - } - - /* Map long double built-in functions if long double is IEEE 128-bit. */ if (TARGET_FLOAT128_TYPE && TARGET_IEEEQUAD && TARGET_LONG_DOUBLE_128 && TREE_CODE (decl) == FUNCTION_DECL && DECL_IS_UNDECLARED_BUILTIN (decl) diff --git a/gcc/testsuite/gcc.target/powerpc/divic3-1.c b/gcc/testsuite/gcc.target/powerpc/divic3-1.c deleted file mode 100644 index 1cc6b1be904..00000000000 --- a/gcc/testsuite/gcc.target/powerpc/divic3-1.c +++ /dev/null @@ -1,18 +0,0 @@ -/* { dg-do compile { target { powerpc*-*-* } } } */ -/* { dg-require-effective-target powerpc_p8vector_ok } */ -/* { dg-require-effective-target longdouble128 } */ -/* { dg-require-effective-target ppc_float128_sw } */ -/* { dg-options "-O2 -mpower8-vector -mabi=ieeelongdouble -Wno-psabi" } */ - -/* Check that complex divide generates the right call for __ibm128 when long - double is IEEE 128-bit floating point. */ - -typedef _Complex long double c_ibm128_t __attribute__((mode(__IC__))); - -void -divide (c_ibm128_t *p, c_ibm128_t *q, c_ibm128_t *r) -{ - *p = *q / *r; -} - -/* { dg-final { scan-assembler "bl __divtc3" } } */ diff --git a/gcc/testsuite/gcc.target/powerpc/divic3-2.c b/gcc/testsuite/gcc.target/powerpc/divic3-2.c deleted file mode 100644 index 8ff342e0116..00000000000 --- a/gcc/testsuite/gcc.target/powerpc/divic3-2.c +++ /dev/null @@ -1,17 +0,0 @@ -/* { dg-do compile { target { powerpc*-*-* } } } */ -/* { dg-require-effective-target powerpc_p8vector_ok } */ -/* { dg-require-effective-target longdouble128 } */ -/* { dg-options "-O2 -mpower8-vector -mabi=ibmlongdouble -Wno-psabi" } */ - -/* Check that complex divide generates the right call for __ibm128 when long - double is IBM 128-bit floating point. */ - -typedef _Complex long double c_ibm128_t __attribute__((mode(__TC__))); - -void -divide (c_ibm128_t *p, c_ibm128_t *q, c_ibm128_t *r) -{ - *p = *q / *r; -} - -/* { dg-final { scan-assembler "bl __divtc3" } } */ diff --git a/gcc/testsuite/gcc.target/powerpc/mulic3-1.c b/gcc/testsuite/gcc.target/powerpc/mulic3-1.c deleted file mode 100644 index 4cd773c4b06..00000000000 --- a/gcc/testsuite/gcc.target/powerpc/mulic3-1.c +++ /dev/null @@ -1,18 +0,0 @@ -/* { dg-do compile { target { powerpc*-*-* } } } */ -/* { dg-require-effective-target powerpc_p8vector_ok } */ -/* { dg-require-effective-target longdouble128 } */ -/* { dg-require-effective-target ppc_float128_sw } */ -/* { dg-options "-O2 -mpower8-vector -mabi=ieeelongdouble -Wno-psabi" } */ - -/* Check that complex multiply generates the right call for __ibm128 when long - double is IEEE 128-bit floating point. */ - -typedef _Complex long double c_ibm128_t __attribute__((mode(__IC__))); - -void -multiply (c_ibm128_t *p, c_ibm128_t *q, c_ibm128_t *r) -{ - *p = *q * *r; -} - -/* { dg-final { scan-assembler "bl __multc3" } } */ diff --git a/gcc/testsuite/gcc.target/powerpc/mulic3-2.c b/gcc/testsuite/gcc.target/powerpc/mulic3-2.c deleted file mode 100644 index 36fe8bc3061..00000000000 --- a/gcc/testsuite/gcc.target/powerpc/mulic3-2.c +++ /dev/null @@ -1,17 +0,0 @@ -/* { dg-do compile { target { powerpc*-*-* } } } */ -/* { dg-require-effective-target powerpc_p8vector_ok } */ -/* { dg-require-effective-target longdouble128 } */ -/* { dg-options "-O2 -mpower8-vector -mabi=ibmlongdouble -Wno-psabi" } */ - -/* Check that complex multiply generates the right call for __ibm128 when long - double is IBM 128-bit floating point. */ - -typedef _Complex long double c_ibm128_t __attribute__((mode(__TC__))); - -void -multiply (c_ibm128_t *p, c_ibm128_t *q, c_ibm128_t *r) -{ - *p = *q * *r; -} - -/* { dg-final { scan-assembler "bl __multc3" } } */