From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from sonicconh5001-vm0.mail.kks.yahoo.co.jp (sonicconh5001-vm0.mail.kks.yahoo.co.jp [114.110.61.11]) by sourceware.org (Postfix) with ESMTPS id AE8263858D32 for ; Mon, 16 Jan 2023 02:53:07 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org AE8263858D32 Authentication-Results: sourceware.org; dmarc=pass (p=quarantine dis=none) header.from=yahoo.co.jp Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=yahoo.co.jp X-YMail-OSG: 48fLamwVM1m0065K74pIY_IEIo23Ez1_o2fE8qIbuoNThfKc9_z1UW7qvwMrb1v iuzNmymvbvPUtYWAcR0Rl2PFNixKKOL0lDNpoy5qFyCgTTguh.zN9DQpZaDwP5b1VeSSjUYTiGsc DPHgy66ChTSgJfn6_cXX5NybniExb.voiGJSA7o2VOqPB0NHsillJ.7E5jhksbRoaUsHOuWP_23W xpR6hBDM8Y1b_9jRq0cEqFeyPgzTHyYRhIBXL1nyGSx3b7L6F6b8WrHjiphY_N1pRTuqvbBytZsF U1XTGboHMpzadLvHCdSybxq7PdD.uaraYsUqzsT5ZvYK6znMfAebYW2B_oH7m4DmSzHBSyEjCiRU PGf76ZpCknx2lzP6SR3w7HoF9cRFGkjVXGSUj589YENMQyBc7alwZ5riVDCwt51QBMLXDm1IwerY SYLUhmI4.ZLQ.dQZYDvGIJGTBhTdc667EEyZZ26F3YthqB2kQwj6w3OeWSKB4Nmh8Z6p.rOIFubk aJ7jVmTGqV6SfHrJ6es.27uTGFUg6nMX47mwO.5ZC2dTKpHQcXBWkwWPdIeQCoRuVB2becZCB2Oy FOG7s5vycfH9AEcIbhZMI4TSDTCaOmZVvM1d0mXl37.i2LHHpT.Ng779cOCMU27gn.M2MwxSkoBn 6o7I1kglJ4cp__vkNUNqI7XJGbykf51ob9UEK51WswLXaeGvd6LCm4VegsxbDwdi2yqvqlwwVEuq 3qEtKKfg6G6j1WvLlJJOAAMFjPv_UyRtZqy1oE.q1ZNd1BKMIDtarmlSeLM1pZrspzufizvRCXxd t6vhhyU8vqYHfidcQU6TDU3mHbnBHIB20vW5XMFO.517R1OmyPDTXg6Of6v._cP8018QCXnyPUnd mKPeQUqO89aX.rLsP9AyrwYMLuykTTgAJb1kTwRkNtezft.mbFazW8XvJEmiDqwsBUlhQT0jdaf4 MXzpecW9m Received: from sonicgw.mail.yahoo.co.jp by sonicconh5001.mail.kks.yahoo.co.jp with HTTP; Mon, 16 Jan 2023 02:53:01 +0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1673837581; s=yj20110701; d=yahoo.co.jp; h=Message-ID:Date:MIME-Version:From:Subject:To:Cc:Content-Type:Content-Transfer-Encoding:References; bh=PVsOZRDjeICjR0apNSnNxOTdiulwpWw+w47KANqnHhU=; b=lVHTStadb3cwRDJ5vGqUIMZ27YNjcONUWt19BU+4cDmZHfmuF/y1e3SfRuuO5CrG nn6AwRFX4vNAip3/U17Yx60VrO6Emnxtagxy6ACSUteTMleHwiSecFAXINUr4BCi2dr LsVRrOmltz+36qg/bjm9NWo8rQdKOxA42cgkoMEU= DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=yj20110701; d=yahoo.co.jp; h=Message-ID:Date:MIME-Version:From:Cc:Content-Type:Content-Transfer-Encoding:References; b=n9a9okseqL3DgEIJ8gV+MZyqHeL1tW8CSBudwJw0vHOmsxtv06bobdJmZfTZv3Fi 2tXFOMxXbVtFHXNtsiq/8pHYUPBfqgH/JeYg/kIjv7F/ARJMX5qjc5s+2RLv9WCIdfH cpDwM5ZnI2Rmp7uUKczLr5ju7ArOvscBJ62nGITY=; Received: by smtphe5006.mail.kks.ynwp.yahoo.co.jp (YJ Hermes SMTP Server) with ESMTPA ID 359f7ee903a54e5232e43da573af79a3; Mon, 16 Jan 2023 11:52:57 +0900 (JST) Message-ID: Date: Mon, 16 Jan 2023 11:52:55 +0900 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Windows NT 6.1; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.6.1 From: Takayuki 'January June' Suwa Subject: [PATCH] xtensa: Eliminate the use of callee-saved register that saves and restores only once To: GCC Patches Cc: Max Filippov Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit References: X-Spam-Status: No, score=-11.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,GIT_PATCH_0,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: In the case of the CALL0 ABI, values that must be retained before and after function calls are placed in the callee-saved registers (A12 through A15) and referenced later. However, it is often the case that the save and the reference are each only once and a simple register- register move. e.g. in the following example, if there are no other occurrences of register A14: ;; before ; prologue { ... s32i.n a14, sp, 16 ... ; } prologue ... mov.n a14, a6 ... call0 foo ... mov.n a8, a14 ... ; epilogue { ... l32i.n a14, sp, 16 ... ; } epilogue It can be possible like this: ;; after ; prologue { ... (deleted) ... ; } prologue ... s32i.n a6, sp, 16 ... call0 foo ... l32i.n a8, sp, 16 ... ; epilogue { ... (deleted) ... ; } epilogue This patch introduces a new peephole2 pattern that implements the above. gcc/ChangeLog: * config/xtensa/xtensa.md: New peephole2 pattern that eliminates the use of callee-saved register that saves and restores only once for other register, by using its stack slot directly. --- gcc/config/xtensa/xtensa.md | 58 +++++++++++++++++++++++++++++++++++++ 1 file changed, 58 insertions(+) diff --git a/gcc/config/xtensa/xtensa.md b/gcc/config/xtensa/xtensa.md index 764da63f91c..249147688ac 100644 --- a/gcc/config/xtensa/xtensa.md +++ b/gcc/config/xtensa/xtensa.md @@ -3024,3 +3024,61 @@ FALLTHRU:; operands[1] = GEN_INT (imm0); operands[2] = GEN_INT (imm1); }) + +(define_peephole2 + [(set (match_operand:SI 0 "register_operand") + (match_operand:SI 1 "reload_operand"))] + "!TARGET_WINDOWED_ABI && df + && epilogue_contains (insn) + && ! call_used_or_fixed_reg_p (REGNO (operands[0]))" + [(const_int 0)] +{ + rtx reg = operands[0], pattern; + rtx_insn *insnP = NULL, *insnS = NULL, *insnR = NULL; + df_ref ref; + rtx_insn *insn; + for (ref = DF_REG_DEF_CHAIN (REGNO (reg)); + ref; ref = DF_REF_NEXT_REG (ref)) + if (DF_REF_CLASS (ref) != DF_REF_REGULAR) + continue; + else if ((insn = DF_REF_INSN (ref)) == curr_insn) + continue; + else if (GET_CODE (pattern = PATTERN (insn)) == SET + && rtx_equal_p (SET_DEST (pattern), reg) + && REG_P (SET_SRC (pattern))) + { + if (insnS) + FAIL; + insnS = insn; + continue; + } + else + FAIL; + for (ref = DF_REG_USE_CHAIN (REGNO (reg)); + ref; ref = DF_REF_NEXT_REG (ref)) + if (DF_REF_CLASS (ref) != DF_REF_REGULAR) + continue; + else if (prologue_contains (insn = DF_REF_INSN (ref))) + { + insnP = insn; + continue; + } + else if (GET_CODE (pattern = PATTERN (insn)) == SET + && rtx_equal_p (SET_SRC (pattern), reg) + && REG_P (SET_DEST (pattern))) + { + if (insnR) + FAIL; + insnR = insn; + continue; + } + else + FAIL; + if (!insnP || !insnS || !insnR) + FAIL; + SET_DEST (PATTERN (insnS)) = copy_rtx (operands[1]); + df_insn_rescan (insnS); + SET_SRC (PATTERN (insnR)) = copy_rtx (operands[1]); + df_insn_rescan (insnR); + set_insn_deleted (insnP); +}) -- 2.30.2