* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
@ 2005-06-28 23:22 ` bangerth at dealii dot org
2005-06-28 23:24 ` pinskia at gcc dot gnu dot org
` (24 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: bangerth at dealii dot org @ 2005-06-28 23:22 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From bangerth at dealii dot org 2005-06-28 23:22 -------
Created an attachment (id=9168)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9168&action=view)
Preprocessed source
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
2005-06-28 23:22 ` [Bug tree-optimization/22228] " bangerth at dealii dot org
@ 2005-06-28 23:24 ` pinskia at gcc dot gnu dot org
2005-06-28 23:24 ` [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa bangerth at dealii dot org
` (23 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-28 23:24 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-28 23:24 -------
Most likely the same bug which is causing a bootstrap regression:
http://gcc.gnu.org/ml/gcc-regression/2005-06/msg00090.html
And Also PR 22037
--
What |Removed |Added
----------------------------------------------------------------------------
BugsThisDependsOn| |22037
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
2005-06-28 23:22 ` [Bug tree-optimization/22228] " bangerth at dealii dot org
2005-06-28 23:24 ` pinskia at gcc dot gnu dot org
@ 2005-06-28 23:24 ` bangerth at dealii dot org
2005-06-28 23:26 ` bangerth at dealii dot org
` (22 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: bangerth at dealii dot org @ 2005-06-28 23:24 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.1 regression] ICE with - |[4.1 regression] ICE with -
|ftree-vectorize |ftree-vectorize in
| |verify_ssa
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (2 preceding siblings ...)
2005-06-28 23:24 ` [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa bangerth at dealii dot org
@ 2005-06-28 23:26 ` bangerth at dealii dot org
2005-06-28 23:26 ` [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize pinskia at gcc dot gnu dot org
` (21 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: bangerth at dealii dot org @ 2005-06-28 23:26 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
OtherBugsDependingO| |21859
nThis| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (3 preceding siblings ...)
2005-06-28 23:26 ` bangerth at dealii dot org
@ 2005-06-28 23:26 ` pinskia at gcc dot gnu dot org
2005-06-28 23:31 ` [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa bangerth at dealii dot org
` (20 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-28 23:26 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (4 preceding siblings ...)
2005-06-28 23:26 ` [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize pinskia at gcc dot gnu dot org
@ 2005-06-28 23:31 ` bangerth at dealii dot org
2005-06-28 23:41 ` pinskia at gcc dot gnu dot org
` (19 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: bangerth at dealii dot org @ 2005-06-28 23:31 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From bangerth at dealii dot org 2005-06-28 23:31 -------
I don't think its the same as PR 22037 -- they have different error messages!
W.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (5 preceding siblings ...)
2005-06-28 23:31 ` [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa bangerth at dealii dot org
@ 2005-06-28 23:41 ` pinskia at gcc dot gnu dot org
2005-06-29 3:41 ` bangerth at dealii dot org
` (18 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-28 23:41 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-28 23:41 -------
(In reply to comment #3)
> I don't think its the same as PR 22037 -- they have different error messages!
Actually you are right, this is vectorizer bug and the other one is a differnt one.
--
What |Removed |Added
----------------------------------------------------------------------------
BugsThisDependsOn|22037 |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (6 preceding siblings ...)
2005-06-28 23:41 ` pinskia at gcc dot gnu dot org
@ 2005-06-29 3:41 ` bangerth at dealii dot org
2005-06-29 3:43 ` bangerth at dealii dot org
` (17 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: bangerth at dealii dot org @ 2005-06-29 3:41 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From bangerth at dealii dot org 2005-06-29 03:41 -------
Created an attachment (id=9169)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9169&action=view)
New testcase
New testcase, much smaller: 100 lines + #include<vector>
--
What |Removed |Added
----------------------------------------------------------------------------
Attachment #9168 is|0 |1
obsolete| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (7 preceding siblings ...)
2005-06-29 3:41 ` bangerth at dealii dot org
@ 2005-06-29 3:43 ` bangerth at dealii dot org
2005-06-29 13:33 ` reichelt at gcc dot gnu dot org
` (16 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: bangerth at dealii dot org @ 2005-06-29 3:43 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |irar at il dot ibm dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (8 preceding siblings ...)
2005-06-29 3:43 ` bangerth at dealii dot org
@ 2005-06-29 13:33 ` reichelt at gcc dot gnu dot org
2005-06-29 13:34 ` reichelt at gcc dot gnu dot org
` (15 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2005-06-29 13:33 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From reichelt at gcc dot gnu dot org 2005-06-29 13:33 -------
Created an attachment (id=9171)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9171&action=view)
Shorter testcase
Shorter testcase (below 50 lines).
Crashes with "g++ -march=pentium4 -ftree-vectorize -O2"
--
What |Removed |Added
----------------------------------------------------------------------------
Attachment #9169 is|0 |1
obsolete| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (9 preceding siblings ...)
2005-06-29 13:33 ` reichelt at gcc dot gnu dot org
@ 2005-06-29 13:34 ` reichelt at gcc dot gnu dot org
2005-06-29 17:58 ` bangerth at dealii dot org
` (14 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2005-06-29 13:34 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From reichelt at gcc dot gnu dot org 2005-06-29 13:34 -------
Confirmed.
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |reichelt at gcc dot gnu dot
| |org
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Keywords| |monitored
Last reconfirmed|0000-00-00 00:00:00 |2005-06-29 13:34:04
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (10 preceding siblings ...)
2005-06-29 13:34 ` reichelt at gcc dot gnu dot org
@ 2005-06-29 17:58 ` bangerth at dealii dot org
2005-06-30 11:17 ` reichelt at gcc dot gnu dot org
` (13 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: bangerth at dealii dot org @ 2005-06-29 17:58 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From bangerth at dealii dot org 2005-06-29 17:58 -------
May be the same as PR 22234...
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (11 preceding siblings ...)
2005-06-29 17:58 ` bangerth at dealii dot org
@ 2005-06-30 11:17 ` reichelt at gcc dot gnu dot org
2005-08-06 6:59 ` pinskia at gcc dot gnu dot org
` (12 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2005-06-30 11:17 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From reichelt at gcc dot gnu dot org 2005-06-30 11:17 -------
Not fixed by the patch for PR22234 :-(
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (12 preceding siblings ...)
2005-06-30 11:17 ` reichelt at gcc dot gnu dot org
@ 2005-08-06 6:59 ` pinskia at gcc dot gnu dot org
2005-08-09 15:39 ` dorit at il dot ibm dot com
` (11 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-08-06 6:59 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-08-06 06:59 -------
*** Bug 22543 has been marked as a duplicate of this bug. ***
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |micis at gmx dot de
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (13 preceding siblings ...)
2005-08-06 6:59 ` pinskia at gcc dot gnu dot org
@ 2005-08-09 15:39 ` dorit at il dot ibm dot com
2005-08-09 17:01 ` bangerth at dealii dot org
` (10 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: dorit at il dot ibm dot com @ 2005-08-09 15:39 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From dorit at il dot ibm dot com 2005-08-09 15:38 -------
I was able to reproduce the error on powerpc-drawin using the first testcase
from comment 3 for PR22543.
I was also able to pin down the patch that triggered/exposed this problem:
2005-07-09 Diego Novillo <dnovillo@redhat.com>
* Makefile.in (tree-ssa-alias.o): Depend on tree-ssa-structalias.h
* tree-cfg.c (CHECK_OP): Only test for is_gimple_val.
* tree-dfa.c (dump_subvars_for): New.
(debug_subvars_for): New.
(dump_variable): Show subvariables if VAR has them.
........
Here is what I think is going on:
The updating of phi-nodes during loop-peeling (in the vectorizer) does not
create all the required phis for the variable SFT.3. This happens because the
vectorizer can only update the ssa-form for variables that are in proper loop-
closed-ssa-form. SFT.3 is not in loop-closed-form, and in fact virtual
variables in general are no longer guaranteed to be in loop-closed-form (or
maybe never have been?). More specifically, the function
slpeel_update_phi_nodes_for_guard2 was supposed to create the missing phis, but
it only works for variables that have a loop-closed phi at the loop exit.
The reason we don't fail in the presence of virtual-phis all the time, is, I
think, that usually the virtual variables that need to be updated (due to
peeling) are also used or defined inside the loop (in a load or store
operation), and are therefore marked by the vectorizer for renaming when that
load/store is handled (and update_ssa is consequently called). This was also
what used to happen in this testcase, until the patch by Diego was committed -
SFT.3 was used in the loop, and was therefore marked for renaming. This is how
the loop looked like before the patch:
# ivtmp.20D.2696_34 = PHI <ivtmp.20D.2696_2(2), 4(0)>;
# SFT.4D.2672_41 = PHI <SFT.4D.2672_33(2), SFT.4D.2672_22(0)>;
# SFT.3D.2671_39 = PHI <SFT.3D.2671_32(2), SFT.3D.2671_23(0)>;
# iD.2620_37 = PHI <iD.2620_17(2), 0(0)>;
<L0>:;
# SFT.3D.2671_32 = V_MAY_DEF <SFT.3D.2671_39>;
# SFT.4D.2672_33 = V_MAY_DEF <SFT.4D.2672_41>;
thisD.2584_16->zD.2580[iD.2620_37] = 0;
iD.2620_17 = iD.2620_37 + 1;
ivtmp.20D.2696_2 = ivtmp.20D.2696_34 - 1;
if (ivtmp.20D.2696_2 != 0) goto <L14>; else goto <L15>;
And this is how the loop looks like now, after the patch:
# ivtmp.37D.2713_4 = PHI <ivtmp.37D.2713_1(2), 4(0)>;
# TMT.10D.2678_10 = PHI <TMT.10D.2678_11(2), TMT.10D.2678_9(0)>;
# SFT.4D.2672_41 = PHI <SFT.4D.2672_41(2), SFT.4D.2672_22(0)>;
# SFT.3D.2671_39 = PHI <SFT.3D.2671_39(2), SFT.3D.2671_23(0)>;
# iD.2620_37 = PHI <iD.2620_17(2), 0(0)>;
<L0>:;
# TMT.10D.2678_11 = V_MAY_DEF <TMT.10D.2678_10>;
thisD.2584_16->zD.2580[iD.2620_37] = 0;
iD.2620_17 = iD.2620_37 + 1;
ivtmp.37D.2713_1 = ivtmp.37D.2713_4 - 1;
if (ivtmp.37D.2713_1 != 0) goto <L14>; else goto <L15>;
SFT.3 no longer gets used inside the loop, so it doesn't get marked for
renaming, and the proper phis do not get created.
I tried to mark for renaming virtual variables that have phis in the loop, like
this SFT.3, as follows:
Index: tree-vectorizer.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/tree-vectorizer.c,v
retrieving revision 2.107
diff -c -3 -p -r2.107 tree-vectorizer.c
*** tree-vectorizer.c 28 Jul 2005 16:29:57 -0000 2.107
--- tree-vectorizer.c 9 Aug 2005 12:20:00 -0000
*************** slpeel_update_phi_nodes_for_guard1 (edge
*** 522,527 ****
--- 522,532 ----
orig_phi && update_phi;
orig_phi = PHI_CHAIN (orig_phi), update_phi = PHI_CHAIN (update_phi))
{
+ /* Virtual phi; Mark it for renaming. */
+ /* CHECKME: skip? */
+ if (!is_gimple_reg (SSA_NAME_VAR (PHI_RESULT (orig_phi))))
+ mark_sym_for_renaming (SSA_NAME_VAR (PHI_RESULT (orig_phi)));
+
/** 1. Handle new-merge-point phis **/
/* 1.1. Generate new phi node in NEW_MERGE_BB: */
This patch didn't help although SFT.3 was marked for renaming. Diego, any
ideas??
The other thing we could try to do is put virtual variables in loop-closed-
form, at least just before the vectorizer, and at least just for some loops.
(By the way, why don't we keep virtual variables in loop-closed-form?)
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |dnovillo at redhat dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (14 preceding siblings ...)
2005-08-09 15:39 ` dorit at il dot ibm dot com
@ 2005-08-09 17:01 ` bangerth at dealii dot org
2005-08-09 17:14 ` dorit at il dot ibm dot com
` (9 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: bangerth at dealii dot org @ 2005-08-09 17:01 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From bangerth at dealii dot org 2005-08-09 17:01 -------
(In reply to comment #11)
> I was also able to pin down the patch that triggered/exposed this problem:
>
> 2005-07-09 Diego Novillo <dnovillo@redhat.com>
I'm not sure what relationship this patch has wrt this PR -- I filed the PR
on 2005-06-28, so before Diego's patch. It may well have exposed a separate
problem, though.
W.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (15 preceding siblings ...)
2005-08-09 17:01 ` bangerth at dealii dot org
@ 2005-08-09 17:14 ` dorit at il dot ibm dot com
2005-08-09 17:20 ` bangerth at ices dot utexas dot edu
` (8 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: dorit at il dot ibm dot com @ 2005-08-09 17:14 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From dorit at il dot ibm dot com 2005-08-09 17:14 -------
> I'm not sure what relationship this patch has wrt this PR -- I filed the PR
> on 2005-06-28, so before Diego's patch. It may well have exposed a separate
> problem, though.
>
I tried a snaphost from 20050710, just before Diego's patch, and it passed
successfully. The next snapshot I tried, from the next day, with Diesgo's patch
and a few other bits, produced this error:
error: definition in block 1 does not dominate use in block 3
for SSA_NAME: SFT.3_39 in statement:
# VUSE <SFT.3_39>;
lsm_tmp.35_36 = D.2625.j;
pr22543.cc:26: internal compiler error: verify_ssa failed
Maybe there are multiple unrelated problems grouped under this one PR. Or maybe
PR22543 is not a duplicate of this one. This error one is the only one I can
currently reproduce.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (16 preceding siblings ...)
2005-08-09 17:14 ` dorit at il dot ibm dot com
@ 2005-08-09 17:20 ` bangerth at ices dot utexas dot edu
2005-08-12 17:36 ` pinskia at gcc dot gnu dot org
` (7 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: bangerth at ices dot utexas dot edu @ 2005-08-09 17:20 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From bangerth at ices dot utexas dot edu 2005-08-09 17:19 -------
Subject: Re: [4.1 regression] ICE with
-ftree-vectorize in verify_ssa
> Maybe there are multiple unrelated problems grouped under this one PR. Or maybe
> PR22543 is not a duplicate of this one. This error one is the only one I can
> currently reproduce.
It certainly can't hurt if you fix whatever you find is wrong at present.
If this works and a second problem is uncovered, we can always look at
that at a later time. Please go ahead with what you did, irrespective of
this question.
Thanks
Wolfgang
-------------------------------------------------------------------------
Wolfgang Bangerth email: bangerth@ices.utexas.edu
www: http://www.ices.utexas.edu/~bangerth/
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (17 preceding siblings ...)
2005-08-09 17:20 ` bangerth at ices dot utexas dot edu
@ 2005-08-12 17:36 ` pinskia at gcc dot gnu dot org
2005-08-14 14:00 ` dorit at il dot ibm dot com
` (6 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-08-12 17:36 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-08-12 17:36 -------
*** Bug 23352 has been marked as a duplicate of this bug. ***
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (18 preceding siblings ...)
2005-08-12 17:36 ` pinskia at gcc dot gnu dot org
@ 2005-08-14 14:00 ` dorit at il dot ibm dot com
2005-08-16 8:33 ` micis at gmx dot de
` (5 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: dorit at il dot ibm dot com @ 2005-08-14 14:00 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From dorit at il dot ibm dot com 2005-08-14 14:00 -------
patch: http://gcc.gnu.org/ml/gcc-patches/2005-08/msg00826.html
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (19 preceding siblings ...)
2005-08-14 14:00 ` dorit at il dot ibm dot com
@ 2005-08-16 8:33 ` micis at gmx dot de
2005-08-16 9:03 ` dorit at il dot ibm dot com
` (4 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: micis at gmx dot de @ 2005-08-16 8:33 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From micis at gmx dot de 2005-08-16 08:10 -------
I tried the patch with the actual snapshot (20050813) and it fails to bootstrap.
Without this patch bootstrap works.
Michael Cieslinski
export CFLAGS="-O3 -g -pipe -march=opteron -fmessage-length=0 -ffast-math -
funroll-all-loops -funit-at-a-time -fpeel-loops -funswitch-loops --param max-
gcse-passes=9 -fverbose-asm -msse2"
export CXXFLAGS=$CFLAGS
../gcc-4.1-20050813/configure --prefix=/usr/local/gcc41k --program-suffix=41k --
with-arch=opteron --enable-languages=c,c++ --enable-checking
make -j12 bootstrap
<....>
Bootstrapping the compiler
make[1]: Entering directory `/home/cie019/gcc41k/obj/gcc'
make CC=" stage1/xgcc -Bstage1/ -B/usr/local/gcc41k/x86_64-unknown-linux-
gnu/bin/" CC_FOR_BUILD=" stage1/xgcc -Bstage1/ -B/usr/local/gcc41k/x86_64-
unknown-linux-gnu/bin/" \
STAGE_PREFIX=stage1/ \
ADAFLAGS="" CFLAGS="-g -O2" LDFLAGS=""
WARN_CFLAGS="\$(GCC_WARN_CFLAGS)" STRICT_WARN="-pedantic -Wno-long-long -Wno-
variadic-macros -Wold-style-definition -Wmissing-format-attribute -Werror"
libdir=/usr/local/gcc41k/lib LANGUAGES="c gcov gcov-dump c++"
MAKEINFO="makeinfo --split-size=5000000" MAKEINFOFLAGS="--no-split"
MAKEOVERRIDES= OUTPUT_OPTION="-o \$@" \
CFLAGS="-g -O2" WERROR="-Werror"
make[2]: Entering directory `/home/cie019/gcc41k/obj/gcc'
stage1/xgcc -Bstage1/ -B/usr/local/gcc41k/x86_64-unknown-linux-gnu/bin/ -c -
g -O2 -DIN_GCC -W -Wall -Wwrite-strings -Wstrict-prototypes -Wmissing-
prototypes -pedantic -Wno-long-long -Wno-variadic-macros -Wold-style-
definition -Wmissing-format-attribute -Werror -fno-common -DHAVE_CONFIG_H -
I. -I. -I../../gcc-4.1-20050813/gcc -I../../gcc-4.1-20050813/gcc/. -I../../gcc-
4.1-20050813/gcc/../include -I../../gcc-4.1-
20050813/gcc/../libcpp/include ../../gcc-4.1-20050813/gcc/tree-vect-
transform.c -o tree-vect-transform.o
cc1: warnings being treated as errors
../../gcc-4.1-20050813/gcc/tree-vect-transform.c: In
function 'vect_transform_loop':
../../gcc-4.1-20050813/gcc/tree-vect-transform.c:2832: warning: pointer targets
in passing argument 4 of 'bmp_iter_set_init' differ in signedness
../../gcc-4.1-20050813/gcc/tree-vect-transform.c:2832: warning: pointer targets
in passing argument 2 of 'bmp_iter_set' differ in signedness
../../gcc-4.1-20050813/gcc/tree-vect-transform.c:2832: warning: pointer targets
in passing argument 2 of 'bmp_iter_next' differ in signedness
make[2]: *** [tree-vect-transform.o] Error 1
make[2]: Leaving directory `/home/cie019/gcc41k/obj/gcc'
make[1]: *** [stage2_build] Error 2
make[1]: Leaving directory `/home/cie019/gcc41k/obj/gcc'
make: *** [bootstrap] Error 2
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (20 preceding siblings ...)
2005-08-16 8:33 ` micis at gmx dot de
@ 2005-08-16 9:03 ` dorit at il dot ibm dot com
2005-08-16 16:45 ` dorit at il dot ibm dot com
` (3 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: dorit at il dot ibm dot com @ 2005-08-16 9:03 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From dorit at il dot ibm dot com 2005-08-16 08:48 -------
oops, I sent the worng patch (I also got this bootstrap error, and fixed it,
but sent the older patch by mistake) - will resend
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (21 preceding siblings ...)
2005-08-16 9:03 ` dorit at il dot ibm dot com
@ 2005-08-16 16:45 ` dorit at il dot ibm dot com
2005-08-17 7:31 ` micis at gmx dot de
` (2 subsequent siblings)
25 siblings, 0 replies; 27+ messages in thread
From: dorit at il dot ibm dot com @ 2005-08-16 16:45 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From dorit at il dot ibm dot com 2005-08-16 16:41 -------
patch: http://gcc.gnu.org/ml/gcc-patches/2005-08/msg00979.html
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (22 preceding siblings ...)
2005-08-16 16:45 ` dorit at il dot ibm dot com
@ 2005-08-17 7:31 ` micis at gmx dot de
2005-08-18 16:10 ` cvs-commit at gcc dot gnu dot org
2005-08-19 14:48 ` reichelt at gcc dot gnu dot org
25 siblings, 0 replies; 27+ messages in thread
From: micis at gmx dot de @ 2005-08-17 7:31 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From micis at gmx dot de 2005-08-17 07:24 -------
The new patch bootstraps on x86_64 but it does not fix the ICEs from pr23352
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (23 preceding siblings ...)
2005-08-17 7:31 ` micis at gmx dot de
@ 2005-08-18 16:10 ` cvs-commit at gcc dot gnu dot org
2005-08-19 14:48 ` reichelt at gcc dot gnu dot org
25 siblings, 0 replies; 27+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2005-08-18 16:10 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2005-08-18 16:08 -------
Subject: Bug 22228
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: dorit@gcc.gnu.org 2005-08-18 16:07:55
Modified files:
gcc : ChangeLog tree-ssa-loop.c tree-vect-transform.c
tree-vectorizer.c tree-vectorizer.h
gcc/testsuite : ChangeLog
Added files:
gcc/testsuite/g++.dg/vect: pr22543.cc
Log message:
PR tree-optimization/22228
* tree-ssa-loop (pass_vectorize): Add TODO_verify_loops to todo_flags_start.
* tree-vect-transform.c (vect_transform_loop): Mark the variables that
are recorded in vect_vnames_to_rename for renaming.
* tree-vectorizer.c (vect_vnames_to_rename): New global bitmap.
(slpeel_update_phi_nodes_for_guard1): Record virtual vars for renaming
in vect_vnames_to_rename.
(vectorize_loops): Allocate and free the vect_vnames_to_rename bitmap.
* tree-vectorizer.h (vect_vnames_to_rename): New extern variable.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9772&r2=2.9773
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-loop.c.diff?cvsroot=gcc&r1=2.33&r2=2.34
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-vect-transform.c.diff?cvsroot=gcc&r1=2.40&r2=2.41
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-vectorizer.c.diff?cvsroot=gcc&r1=2.107&r2=2.108
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-vectorizer.h.diff?cvsroot=gcc&r1=2.27&r2=2.28
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.5935&r2=1.5936
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/vect/pr22543.cc.diff?cvsroot=gcc&r1=NONE&r2=1.1
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread
* [Bug tree-optimization/22228] [4.1 regression] ICE with -ftree-vectorize in verify_ssa
2005-06-28 23:21 [Bug tree-optimization/22228] New: [4.1 regression] ICE with -ftree-vectorize bangerth at dealii dot org
` (24 preceding siblings ...)
2005-08-18 16:10 ` cvs-commit at gcc dot gnu dot org
@ 2005-08-19 14:48 ` reichelt at gcc dot gnu dot org
25 siblings, 0 replies; 27+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2005-08-19 14:48 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From reichelt at gcc dot gnu dot org 2005-08-19 14:47 -------
Fixed on mainline.
Btw, this fixes also the ICE from PR 23352 for me.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22228
^ permalink raw reply [flat|nested] 27+ messages in thread