From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from sonicconh5002-vm0.mail.kks.yahoo.co.jp (sonicconh5002-vm0.mail.kks.yahoo.co.jp [114.110.61.27]) by sourceware.org (Postfix) with ESMTPS id A01B33858D1E for ; Sat, 15 Oct 2022 03:19:11 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org A01B33858D1E 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: eCdnCtYVM1lpoCMJHkN7vGN5Nnk0ACQRVejqpbKyPNydpKkmojL.LiYH2U492Vg bENptJ4eKjLhiTlQ7PrWlJw2MuB19KthQzQV8BlQFIRkXTS_qeQMKg95Psvfq0HoU5l_4oQ9_Awk cEHnxmStGY3QXlR4eFabcyl79hzsVmqSV9LS_cqdI5tR7i84qyzsmYs24ZVrVzjp0msC.cSMhKTp X5Z0Rieu9jaNSpdruvQxFEOv1NlY8.OgX9IkSzMV44sZMQp30IubB2e9dWMUPbzi5t0n8q7R9ugM CkG1vVoDxQ0rQJE4rrg9k5wAE6s_C2zUD2IapuE0Xn5JG9j6CMttqxJB9Ue3tdRBbBwhlP5rd9Yq JBf37w8LqT.PAPwCQYNOL79qR.feCp7sVpNq2NNwpb9blDMKVTX3_EgGjmJO1W3ni1rPumRLJ2VE AgEWMw_oHlVI_aDpJU63zVjPi4lbmijYtK5LKzXZRanCpBgOA0PW2iWXjV07c.GLlY75zzIt3cX6 HU5V3q0xcx0yPlzBXk5BJ_O5bs80pMYhvnvFPYWW3cC8oIfZ1YTi2Du43.lzoMt6kXTAX.CvO343 63RzWmDhyHwHUTXcbgXqnzr6rmvVWZHkn4vNXcdBHjH8_8upwTkW1mo0Ziz3OyH2Xlx69SrbZmym qJ9qE2irXZpJuZdtnCfu5Xn8sToX1JxVOQrM1tgrb9y7Vhk7k66zPZ6qDcXbiRFzpbSW4QyER224 wt_CNu7sUORtCiGIkxTwSUtO5W.qTUR5r_FnED9R8dbZ6x1gNrYtbw6uQf.bCSydm04Fz_ivW8Yp LWI_9t5AjvPIt4fEISurQz0dvIm6OGxa7fAD3y9QjfaLWkHxhSj6VZLLS7d9fa8zjat.SW9diYf2 Gas5.9RJ6SA5O9fluHIX4GHZzktKsfhiVYv0TBKJ.OnHHfedo6.Mfd_15PIUh_LaM34v2.mv1or1 6DS17oppS Received: from sonicgw.mail.yahoo.co.jp by sonicconh5002.mail.kks.yahoo.co.jp with HTTP; Sat, 15 Oct 2022 03:19:06 +0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1665803946; s=yj20110701; d=yahoo.co.jp; h=Message-ID:Date:MIME-Version:Subject:To:References:Cc:From:In-Reply-To:Content-Type:Content-Transfer-Encoding; bh=tyMic1D8Pr1eZP6zp+Ig+frbvmQDyU8Xx3w+UWY50N8=; b=TdzEhCEPKka95yN3rzIByq8keonTBf+h5TOZhKTx6L7Rf5uJGb1MzdUrY3Xtw3I9 DWFR4dRoFa81PwZ6dEp/bqwuHRHnjgq4A84tiSXSeJLpj83le4DJ7Y1HC/SiZQzLiDH lFXdu5PUsNvg9gWoALrnm5tGh3/Wu2v0JuxUig6U= DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=yj20110701; d=yahoo.co.jp; h=Message-ID:Date:MIME-Version:References:Cc:From:In-Reply-To:Content-Type:Content-Transfer-Encoding; b=DsijDSuXt28jde7Nc4AxCmovJqbtAfaO77edmugk56Wt3MNKqOYtPP7JE3kEZ/Wj 8vlnnU9roKEuEkv3LGgXU7P6PQZmgAXBTc9ZeOc7jwwqX4eUr9Le3jjcnxijhSxqEJZ WRqdpuPIjihNb/RGVqI7EqsWcwFPUK8cuFEg5+Bc=; Received: by smtphe5001.mail.kks.ynwp.yahoo.co.jp (YJ Hermes SMTP Server) with ESMTPA ID ff31d456514ea4b94fb48fe32f3745dd; Sat, 15 Oct 2022 12:19:00 +0900 (JST) Message-ID: Date: Sat, 15 Oct 2022 12:18:56 +0900 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Windows NT 6.1; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.3.3 Subject: Re: [PATCH] Always enable LRA To: Segher Boessenkool References: <20221014162524.GD25951@gate.crashing.org> Cc: GCC Patches From: Takayuki 'January June' Suwa In-Reply-To: <20221014162524.GD25951@gate.crashing.org> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-6.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,WEIRD_PORT 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: On 2022/10/15 1:25, Segher Boessenkool wrote: > On Fri, Oct 14, 2022 at 03:20:40PM +0900, Takayuki 'January June' Suwa wrote: >> On 2022/10/14 8:56, Segher Boessenkool wrote: >>> And finally, xtensa does >>> /home/segher/src/gcc/libgcc/libgcc2.c:840:1: error: insn does not satisfy its constraints: >>> 840 | } >>> | ^ >>> (insn 8 7 9 2 (set (reg:SI 9 a9 [57]) >>> (const_int 1431655765 [0x55555555])) "/home/segher/src/gcc/libgcc/libgcc2.c":828:21 37 {movsi_internal} >>> (expr_list:REG_EQUIV (const_int 1431655765 [0x55555555]) >>> (nil))) >>> during RTL pass: postreload >>> /home/segher/src/gcc/libgcc/libgcc2.c:840:1: internal compiler error: in extract_constrain_insn, at recog.cc:2692 >> >> This is a result of knowing that Reload is tolerant of out-of-constraint constants. >> LRA support needs to be taken care of before that, ie. in the "split1" pass. >> Excuse me in haste. > > So old reload did a split itself? Or it left it to say the split2 pass? Reload did. [testpiece] unsigned int test(void) { return 0x55555555; } [282r.ira] (insn 9 5 10 2 (set (reg/i:SI 2 a2) (const_int 1431655765 [0x55555555])) "test.c":3:1 27 {movsi_internal} (expr_list:REG_EQUAL (const_int 1431655765 [0x55555555]) (nil))) [283r.reload] ;; Function test (test, funcdef_no=0, decl_uid=1386, cgraph_uid=1, symbol_order=0) insn=9, live_throughout: 1, dead_or_set: 2 insn=10, live_throughout: 1, 2, dead_or_set: Spilling for insn 9. Reloads for insn # 9 Reload 0: reload_in (SI) = (const_int 1431655765 [0x55555555]) RL_REGS, RELOAD_FOR_INPUT (opnum = 1) reload_in_reg: (const_int 1431655765 [0x55555555]) reload_reg_rtx: (reg/i:SI 2 a2) deleting insn with uid = 9. (insn 14 5 10 2 (set (reg/i:SI 2 a2) (mem/u/c:SI (symbol_ref/u:SI ("*.LC0") [flags 0x2]) [0 S4 A32])) "test.c":3:1 27 {movsi_internal} (nil))