public inbox for gcc-cvs@sourceware.org help / color / mirror / Atom feed
From: Michael Meissner <meissner@gcc.gnu.org> To: gcc-cvs@gcc.gnu.org Subject: [gcc(refs/users/meissner/heads/dmf005)] Revert patch. Date: Sat, 3 Dec 2022 01:28:24 +0000 (GMT) [thread overview] Message-ID: <20221203012824.485513858C50@sourceware.org> (raw) https://gcc.gnu.org/g:8bd796390083c68ab1bc40fea3a76f5f7103e6fc commit 8bd796390083c68ab1bc40fea3a76f5f7103e6fc Author: Michael Meissner <meissner@linux.ibm.com> Date: Fri Dec 2 20:27:46 2022 -0500 Revert patch. 2022-12-02 Michael Meissner <meissner@linux.ibm.com> gcc/ Revert patch. * config/rs6000/rs6000-builtin.cc (rs6000_invalid_builtin): Add support for flagging invalid use of future built-in functions. (rs6000_builtin_is_supported): Add support for future built-in functions. * config/rs6000/rs6000-builtins.def (__builtin_saturate_subtract32): New built-in function for -mcpu=future. (__builtin_saturate_subtract64): Likewise. * config/rs6000/rs6000-gen-builtins.cc (enum bif_stanza): Add stanzas for -mcpu=future built-ins. (stanza_map): Likewise. (enable_string): Likewise. (struct attrinfo): Likewise. (parse_bif_attrs): Likewise. (write_decls): Likewise. * config/rs6000/rs6000.md (sat_sub<mode>3): Add saturating subtract built-in insn declarations. (sat_sub<mode>3_dot): Likewise. (sat_sub<mode>3_dot2): Likewise. * doc/extend.texi (Future PowerPC built-ins): New section. gcc/testsuite/ Revert patch. * gcc.target/powerpc/subfus-1.c: New test. * gcc.target/powerpc/subfus-2.c: Likewise. * lib/target-supports.exp (check_effective_target_powerpc_future_ok): New effective target. Diff: --- gcc/config/rs6000/rs6000-builtin.cc | 17 --------- gcc/config/rs6000/rs6000-builtins.def | 11 ------ gcc/config/rs6000/rs6000-gen-builtins.cc | 35 +++---------------- gcc/config/rs6000/rs6000.md | 60 -------------------------------- gcc/doc/extend.texi | 24 ------------- gcc/testsuite/lib/target-supports.exp | 16 ++------- 6 files changed, 7 insertions(+), 156 deletions(-) diff --git a/gcc/config/rs6000/rs6000-builtin.cc b/gcc/config/rs6000/rs6000-builtin.cc index 1ac00e4b26c..f4eba184db8 100644 --- a/gcc/config/rs6000/rs6000-builtin.cc +++ b/gcc/config/rs6000/rs6000-builtin.cc @@ -139,17 +139,6 @@ rs6000_invalid_builtin (enum rs6000_gen_builtins fncode) case ENB_MMA: error ("%qs requires the %qs option", name, "-mmma"); break; - case ENB_FUTURE: - error ("%qs requires the %qs option", name, "-mcpu=future"); - break; - case ENB_FUTURE_64: - error ("%qs requires the %qs option and either the %qs or %qs option", - name, "-mcpu=future", "-m64", "-mpowerpc64"); - break; - case ENB_DM: - error ("%qs requires the %qs or %qs options", name, "-mcpu=future", - "-mdense-math"); - break; default: case ENB_ALWAYS: gcc_unreachable (); @@ -205,12 +194,6 @@ rs6000_builtin_is_supported (enum rs6000_gen_builtins fncode) return TARGET_HTM; case ENB_MMA: return TARGET_MMA; - case ENB_FUTURE: - return TARGET_FUTURE; - case ENB_FUTURE_64: - return TARGET_FUTURE && TARGET_POWERPC64; - case ENB_DM: - return TARGET_DENSE_MATH; default: gcc_unreachable (); } diff --git a/gcc/config/rs6000/rs6000-builtins.def b/gcc/config/rs6000/rs6000-builtins.def index ee141c1d99e..f76f54793d7 100644 --- a/gcc/config/rs6000/rs6000-builtins.def +++ b/gcc/config/rs6000/rs6000-builtins.def @@ -139,8 +139,6 @@ ; endian Needs special handling for endianness ; ibmld Restrict usage to the case when TFmode is IBM-128 ; ibm128 Restrict usage to the case where __ibm128 is supported or if ibmld -; future Restrict usage to future instructions -; dm Restrict usage to dense math ; ; Each attribute corresponds to extra processing required when ; the built-in is expanded. All such special processing should @@ -4110,12 +4108,3 @@ void __builtin_vsx_stxvp (v256, unsigned long, const v256 *); STXVP nothing {mma,pair} - -[future] - const signed int __builtin_saturate_subtract32 (signed int, signed int); - SAT_SUBSI sat_subsi3 {} - -[future-64] - const signed long __builtin_saturate_subtract64 (signed long, signed long); - SAT_SUBDI sat_subdi3 {} - diff --git a/gcc/config/rs6000/rs6000-gen-builtins.cc b/gcc/config/rs6000/rs6000-gen-builtins.cc index f4020141243..0bd7a535e5f 100644 --- a/gcc/config/rs6000/rs6000-gen-builtins.cc +++ b/gcc/config/rs6000/rs6000-gen-builtins.cc @@ -233,9 +233,6 @@ enum bif_stanza BSTZ_P10, BSTZ_P10_64, BSTZ_MMA, - BSTZ_FUTURE, - BSTZ_FUTURE_64, - BSTZ_DM, NUMBIFSTANZAS }; @@ -269,10 +266,7 @@ static stanza_entry stanza_map[NUMBIFSTANZAS] = { "htm", BSTZ_HTM }, { "power10", BSTZ_P10 }, { "power10-64", BSTZ_P10_64 }, - { "mma", BSTZ_MMA }, - { "future", BSTZ_FUTURE }, - { "future-64", BSTZ_FUTURE_64 }, - { "dm", BSTZ_DM }, + { "mma", BSTZ_MMA } }; static const char *enable_string[NUMBIFSTANZAS] = @@ -297,10 +291,7 @@ static const char *enable_string[NUMBIFSTANZAS] = "ENB_HTM", "ENB_P10", "ENB_P10_64", - "ENB_MMA", - "ENB_FUTURE", - "ENB_FUTURE_64", - "ENB_DM", + "ENB_MMA" }; /* Function modifiers provide special handling for const, pure, and fpmath @@ -404,8 +395,6 @@ struct attrinfo bool isendian; bool isibmld; bool isibm128; - bool isfuture; - bool isdm; }; /* Fields associated with a function prototype (bif or overload). */ @@ -1488,8 +1477,7 @@ parse_bif_attrs (attrinfo *attrptr) "ldvec = %d, stvec = %d, reve = %d, pred = %d, htm = %d, " "htmspr = %d, htmcr = %d, mma = %d, quad = %d, pair = %d, " "mmaint = %d, no32bit = %d, 32bit = %d, cpu = %d, ldstmask = %d, " - "lxvrse = %d, lxvrze = %d, endian = %d, ibmdld = %d, ibm128 = %d,", - "future = %d, dm = %d.\n", + "lxvrse = %d, lxvrze = %d, endian = %d, ibmdld = %d, ibm128 = %d.\n", attrptr->isinit, attrptr->isset, attrptr->isextract, attrptr->isnosoft, attrptr->isldvec, attrptr->isstvec, attrptr->isreve, attrptr->ispred, attrptr->ishtm, attrptr->ishtmspr, @@ -1497,7 +1485,7 @@ parse_bif_attrs (attrinfo *attrptr) attrptr->ismmaint, attrptr->isno32bit, attrptr->is32bit, attrptr->iscpu, attrptr->isldstmask, attrptr->islxvrse, attrptr->islxvrze, attrptr->isendian, attrptr->isibmld, - attrptr->isibm128, attrptr->isfuture, attrptr->isdm); + attrptr->isibm128); #endif return PC_OK; @@ -2269,10 +2257,7 @@ write_decls (void) fprintf (header_file, " ENB_HTM,\n"); fprintf (header_file, " ENB_P10,\n"); fprintf (header_file, " ENB_P10_64,\n"); - fprintf (header_file, " ENB_MMA,\n"); - fprintf (header_file, " ENB_FUTURE,\n"); - fprintf (header_file, " ENB_FUTURE_64,\n"); - fprintf (header_file, " ENB_DM\n"); + fprintf (header_file, " ENB_MMA\n"); fprintf (header_file, "};\n\n"); fprintf (header_file, "#define PPC_MAXRESTROPNDS 3\n"); @@ -2316,8 +2301,6 @@ write_decls (void) fprintf (header_file, "#define bif_endian_bit\t\t(0x00200000)\n"); fprintf (header_file, "#define bif_ibmld_bit\t\t(0x00400000)\n"); fprintf (header_file, "#define bif_ibm128_bit\t\t(0x00800000)\n"); - fprintf (header_file, "#define bif_future_bit\t\t(0x01000000)\n"); - fprintf (header_file, "#define bif_dm_bit\t\t(0x02000000)\n"); fprintf (header_file, "\n"); fprintf (header_file, "#define bif_is_init(x)\t\t((x).bifattrs & bif_init_bit)\n"); @@ -2367,10 +2350,6 @@ write_decls (void) "#define bif_is_ibmld(x)\t((x).bifattrs & bif_ibmld_bit)\n"); fprintf (header_file, "#define bif_is_ibm128(x)\t((x).bifattrs & bif_ibm128_bit)\n"); - fprintf (header_file, - "#define bif_is_future(x)\t((x).bifattrs & bif_future_bit)\n"); - fprintf (header_file, - "#define bif_is_dm(x)\t((x).bifattrs & bif_dm_bit)\n"); fprintf (header_file, "\n"); fprintf (header_file, @@ -2569,10 +2548,6 @@ write_bif_static_init (void) fprintf (init_file, " | bif_ibmld_bit"); if (bifp->attrs.isibm128) fprintf (init_file, " | bif_ibm128_bit"); - if (bifp->attrs.isfuture) - fprintf (init_file, " | bif_future_bit"); - if (bifp->attrs.isdm) - fprintf (init_file, " | bif_dm_bit"); fprintf (init_file, ",\n"); fprintf (init_file, " /* restr_opnd */\t{%d, %d, %d},\n", bifp->proto.restr_opnd[0], bifp->proto.restr_opnd[1], diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md index e9dfb138603..4a5007dc539 100644 --- a/gcc/config/rs6000/rs6000.md +++ b/gcc/config/rs6000/rs6000.md @@ -15499,66 +15499,6 @@ } [(set_attr "type" "load")]) \f -;; Signed saturation. - -;; The subfus instruction is defined as: SUBFUS RT,L,RA,RB. The extended -;; mnemonic that we use (subdus and subwus) has the arguments RA and RB -;; reversed (so it becomes a subtract instead of subtract from). - -(define_insn "sat_sub<mode>3" - [(set (match_operand:GPR 0 "gpc_reg_operand" "=r") - (ss_minus:GPR (match_operand:GPR 1 "gpc_reg_operand" "r") - (match_operand:GPR 2 "gpc_reg_operand" "r")))] - "TARGET_FUTURE" - "sub<wd>us %0,%1,%2" - [(set_attr "type" "add")]) - -(define_insn_and_split "*sat_sub<mode>3_dot" - [(set (match_operand:CC 3 "cc_reg_operand" "=x,?y") - (compare:CC (ss_minus:GPR (match_operand:GPR 1 "gpc_reg_operand" "r,r") - (match_operand:GPR 2 "gpc_reg_operand" "r,r")) - (const_int 0))) - (clobber (match_scratch:GPR 0 "=r,r"))] - "TARGET_FUTURE" - "@ - sub<wd>us. %0,%1,%2 - #" - "&& reload_completed && cc_reg_not_cr0_operand (operands[3], CCmode)" - [(set (match_dup 0) - (ss_minus:GPR (match_dup 1) - (match_dup 2))) - (set (match_dup 3) - (compare:CC (match_dup 0) - (const_int 0)))] - "" - [(set_attr "type" "add") - (set_attr "dot" "yes") - (set_attr "length" "4,8")]) - -(define_insn_and_split "*sat_sub<mode>3_dot2" - [(set (match_operand:CC 3 "cc_reg_operand" "=x,?y") - (compare:CC (ss_minus:GPR (match_operand:GPR 1 "gpc_reg_operand" "r,r") - (match_operand:GPR 2 "gpc_reg_operand" "r,r")) - (const_int 0))) - (set (match_operand:GPR 0 "gpc_reg_operand" "=r,r") - (ss_minus:GPR (match_dup 1) - (match_dup 2)))] - "TARGET_FUTURE" - "@ - sub<wd>us. %0,%1,%2 - #" - "&& reload_completed && cc_reg_not_cr0_operand (operands[3], CCmode)" - [(set (match_dup 0) - (ss_minus:GPR (match_dup 1) - (match_dup 2))) - (set (match_dup 3) - (compare:CC (match_dup 0) - (const_int 0)))] - "" - [(set_attr "type" "add") - (set_attr "dot" "yes") - (set_attr "length" "4,8")]) -\f (include "sync.md") (include "vector.md") diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi index a8b50153d9b..b1dd39e64b8 100644 --- a/gcc/doc/extend.texi +++ b/gcc/doc/extend.texi @@ -17783,7 +17783,6 @@ Disable global interrupt. * Basic PowerPC Built-in Functions Available on ISA 2.07:: * Basic PowerPC Built-in Functions Available on ISA 3.0:: * Basic PowerPC Built-in Functions Available on ISA 3.1:: -* Basic Built-in Functions that may be available on future PowerPCs:: @end menu This section describes PowerPC built-in functions that do not require @@ -18441,29 +18440,6 @@ ISA 3.1 @code{stxvrbx}, @code{stxvrhx}, @code{stxvrwx}, and @code{stxvrdx} instructions. @findex vec_xst_trunc -@node Basic Built-in Functions that may be available on future PowerPCs -@subsubsection Potential future PowerPC Built-in Functions - -The built-in functions described in this section may be available on -future PowerPC processors. At present, these built-ins exist to -allowing testing of new instructions. There is no guarantee that -these instructions will actually be implemented. - -The following built-in functions are available on Linux 64-bit systems -that use a potential future instruction set (@option{-mcpu=future}): - -@table @code -@item int __builtin_saturate_subtract32 (int, int) -Subtract the second operand from the first operand. If the value -would be less than 0, then the result is 0 instead of the negative -value of the subtraction. - -@item long __builtin_saturate_subtract64 (long, long) -Subtract the second operand from the first operand. If the value -would be less than 0, then the result is 0 instead of the negative -value of the subtraction. -@end table - @node PowerPC AltiVec/VSX Built-in Functions @subsection PowerPC AltiVec/VSX Built-in Functions diff --git a/gcc/testsuite/lib/target-supports.exp b/gcc/testsuite/lib/target-supports.exp index 8ddbdf18dc8..020bc03a3cc 100644 --- a/gcc/testsuite/lib/target-supports.exp +++ b/gcc/testsuite/lib/target-supports.exp @@ -6548,8 +6548,8 @@ proc check_effective_target_power10_ok { } { } } -# Return 1 if this is a PowerPC target supporting -mcpu=future which enables -# the dense math operations. +# Return 1 if this is a PowerPC target supporting -mcpu=future or -mdense-math +# which enables the dense math operations. proc check_effective_target_powerpc_dense_math_ok { } { return [check_no_compiler_messages_nocache powerpc_dense_math_ok assembly { __vector_quad vq; @@ -6567,18 +6567,6 @@ proc check_effective_target_powerpc_dense_math_ok { } { } "-mcpu=future"] } -# Return 1 if this is a PowerPC target supporting -mcpu=future which enables -# the saturating subtract instruction. -proc check_effective_target_powerpc_future_ok { } { - return [check_no_compiler_messages powerpc_future_ok object { - #ifndef _ARCH_PWR_FUTURE - #error "not -mcpu=future" - #else - int dummy; - #endif - } "-mcpu=future"] -} - # Return 1 if this is a PowerPC target supporting -mfloat128 via either # software emulation on power7/power8 systems or hardware support on power9.
reply other threads:[~2022-12-03 1:28 UTC|newest] Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20221203012824.485513858C50@sourceware.org \ --to=meissner@gcc.gnu.org \ --cc=gcc-cvs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).