[Bug middle-end/42930] [graphite] crash when compiling scummvm on Ubuntu 9.10/amd64 with -floop-block
--- Comment #4 from spop at gcc dot gnu dot org 2010-02-11 06:00 --- Fixed on the Graphite branch, I will commit this to trunk after automatic tests. -- spop at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |spop at gcc dot gnu dot org |dot org | Status|UNCONFIRMED |ASSIGNED Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2010-02-11 06:00:42 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42930
[Bug regression/40886] [4.3/4.4/4.5 Regression] No loop counter reversal for simple loops anymore
--- Comment #12 from spop at gcc dot gnu dot org 2010-02-09 17:17 --- Hi, I just checked the back-end cost tables and there is no cost entry for compare against zero. I guess that we should just add a TODO comment around the code that we're adding, and then add the cost field in GCC 4.6. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40886
[Bug regression/40886] [4.3/4.4/4.5 Regression] No loop counter reversal for simple loops anymore
--- Comment #9 from spop at gcc dot gnu dot org 2010-02-09 04:57 --- Hi, As suggested by Zdenek, here is a patch that lowers the cost of the IV when it is compared against zero in a condition. The fragile part of this patch is that it lowers the cost by a magical constant 10. Would there be a more appropriate way to compute the effect, or a better constant? Thanks, Sebastian and Changpeng Fang diff --git a/gcc/tree-ssa-loop-ivopts.c b/gcc/tree-ssa-loop-ivopts.c index 436e6ce..5050d0c 100644 --- a/gcc/tree-ssa-loop-ivopts.c +++ b/gcc/tree-ssa-loop-ivopts.c @@ -4089,6 +4089,7 @@ determine_use_iv_cost_condition (struct ivopts_data *data, bitmap depends_on_elim = NULL, depends_on_express = NULL, depends_on; comp_cost elim_cost, express_cost, cost; bool ok; + tree *control_var, *bound_cst; /* Only consider real candidates. */ if (!cand-iv) @@ -4110,9 +4111,17 @@ determine_use_iv_cost_condition (struct ivopts_data *data, /* Try expressing the original giv. If it is compared with an invariant, note that we cannot get rid of it. */ - ok = extract_cond_operands (data, use-stmt, NULL, NULL, NULL, cmp_iv); + ok = extract_cond_operands (data, use-stmt, control_var, bound_cst, + NULL, cmp_iv); gcc_assert (ok); + /* When the condition is a comparison of the candidate IV against + zero, prefer this IV. */ + if (integer_zerop (*bound_cst) + (operand_equal_p (*control_var, cand-var_after, 0) + || operand_equal_p (*control_var, cand-var_before, 0))) +elim_cost.cost -= 10; + express_cost = get_computation_cost (data, use, cand, false, depends_on_express, NULL); fd_ivopts_data = data; -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40886
[Bug regression/40886] [4.3/4.4/4.5 Regression] No loop counter reversal for simple loops anymore
--- Comment #10 from spop at gcc dot gnu dot org 2010-02-09 06:00 --- Note that subtracting 1 from the cost of the candidate IV works as well for this PR's testcase and we generate this asm with the patch: .file pr40886.c .text .p2align 4,,15 .globl main .type main, @function main: .LFB0: .cfi_startproc pushq %rbx .cfi_def_cfa_offset 16 movl$10, %ebx .cfi_offset 3, -16 .p2align 4,,10 .p2align 3 .L2: xorl%eax, %eax callf2 subl$1, %ebx jne .L2 popq%rbx .cfi_def_cfa_offset 8 ret .cfi_endproc .LFE0: .size main, .-main .ident GCC: (GNU) 4.5.0 20100207 (experimental) .section.note.GNU-stack,,@progbits -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40886
[Bug middle-end/42988] [4.5 regression] 2 libgomp test failures
--- Comment #3 from spop at gcc dot gnu dot org 2010-02-07 19:49 --- Subject: Bug 42988 Author: spop Date: Sun Feb 7 19:49:06 2010 New Revision: 156582 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=156582 Log: Fix PR42988: handle unknown_dependence. 2010-02-07 Sebastian Pop sebastian@amd.com PR middle-end/42988 * graphite-dependences.c (dependence_polyhedron): Set PDDR_KIND to unknown_dependence. (graphite_legal_transform_dr): Handle the unknown_dependence. (graphite_carried_dependence_level_k): Same. * testsuite/libgomp.graphite/force-parallel-5.c: Un-XFAILed. * testsuite/libgomp.graphite/pr41118.c: Renamed from pr4118. Added: trunk/libgomp/testsuite/libgomp.graphite/pr41118.c - copied, changed from r156581, trunk/libgomp/testsuite/libgomp.graphite/pr4118.c Removed: trunk/libgomp/testsuite/libgomp.graphite/pr4118.c Modified: trunk/gcc/ChangeLog.graphite trunk/gcc/graphite-dependences.c trunk/libgomp/ChangeLog.graphite trunk/libgomp/testsuite/libgomp.graphite/force-parallel-5.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42988
[Bug middle-end/42988] [4.5 regression] 2 libgomp test failures
--- Comment #4 from spop at gcc dot gnu dot org 2010-02-07 19:50 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42988
[Bug middle-end/42860] ICE in gcc-4.4.3 with graphite
--- Comment #2 from spop at gcc dot gnu dot org 2010-02-08 05:50 --- Works with trunk GCC 4.5 at rev. 156585. -- spop at gcc dot gnu dot org changed: What|Removed |Added Known to work||4.5.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42860
[Bug bootstrap/39395] cloog link failure with non-gcc bootstrap compiler
--- Comment #3 from spop at gcc dot gnu dot org 2010-02-08 05:58 --- This should be fixed by now. Please open again this PR if this is still a problem. Sebastian -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39395
[Bug other/42530] [graphite] ICE in verify_ssa when using -O -g -ffast-math -floop-parallelize-all
--- Comment #3 from spop at gcc dot gnu dot org 2010-02-08 06:09 --- Mine. -- spop at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |spop at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Last reconfirmed|2009-12-29 05:10:35 |2010-02-08 06:09:01 date|| Summary|ICE in verify_ssa when using|[graphite] ICE in verify_ssa |-O -g -ffast-math -floop- |when using -O -g -ffast-math |parallelize-all |-floop-parallelize-all http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42530
[Bug middle-end/42914] [4.5 Regression][graphite] ICE with -g -ffast-math -fgraphite-identity -O2: verify_ssa failed
--- Comment #2 from spop at gcc dot gnu dot org 2010-02-08 06:09 --- Mine. -- spop at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |spop at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Last reconfirmed|2010-02-02 13:33:02 |2010-02-08 06:09:39 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42914
[Bug middle-end/42914] [4.5 Regression][graphite] ICE with -g -ffast-math -fgraphite-identity -O2: verify_ssa failed
--- Comment #3 from spop at gcc dot gnu dot org 2010-02-08 06:10 --- May be a dup of PR42530. -- spop at gcc dot gnu dot org changed: What|Removed |Added BugsThisDependsOn||42530 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42914
[Bug middle-end/42479] [graphite] Wrong code with -floop-block
--- Comment #7 from spop at gcc dot gnu dot org 2010-02-06 16:33 --- This problem is fixed by the patch for PR42637 installed in the Graphite branch. *** This bug has been marked as a duplicate of 42637 *** -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||DUPLICATE http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42479
[Bug tree-optimization/42637] [4.5 Regression][graphite] wrong code for -floop-interchange -ftree-loop-distribution
--- Comment #8 from spop at gcc dot gnu dot org 2010-02-06 16:33 --- *** Bug 42479 has been marked as a duplicate of this bug. *** -- spop at gcc dot gnu dot org changed: What|Removed |Added CC||dominiq at lps dot ens dot ||fr http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42637
[Bug tree-optimization/42558] [4.5 Regression][graphite] miscompilation related to -floop-block
--- Comment #4 from spop at gcc dot gnu dot org 2010-02-06 16:44 --- This problem is fixed by the patch for PR42637 as installed in the Graphite branch. I would like to include the testcase from this PR in the Graphite testsuite. Could somebody more fluent in Fortran rewrite the testcase under the same format as the testcase of PR42637 with a condition like this: if (res.ne.1.0d0) then call abort() end if Thanks, Sebastian *** This bug has been marked as a duplicate of 42637 *** -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||DUPLICATE http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42558
[Bug tree-optimization/42637] [4.5 Regression][graphite] wrong code for -floop-interchange -ftree-loop-distribution
--- Comment #9 from spop at gcc dot gnu dot org 2010-02-06 16:44 --- *** Bug 42558 has been marked as a duplicate of this bug. *** -- spop at gcc dot gnu dot org changed: What|Removed |Added CC||jv244 at cam dot ac dot uk http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42637
[Bug tree-optimization/42637] [4.5 Regression][graphite] wrong code for -floop-interchange -ftree-loop-distribution
--- Comment #10 from spop at gcc dot gnu dot org 2010-02-06 17:42 --- Subject: Bug 42637 Author: spop Date: Sat Feb 6 17:41:54 2010 New Revision: 156552 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=156552 Log: Fix PR42637. 2010-02-05 Sebastian Pop sebastian@amd.com Konrad Trifunovic konrad.trifuno...@inria.fr PR middle-end/42637 * graphite-dependences.c (build_lexicographical_constraint): Return a union of dependence polyhedra. (dependence_polyhedron_1): Adapt for build_lexicographical_constraint. * testsuite/gcc.dg/graphite/block-0.c: Enable runtime check. XFAILed. * testsuite/gcc.dg/graphite/block-4.c: Same. * testsuite/gcc.dg/graphite/block-7.c: Same. * testsuite/gcc.dg/graphite/interchange-12.c: Same. * testsuite/gcc.dg/graphite/interchange-mvt.c: Same. * testsuite/gfortran.dg/graphite/interchange-1.f: XFAILed. * testsuite/gfortran.dg/graphite/interchange-3.f90: XFAILed. * testsuite/gfortran.dg/graphite/run-id-1.f: New testcase for PR42637. Added: trunk/gcc/testsuite/gfortran.dg/graphite/run-id-1.f Modified: trunk/gcc/ChangeLog.graphite trunk/gcc/graphite-dependences.c trunk/gcc/testsuite/gcc.dg/graphite/block-0.c trunk/gcc/testsuite/gcc.dg/graphite/block-4.c trunk/gcc/testsuite/gcc.dg/graphite/block-7.c trunk/gcc/testsuite/gcc.dg/graphite/interchange-12.c trunk/gcc/testsuite/gcc.dg/graphite/interchange-mvt.c trunk/gcc/testsuite/gfortran.dg/graphite/interchange-1.f trunk/gcc/testsuite/gfortran.dg/graphite/interchange-3.f90 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42637
[Bug tree-optimization/42637] [4.5 Regression][graphite] wrong code for -floop-interchange -ftree-loop-distribution
--- Comment #11 from spop at gcc dot gnu dot org 2010-02-06 17:42 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42637
[Bug middle-end/42181] [4.5 Regression][graphite] -fgraphite-identity miscompiles or ICEs on air.f90
--- Comment #13 from spop at gcc dot gnu dot org 2010-02-06 17:44 --- Still fails after PR42637 has been fixed. NB: that this miscompile is for -fgraphite-identity not with the loop opts. -- spop at gcc dot gnu dot org changed: What|Removed |Added BugsThisDependsOn|42637 | AssignedTo|trifunovic at gcc dot gnu |spop at gcc dot gnu dot org |dot org | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42181
[Bug middle-end/42988] [4.5 regression] 2 libgomp test failures
--- Comment #1 from spop at gcc dot gnu dot org 2010-02-07 07:39 --- Subject: Bug 42988 Author: spop Date: Sun Feb 7 07:38:59 2010 New Revision: 156565 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=156565 Log: Fix PR42988: handle unknown_dependence. 2010-02-07 Sebastian Pop sebastian@amd.com PR middle-end/42988 * graphite-dependences.c (dependence_polyhedron): Set PDDR_KIND to unknown_dependence. (graphite_legal_transform_dr): Handle the unknown_dependence. (graphite_carried_dependence_level_k): Same. * testsuite/libgomp.graphite/force-parallel-5.c: Un-XFAILed. * testsuite/libgomp.graphite/pr41118.c: Renamed from pr4118. Added: branches/graphite/libgomp/testsuite/libgomp.graphite/pr41118.c - copied, changed from r156564, branches/graphite/libgomp/testsuite/libgomp.graphite/pr4118.c Removed: branches/graphite/libgomp/testsuite/libgomp.graphite/pr4118.c Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite-dependences.c branches/graphite/libgomp/ChangeLog.graphite branches/graphite/libgomp/testsuite/libgomp.graphite/force-parallel-5.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42988
[Bug middle-end/42298] [4.5 Regression][graphite] GCC fails validity in mdbx in polyhedral benchmark.
--- Comment #5 from spop at gcc dot gnu dot org 2010-02-07 07:49 --- As Richi reported, it makes no sense to have a miscompile due to Graphite in *trunk* with -O2 -fno-loop-block -fno-loop-strip-mine: these flags do not enable Graphite in trunk and Graphite is not enabled in trunk. I am closing this PR as invalid, and if people find out that at -O2 mdbx is still miscompiled, they should open a new PR. Sebastian -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42298
[Bug tree-optimization/42771] [4.5 Regression][graphite] ICE: in graphite_loop_normal_form, at graphite-sese-to-poly.c (2)
--- Comment #7 from spop at gcc dot gnu dot org 2010-02-07 07:52 --- Mine. -- spop at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |spop at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Last reconfirmed|2010-01-16 22:36:03 |2010-02-07 07:52:02 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42771
[Bug tree-optimization/42637] [4.5 Regression][graphite] wrong code for -floop-interchange -ftree-loop-distribution
--- Comment #7 from spop at gcc dot gnu dot org 2010-02-06 07:14 --- Subject: Bug 42637 Author: spop Date: Sat Feb 6 07:13:39 2010 New Revision: 156538 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=156538 Log: Fix PR42637. 2010-02-05 Sebastian Pop sebastian@amd.com Konrad Trifunovic konrad.trifuno...@inria.fr PR middle-end/42637 * graphite-dependences.c (build_lexicographical_constraint): Return a union of dependence polyhedra. (dependence_polyhedron_1): Adapt for build_lexicographical_constraint. * testsuite/gcc.dg/graphite/block-0.c: Enable runtime check. XFAILed. * testsuite/gcc.dg/graphite/block-4.c: Same. * testsuite/gcc.dg/graphite/block-7.c: Same. * testsuite/gcc.dg/graphite/interchange-12.c: Same. * testsuite/gcc.dg/graphite/interchange-mvt.c: Same. * testsuite/gfortran.dg/graphite/interchange-1.f: XFAILed. * testsuite/gfortran.dg/graphite/interchange-3.f90: XFAILed. * testsuite/gfortran.dg/graphite/run-id-1.f: New testcase for PR42637. Added: branches/graphite/gcc/testsuite/gfortran.dg/graphite/run-id-1.f Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite-dependences.c branches/graphite/gcc/testsuite/gcc.dg/graphite/block-0.c branches/graphite/gcc/testsuite/gcc.dg/graphite/block-4.c branches/graphite/gcc/testsuite/gcc.dg/graphite/block-7.c branches/graphite/gcc/testsuite/gcc.dg/graphite/interchange-12.c branches/graphite/gcc/testsuite/gcc.dg/graphite/interchange-mvt.c branches/graphite/gcc/testsuite/gfortran.dg/graphite/interchange-1.f branches/graphite/gcc/testsuite/gfortran.dg/graphite/interchange-3.f90 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42637
[Bug rtl-optimization/24319] [4.3/4.4/4.5 regression] amd64 register spill error with -fschedule-insns
--- Comment #25 from spop at gcc dot gnu dot org 2010-02-02 18:02 --- http://gcc.gnu.org/ml/gcc-patches/2009-09/msg3.html was committed to trunk http://gcc.gnu.org/viewcvs?view=revisionrevision=151348 -- spop at gcc dot gnu dot org changed: What|Removed |Added Known to work|3.3.3 |3.3.3 4.5.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24319
[Bug rtl-optimization/24319] [4.3/4.4 regression] amd64 register spill error with -fschedule-insns
--- Comment #27 from spop at gcc dot gnu dot org 2010-02-03 06:20 --- Right. On trunk both the reduced testcase and the original testcase pass without ICE. I forgot to take 4.5 out of the summary, thanks for reminding me. -- spop at gcc dot gnu dot org changed: What|Removed |Added Summary|[4.3/4.4/4.5 regression]|[4.3/4.4 regression] amd64 |amd64 register spill error |register spill error with - |with -fschedule-insns |fschedule-insns http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24319
[Bug middle-end/42914] New: [4.5 Regression][graphite] ICE with -g -ffast-math -fgraphite-identity -O2: verify_ssa failed
int find_sad_16x16(int *intra_mode) { int current_intra_sad_2,best_intra_sad2; int M1[16][16],M0[4][4][4][4],M3[4],M4[4][4]; int i,j,k; int ii,jj; for (jj=0;jj4;jj++) for (ii=0;ii4;ii++) for (j=0;j4;j++) for (j=0;j4;j++) current_intra_sad_2 += abs(M0[i][ii][j][jj]); if(current_intra_sad_2 best_intra_sad2) { best_intra_sad2=current_intra_sad_2; *intra_mode = k; } } This reduced testcase comes from h264 in the SPEC2006. It crashes GCC only when compiling with -g -ffast-math -fgraphite-identity and with -Os, -O2, or -O3. The ICE disappears when removing -g. -- Summary: [4.5 Regression][graphite] ICE with -g -ffast-math - fgraphite-identity -O2: verify_ssa failed 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://gcc.gnu.org/bugzilla/show_bug.cgi?id=42914
[Bug middle-end/42914] [4.5 Regression][graphite] ICE with -g -ffast-math -fgraphite-identity -O2: verify_ssa failed
-- spop at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42914
[Bug middle-end/42777] New: [graphite] loop interchange heuristic is broken
Starting from r155273: Fix fall outs from Fix-PR42334. 2009-12-15 Sebastian Pop sebastian@amd.com PR middle-end/42178 PR middle-end/42334 * graphite-interchange.c (lst_try_interchange): Do not increment the the OUTER index when there is no AFTER kernel. Do not increment the OUTER index for after processing the AFTER kernel. (lst_interchange_select_inner): Call lst_try_interchange only on loops. (lst_interchange_select_outer): Do not pass in a pointer to the OUTER index. Do not pass to lst_interchange_select_inner the OUTER index. (scop_do_interchange): Update use of lst_interchange_select_outer. * testsuite/gfortran.dg/graphite/graphite.exp (DEFAULT_FLAGS_GRAPHITE_IDENTITY): Remove -fdump-tree-graphite-all. * testsuite/gfortran.dg/graphite/interchange-1.f: Add comment. Clean the graphite dump file. * testsuite/gfortran.dg/graphite/interchange-2.f: Same. * testsuite/gfortran.dg/graphite/pr42334-1.f: New. and with r155248: Fix PR42334: correct the update of the LST on loop interchange and distribution. 2009-12-15 Sebastian Pop sebastian@amd.com PR middle-end/42178 PR middle-end/42334 * graphite-interchange.c (lst_perfect_nestify): Reset to NULL the LSTs that are empty. (lst_do_interchange_1): Renamed lst_interchange_select_inner. (lst_try_interchange): Reimplemented. (lst_interchange_select_inner): Same. (lst_do_interchange): Renamed lst_interchange_select_outer. Reimplemented. (scop_do_interchange): Update use of lst_interchange_select_outer. * testsuite/g++.dg/graphite/pr42130.C: Add -fgraphite-identity. * testsuite/gcc.dg/graphite/block-0.c: Un-XFAILed. * testsuite/gcc.dg/graphite/pr42211.c: New. * testsuite/gfortran.dg/graphite/pr42334.f90: New. we have at least one benchmark in {calculix,gamess,mcf} from the SPEC2006 that performs more than 20% slower at -O2 than at -O2 -fno-{graphite,loop-interchange,...} on the graphite branch: see the recent test on http://groups.google.com/group/gcc-graphite-test I am suspecting the heuristic of loop interchange to be in fault here, as the above commit was fixing the traversal of the loops where the interchange is applied. -- Summary: [graphite] loop interchange heuristic is broken Product: gcc Version: 4.5.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: middle-end 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=42777
[Bug target/42664] ICE on compilation of polyhedron benchmarks with -mfma4
--- Comment #9 from spop at gcc dot gnu dot org 2010-01-16 14:46 --- Subject: Bug 42664 Author: spop Date: Sat Jan 16 14:46:19 2010 New Revision: 155964 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155964 Log: Fix PR42664. 2010-01-16 Harsha Jagasia harsha.jaga...@amd.com PR target/42664 * config/i386/i386.c (ix86_fixup_binary_operands): Revert FMA4 fixup of operands. Modified: trunk/gcc/ChangeLog trunk/gcc/config/i386/i386.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42664
[Bug target/42664] ICE on compilation of polyhedron benchmarks with -mfma4
--- Comment #10 from spop at gcc dot gnu dot org 2010-01-16 14:49 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42664
[Bug tree-optimization/42637] [4.5 Regression][graphite] wrong code for -floop-interchange -ftree-loop-distribution
--- Comment #5 from spop at gcc dot gnu dot org 2010-01-16 22:17 --- I have looked again to this function, and I just realized that there were changes to one of the functions of the data dependence test: build_pairwise_scheduling_inequality used to build strict inequalities for the lexicographic comparison, and then Tobias changed it like this: -cstr = build_pairwise_constraint (dim, pos, pos + offset, 0, PPL_CONSTRAINT_TYPE_GREATER_THAN); +cstr = build_pairwise_constraint (dim, pos, pos + offset, -1, + PPL_CONSTRAINT_TYPE_GREATER_OR_EQUAL); else -cstr = build_pairwise_constraint (dim, pos, pos + offset, 0, PPL_CONSTRAINT_TYPE_LESS_THAN); +cstr = build_pairwise_constraint (dim, pos, pos + offset, 1, + PPL_CONSTRAINT_TYPE_LESS_OR_EQUAL); This is wrong. This change was done when we decided to remove the use of the NNC (Non-Necessarily Closed) polyhedra into C (Closed) polyhedra, that do not allow the strict inequalities. I am working on a fix for this PR. Sebastian -- spop at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|trifunovic at gcc dot gnu |spop at gcc dot gnu dot org |dot org | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42637
[Bug tree-optimization/42637] [4.5 Regression][graphite] wrong code for -floop-interchange -ftree-loop-distribution
--- Comment #6 from spop at gcc dot gnu dot org 2010-01-16 22:31 --- Actually the change by Tobias is correct. Still, the problem is around that point. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42637
[Bug tree-optimization/42681] [4.5 Regression] ICE: in build2_stat, at tree.c:3664 with -O1 -fgraphite-identity
--- Comment #5 from spop at gcc dot gnu dot org 2010-01-14 08:15 --- Subject: Bug 42681 Author: spop Date: Thu Jan 14 08:15:09 2010 New Revision: 155883 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155883 Log: Fix PR42681. 2010-01-14 Sebastian Pop sebastian@amd.com PR middle-end/42681 * graphite-clast-to-gimple.c (gloog_error): New static variable. (clast_to_gcc_expression): Do not build MULT_EXPR of POINTER_TYPE_P. Set gloog_error when such an expression failed to be built. (translate_clast): Early return when gloog_error is set. (gloog): Clear gloog_error. When gloog_error is set, call set_ifsese_condition to enable the original code. Return the status of the code generation based on gloog_error. * sese.c (set_ifsese_condition): New. * sese.h (set_ifsese_condition): Declared. * testsuite/g++.dg/graphite/pr42681.C: New. Added: branches/graphite/gcc/testsuite/g++.dg/graphite/pr42681.C Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite-clast-to-gimple.c branches/graphite/gcc/sese.c branches/graphite/gcc/sese.h -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42681
[Bug tree-optimization/42681] [4.5 Regression] ICE: in build2_stat, at tree.c:3664 with -O1 -fgraphite-identity
--- Comment #6 from spop at gcc dot gnu dot org 2010-01-14 08:37 --- Subject: Bug 42681 Author: spop Date: Thu Jan 14 08:37:26 2010 New Revision: 155884 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155884 Log: Fix PR42681. 2010-01-14 Sebastian Pop sebastian@amd.com PR middle-end/42681 * graphite-clast-to-gimple.c (gloog_error): New static variable. (clast_to_gcc_expression): Do not build MULT_EXPR of POINTER_TYPE_P. Set gloog_error when such an expression failed to be built. (translate_clast): Early return when gloog_error is set. (gloog): Clear gloog_error. When gloog_error is set, call set_ifsese_condition to enable the original code. Return the status of the code generation based on gloog_error. * sese.c (set_ifsese_condition): New. * sese.h (set_ifsese_condition): Declared. * testsuite/g++.dg/graphite/pr42681.C: New. Added: trunk/gcc/testsuite/g++.dg/graphite/pr42681.C Modified: trunk/gcc/ChangeLog.graphite trunk/gcc/graphite-clast-to-gimple.c trunk/gcc/sese.c trunk/gcc/sese.h -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42681
[Bug tree-optimization/42681] [4.5 Regression] ICE: in build2_stat, at tree.c:3664 with -O1 -fgraphite-identity
--- Comment #7 from spop at gcc dot gnu dot org 2010-01-14 08:38 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42681
[Bug tree-optimization/42637] [4.5 Regression][graphite] wrong code for -floop-interchange -ftree-loop-distribution
--- Comment #3 from spop at gcc dot gnu dot org 2010-01-14 08:41 --- Mine. -- spop at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |spop at gcc dot gnu dot org |dot org | Status|UNCONFIRMED |ASSIGNED Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2010-01-14 08:41:06 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42637
[Bug middle-end/42479] [graphite] Wrong code with -floop-block
--- Comment #6 from spop at gcc dot gnu dot org 2010-01-14 08:41 --- Mine. -- spop at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |spop at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Last reconfirmed|2010-01-05 11:40:52 |2010-01-14 08:41:17 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42479
[Bug tree-optimization/42644] [4.5 Regression] wrong code for -fgraphite-identify in 183.equake
--- Comment #2 from spop at gcc dot gnu dot org 2010-01-14 08:44 --- This might be a duplicate of PR42130. -- spop at gcc dot gnu dot org changed: What|Removed |Added BugsThisDependsOn||42130 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42644
[Bug middle-end/41924] graphite miscompiles aermod
--- Comment #7 from spop at gcc dot gnu dot org 2010-01-14 19:20 --- As this is failing also on trunk I'm closing this bug as invalid. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41924
[Bug middle-end/42181] [4.5 Regression] -fgraphite-identity miscompiles or ICEs on air.f90
--- Comment #12 from spop at gcc dot gnu dot org 2010-01-14 19:24 --- The kernel from Comment #2 looks identical to the kernel from PR42637 that is also miscompiled. These two PRs may be the same. Konrad, could you look at the testcase from PR42637 that is more precise? Thanks, Sebastian -- spop at gcc dot gnu dot org changed: What|Removed |Added BugsThisDependsOn||42637 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42181
[Bug tree-optimization/42637] [4.5 Regression][graphite] wrong code for -floop-interchange -ftree-loop-distribution
--- Comment #4 from spop at gcc dot gnu dot org 2010-01-15 01:20 --- The problem here is that the loop invariant motion moves rt(i,j) into a temporary outside the innermost loop: real*8 rt(6,6),r(6,6),rtt(6,6) do i=1,6 do j=1,6 t = rt(i,j) do ia=1,6 rtt(i,ia)=t*r(j,ia)+rtt(i,ia) end do end do end do and then we get the cleanup before graphite translating this into an array: do i=1,6 do j=1,6 cross_bb[0] = rt(i,j) do ia=1,6 rtt(i,ia)=cross_bb[0]*r(j,ia)+rtt(i,ia) end do end do end do Then the loop interchange would ask for loop distribution when it considers the loops 'j' and 'ia', and from the original LST we get: original_lst ( (root 0 (loop 0 (loop 0 stmt_4 1 (loop 0 stmt_5) transformed_lst ( (root 0 (loop 1 0 (loop 2 0 stmt_4) 1 (loop 3 0 (loop 4 0 stmt_5) that is then validated as legal by the graphite_legal_transform. The problem seems to be in the build_lexicographically_gt_constraint that does not add the information first instance of stmt_5 is executed after the last instance of stmt_4 in loop 2. We would have then a write into cross_bb[0] for all the iterations of loop 2: cross_bb[0] = rt(i,0) cross_bb[0] = rt(i,1) cross_bb[0] = rt(i,2) cross_bb[0] = rt(i,3) cross_bb[0] = rt(i,4) cross_bb[0] = rt(i,5) and then only we would read the value of cross_bb[0] in stmt_5: = cross_bb[0] * ... = cross_bb[0] * ... = cross_bb[0] * ... = cross_bb[0] * ... = cross_bb[0] * ... = cross_bb[0] * ... In the original program we would have had these writes and reads interleaved like this: cross_bb[0] = rt(i,0) = cross_bb[0] * ... cross_bb[0] = rt(i,1) = cross_bb[0] * ... cross_bb[0] = rt(i,2) = cross_bb[0] * ... cross_bb[0] = rt(i,3) = cross_bb[0] * ... cross_bb[0] = rt(i,4) = cross_bb[0] * ... cross_bb[0] = rt(i,5) = cross_bb[0] * ... Konrad could you have a look at build_lexicographically_gt_constraint? Thanks, Sebastian -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42637
[Bug middle-end/40281] [4.4 Regression] -fprefetch-loop-arrays: ICE: in initialize_matrix_A, at tree-data-ref.c:1887
--- Comment #14 from spop at gcc dot gnu dot org 2010-01-13 07:59 --- Fixed also in the 4.4 branch. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|REOPENED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40281
[Bug middle-end/42482] [4.5 Regression] Many graphite test failures
--- Comment #2 from spop at gcc dot gnu dot org 2010-01-13 08:06 --- Fixed: there is only one graphite testcase failing in trunk FAIL: g++.dg/graphite/pr42130.C execution test for which we have a P1 bug. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42482
[Bug tree-optimization/42521] [4.5 Regression] ICE: in graphite_loop_normal_form, at graphite-sese-to-poly.c:2844
--- Comment #8 from spop at gcc dot gnu dot org 2010-01-13 17:00 --- The fix for this PR produces an ICE in 434.zeusmp: + /home/seb/gcc/graphite/usr/bin/gfortran -c -g -O2 -DSPEC_CPU_LP64 -o pdv_d.o pdv_d.f pdv_d.f: In function pdv_d: 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; pdv_d.f:89:0: internal compiler error: verify_ssa failed Please submit a full bug report, with preprocessed source if appropriate. See http://gcc.gnu.org/bugs.html for instructions. This is the reduced testcase: parameter(in = 128+5 , jn = 128+5 , kn = 128+5) real*8 d (in,jn,kn) real*8 dcopy(in,jn,kn) call pdv (is, dcopy) do k=ks,ke do j=je+1,je+2 do i=is-2,ie+2 dcopy(i,j,k) = d(i,j,k) enddo enddo enddo do k=ks,ke do j=js,je do i=is-2,is-1 dcopy(i,j,k) = d(i,j,k) enddo enddo enddo end -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|RESOLVED|REOPENED Resolution|FIXED | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42521
[Bug tree-optimization/42732] [graphite] ICE: verify_ssa failed
--- Comment #2 from spop at gcc dot gnu dot org 2010-01-13 19:01 --- 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 -- spop at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |spop at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Last reconfirmed|2010-01-13 17:36:09 |2010-01-13 19:01:20 date|| Summary|ICE: verify_ssa failed |[graphite] ICE: verify_ssa ||failed http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42732
[Bug tree-optimization/42732] [4.5 Regression] [graphite] ICE: verify_ssa failed
--- Comment #3 from spop at gcc dot gnu dot org 2010-01-14 06:40 --- Subject: Bug 42732 Author: spop Date: Thu Jan 14 06:40:33 2010 New Revision: 155879 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155879 Log: Fix PR42732. 2010-01-14 Sebastian Pop sebastian@amd.com PR middle-end/42732 * graphite-clast-to-gimple.c (gloog): Call scev_reset_htab and rename_nb_iterations. * sese.c (rename_variables_in_operand): New. (rename_variables_in_expr): New. (rename_nb_iterations): New. (sese_adjust_liveout_phis): Update the rename_map. * sese.h (rename_nb_iterations): Declared. * tree-scalar-evolution.c (scev_reset_htab): New. (scev_reset): Call scev_reset_htab. * tree-scalar-evolution.h (scev_reset_htab): Declared. * testsuite/gfortran.dg/graphite/pr42732.f: New. Added: branches/graphite/gcc/testsuite/gfortran.dg/graphite/pr42732.f Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite-clast-to-gimple.c branches/graphite/gcc/sese.c branches/graphite/gcc/sese.h branches/graphite/gcc/tree-scalar-evolution.c branches/graphite/gcc/tree-scalar-evolution.h -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42732
[Bug tree-optimization/42732] [4.5 Regression] [graphite] ICE: verify_ssa failed
--- Comment #4 from spop at gcc dot gnu dot org 2010-01-14 07:38 --- Subject: Bug 42732 Author: spop Date: Thu Jan 14 07:38:15 2010 New Revision: 155881 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155881 Log: Fix PR42732. 2010-01-14 Sebastian Pop sebastian@amd.com PR middle-end/42732 * graphite-clast-to-gimple.c (gloog): Call scev_reset_htab and rename_nb_iterations. * sese.c (rename_variables_in_operand): New. (rename_variables_in_expr): New. (rename_nb_iterations): New. (sese_adjust_liveout_phis): Update the rename_map. * sese.h (rename_nb_iterations): Declared. * tree-scalar-evolution.c (scev_reset_htab): New. (scev_reset): Call scev_reset_htab. * tree-scalar-evolution.h (scev_reset_htab): Declared. * testsuite/gfortran.dg/graphite/pr42732.f: New. Added: trunk/gcc/testsuite/gfortran.dg/graphite/pr42732.f Modified: trunk/gcc/ChangeLog.graphite trunk/gcc/graphite-clast-to-gimple.c trunk/gcc/sese.c trunk/gcc/sese.h trunk/gcc/tree-scalar-evolution.c trunk/gcc/tree-scalar-evolution.h -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42732
[Bug tree-optimization/42732] [4.5 Regression] [graphite] ICE: verify_ssa failed
--- Comment #5 from spop at gcc dot gnu dot org 2010-01-14 07:39 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42732
[Bug middle-end/42130] [graphite-branch] dealII fails
--- Comment #10 from spop at gcc dot gnu dot org 2010-01-13 06:33 --- This seems to still be wrong code, so P1. -- spop at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42130
[Bug middle-end/40281] [4.4 Regression] -fprefetch-loop-arrays: ICE: in initialize_matrix_A, at tree-data-ref.c:1887
--- Comment #13 from spop at gcc dot gnu dot org 2010-01-13 07:59 --- Subject: Bug 40281 Author: spop Date: Wed Jan 13 07:58:50 2010 New Revision: 155851 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155851 Log: 2010-01-13 Sebastian Pop sebastian@amd.com PR middle-end/40281 * tree-scalar-evolution.c (instantiate_scev_1): Base and stride evolutions should not variate in inner loops. * gcc.dg/graphite/pr40281.c: New. Added: branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/graphite/pr40281.c Modified: branches/gcc-4_4-branch/gcc/ChangeLog branches/gcc-4_4-branch/gcc/testsuite/ChangeLog branches/gcc-4_4-branch/gcc/tree-scalar-evolution.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40281
[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use
--- Comment #12 from spop at gcc dot gnu dot org 2010-01-10 20:46 --- Subject: Bug 42393 Author: spop Date: Sun Jan 10 20:46:28 2010 New Revision: 155793 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155793 Log: Fix PR42393. 2010-01-08 Sebastian Pop sebastian@amd.com PR middle-end/42393 * graphite-clast-to-gimple.c: Fix formatting. * sese.c (defined_in_loop_p): Renamed name_defined_in_loop_p. (expr_defined_in_loop_p): New. (add_loop_exit_phis): Also handle full expressions: remove from the rename_map the expressions defined in the loop that we're closing. * testsuite/gfortran.dg/graphite/pr42393-1.f90: New. * testsuite/gfortran.dg/graphite/pr42393.f90: Add new flags -fno-loop-block -fno-loop-interchange -fno-loop-strip-mine to also make this testcase useful in the Graphite branch. Added: branches/graphite/gcc/testsuite/gfortran.dg/graphite/pr42393-1.f90 Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite-clast-to-gimple.c branches/graphite/gcc/sese.c branches/graphite/gcc/testsuite/gfortran.dg/graphite/pr42393.f90 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42393
[Bug tree-optimization/42681] [4.5 Regression] ICE: in build2_stat, at tree.c:3664 with -O1 -fgraphite-identity
--- Comment #2 from spop at gcc dot gnu dot org 2010-01-10 20:52 --- Mine. I can reproduce the ICE in the Graphite branch with these flags: -O1 -fgraphite-identity -fno-loop-block -fno-loop-interchange -fno-loop-strip-mine -- spop at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |spop at gcc dot gnu dot org |dot org | Status|UNCONFIRMED |ASSIGNED Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2010-01-10 20:52:39 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42681
[Bug tree-optimization/42681] [4.5 Regression] ICE: in build2_stat, at tree.c:3664 with -O1 -fgraphite-identity
--- Comment #3 from spop at gcc dot gnu dot org 2010-01-10 21:33 --- The problem is in the code generation of the following CLAST: if (7*T_6%8 == 0) { ... } where T_6 has a pointer type, and build refuses to construct a MULT_EXPR with a pointer type. I think that for this kind of expressions we will have to stop gloog, remove the code that we generated, and leave the non transformed version. -- spop at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|4.5.0 |--- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42681
[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use
--- Comment #13 from spop at gcc dot gnu dot org 2010-01-10 21:46 --- Subject: Bug 42393 Author: spop Date: Sun Jan 10 21:46:42 2010 New Revision: 155795 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155795 Log: Fix PR42393. 2010-01-08 Sebastian Pop sebastian@amd.com PR middle-end/42393 * graphite-clast-to-gimple.c: Fix formatting. * sese.c (defined_in_loop_p): Renamed name_defined_in_loop_p. (expr_defined_in_loop_p): New. (add_loop_exit_phis): Also handle full expressions: remove from the rename_map the expressions defined in the loop that we're closing. * testsuite/gfortran.dg/graphite/pr42393-1.f90: New. * testsuite/gfortran.dg/graphite/pr42393.f90: Add new flags -fno-loop-block -fno-loop-interchange -fno-loop-strip-mine to also make this testcase useful in the Graphite branch. Added: trunk/gcc/testsuite/gfortran.dg/graphite/pr42393-1.f90 Modified: trunk/gcc/ChangeLog.graphite trunk/gcc/graphite-clast-to-gimple.c trunk/gcc/sese.c trunk/gcc/testsuite/gfortran.dg/graphite/pr42393.f90 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42393
[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use
--- Comment #14 from spop at gcc dot gnu dot org 2010-01-10 21:47 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42393
[Bug tree-optimization/42221] [4.5 Regression] ICE from '-Os -fgraphite-identity'
--- Comment #10 from spop at gcc dot gnu dot org 2010-01-08 08:04 --- Subject: Bug 42221 Author: spop Date: Fri Jan 8 08:04:35 2010 New Revision: 155731 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155731 Log: Fix PR42221. 2009-12-23 Sebastian Pop sebastian@amd.com PR middle-end/42221 * sese.c (expand_scalar_variables_expr): Follow the SSA links into the array indexing of ADDR_EXPRs. * testsuite/gcc.dg/graphite/pr42221.c: New. Added: trunk/gcc/testsuite/gcc.dg/graphite/pr42221.c Modified: trunk/gcc/ChangeLog.graphite trunk/gcc/sese.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42221
[Bug tree-optimization/42221] [4.5 Regression] ICE from '-Os -fgraphite-identity'
--- Comment #11 from spop at gcc dot gnu dot org 2010-01-08 08:05 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added OtherBugsDependingO|42393 | nThis|| Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42221
[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use
--- Comment #10 from spop at gcc dot gnu dot org 2010-01-08 08:22 --- Mine. -- spop at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |spop at gcc dot gnu dot org |dot org | Status|UNCONFIRMED |ASSIGNED Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2010-01-08 08:22:09 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42393
[Bug middle-end/42512] [4.5 Regression] integer wrong code bug with loop
--- Comment #7 from spop at gcc dot gnu dot org 2010-01-08 16:20 --- Subject: Re: [4.5 Regression] integer wrong code bug with loop I like the patch that you proposed in Comment #6. Let's see if it passes bootstrap and test. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42512
[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use
--- Comment #11 from spop at gcc dot gnu dot org 2010-01-08 18:58 --- On the graphite branch this fails with the following options: gfortran -O2 -fno-loop-block -fno-loop-interchange -fno-loop-strip-mine -fgraphite-identity pr42393.f90 Here is a further reduced testcase. MODULE beta_gamma_psi INTEGER, PARAMETER :: dp=KIND(0.0D0) CONTAINS FUNCTION basym () RESULT(fn_val) REAL(dp) :: b0(21), bsum, d(21) DO n = 2, num, 2 DO i = n, np1 b0(1) = 1 DO m = 2, i mm1 = m - 1 DO j = 1, mm1 bsum = bsum + b0(j) END DO b0(m) = bsum END DO d(i) = -b0(i) END DO sum = sum + d(n) END DO fn_val = sum END FUNCTION basym END MODULE beta_gamma_psi The problem seems to be in the code generation when replacing the end value from a loop. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42393
[Bug tree-optimization/42641] Random code-generation differences with GRAPHITE
--- Comment #7 from spop at gcc dot gnu dot org 2010-01-07 18:01 --- Subject: Bug 42641 Author: spop Date: Thu Jan 7 18:01:28 2010 New Revision: 155700 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155700 Log: Do not hash pointers. 2010-01-07 Richard Guenther rguent...@suse.de PR tree-optimization/42641 * sese.c (rename_map_elt_info): Use the SSA name version, do not hash pointers. Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/sese.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42641
[Bug middle-end/42178] [4.5 Regression] Invalid memory access in graphite
--- Comment #17 from spop at gcc dot gnu dot org 2010-01-07 18:32 --- Subject: Bug 42178 Author: spop Date: Thu Jan 7 18:32:39 2010 New Revision: 155701 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155701 Log: Fix PR42178. 2010-01-05 Sebastian Pop sebastian@amd.com PR middle-end/42178 * graphite-interchange.c (lst_try_interchange_loops): Do not return the before, nest, and after LSTs. (lst_try_interchange): Removed. (lst_interchange_select_inner): Do not iterate over the LSTs if they were modified. (lst_interchange_select_outer): Apply interchange on the outer loop until there are no more changes in the inner loops. Modified: trunk/gcc/ChangeLog.graphite trunk/gcc/graphite-interchange.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42178
[Bug middle-end/42178] [4.5 Regression] Invalid memory access in graphite
--- Comment #18 from spop at gcc dot gnu dot org 2010-01-07 18:35 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|REOPENED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42178
[Bug tree-optimization/42334] segfault in graphite-poly.h for 200.sixtrack
--- Comment #13 from spop at gcc dot gnu dot org 2010-01-07 21:32 --- Yes, this is fixed by the patch for pr42178. pr42393.f90 is still failing on amd64-linux, but we have a PR open for that one, so I am closing this PR. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|REOPENED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42334
[Bug middle-end/42479] [graphite] Wrong code with -floop-block
-- spop at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42479
[Bug tree-optimization/42521] [4.5 Regression] ICE: in graphite_loop_normal_form, at graphite-sese-to-poly.c:2844
--- Comment #4 from spop at gcc dot gnu dot org 2010-01-08 04:39 --- Mine. -- spop at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |spop at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Last reconfirmed|2009-12-28 22:52:58 |2010-01-08 04:39:23 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42521
[Bug tree-optimization/42521] [4.5 Regression] ICE: in graphite_loop_normal_form, at graphite-sese-to-poly.c:2844
--- Comment #5 from spop at gcc dot gnu dot org 2010-01-08 06:04 --- Subject: Bug 42521 Author: spop Date: Fri Jan 8 06:04:41 2010 New Revision: 155727 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155727 Log: Fix PR42521. 2010-01-07 Sebastian Pop sebastian@amd.com PR middle-end/42521 * graphite.c (graphite_finalize): Call scev_reset. (graphite_transform_loops): Do not call scev_reset between the code generation of scops. * testsuite/gcc.dg/graphite/pr42521.c: New. Added: branches/graphite/gcc/testsuite/gcc.dg/graphite/pr42521.c Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42521
[Bug tree-optimization/42521] [4.5 Regression] ICE: in graphite_loop_normal_form, at graphite-sese-to-poly.c:2844
--- Comment #6 from spop at gcc dot gnu dot org 2010-01-08 07:39 --- Subject: Bug 42521 Author: spop Date: Fri Jan 8 07:39:01 2010 New Revision: 155728 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155728 Log: Fix PR42521. 2010-01-07 Sebastian Pop sebastian@amd.com PR middle-end/42521 * graphite.c (graphite_finalize): Call scev_reset. (graphite_transform_loops): Do not call scev_reset between the code generation of scops. * testsuite/gcc.dg/graphite/pr42521.c: New. Added: trunk/gcc/testsuite/gcc.dg/graphite/pr42521.c Modified: trunk/gcc/ChangeLog.graphite trunk/gcc/graphite.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42521
[Bug tree-optimization/42521] [4.5 Regression] ICE: in graphite_loop_normal_form, at graphite-sese-to-poly.c:2844
--- Comment #7 from spop at gcc dot gnu dot org 2010-01-08 07:40 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42521
[Bug tree-optimization/42221] [4.5 Regression] ICE from '-Os -fgraphite-identity'
--- Comment #9 from spop at gcc dot gnu dot org 2010-01-08 07:56 --- Subject: Bug 42221 Author: spop Date: Fri Jan 8 07:56:08 2010 New Revision: 155729 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155729 Log: Fix PR42221. 2009-12-23 Sebastian Pop sebastian@amd.com PR middle-end/42221 * sese.c (expand_scalar_variables_expr): Follow the SSA links into the array indexing of ADDR_EXPRs. * testsuite/gcc.dg/graphite/pr42221.c: New. Added: branches/graphite/gcc/testsuite/gcc.dg/graphite/pr42221.c Modified: branches/graphite/gcc/sese.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42221
[Bug middle-end/42178] [4.5 Regression] Invalid memory access in graphite
--- Comment #16 from spop at gcc dot gnu dot org 2010-01-05 22:55 --- Subject: Bug 42178 Author: spop Date: Tue Jan 5 22:55:02 2010 New Revision: 155665 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155665 Log: Fix PR42178. 2010-01-05 Sebastian Pop sebastian@amd.com PR middle-end/42178 * graphite-interchange.c (lst_try_interchange_loops): Do not return the before, nest, and after LSTs. (lst_try_interchange): Removed. (lst_interchange_select_inner): Do not iterate over the LSTs if they were modified. (lst_interchange_select_outer): Apply interchange on the outer loop until there are no more changes in the inner loops. Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite-interchange.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42178
[Bug middle-end/42130] [graphite-branch] dealII fails
--- Comment #9 from spop at gcc dot gnu dot org 2009-12-23 17:37 --- The testcase still fails with -fgraphite-identity. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|RESOLVED|UNCONFIRMED Resolution|FIXED | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42130
[Bug tree-optimization/41305] ICE with -O3 -floop-interchange
--- Comment #3 from spop at gcc dot gnu dot org 2009-12-23 18:11 --- The testcase fails without graphite at -O0, probably a problem in the C++ front-end: stopping the execution randomly, I get the following backtraces: #0 0x00660ccc in structural_comptypes (t1=0x7f097e143690, t2=0x7f097df37e70, strict=0) at ../../gcc/cp/typeck.c:1170 #1 0x006631a7 in comptypes (t1=0x7f097e143690, t2=0x7f097df37e70, strict=0) at ../../gcc/cp/typeck.c:1298 #2 0x0054e11f in template_args_equal (ot=0x7f097e143690, nt=0x7f097df37e70) at ../../gcc/cp/pt.c:5924 #3 0x0054e38b in comp_template_args (oldargs=0x7f097e147fc8, newargs=0x7f097df40398) at ../../gcc/cp/pt.c:5947 #4 0x0066190c in structural_comptypes (t1=0x7f097e14a000, t2=0x7f097df3f7e0, strict=0) at ../../gcc/cp/typeck.c:1169 #5 0x006631a7 in comptypes (t1=0x7f097e14a000, t2=0x7f097df3f7e0, strict=0) at ../../gcc/cp/typeck.c:1298 #6 0x0054e11f in template_args_equal (ot=0x7f097e14a000, nt=0x7f097df3f7e0) at ../../gcc/cp/pt.c:5924 #7 0x0054e38b in comp_template_args (oldargs=0x7f097e14cfa0, newargs=0x7f097df47370) at ../../gcc/cp/pt.c:5947 #8 0x0066190c in structural_comptypes (t1=0x7f097e152930, t2=0x7f097df49150, strict=0) at ../../gcc/cp/typeck.c:1169 #0 0x0054d873 in template_args_equal (ot=Cannot access memory at address 0x7fffab5c5fb8) at ../../gcc/cp/pt.c:5881 #1 0x0054e38b in comp_template_args (oldargs=0x7f097ea9e5f0, newargs=0x7f097e8b9528) at ../../gcc/cp/pt.c:5947 #2 0x0066190c in structural_comptypes (t1=0x7f097ea9fbd0, t2=0x7f097e8baa80, strict=0) at ../../gcc/cp/typeck.c:1169 #3 0x006631a7 in comptypes (t1=0x7f097ea9fbd0, t2=0x7f097e8baa80, strict=0) at ../../gcc/cp/typeck.c:1298 #4 0x0054e11f in template_args_equal (ot=0x7f097ea9fbd0, nt=0x7f097e8baa80) at ../../gcc/cp/pt.c:5924 #5 0x0054e38b in comp_template_args (oldargs=0x7f097e8a05c8, newargs=0x7f097e8c1500) at ../../gcc/cp/pt.c:5947 #6 0x0066190c in structural_comptypes (t1=0x7f097e8a1540, t2=0x7f097e8c33f0, strict=0) at ../../gcc/cp/typeck.c:1169 #7 0x006631a7 in comptypes (t1=0x7f097e8a1540, t2=0x7f097e8c33f0, strict=0) at ../../gcc/cp/typeck.c:1298 #8 0x0054e11f in template_args_equal (ot=0x7f097e8a1540, nt=0x7f097e8c33f0) at ../../gcc/cp/pt.c:5924 This stops after one or two minutes, depending on stack ulimit. With an older compiler, I get this time: time g++-4.3 -O3 -c ~/gcc/graphite/gcc/testsuite/g++.dg/graphite/pr41305.C real0m0.103s user0m0.072s sys 0m0.012s -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|RESOLVED|UNCONFIRMED Resolution|FIXED | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41305
[Bug c++/41305] Infinite recursion with g++ at -O0
--- Comment #4 from spop at gcc dot gnu dot org 2009-12-23 18:15 --- This used to work on 2009-10-15 on the graphite branch. -- spop at gcc dot gnu dot org changed: What|Removed |Added Component|tree-optimization |c++ Keywords|ice-on-valid-code | Priority|P3 |P1 Summary|ICE with -O3 -floop-|Infinite recursion with g++ |interchange |at -O0 Version|4.4.2 |4.5.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41305
[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use
--- Comment #6 from spop at gcc dot gnu dot org 2009-12-23 18:27 --- Seems like this is fixed by the patch from PR42221. -- spop at gcc dot gnu dot org changed: What|Removed |Added BugsThisDependsOn||42221 Status|RESOLVED|UNCONFIRMED Resolution|FIXED | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42393
[Bug tree-optimization/42221] [4.5 Regression] ICE from '-Os -fgraphite-identity'
--- Comment #7 from spop at gcc dot gnu dot org 2009-12-23 06:04 --- http://gcc.gnu.org/viewcvs?root=gccview=revrev=155333 broke bootstrap on the Graphite branch. I will revert this and rework on the patch for fixing this PR. Sebastian -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|REOPENED|ASSIGNED Last reconfirmed|2009-12-15 21:28:23 |2009-12-23 06:04:14 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42221
[Bug tree-optimization/42221] [4.5 Regression] ICE from '-Os -fgraphite-identity'
--- Comment #8 from spop at gcc dot gnu dot org 2009-12-23 07:04 --- Subject: Bug 42221 Author: spop Date: Wed Dec 23 07:04:32 2009 New Revision: 155416 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155416 Log: Revert patch for PR42221. 2009-12-18 Sebastian Pop sebastian@amd.com Revert patch fixing PR middle-end/42221. Removed: branches/graphite/gcc/testsuite/gcc.dg/graphite/pr42221.c Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite-clast-to-gimple.c branches/graphite/gcc/sese.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42221
[Bug middle-end/42181] [4.5 Regression] -fgraphite-identity miscompiles or ICEs on air.f90
--- Comment #6 from spop at gcc dot gnu dot org 2009-12-23 07:50 --- Subject: Bug 42181 Author: spop Date: Wed Dec 23 07:50:00 2009 New Revision: 155417 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155417 Log: Fix PR42181. 2009-12-14 Sebastian Pop sebastian@amd.com PR middle-end/42181 * graphite-scop-detection.c (graphite_can_represent_scev): Handle more carefully PLUS_EXPR, MINUS_EXPR, and MULT_EXPR. * testsuite/gfortran.dg/graphite/pr42181.f90: New. Added: trunk/gcc/testsuite/gfortran.dg/graphite/pr42181.f90 Modified: trunk/gcc/ChangeLog.graphite trunk/gcc/graphite-scop-detection.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42181
[Bug tree-optimization/42334] segfault in graphite-poly.h for 200.sixtrack
--- Comment #7 from spop at gcc dot gnu dot org 2009-12-23 07:50 --- Subject: Bug 42334 Author: spop Date: Wed Dec 23 07:50:12 2009 New Revision: 155418 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155418 Log: Fix PR42334: correct the update of the LST on loop interchange and distribution. 2009-12-15 Sebastian Pop sebastian@amd.com PR middle-end/42178 PR middle-end/42334 * graphite-interchange.c (lst_perfect_nestify): Reset to NULL the LSTs that are empty. (lst_do_interchange_1): Renamed lst_interchange_select_inner. (lst_try_interchange): Reimplemented. (lst_interchange_select_inner): Same. (lst_do_interchange): Renamed lst_interchange_select_outer. Reimplemented. (scop_do_interchange): Update use of lst_interchange_select_outer. * graphite-interchange.c (lst_try_interchange): Do not increment the the OUTER index when there is no AFTER kernel. Do not increment the OUTER index for after processing the AFTER kernel. (lst_interchange_select_inner): Call lst_try_interchange only on loops. (lst_interchange_select_outer): Do not pass in a pointer to the OUTER index. Do not pass to lst_interchange_select_inner the OUTER index. (scop_do_interchange): Update use of lst_interchange_select_outer. * graphite-interchange.c (lst_try_interchange): Do not modify OUTER index. Call lst_interchange_select_inner only once. (lst_interchange_select_inner): Update use of lst_try_interchange. (lst_interchange_select_outer): Update. * testsuite/g++.dg/graphite/pr42130.C: Add -fgraphite-identity. * testsuite/gcc.dg/graphite/block-0.c: Un-XFAILed. * testsuite/gcc.dg/graphite/pr42211.c: New. * testsuite/gfortran.dg/graphite/pr42334.f90: New. * testsuite/gfortran.dg/graphite/graphite.exp (DEFAULT_FLAGS_GRAPHITE_IDENTITY): Remove -fdump-tree-graphite-all. * testsuite/gfortran.dg/graphite/interchange-1.f: Add comment. Clean the graphite dump file. * testsuite/gfortran.dg/graphite/interchange-2.f: Same. * testsuite/gfortran.dg/graphite/pr42334-1.f: New. Added: trunk/gcc/testsuite/gcc.dg/graphite/pr42211.c trunk/gcc/testsuite/gfortran.dg/graphite/pr42334-1.f trunk/gcc/testsuite/gfortran.dg/graphite/pr42334.f90 Modified: trunk/gcc/ChangeLog.graphite trunk/gcc/graphite-interchange.c trunk/gcc/testsuite/g++.dg/graphite/pr42130.C trunk/gcc/testsuite/gcc.dg/graphite/block-0.c trunk/gcc/testsuite/gfortran.dg/graphite/graphite.exp trunk/gcc/testsuite/gfortran.dg/graphite/interchange-1.f trunk/gcc/testsuite/gfortran.dg/graphite/interchange-2.f -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42334
[Bug middle-end/42178] [4.5 Regression] gcc.dg/graphite/interchange-8.c causes ICE
--- Comment #9 from spop at gcc dot gnu dot org 2009-12-23 07:50 --- Subject: Bug 42178 Author: spop Date: Wed Dec 23 07:50:12 2009 New Revision: 155418 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155418 Log: Fix PR42334: correct the update of the LST on loop interchange and distribution. 2009-12-15 Sebastian Pop sebastian@amd.com PR middle-end/42178 PR middle-end/42334 * graphite-interchange.c (lst_perfect_nestify): Reset to NULL the LSTs that are empty. (lst_do_interchange_1): Renamed lst_interchange_select_inner. (lst_try_interchange): Reimplemented. (lst_interchange_select_inner): Same. (lst_do_interchange): Renamed lst_interchange_select_outer. Reimplemented. (scop_do_interchange): Update use of lst_interchange_select_outer. * graphite-interchange.c (lst_try_interchange): Do not increment the the OUTER index when there is no AFTER kernel. Do not increment the OUTER index for after processing the AFTER kernel. (lst_interchange_select_inner): Call lst_try_interchange only on loops. (lst_interchange_select_outer): Do not pass in a pointer to the OUTER index. Do not pass to lst_interchange_select_inner the OUTER index. (scop_do_interchange): Update use of lst_interchange_select_outer. * graphite-interchange.c (lst_try_interchange): Do not modify OUTER index. Call lst_interchange_select_inner only once. (lst_interchange_select_inner): Update use of lst_try_interchange. (lst_interchange_select_outer): Update. * testsuite/g++.dg/graphite/pr42130.C: Add -fgraphite-identity. * testsuite/gcc.dg/graphite/block-0.c: Un-XFAILed. * testsuite/gcc.dg/graphite/pr42211.c: New. * testsuite/gfortran.dg/graphite/pr42334.f90: New. * testsuite/gfortran.dg/graphite/graphite.exp (DEFAULT_FLAGS_GRAPHITE_IDENTITY): Remove -fdump-tree-graphite-all. * testsuite/gfortran.dg/graphite/interchange-1.f: Add comment. Clean the graphite dump file. * testsuite/gfortran.dg/graphite/interchange-2.f: Same. * testsuite/gfortran.dg/graphite/pr42334-1.f: New. Added: trunk/gcc/testsuite/gcc.dg/graphite/pr42211.c trunk/gcc/testsuite/gfortran.dg/graphite/pr42334-1.f trunk/gcc/testsuite/gfortran.dg/graphite/pr42334.f90 Modified: trunk/gcc/ChangeLog.graphite trunk/gcc/graphite-interchange.c trunk/gcc/testsuite/g++.dg/graphite/pr42130.C trunk/gcc/testsuite/gcc.dg/graphite/block-0.c trunk/gcc/testsuite/gfortran.dg/graphite/graphite.exp trunk/gcc/testsuite/gfortran.dg/graphite/interchange-1.f trunk/gcc/testsuite/gfortran.dg/graphite/interchange-2.f -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42178
[Bug tree-optimization/42205] [4.5 Regression] [graphite] internal compiler error: verify_ssa failed with -ffast-math -floop-interchange
--- Comment #10 from spop at gcc dot gnu dot org 2009-12-23 07:50 --- Subject: Bug 42205 Author: spop Date: Wed Dec 23 07:50:22 2009 New Revision: 155419 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155419 Log: Fix PR42205. 2009-12-17 Sebastian Pop sebastian@amd.com PR middle-end/42205 * graphite-sese-to-poly.c (translate_scalar_reduction_to_array_for_stmt): Insert the reduction copy in the same block as the phi node. (follow_ssa_with_commutative_ops): Handle GIMPLE_NOPs. * testsuite/gcc.dg/graphite/pr42205-1.c: New. * testsuite/gcc.dg/graphite/pr42205-2.c: New. Added: trunk/gcc/testsuite/gcc.dg/graphite/pr42205-1.c trunk/gcc/testsuite/gcc.dg/graphite/pr42205-2.c Modified: trunk/gcc/ChangeLog.graphite trunk/gcc/graphite-sese-to-poly.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42205
[Bug debug/42186] [4.5 Regression] [graphite] internal compiler error: verify_ssa failed
--- Comment #8 from spop at gcc dot gnu dot org 2009-12-23 07:51 --- Subject: Bug 42186 Author: spop Date: Wed Dec 23 07:50:32 2009 New Revision: 155420 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155420 Log: Fix PR42186. 2009-12-17 Sebastian Pop sebastian@amd.com PR middle-end/42186 * testsuite/gfortran.dg/graphite/pr42186.f90: New. Added: trunk/gcc/testsuite/gfortran.dg/graphite/pr42186.f90 Modified: trunk/gcc/ChangeLog.graphite -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42186
[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use
--- Comment #4 from spop at gcc dot gnu dot org 2009-12-23 07:51 --- Subject: Bug 42393 Author: spop Date: Wed Dec 23 07:50:43 2009 New Revision: 155421 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155421 Log: Fix PR42393. 2009-12-17 Sebastian Pop sebastian@amd.com PR middle-end/42393 * testsuite/gfortran.dg/graphite/pr42393.f90: New. Added: trunk/gcc/testsuite/gfortran.dg/graphite/pr42393.f90 Modified: trunk/gcc/ChangeLog.graphite -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42393
[Bug middle-end/42180] compiling induct.f90 with -ffast-math -O2 -fgraphite-identity ICEs gfortran
--- Comment #7 from spop at gcc dot gnu dot org 2009-12-23 07:51 --- Subject: Bug 42180 Author: spop Date: Wed Dec 23 07:50:53 2009 New Revision: 155422 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155422 Log: Fix PR42180. 2009-12-18 Sebastian Pop sebastian@amd.com PR middle-end/42180 * graphite-sese-to-poly.c (split_reduction_stmt): Do not split blocks that contain only one statement. Added: trunk/gcc/testsuite/gfortran.dg/graphite/pr42180.f90 Modified: trunk/gcc/ChangeLog.graphite trunk/gcc/graphite-sese-to-poly.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42180
[Bug middle-end/42180] compiling induct.f90 with -ffast-math -O2 -fgraphite-identity ICEs gfortran
--- Comment #8 from spop at gcc dot gnu dot org 2009-12-23 07:51 --- Subject: Bug 42180 Author: spop Date: Wed Dec 23 07:51:05 2009 New Revision: 155423 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155423 Log: Fix PR42180. 2009-12-18 Sebastian Pop sebastian@amd.com PR middle-end/42180 * graphite-sese-to-poly.c (follow_ssa_with_commutative_ops): Handle GIMPLE_CALL. * testsuite/gfortran.dg/graphite/pr42180.f90: Add compile flags. Modified: trunk/gcc/ChangeLog.graphite trunk/gcc/graphite-sese-to-poly.c trunk/gcc/testsuite/gfortran.dg/graphite/pr42180.f90 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42180
[Bug tree-optimization/42334] segfault in graphite-poly.h for 200.sixtrack
--- Comment #8 from spop at gcc dot gnu dot org 2009-12-23 07:52 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|REOPENED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42334
[Bug middle-end/42178] [4.5 Regression] gcc.dg/graphite/interchange-8.c causes ICE
--- Comment #10 from spop at gcc dot gnu dot org 2009-12-23 07:53 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|REOPENED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42178
[Bug tree-optimization/42205] [4.5 Regression] [graphite] internal compiler error: verify_ssa failed with -ffast-math -floop-interchange
--- Comment #11 from spop at gcc dot gnu dot org 2009-12-23 07:53 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|REOPENED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42205
[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use
--- Comment #5 from spop at gcc dot gnu dot org 2009-12-23 07:53 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42393
[Bug debug/42186] [4.5 Regression] [graphite] internal compiler error: verify_ssa failed
--- Comment #9 from spop at gcc dot gnu dot org 2009-12-23 07:54 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|REOPENED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42186
[Bug middle-end/42180] compiling induct.f90 with -ffast-math -O2 -fgraphite-identity ICEs gfortran
--- Comment #6 from spop at gcc dot gnu dot org 2009-12-18 08:29 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42180
[Bug middle-end/42180] compiling induct.f90 with -ffast-math -O2 -fgraphite-identity ICEs gfortran
--- Comment #5 from spop at gcc dot gnu dot org 2009-12-18 08:29 --- Subject: Bug 42180 Author: spop Date: Fri Dec 18 08:28:45 2009 New Revision: 155339 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155339 Log: Fix PR42180. 2009-12-18 Sebastian Pop sebastian@amd.com PR middle-end/42180 * graphite-sese-to-poly.c (follow_ssa_with_commutative_ops): Handle GIMPLE_CALL. * testsuite/gfortran.dg/graphite/pr42180.f90: Add compile flags. Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite-sese-to-poly.c branches/graphite/gcc/testsuite/gfortran.dg/graphite/pr42180.f90 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42180
[Bug middle-end/42178] [4.5 Regression] gcc.dg/graphite/interchange-8.c causes ICE
--- Comment #6 from spop at gcc dot gnu dot org 2009-12-17 21:57 --- Subject: Bug 42178 Author: spop Date: Thu Dec 17 21:57:29 2009 New Revision: 155326 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155326 Log: Fix fall outs from Fix-PR42334. 2009-12-17 Sebastian Pop sebastian@amd.com PR middle-end/42178 PR middle-end/42334 * graphite-interchange.c (lst_try_interchange): Do not modify OUTER index. Call lst_interchange_select_inner only once. (lst_interchange_select_inner): Update use of lst_try_interchange. (lst_interchange_select_outer): Update. Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite-interchange.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42178
[Bug tree-optimization/42334] segfault in graphite-poly.h for 200.sixtrack
--- Comment #5 from spop at gcc dot gnu dot org 2009-12-17 21:57 --- Subject: Bug 42334 Author: spop Date: Thu Dec 17 21:57:29 2009 New Revision: 155326 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155326 Log: Fix fall outs from Fix-PR42334. 2009-12-17 Sebastian Pop sebastian@amd.com PR middle-end/42178 PR middle-end/42334 * graphite-interchange.c (lst_try_interchange): Do not modify OUTER index. Call lst_interchange_select_inner only once. (lst_interchange_select_inner): Update use of lst_try_interchange. (lst_interchange_select_outer): Update. Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite-interchange.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42334
[Bug tree-optimization/42221] [4.5 Regression] ICE from '-Os -fgraphite-identity'
--- Comment #4 from spop at gcc dot gnu dot org 2009-12-18 05:31 --- Subject: Bug 42221 Author: spop Date: Fri Dec 18 05:30:56 2009 New Revision: 155333 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155333 Log: Fix PR42221. 2009-12-17 Sebastian Pop sebastian@amd.com PR middle-end/42221 * sese.c (expand_scalar_variables_expr): Follow the SSA links into the array indexing of ADDR_EXPRs. * testsuite/gcc.dg/graphite/pr42221.c: New. Added: branches/graphite/gcc/testsuite/gcc.dg/graphite/pr42221.c Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite-clast-to-gimple.c branches/graphite/gcc/sese.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42221
[Bug tree-optimization/42221] [4.5 Regression] ICE from '-Os -fgraphite-identity'
--- Comment #5 from spop at gcc dot gnu dot org 2009-12-18 05:33 --- Fixed in the Graphite branch. I will commit this to trunk once it passes usual Graphite branch tests. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42221
[Bug tree-optimization/42205] [4.5 Regression] [graphite] internal compiler error: verify_ssa failed with -ffast-math -floop-interchange
--- Comment #6 from spop at gcc dot gnu dot org 2009-12-18 05:42 --- Mine. -- spop at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |spop at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Last reconfirmed|2009-11-28 08:50:43 |2009-12-18 05:42:25 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42205
[Bug tree-optimization/42205] [4.5 Regression] [graphite] internal compiler error: verify_ssa failed with -ffast-math -floop-interchange
--- Comment #7 from spop at gcc dot gnu dot org 2009-12-18 06:10 --- Subject: Bug 42205 Author: spop Date: Fri Dec 18 06:10:06 2009 New Revision: 155334 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155334 Log: Fix PR42205. 2009-12-17 Sebastian Pop sebastian@amd.com PR middle-end/42205 * graphite-sese-to-poly.c (translate_scalar_reduction_to_array_for_stmt): Insert the reduction copy in the same block as the phi node. (follow_ssa_with_commutative_ops): Handle GIMPLE_NOPs. * testsuite/gcc.dg/graphite/pr42205-1.c: New. * testsuite/gcc.dg/graphite/pr42205-2.c: New. Added: branches/graphite/gcc/testsuite/gcc.dg/graphite/pr42205-1.c branches/graphite/gcc/testsuite/gcc.dg/graphite/pr42205-2.c Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite-sese-to-poly.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42205
[Bug tree-optimization/42205] [4.5 Regression] [graphite] internal compiler error: verify_ssa failed with -ffast-math -floop-interchange
--- Comment #8 from spop at gcc dot gnu dot org 2009-12-18 06:11 --- Fixed in the Graphite branch. Will be committed to trunk after test. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42205
[Bug debug/42186] [4.5 Regression] [graphite] internal compiler error: verify_ssa failed
--- Comment #4 from spop at gcc dot gnu dot org 2009-12-18 06:12 --- Mine. -- spop at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |spop at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Last reconfirmed|2009-12-07 23:59:43 |2009-12-18 06:12:58 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42186
[Bug debug/42186] [4.5 Regression] [graphite] internal compiler error: verify_ssa failed
--- Comment #5 from spop at gcc dot gnu dot org 2009-12-18 06:19 --- Subject: Bug 42186 Author: spop Date: Fri Dec 18 06:18:51 2009 New Revision: 155335 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155335 Log: Fix PR42186. 2009-12-17 Sebastian Pop sebastian@amd.com PR middle-end/42186 * testsuite/gfortran.dg/graphite/pr42186.f90: New. Added: branches/graphite/gcc/testsuite/gfortran.dg/graphite/pr42186.f90 Modified: branches/graphite/gcc/ChangeLog.graphite -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42186