public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug c++/53602] [4.7/4.8 Regression] Libre Office causes an internal compiler error Date: Fri, 08 Jun 2012 07:51:00 -0000 [thread overview] Message-ID: <bug-53602-4-2nffKDkdIY@http.gcc.gnu.org/bugzilla/> (raw) In-Reply-To: <bug-53602-4@http.gcc.gnu.org/bugzilla/> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53602 Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |rth at gcc dot gnu.org --- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-06-08 07:51:25 UTC --- We end up with: (insn 38 73 40 5 (parallel [ (set (reg/f:SI 7 sp) (plus:SI (reg/f:SI 7 sp) (const_int 12 [0xc]))) (clobber (reg:CC 17 flags)) ]) pr53602.ii:359 251 {*addsi_1} (expr_list:REG_UNUSED (reg:CC 17 flags) (expr_list:REG_ARGS_SIZE (const_int 0 [0]) (nil)))) (insn 40 38 41 5 (parallel [ (set (reg/f:SI 7 sp) (plus:SI (reg/f:SI 7 sp) (const_int -12 [0xfffffffffffffff4]))) (clobber (reg:CC 17 flags)) ]) pr53602.ii:64 251 {*addsi_1} (expr_list:REG_UNUSED (reg:CC 17 flags) (expr_list:REG_ARGS_SIZE (const_int 12 [0xc]) (nil)))) (insn 41 40 42 5 (set (mem/f:SI (pre_dec:SI (reg/f:SI 7 sp)) [0 S4 A32]) (mem/f/c:SI (plus:SI (reg/f:SI 6 bp) (const_int -12 [0xfffffffffffffff4])) [3 D.3489.pData+0 S4 A32])) pr53602.ii:64 43 {*pushsi2} (expr_list:REG_ARGS_SIZE (const_int 16 [0x10]) (nil))) before csa and csa obviously merges the two into sp += 0 that it wants to delete. force_move_args_size is called with prev == NULL (as it is at the start of a bb). But apparently cleanup_cfg at the start of csa pass jump threaded the call sequence starting at insn 41, so the two stack adjustments that cancel each other end up the only insns in a bb. So we trigger: /* ??? We *must* have a place, lest we ICE on the lost adjustment. Options are: dummy clobber insn, nop, or prevent the removal of the sp += 0 insn. Defer that decision until we can prove this can actually happen. */ I guess if we proved that all the predecessors of the bb have the same current REG_ARGS_SIZE, or all the successor have the same current REG_ARGS_SIZE, we could avoid the note altogether. Or do one of the things the comment talks about. Richard, can you please handle this?
next prev parent reply other threads:[~2012-06-08 7:51 UTC|newest] Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top 2012-06-07 12:24 [Bug c++/53602] New: " andy at benton dot eu.com 2012-06-07 12:35 ` [Bug c++/53602] " jakub at gcc dot gnu.org 2012-06-07 15:26 ` andy at benton dot eu.com 2012-06-07 15:45 ` paolo.carlini at oracle dot com 2012-06-07 16:12 ` andy at benton dot eu.com 2012-06-07 21:40 ` jakub at gcc dot gnu.org 2012-06-07 21:53 ` [Bug c++/53602] [4.7/4.8 Regression] " jakub at gcc dot gnu.org 2012-06-08 7:51 ` jakub at gcc dot gnu.org [this message] 2012-06-08 7:57 ` jakub at gcc dot gnu.org 2012-06-08 14:10 ` rth at gcc dot gnu.org 2012-06-09 6:14 ` rth at gcc dot gnu.org 2012-06-09 6:17 ` rth at gcc dot gnu.org 2012-06-09 6:19 ` rth at gcc dot gnu.org 2012-06-09 16:28 ` rth at gcc dot gnu.org 2012-06-11 15:01 ` andy at benton dot eu.com 2012-06-11 15:15 ` [Bug c++/53602] [4.7 " jakub at gcc dot gnu.org 2012-06-11 15:18 ` rth at gcc dot gnu.org 2012-06-11 15:22 ` jakub at gcc dot gnu.org 2012-06-12 13:42 ` doko at gcc dot gnu.org
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=bug-53602-4-2nffKDkdIY@http.gcc.gnu.org/bugzilla/ \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@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).