public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
From: "sebpop at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/42521] [4.5 Regression] ICE: in graphite_loop_normal_form, at graphite-sese-to-poly.c:2844
Date: Wed, 13 Jan 2010 18:15:00 -0000	[thread overview]
Message-ID: <20100113181540.24753.qmail@sourceware.org> (raw)
In-Reply-To: <bug-42521-14164@http.gcc.gnu.org/bugzilla/>



------- Comment #10 from sebpop at gmail dot com  2010-01-13 18:15 -------
Subject: Re:  [4.5 Regression] ICE: in 
        graphite_loop_normal_form, at graphite-sese-to-poly.c:2844

> pdv_d.f:89:0: error: definition in block 40 does not dominate use in block 212
> for SSA_NAME: prephitmp.28_439 in statement:
> D.2771_606 = D.2770_605 <= prephitmp.28_439;

The error comes from the fact that we are not clearing the scev
information anymore in between the code generation of two scops.

In this particular case, we have two scops, the second scop contains a
loop for which the number of iterations is a variable computed in the
first scop, and because we do not update the niter/scev info we keep
referring to the old SSA_NAME, prephitmp.28_439.

A solution would be to rename all the scev info based on the
rename_map that is computed by the translation of the first scop.

I am working on a patch to do that.

Sebastian


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42521


      parent reply	other threads:[~2010-01-13 18:15 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-12-28 20:09 [Bug tree-optimization/42521] New: " zsojka at seznam dot cz
2009-12-28 20:10 ` [Bug tree-optimization/42521] " zsojka at seznam dot cz
2009-12-28 20:18 ` zsojka at seznam dot cz
2009-12-28 22:53 ` hjl dot tools at gmail dot com
2009-12-31 15:10 ` rguenth at gcc dot gnu dot org
2010-01-02 16:15 ` rguenth at gcc dot gnu dot org
2010-01-08  4:39 ` spop at gcc dot gnu dot org
2010-01-08  6:05 ` spop at gcc dot gnu dot org
2010-01-08  7:39 ` spop at gcc dot gnu dot org
2010-01-08  7:40 ` spop at gcc dot gnu dot org
2010-01-13 17:00 ` spop at gcc dot gnu dot org
2010-01-13 18:15   ` Sebastian Pop
2010-01-13 17:34 ` rguenth at gcc dot gnu dot org
2010-01-13 18:15 ` sebpop at gmail dot com [this message]

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=20100113181540.24753.qmail@sourceware.org \
    --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: link
Be 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).