--- Comment #4 from spop at gcc dot gnu dot org 2010-09-23 15:54 ---
Subject: Bug 45758
Author: spop
Date: Thu Sep 23 15:54:01 2010
New Revision: 164567
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=164567
Log:
Add testcase for PR45758.
2010-09-23 Sebastian Pop sebastian
--- Comment #9 from spop at gcc dot gnu dot org 2010-09-17 19:01 ---
Fixed.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|UNCONFIRMED
--- Comment #4 from spop at gcc dot gnu dot org 2010-09-16 17:19 ---
Subject: Bug 45680
Author: spop
Date: Thu Sep 16 17:19:25 2010
New Revision: 164345
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=164345
Log:
Fix PR45680.
2010-09-16 Reza Yazdani reza.yazd...@amd.com
--- Comment #5 from spop at gcc dot gnu dot org 2010-09-16 17:21 ---
Fixed.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|UNCONFIRMED
--- Comment #3 from spop at gcc dot gnu dot org 2010-08-20 23:50 ---
Subject: Bug 45230
Author: spop
Date: Fri Aug 20 23:49:58 2010
New Revision: 163432
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=163432
Log:
Add testcase for PR45230.
2010-08-20 Sebastian Pop sebastian
Version: 4.6.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: spop at gcc dot gnu dot org
ReportedBy: spop at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45313
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last
--- Comment #3 from spop at gcc dot gnu dot org 2010-08-17 20:41 ---
Subject: Bug 45229
Author: spop
Date: Tue Aug 17 20:41:26 2010
New Revision: 163319
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=163319
Log:
Fix PR45229: gcc.c-torture/execute/2412-4.c ICEs with -fgraphite
: ICE in loop distribution
Product: gcc
Version: 4.6.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: spop at gcc dot gnu dot org
ReportedBy: spop at gcc dot gnu dot org
http
Version: 4.6.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: bootstrap
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: spop at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45146
: UNCONFIRMED
Severity: normal
Priority: P3
Component: fortran
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: spop at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45117
--- Comment #1 from spop at gcc dot gnu dot org 2010-07-26 16:45 ---
This looks like a duplicate of a binutils bug:
http://sourceware.org/bugzilla/show_bug.cgi?id=6957
I fail to see how this is related to Graphite: you may find
other codes that are padded with NOPL that are triggering
--- Comment #2 from spop at gcc dot gnu dot org 2010-07-22 17:02 ---
Mine.
On trunk I am able to reproduce the ICE.
This is fixed in the Graphite branch, probably by the cleanup of the IV
canonicalization.
I will investigate a little bit more what happens in trunk
--- Comment #3 from spop at gcc dot gnu dot org 2010-07-21 15:44 ---
Subject: Bug 44955
Author: spop
Date: Wed Jul 21 15:44:24 2010
New Revision: 162381
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=162381
Log:
Fix PR 44955: Strip off the real and complex parts.
2010-07-21
--- Comment #4 from spop at gcc dot gnu dot org 2010-07-21 16:24 ---
Fixed.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|UNCONFIRMED
--- Comment #21 from spop at gcc dot gnu dot org 2010-07-09 23:09 ---
Subject: Bug 44576
Author: spop
Date: Fri Jul 9 23:08:55 2010
New Revision: 162023
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=162023
Log:
pr44576 Avoid un-necessary prefetch analysis by distributing
--- Comment #22 from spop at gcc dot gnu dot org 2010-07-09 23:12 ---
Fixed.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|NEW
--- Comment #3 from spop at gcc dot gnu dot org 2010-07-08 16:38 ---
Subject: Bug 44710
Author: spop
Date: Thu Jul 8 16:38:00 2010
New Revision: 161964
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=161964
Log:
Call maybe_fold_or_comparisons to fold OR-ed predicates.
2010-07-08
--- Comment #4 from spop at gcc dot gnu dot org 2010-07-08 16:40 ---
Fixed.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|ASSIGNED
--- Comment #18 from spop at gcc dot gnu dot org 2010-07-07 18:14 ---
Changpeng, should this PR be closed now?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44576
--- Comment #16 from spop at gcc dot gnu dot org 2010-07-02 16:34 ---
Subject: Bug 44576
Author: spop
Date: Fri Jul 2 16:34:29 2010
New Revision: 161727
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=161727
Log:
PR 44576: miss rate computation improvement for prefetching loop
--- Comment #1 from spop at gcc dot gnu dot org 2010-06-30 16:11 ---
Mine.
Let's transform this code:
base_alias_pair *bap;
if (dr-aux)
bap = (base_alias_pair *)(dr-aux);
into:
base_alias_pair *bap;
gcc_assert (dr-aux);
bap = (base_alias_pair
--- Comment #2 from spop at gcc dot gnu dot org 2010-06-29 13:56 ---
Mine.
Patch 0005 of http://gcc.gnu.org/ml/gcc-patches/2010-06/msg02250.html
fixes exactly this problem. I have not yet worked on correcting the patch
as Richi asked.
--
spop at gcc dot gnu dot org changed
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: spop at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44660
--- Comment #10 from spop at gcc dot gnu dot org 2010-06-17 23:33 ---
Fixed.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|UNCONFIRMED
--- Comment #2 from spop at gcc dot gnu dot org 2010-06-15 16:19 ---
Patch http://gcc.gnu.org/ml/gcc-patches/2010-06/msg01519.html
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44391
--- Comment #3 from spop at gcc dot gnu dot org 2010-06-15 19:12 ---
Subject: Bug 44391
Author: spop
Date: Tue Jun 15 19:11:59 2010
New Revision: 160803
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=160803
Log:
Fix PR44391: use size_one_node for pointer types.
2010-06-15
--- Comment #4 from spop at gcc dot gnu dot org 2010-06-15 19:13 ---
Fixed.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|ASSIGNED
--- Comment #6 from spop at gcc dot gnu dot org 2010-06-11 18:28 ---
Subject: Bug 44483
Author: spop
Date: Fri Jun 11 18:28:17 2010
New Revision: 160625
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=160625
Log:
Fix PR44483: incrementally gimplify BB predicates to avoid redundant
--- Comment #7 from spop at gcc dot gnu dot org 2010-06-11 18:30 ---
Fixed.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|ASSIGNED
--- Comment #9 from spop at gcc dot gnu dot org 2010-06-10 17:55 ---
Subject: Bug 44185
Author: spop
Date: Thu Jun 10 17:54:39 2010
New Revision: 160566
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=160566
Log:
Fix PR44185: prefetch test failures.
2010-06-10 Changpeng Fang
--- Comment #5 from spop at gcc dot gnu dot org 2010-06-10 22:59 ---
Patch http://gcc.gnu.org/ml/gcc-patches/2010-06/msg01155.html
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44483
--- Comment #4 from spop at gcc dot gnu dot org 2010-06-09 22:13 ---
Mine.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
AssignedTo|unassigned
--- Comment #11 from spop at gcc dot gnu dot org 2010-06-02 16:39 ---
Subject: Bug 44363
Author: spop
Date: Wed Jun 2 16:39:26 2010
New Revision: 160163
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=160163
Log:
Fix PR44363: don't abort when the ifcvt analysis fails to recognize
--- Comment #12 from spop at gcc dot gnu dot org 2010-06-02 16:42 ---
Fixed.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|UNCONFIRMED
--- Comment #1 from spop at gcc dot gnu dot org 2010-06-02 19:28 ---
Mine.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
AssignedTo|unassigned
--- Comment #10 from spop at gcc dot gnu dot org 2010-06-01 18:18 ---
Patch: http://gcc.gnu.org/ml/gcc-patches/2010-06/msg00063.html
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44363
--- Comment #5 from spop at gcc dot gnu dot org 2010-05-29 17:14 ---
Subject: Bug 44306
Author: spop
Date: Sat May 29 17:14:31 2010
New Revision: 160031
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=160031
Log:
Don't use unshare_expr when not necessary.
2010-05-29 Sebastian
--- Comment #6 from spop at gcc dot gnu dot org 2010-05-29 17:15 ---
Fixed.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|ASSIGNED
--- Comment #3 from spop at gcc dot gnu dot org 2010-05-28 14:46 ---
Confirmed.
I think that this one is a bug in CLooG-PPL. I will have a look at it.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #3 from spop at gcc dot gnu dot org 2010-05-28 14:46 ---
Mine.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
AssignedTo|unassigned
--- Comment #3 from spop at gcc dot gnu dot org 2010-05-28 18:38 ---
Subject: Bug 44293
Author: spop
Date: Fri May 28 18:38:06 2010
New Revision: 159990
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=159990
Log:
Check the if-convertibility of phi nodes in non predicated BBs
--- Comment #4 from spop at gcc dot gnu dot org 2010-05-28 18:46 ---
Fixed.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|NEW
--- Comment #4 from spop at gcc dot gnu dot org 2010-05-28 23:38 ---
Patch: http://gcc.gnu.org/ml/gcc-patches/2010-05/msg02294.html
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44306
--- Comment #11 from spop at gcc dot gnu dot org 2010-05-25 23:33 ---
This is not a IV type problem: the number of iterations may be zero when mid ==
0 or mid == n, so the number of iterations analysis has a condition under which
niter may_be_zero.
I sent out a patch that makes niter
--- Comment #8 from spop at gcc dot gnu dot org 2010-05-24 22:44 ---
-fgraphite-identity does iteration splitting for this case.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43423
--- Comment #10 from spop at gcc dot gnu dot org 2010-05-24 23:02 ---
note: not vectorized: number of iterations cannot be computed.
Graphite has a problem with the generation of induction variables types
that makes the code harder to analyze after Graphite. I will try to get
--- Comment #3 from spop at gcc dot gnu dot org 2010-05-20 15:30 ---
Subject: Bug 44185
Author: spop
Date: Thu May 20 15:29:40 2010
New Revision: 159630
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=159630
Log:
Fix PR44185: new prefetch test failures.
2010-05-20 Changpeng Fang
--- Comment #4 from spop at gcc dot gnu dot org 2010-05-20 15:30 ---
Fixed.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|UNCONFIRMED
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: spop at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43737
--- Comment #1 from spop at gcc dot gnu dot org 2010-04-13 05:41 ---
This commit causes the bootstrap to fail at -O3.
c26ce8a90a7c8ef9b6587959083d12f6edbc5e01 is first bad commit
commit c26ce8a90a7c8ef9b6587959083d12f6edbc5e01
Author: rguenth rgue...@138bc75d-0d04-0410-961f
--- Comment #10 from spop at gcc dot gnu dot org 2010-04-11 05:45 ---
Fixed.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|UNCONFIRMED
--- Comment #5 from spop at gcc dot gnu dot org 2010-04-08 17:40 ---
Fixed.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|NEW
--- Comment #6 from spop at gcc dot gnu dot org 2010-04-08 17:47 ---
I changed the title of this bug to match the comments in the PR:
we should vectorize this loop using if-conversion, and not iteration
range splitting.
Also note that in general, by doing an iteration range splitting
--- Comment #8 from spop at gcc dot gnu dot org 2010-04-06 06:14 ---
Subject: Bug 43519
Author: spop
Date: Tue Apr 6 06:14:26 2010
New Revision: 157978
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=157978
Log:
Fix 473.astar miscompile.
2010-04-05 Sebastian Pop sebastian
--- Comment #2 from spop at gcc dot gnu dot org 2010-04-06 15:45 ---
The fix looks good.
Are you testing this patch, or should I ask Quentin to extra test it on our
end?
Thanks,
Sebastian
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43667
--- Comment #9 from spop at gcc dot gnu dot org 2010-04-06 19:20 ---
Subject: Bug 32824
Author: spop
Date: Tue Apr 6 19:19:41 2010
New Revision: 158018
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=158018
Log:
Fix PR32824.
2010-04-06 Changpeng Fang changpeng.f...@amd.com
--- Comment #9 from spop at gcc dot gnu dot org 2010-04-06 21:01 ---
Subject: Bug 43519
Author: spop
Date: Tue Apr 6 21:01:16 2010
New Revision: 158026
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=158026
Log:
Compute min and max bounds for IVs and infer types.
2010-04-04
--- Comment #10 from spop at gcc dot gnu dot org 2010-04-06 21:02 ---
Fixed.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|UNCONFIRMED
--- Comment #11 from spop at gcc dot gnu dot org 2010-04-06 21:03 ---
Subject: Bug 43519
Author: spop
Date: Tue Apr 6 21:02:25 2010
New Revision: 158027
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=158027
Log:
Use POINTER_PLUS_EXPR for pointer types.
2010-04-04 Sebastian Pop
--- Comment #12 from spop at gcc dot gnu dot org 2010-04-06 21:03 ---
Subject: Bug 43519
Author: spop
Date: Tue Apr 6 21:03:37 2010
New Revision: 158028
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=158028
Log:
Fix 473.astar miscompile.
2010-04-05 Sebastian Pop sebastian
--- Comment #1 from spop at gcc dot gnu dot org 2010-04-05 06:59 ---
Subject: Bug 43519
Author: spop
Date: Mon Apr 5 06:58:46 2010
New Revision: 157963
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=157963
Log:
Compute min and max bounds for IVs and infer types.
2010-04-04
--- Comment #5 from spop at gcc dot gnu dot org 2010-04-06 03:16 ---
Subject: Bug 43519
Author: spop
Date: Tue Apr 6 03:15:58 2010
New Revision: 157976
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=157976
Log:
Use POINTER_PLUS_EXPR for pointer types.
2010-04-04 Sebastian Pop
--- Comment #5 from spop at gcc dot gnu dot org 2010-04-06 03:16 ---
Subject: Bug 43519
Author: spop
Date: Tue Apr 6 03:15:58 2010
New Revision: 157976
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=157976
Log:
Use POINTER_PLUS_EXPR for pointer types.
2010-04-04 Sebastian Pop
--- Comment #4 from spop at gcc dot gnu dot org 2010-04-01 18:59 ---
I think that this bug should be closed as fixed,
unless we change the subject to:
At -O3 the loop is not interchanged and thus not vectorized.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43427
--- Comment #4 from spop at gcc dot gnu dot org 2010-03-31 18:37 ---
Subject: Bug 43351
Author: spop
Date: Wed Mar 31 18:36:45 2010
New Revision: 157882
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=157882
Log:
Add testcase for PR43351.
2010-03-13 Sebastian Pop sebastian
--- Comment #15 from spop at gcc dot gnu dot org 2010-03-31 18:38 ---
Subject: Bug 43464
Author: spop
Date: Wed Mar 31 18:37:41 2010
New Revision: 157889
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=157889
Log:
Fix PR43464: copyprop should maintain loop close phi nodes
--- Comment #16 from spop at gcc dot gnu dot org 2010-03-31 18:48 ---
Fixed.
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
Status|NEW
--- Comment #14 from spop at gcc dot gnu dot org 2010-03-30 16:57 ---
Subject: Bug 43464
Author: spop
Date: Tue Mar 30 16:56:49 2010
New Revision: 157828
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=157828
Log:
Fix PR43464: copyprop should maintain loop close phi nodes
--- Comment #6 from spop at gcc dot gnu dot org 2010-03-30 19:58 ---
Subject: Bug 43430
Author: spop
Date: Tue Mar 30 19:58:35 2010
New Revision: 157833
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=157833
Log:
Replace type != type comparisons with types_compatible_p.
2010-03
--- Comment #2 from spop at gcc dot gnu dot org 2010-03-28 15:56 ---
(In reply to comment #1)
What does this message mean?
vector iteration cost = 2056 is divisible by scalar iteration cost = 4 by a
factor greater than or equal to the vectorization factor = 4
--- Comment #4 from spop at gcc dot gnu dot org 2010-03-28 16:28 ---
What about fixing the diagnostic message like this:
diff --git a/gcc/tree-vect-data-refs.c b/gcc/tree-vect-data-refs.c
index 37ae9b5..44248b3 100644
--- a/gcc/tree-vect-data-refs.c
+++ b/gcc/tree-vect-data-refs.c
--- Comment #5 from spop at gcc dot gnu dot org 2010-03-28 16:35 ---
When defining the missing function like this:
static inline int mid_pred(int a, int b, int c)
{
int t= (a-b)((a-b)31);
a-=t;
b+=t;
b-= (b-c)((b-c)31);
b+= (a-b)((a-b)31);
return b
--- Comment #3 from spop at gcc dot gnu dot org 2010-03-28 16:57 ---
What about fixing this bug with
diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c
index afbd342..2601b58 100644
--- a/gcc/tree-vect-loop.c
+++ b/gcc/tree-vect-loop.c
@@ -2173,9 +2173,9
--- Comment #1 from spop at gcc dot gnu dot org 2010-03-26 20:08 ---
Due to the FORNOW fail in vectorizable_condition:
int nunits = TYPE_VECTOR_SUBPARTS (vectype);
int ncopies = LOOP_VINFO_VECT_FACTOR (loop_vinfo) / nunits;
if (ncopies 1)
return false; /* FORNOW
--- Comment #2 from spop at gcc dot gnu dot org 2010-03-26 20:13 ---
Reduced testcase, for which ncopies is 4.
typedef unsigned char uint8_t;
vsad16_c (void *c, uint8_t * s1, uint8_t * s2, int stride, int h)
{
int score = 0;
int x, y;
for (x = 0; x 16; x++)
score += ((s1[x
--- Comment #3 from spop at gcc dot gnu dot org 2010-03-26 20:26 ---
vectorizable_condition has to be cleaned up of this condition:
/* We do not handle two different vector types for the condition
and the values. */
if (TREE_TYPE (TREE_OPERAND (cond_expr, 0)) != TREE_TYPE
--- Comment #4 from spop at gcc dot gnu dot org 2010-03-26 20:49 ---
This cleanup of vectorizable_condition allows this testcase to be vectorized:
typedef int uint8_t;
vsad16_c (void *c, uint8_t * s1, uint8_t * s2, int stride, int h)
{
int score = 0;
int x, y;
for (x = 0; x 16
--- Comment #5 from spop at gcc dot gnu dot org 2010-03-26 21:18 ---
Created an attachment (id=20218)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20218action=view)
Cleanup comparisons of types
This patch replaces with types_compatible_p all the places in the
vectorizer that were
--- Comment #12 from spop at gcc dot gnu dot org 2010-03-25 15:15 ---
The patch for the fix is:
http://gcc.gnu.org/viewcvs?view=revisionrevision=157286
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42130
libs
Product: gcc
Version: 4.5.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: spop at gcc dot gnu dot org
http
--- Comment #30 from spop at gcc dot gnu dot org 2010-03-24 20:17 ---
Fixed.
Please use ftp://gcc.gnu.org/pub/gcc/infrastructure/cloog-ppl-0.15.9.tar.gz
--
spop at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #1 from spop at gcc dot gnu dot org 2010-03-24 21:11 ---
I don't think this is due to the interchange heuristic,
it looks more like a missed vectorization problem after Graphite.
Closing the bug.
--
spop at gcc dot gnu dot org changed:
What|Removed
--- Comment #27 from spop at gcc dot gnu dot org 2010-03-23 20:08 ---
I just verified that the problem is well in CLooG-PPL.
With CLooG-ISL we generate a correct code that looks like this:
for (c2=1;c2=D.1554_10-3;c2++) {
S1(c2);
for (c4=0;c4=c2-1;c4++) {
S2(c2,c4
--- Comment #28 from spop at gcc dot gnu dot org 2010-03-23 21:24 ---
I fixed this problem in CLooG-PPL: the code generated with
the new version looks like the code generated by CLooG-ISL:
for (c2=1;c2=D.1554_10-3;c2++) {
S1(c2);
for (c4=0;c4=c2-1;c4++) {
S2(c2,c4
--- Comment #29 from spop at gcc dot gnu dot org 2010-03-23 21:27 ---
Also note that with the fix in CLooG-PPL,
gfortran -O2 -fgraphite-identity air.f90 -o air
./air
passes without error.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42181
--- Comment #13 from spop at gcc dot gnu dot org 2010-03-22 15:47 ---
Note that
* tree-ssa-copy.c (init_copy_prop): Loop closed phi nodes can
contain more than one argument.
breaks both 464.h264ref and 416.gamess with -O3. See for example
http://groups.google.com
: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: spop at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43464
--- Comment #1 from spop at gcc dot gnu dot org 2010-03-21 07:01 ---
Created an attachment (id=20148)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20148action=view)
pr43464.i
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43464
--- Comment #2 from spop at gcc dot gnu dot org 2010-03-21 07:06 ---
Created an attachment (id=20149)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20149action=view)
proposed fix
The proposed fix is to recompute the loop closed SSA form after copy
propagation.
--
http
--- Comment #3 from spop at gcc dot gnu dot org 2010-03-21 07:32 ---
Subject: Bug 43464
Author: spop
Date: Sun Mar 21 07:32:43 2010
New Revision: 157602
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=157602
Log:
Fix PR43464: update loop close SSA once copy prop is done.
2010-03
--- Comment #6 from spop at gcc dot gnu dot org 2010-03-21 17:01 ---
Further reduced testcase:
typedef struct regnode
{
char flags;
} regnode;
extern const unsigned char A[];
char *foo (regnode *c, char *s, int norun)
{
int uskip;
while (s + (uskip = A[*s]))
{
if ((c
--- Comment #7 from spop at gcc dot gnu dot org 2010-03-21 17:17 ---
The problem is that copyprop does this change:
@@ -25,7 +25,7 @@
bb 12:
# .MEM_16 = PHI .MEM_18(10), .MEM_20(11)
# s_66 = PHI s_1(10), s_1(11)
-s_13 = s_66;
+s_13 = s_1;
goto bb 16 (got_it
--- Comment #10 from spop at gcc dot gnu dot org 2010-03-22 00:17 ---
Yes, this patch does fix the problem.
diff --git a/gcc/tree-ssa-copy.c b/gcc/tree-ssa-copy.c
index 57c6558..61e32cc 100644
--- a/gcc/tree-ssa-copy.c
+++ b/gcc/tree-ssa-copy.c
@@ -797,7 +797,6 @@ init_copy_prop (void
--- Comment #11 from spop at gcc dot gnu dot org 2010-03-22 00:26 ---
I would still like to see some extra checking after copyprop:
would this extra check be ok to commit with the fix?
diff --git a/gcc/tree-ssa-copy.c b/gcc/tree-ssa-copy.c
index 61e32cc..011a80a 100644
--- a/gcc/tree
--- Comment #12 from spop at gcc dot gnu dot org 2010-03-22 01:29 ---
Subject: Bug 43464
Author: spop
Date: Mon Mar 22 01:28:51 2010
New Revision: 157617
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=157617
Log:
Fix PR43464: loop close phi nodes can contain more than one
--- Comment #5 from spop at gcc dot gnu dot org 2010-03-18 18:51 ---
Yes,
I think we should improve if-conversion to handle more complex cases.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43423
--- Comment #2 from spop at gcc dot gnu dot org 2010-03-18 18:59 ---
In the output of ./cc1 -O3 -floop-interchange -fdump-tree-graphite-all
-ftree-vectorizer-verbose=7
we have: Loops at depths 0 and 1 will be interchanged.
so we do the interchange, but then the vectorizer complains
--- Comment #3 from spop at gcc dot gnu dot org 2010-03-18 19:01 ---
./cc1 -O3 -msse2 -ffast-math -ftree-vectorizer-verbose=2 pr43427.c
-ftree-loop-linear
pr43427.c:6: note: not vectorized: complicated access pattern.
pr43427.c:7: note: LOOP VECTORIZED.
pr43427.c:3: note: vectorized 1
at gcc dot gnu dot org
ReportedBy: spop at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43430
1 - 100 of 734 matches
Mail list logo
