From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id ACFC3385803B; Sat, 23 Jul 2022 06:55:13 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org ACFC3385803B From: "asolokha at gmx dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug debug/106418] New: '-fcompare-debug' failure w/ -mcpu=e500mc -O2 -fnon-call-exceptions -fsched-stalled-insns -fno-reorder-blocks -fno-thread-jumps -fno-tree-dce Date: Sat, 23 Jul 2022 06:55:13 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: debug X-Bugzilla-Version: 13.0 X-Bugzilla-Keywords: compare-debug-failure X-Bugzilla-Severity: normal X-Bugzilla-Who: asolokha at gmx dot com X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status keywords bug_severity priority component assigned_to reporter target_milestone cf_gcctarget Message-ID: 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: Sat, 23 Jul 2022 06:55:13 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D106418 Bug ID: 106418 Summary: '-fcompare-debug' failure w/ -mcpu=3De500mc -O2 -fnon-call-exceptions -fsched-stalled-insns -fno-reorder-blocks -fno-thread-jumps -fno-tree-dce Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: compare-debug-failure Severity: normal Priority: P3 Component: debug Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- Target: powerpc-e300c3-linux-gnu gcc 13.0.0 20220717 snapshot (g:7bcd7f47359b903bf7a193b95d4450d9d69c60ba) f= ails -fcompare-debug check when compiling the following testcase w/ -mcpu=3De500= mc -O2 -fcompare-debug -fnon-call-exceptions -fsched-stalled-insns -fno-reorder-bl= ocks -fno-thread-jumps -fno-tree-dce: int n; __attribute__ ((noinline)) int return_zero (void) { return 0; } __attribute__ ((noinline)) int return_one (void) { return 1; } __attribute__ ((noinline)) void empty (int) { } int foo (int x) { if (x) empty (n); else if (return_zero () =3D=3D n) empty (return_one ()); return 0; } % powerpc-e300c3-linux-gnu-gcc-13.0.0 -mcpu=3De500mc -O2 -fcompare-debug -fnon-call-exceptions -fsched-stalled-insns -fno-reorder-blocks -fno-thread-jumps -fno-tree-dce -c vjbxa62g.c powerpc-e300c3-linux-gnu-gcc-13.0.0: error: vjbxa62g.c: '-fcompare-debug' failure gkd diff: --- vjbxa62g.c.gkd 2022-07-23 13:54:24.325382258 +0700 +++ vjbxa62g.gk.c.gkd 2022-07-23 13:54:24.350381830 +0700 @@ -188,22 +188,17 @@ (insn:TI # 0 0 (set (reg/i:SI 3 3) (const_int 0 [0])) "vjbxa62g.c":29:1# {*movsi_internal1} (nil)) -(insn # 0 0 (unspec_volatile [ +(insn:TI # 0 0 (unspec_volatile [ (const_int 0 [0]) ] UNSPECV_BLOCK) "vjbxa62g.c":29:1# {blockage} (nil)) +(insn # 0 0 (use (reg/i:SI 3 3)) "vjbxa62g.c":29:1# + (nil)) (note # 0 0 NOTE_INSN_EPILOGUE_BEG) -(insn:TI # 0 0 (set (reg:SI 0 0) +(insn # 0 0 (set (reg:SI 0 0) (mem/c:SI (plus:SI (reg/f:SI 1 1) (const_int 36 [0x24])) [ S4 A8])) "vjbxa62g.c":29:1# {*movsi_internal1} (nil)) -(insn # 0 0 (use (reg/i:SI 3 3)) "vjbxa62g.c":29:1# - (nil)) -(insn/f # 0 0 (set (reg:SI 96 lr) - (reg:SI 0 0)) "vjbxa62g.c":29:1# {*movsi_internal1} - (expr_list:REG_DEAD (reg:SI 0 0) - (expr_list:REG_CFA_RESTORE (reg:SI 96 lr) - (nil)))) (insn:TI # 0 0 (set (reg:SI 31 31) (mem/c:SI (plus:SI (reg/f:SI 1 1) (const_int 28 [0x1c])) [ S4 A8])) "vjbxa62g.c":29:1# {*movsi_internal1} @@ -218,7 +213,12 @@ (expr_list:REG_CFA_DEF_CFA (reg/f:SI 1 1) (expr_list:REG_CFA_RESTORE (reg:SI 31 31) (nil)))) -(jump_insn:TI # 0 0 (simple_return) "vjbxa62g.c":29:1# {simple_return} +(insn/f:TI # 0 0 (set (reg:SI 96 lr) + (reg:SI 0 0)) "vjbxa62g.c":29:1# {*movsi_internal1} + (expr_list:REG_DEAD (reg:SI 0 0) + (expr_list:REG_CFA_RESTORE (reg:SI 96 lr) + (nil)))) +(jump_insn # 0 0 (simple_return) "vjbxa62g.c":29:1# {simple_return} (nil) -> simple_return) (barrier # 0 0)=