From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 272AD385C019; Tue, 7 Apr 2020 12:45:34 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 272AD385C019 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1586263534; bh=H3XB3ztWPW1GFKVF2V4VjItf67gSQ6OY9PZiTttv2UA=; h=From:To:Subject:Date:In-Reply-To:References:From; b=qcRkobwKtIItYP6mEEaAwZO3XD1gJg+p1cB+XmwS96KOWcqw3xff368UHkR/RhZWq 8Its2JAZXPwQ8+2H/6MDOaj0PoRQRIScdTS9q7KT3JLmF+eiGbywf9V1WsCvv+9gdx OA6K83837iFTydfB3Petoy60IHzO+EauL4BMzpfc= From: "jakub at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug rtl-optimization/94516] [10 Regression] gnutls test ./psk-file fails since r10-7515-g2c0fa3ecf70d199af18785702e9e0548fd3ab793 Date: Tue, 07 Apr 2020 12:45:33 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: rtl-optimization X-Bugzilla-Version: 10.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: jakub at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 10.0 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: cf_reconfirmed_on everconfirmed bug_status Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: gcc-bugs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-bugs mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 07 Apr 2020 12:45:34 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D94516 Jakub Jelinek changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed| |2020-04-07 Ever confirmed|0 |1 Status|UNCONFIRMED |NEW --- Comment #3 from Jakub Jelinek --- The problem is during postreload-gcse.c, which changed: @@ -4749,23 +4758,7 @@ Dataflow summary: (expr_list:SI (use (reg:SI 36 r8)) (expr_list:SI (use (reg:SI 37 r9)) (nil)))))))) -(insn 22 21 24 2 (parallel [ - (set (reg/f:DI 7 sp) - (plus:DI (reg/f:DI 7 sp) - (const_int 32 [0x20]))) - (clobber (reg:CC 17 flags)) - ]) "pr94516.c":6747:2 186 {*adddi_1} - (expr_list:REG_ARGS_SIZE (const_int 0 [0]) - (nil))) -(insn 24 22 25 2 (parallel [ - (set (reg/f:DI 7 sp) - (plus:DI (reg/f:DI 7 sp) - (const_int -8 [0xfffffffffffffff8]))) - (clobber (reg:CC 17 flags)) - ]) "pr94516.c":6747:2 186 {*adddi_1} - (expr_list:REG_ARGS_SIZE (const_int 8 [0x8]) - (nil))) -(insn 25 24 26 2 (set (mem:SI (pre_modify:DI (reg/f:DI 7 sp) +(insn 25 21 26 2 (set (mem:SI (pre_modify:DI (reg/f:DI 7 sp) (plus:DI (reg/f:DI 7 sp) (const_int -8 [0xfffffffffffffff8]))) [3 S4 A32]) (const_int 0 [0])) "pr94516.c":6747:2 46 {*pushsi2_rex64} ... @@ -4815,23 +4808,7 @@ Dataflow summary: (expr_list:SI (use (reg:SI 36 r8)) (expr_list:SI (use (reg:SI 37 r9)) (nil)))))))) -(insn 35 34 37 2 (parallel [ - (set (reg/f:DI 7 sp) - (plus:DI (reg/f:DI 7 sp) - (const_int 32 [0x20]))) - (clobber (reg:CC 17 flags)) - ]) "pr94516.c":6780:2 186 {*adddi_1} - (expr_list:REG_ARGS_SIZE (const_int 0 [0]) - (nil))) -(insn 37 35 38 2 (parallel [ - (set (reg/f:DI 7 sp) - (plus:DI (reg/f:DI 7 sp) - (const_int -8 [0xfffffffffffffff8]))) - (clobber (reg:CC 17 flags)) - ]) "pr94516.c":6780:2 186 {*adddi_1} - (expr_list:REG_ARGS_SIZE (const_int 8 [0x8]) - (nil))) -(insn 38 37 39 2 (set (mem:SI (pre_modify:DI (reg/f:DI 7 sp) +(insn 38 34 39 2 (set (mem:SI (pre_modify:DI (reg/f:DI 7 sp) (plus:DI (reg/f:DI 7 sp) (const_int -8 [0xfffffffffffffff8]))) [3 S4 A32]) (const_int -32 [0xffffffffffffffe0])) "pr94516.c":6780:2 46 {*pushsi2_rex64} ... @@ -4881,12 +4858,8 @@ Dataflow summary: (expr_list:SI (use (reg:SI 36 r8)) (expr_list:SI (use (reg:SI 37 r9)) (nil)))))))) -(insn 48 47 51 2 (parallel [ - (set (reg/f:DI 7 sp) - (plus:DI (reg/f:DI 7 sp) - (const_int 32 [0x20]))) - (clobber (reg:CC 17 flags)) - ]) "pr94516.c":6783:1 186 {*adddi_1} +(insn 48 47 51 2 (set (reg/f:DI 7 sp) + (reg/f:DI 40 r12 [84])) "pr94516.c":6783:1 66 {*movdi_internal} (expr_list:REG_ARGS_SIZE (const_int 0 [0]) (nil))) (insn 51 48 52 2 (parallel [ because cselib now provides the sp based equalities it didn't before. I believe the final value of sp is correct, there is r12 =3D rsp assignment= in the prologue, but the problem is that by throwing away the intermediate sp adjustments in the calls in between the stack is misaligned. We have the csa pass for combining stack adjustments, perhaps postreload-gc= se should just refrain from adjusting the stack pointer adjustments?=