public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "tnfchris at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/103169] [12 Regression] ICE: verify_ssa failed (error: definition in block 3 does not dominate use in block 4) since r12-4785-ged3de62ac949c92ad41ef6de7cc926fbb2a510ce Date: Thu, 11 Nov 2021 10:16:49 +0000 [thread overview] Message-ID: <bug-103169-4-bZZBQJciIL@http.gcc.gnu.org/bugzilla/> (raw) In-Reply-To: <bug-103169-4@http.gcc.gnu.org/bugzilla/> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103169 Tamar Christina <tnfchris at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Assignee|unassigned at gcc dot gnu.org |tnfchris at gcc dot gnu.org --- Comment #2 from Tamar Christina <tnfchris at gcc dot gnu.org> --- looking at the tree it looks like with the new SLP layout the complex MUL is detected but complex MUL re-arranges the nodes. The nodes are /app/example.c:6:7: note: op: VEC_PERM_EXPR /app/example.c:6:7: note: { } /app/example.c:6:7: note: lane permutation { 0[0] 1[1] } /app/example.c:6:7: note: children 0x32b1ce0 0x32b2820 /app/example.c:6:7: note: node 0x32b1ce0 (max_nunits=2, refcnt=1) /app/example.c:6:7: note: op template: _15 = PHI <_10(7), _13(3)> /app/example.c:6:7: note: stmt 0 _15 = PHI <_10(7), _13(3)> /app/example.c:6:7: note: stmt 1 _16 = PHI <_11(7), _14(3)> /app/example.c:6:7: note: children 0x32b1d70 0x32b2280 where 0x32b2820 is some externals. By only selecting one of the phi nodes as it re-orders it breaks the dominance. So I guess this transformation should happen when any of the operands to the MUL is a phi node. This I think happens because is_linear_load is punting for this node and we return PERM_TOP where I think PERM_UNKNOWN is better here.
next prev parent reply other threads:[~2021-11-11 10:16 UTC|newest] Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top 2021-11-10 11:39 [Bug tree-optimization/103169] New: [12 Regression] ICE: verify_ssa failed (error: definition in block 3 does not dominate use in block 4) asolokha at gmx dot com 2021-11-10 13:22 ` [Bug tree-optimization/103169] [12 Regression] ICE: verify_ssa failed (error: definition in block 3 does not dominate use in block 4) since r12-4785-ged3de62ac949c92ad41ef6de7cc926fbb2a510ce marxin at gcc dot gnu.org 2021-11-10 13:50 ` pinskia at gcc dot gnu.org 2021-11-11 9:13 ` rguenth at gcc dot gnu.org 2021-11-11 10:16 ` tnfchris at gcc dot gnu.org [this message] 2021-11-16 11:43 ` tnfchris at gcc dot gnu.org 2022-02-02 10:54 ` cvs-commit at gcc dot gnu.org 2022-02-02 10:54 ` cvs-commit at gcc dot gnu.org 2022-02-02 10:54 ` cvs-commit at gcc dot gnu.org 2022-02-02 10:55 ` tnfchris at gcc dot gnu.org 2022-02-25 12:13 ` cvs-commit at gcc dot gnu.org 2022-02-25 12:13 ` cvs-commit at gcc dot gnu.org 2022-02-25 12:13 ` cvs-commit 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-103169-4-bZZBQJciIL@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).