-funroll-loops
Product: gcc
Version: 4.5.0
Status: UNCONFIRMED
Keywords: wrong-code
Severity: normal
Priority: P3
Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: abel at gcc dot gnu
--- Comment #3 from abel at gcc dot gnu dot org 2009-04-21 11:47 ---
Confirmed. I will take a look.
--
abel at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #4 from abel at gcc dot gnu dot org 2009-04-21 14:16 ---
What happens in the test is that when pipelining, after several consecutive
substitutions we end up with moving expressions r64=r16-r16 and r64=r16-r51
through r16=r51, after which both expressions become r64=r51-r51
--- Comment #5 from abel at gcc dot gnu dot org 2009-04-22 15:26 ---
Subject: Bug 39580
Author: abel
Date: Wed Apr 22 15:25:58 2009
New Revision: 146588
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=146588
Log:
PR rtl-optimization/39580
* sel-sched-ir.c
--- Comment #6 from abel at gcc dot gnu dot org 2009-04-22 15:28 ---
Fixed by the above patch.
--
abel at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #1 from abel at gcc dot gnu dot org 2009-05-14 14:12 ---
Confirmed, I'll take a look. (Somehow my ispras.ru account didn't get any
mails about this bug.)
--
abel at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #2 from abel at gcc dot gnu dot org 2009-05-15 13:20 ---
The bug happens when we compute a seqno for the newly created bookkeping insn.
Seqnos exist in the algorithm (roughly) to guide the movement of fences so
that, first, all unscheduled insns will be found and scheduled
--- Comment #3 from abel at gcc dot gnu dot org 2009-05-26 12:19 ---
I have further looked at seqno handling, and it seems that we can't rip it off
without changing the region walking logic pretty much. Seqnos are computed in
such a way that they mark the stage (the number of iteration
--- Comment #4 from abel at gcc dot gnu dot org 2009-05-29 15:33 ---
Subject: Bug 40101
Author: abel
Date: Fri May 29 15:33:17 2009
New Revision: 147977
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=147977
Log:
PR rtl-optimization/40101
* sel-sched-ir.c
--- Comment #5 from abel at gcc dot gnu dot org 2009-05-29 15:37 ---
Fixed.
--
abel at gcc dot gnu dot org changed:
What|Removed |Added
Status|ASSIGNED
--- Comment #3 from abel at gcc dot gnu dot org 2009-11-13 14:33 ---
Subject: Bug 41697
Author: abel
Date: Fri Nov 13 14:32:52 2009
New Revision: 154148
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=154148
Log:
PR rtl-optimization/41697
* sel-sched-ir.c
--- Comment #5 from abel at gcc dot gnu dot org 2009-12-21 11:38 ---
Me and Alexander will be looking at this together with the sel-sched ppc bugs.
--
abel at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #3 from abel at gcc dot gnu dot org 2009-12-24 07:39 ---
The problem was that the failing assert is actually too strict, when an empty
block is removed, its predecessor could be outside the region. After fixing
this, I have also further robustified the function to expect
--- Comment #7 from abel at gcc dot gnu dot org 2009-12-24 08:18 ---
The problem here is in the incorrect handling of the transformation history.
When an insn is transformed (i.e. substituted/speculated), this is recorded so
that the insn could be found during upward code motion. Part
--- Comment #1 from abel at gcc dot gnu dot org 2009-12-24 08:32 ---
Here, we broke pipelining of outer loops when optimizing the scheduler core.
The problems analyzed by Alexander are simple though. First, when testing
whether a loop is considered for pipelining, I decided to play
--- Comment #2 from abel at gcc dot gnu dot org 2009-12-25 10:44 ---
Confirmed. This needs my uncommitted patch from
http://gcc.gnu.org/ml/gcc-patches/2008-09/msg01931.html (which is correctly
saving and restoring can_issue_more variable in the presence of multiple
scheduling points
--- Comment #3 from abel at gcc dot gnu dot org 2009-12-28 12:06 ---
The patch mentioned by Alexander is not enough to fix the bug after applying
all other patches for sel-sched bugs. The actual problem is that when
redirecting an edge, the topological order of blocks in the currently
--- Comment #4 from abel at gcc dot gnu dot org 2010-01-11 14:35 ---
(In reply to comment #2)
This is the other bug in our region walk iterator that happens when pipelining
outer loops. When looking for loop exits from an inner loop that is contained
in the outer loop currently being
--- Comment #8 from abel at gcc dot gnu dot org 2010-01-14 10:16 ---
Subject: Bug 42294
Author: abel
Date: Thu Jan 14 10:16:01 2010
New Revision: 155889
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155889
Log:
PR rtl-optimization/42294
* sel-sched.c
--- Comment #9 from abel at gcc dot gnu dot org 2010-01-14 10:17 ---
Fixed by r155889.
--
abel at gcc dot gnu dot org changed:
What|Removed |Added
Status
--- Comment #1 from abel at gcc dot gnu dot org 2010-01-14 10:24 ---
This is fixed by http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42294#c8, there
was a typo in the bug number so the email didn't get in this audit trail.
--
abel at gcc dot gnu dot org changed:
What
--- Comment #12 from abel at gcc dot gnu dot org 2008-11-25 14:28 ---
I have somewhat cut the testcase, having the call with two ARG3's instead of
ten coming from ARG4. With this smaller testcase, I see that the most time is
taken by register renaming (cross to spu-elf, compiled
--- Comment #14 from abel at gcc dot gnu dot org 2008-11-27 12:50 ---
(In reply to comment #13)
(In reply to comment #12)
Thanks, Andrey.
I think there are 2 issues here:
1. register-renaming. (more related to this PR, I think)
2. schuedule-insns.
Both of them slows compilation
--- Comment #1 from abel at gcc dot gnu dot org 2009-08-12 07:40 ---
Confirmed on trunk. As we discussed on IRC, the below obvious patch makes
nonoverlapping_component_refs_p punt when !flag_strict_aliasing and thus fixes
the testcase. I have looked at the other rtl alias oracle
--- Comment #2 from abel at gcc dot gnu dot org 2009-08-12 11:50 ---
Subject: Bug 41033
Author: abel
Date: Wed Aug 12 11:50:22 2009
New Revision: 150680
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=150680
Log:
2009-08-12 Andrey Belevantsev a...@ispras.ru
PR rtl
--- Comment #5 from abel at gcc dot gnu dot org 2009-08-13 08:12 ---
Fixed in trunk, 4.3 and 4.4.
--
abel at gcc dot gnu dot org changed:
What|Removed |Added
--
abel at gcc dot gnu dot org changed:
What|Removed |Added
CC|abel at ispras dot ru |abel at gcc dot gnu dot org
AssignedTo|unassigned at gcc dot
--- Comment #18 from abel at gcc dot gnu dot org 2008-09-09 14:21 ---
Subject: Bug 37360
Author: abel
Date: Tue Sep 9 14:19:31 2008
New Revision: 140151
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=140151
Log:
PR rtl-optimization/37360
* haifa-sched.c
--- Comment #19 from abel at gcc dot gnu dot org 2008-09-09 14:35 ---
Fixed in 140151.
--
abel at gcc dot gnu dot org changed:
What|Removed |Added
Status
--- Comment #3 from abel at gcc dot gnu dot org 2008-09-15 09:02 ---
I have checked that this is because of the selective scheduler merge. I will
look at it.
--
abel at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #7 from abel at gcc dot gnu dot org 2008-09-22 06:20 ---
The patch implementing ia64 changes needed for the selective scheduler can be
found at http://gcc.gnu.org/ml/gcc-patches/2008-08/msg01669.html. [The first
version of the patch with some summary is at
http
--- Comment #4 from abel at gcc dot gnu dot org 2010-01-14 11:02 ---
Subject: Bug 42388
Author: abel
Date: Thu Jan 14 11:02:18 2010
New Revision: 155894
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155894
Log:
PR rtl-optimization/42388
* sel-sched-ir.c
--- Comment #3 from abel at gcc dot gnu dot org 2010-01-14 11:07 ---
Subject: Bug 42389
Author: abel
Date: Thu Jan 14 11:07:39 2010
New Revision: 155895
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155895
Log:
PR rtl-optimization/42389
* sel-sched.c
--- Comment #5 from abel at gcc dot gnu dot org 2010-01-14 11:08 ---
Fixed.
--
abel at gcc dot gnu dot org changed:
What|Removed |Added
Status|ASSIGNED
--- Comment #4 from abel at gcc dot gnu dot org 2010-01-14 11:09 ---
Fixed.
--
abel at gcc dot gnu dot org changed:
What|Removed |Added
Status|ASSIGNED
--- Comment #6 from abel at gcc dot gnu dot org 2010-01-14 11:22 ---
Subject: Bug 42246
Author: abel
Date: Thu Jan 14 11:22:20 2010
New Revision: 155900
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155900
Log:
PR rtl-optimization/42246
* sel-sched-ir.h
--- Comment #7 from abel at gcc dot gnu dot org 2010-01-14 11:23 ---
Fixed by the above patches.
--
abel at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #5 from abel at gcc dot gnu dot org 2010-01-14 11:32 ---
With the recent patches to sel-sched, testcases from comments #3 and #4 do not
longer fail for me. I'm still seeing the spill failure of the original report
though.
--
abel at gcc dot gnu dot org changed
--- Comment #6 from abel at gcc dot gnu dot org 2010-02-12 10:25 ---
I could take a look at this, but I cannot reproduce the ICE no matter how I
try, both with the full and reduced testcases, both with current trunk and the
one of Jan 29 (host x86-64, target
arm-oe-linux-uclibceabi/arm
--- Comment #8 from abel at gcc dot gnu dot org 2010-02-16 07:51 ---
I needed explicit --enable-tls to reproduce this. The problem seems to be in
dump_minipool. We are gathering values to fix in the Mnode structures and then
we are issuing insns with those values. However, when
--- Comment #6 from abel at gcc dot gnu dot org 2010-02-16 15:43 ---
How about the below patch? It fixes all testcases for me. I'm not sure
whether it makes sense to filter duplicate labels this late, but I don't know
how to do this earlier, as catches seem to be lowering
--- Comment #8 from abel at gcc dot gnu dot org 2010-02-22 20:10 ---
(In reply to comment #7)
Looks sensible, though unreachable block removal should be conditional on
us removing an edge, not on lowering anything.
Sure, I'd just make lower_eh_dispatch return a boolean
--- Comment #9 from abel at gcc dot gnu dot org 2010-02-24 15:58 ---
Created an attachment (id=19949)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19949action=view)
patch
Here is the updated patch, it bootstraps and regtests fine on x86-64 linux.
I'm leaving for about a week
--- Comment #10 from abel at gcc dot gnu dot org 2010-03-10 11:09 ---
Subject: Bug 42859
Author: abel
Date: Wed Mar 10 11:08:48 2010
New Revision: 157337
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=157337
Log:
PR middle-end/42859
* tree-eh.c: Include pointer-set.h
--- Comment #11 from abel at gcc dot gnu dot org 2010-03-10 11:09 ---
Fixed.
--
abel at gcc dot gnu dot org changed:
What|Removed |Added
Status|NEW
--- Comment #3 from abel at gcc dot gnu dot org 2010-09-20 13:05 ---
We have the code like this:
if (...)
{
17 cx:DI=[`s2'] //comes from s2.vl += s1.vl;
...
}
27 dx:DI=[`s2'] //comes from s1 = s2;
When the scheduler tries to move insn 27 before if (...), it also unifies its
--- Comment #4 from abel at gcc dot gnu dot org 2010-09-22 14:29 ---
Confirmed.
All testcases except the first with the -O3 flags are fixed by the below patch.
The bug that the patch fixes is actually PR37360 all over again but in
sel-sched instead of haifa. We have the process
--- Comment #5 from abel at gcc dot gnu dot org 2010-09-22 15:34 ---
The remaining problem is another case where we don't try to issue more insns
because we believe from issue_rate that this is impossible. Full patch that
fixes all the tests with all the flags for me is below. What
--- Comment #2 from abel at gcc dot gnu dot org 2010-09-22 15:57 ---
Neither of these option combinations fail for me on x86-64 with a recent trunk
(164506). We will investigate further with the given trunk revisions.
--
abel at gcc dot gnu dot org changed:
What
--- Comment #3 from abel at gcc dot gnu dot org 2010-04-20 08:36 ---
The problem is in the remove_insns_that_need_bookkeeping function, which should
filter out all instructions that cannot be copied but yet may require
bookkeeping. An instruction with asm operands is an example
--- Comment #1 from abel at gcc dot gnu dot org 2010-06-28 15:07 ---
Confirmed. This is because we see an insn
(set (reg:SI 1 dx [237])
(subreg:SI (plus:DI (reg:DI 2 cx [orig:135 imaj ] [135])
(const_int -1 [0x])) 0))
generated by the recently added
--- Comment #5 from abel at gcc dot gnu dot org 2010-06-30 08:44 ---
The below patch implements keeping dominance info up to date in the scheduler.
After discussions with Alexander, I think that it will be better to leave the
copy_rtx calls as is, so that if we'll see this problem once
--- Comment #2 from abel at gcc dot gnu dot org 2010-06-30 08:49 ---
The below patch fixes the problem for me.
diff --git a/gcc/sel-sched.c b/gcc/sel-sched.c
index 8590b8a..15c4e51 100644
--- a/gcc/sel-sched.c
+++ b/gcc/sel-sched.c
@@ -837,7 +837,8 @@ count_occurrences_1 (rtx *cur_rtx
--- Comment #2 from abel at gcc dot gnu dot org 2010-07-13 14:07 ---
Confirmed on the 4.4 branch. The problem is latent on trunk.
When we have added support for moving insns through mutually exclusive insns,
it was made possible to move conditional jumps across block boundaries
--- Comment #3 from abel at gcc dot gnu dot org 2010-07-13 14:10 ---
Created an attachment (id=21190)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21190action=view)
proposed patch
This exact patch is against trunk, it may apply with fuzz on 4_4 branch.
--
http://gcc.gnu.org
--- Comment #6 from abel at gcc dot gnu dot org 2010-08-04 13:17 ---
My employer's copyright assignment has expired, this would be fixed within a
week or so. Never mind because there's still time before the next 4.4 release.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44919
--- Comment #4 from abel at gcc dot gnu dot org 2010-08-19 10:04 ---
Subject: Bug 44691
Author: abel
Date: Thu Aug 19 10:03:39 2010
New Revision: 163369
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=163369
Log:
PR rtl-optimization/44691
* sel-sched.c
--- Comment #5 from abel at gcc dot gnu dot org 2010-08-19 10:04 ---
Fixed by 163369.
--
abel at gcc dot gnu dot org changed:
What|Removed |Added
Status
--- Comment #6 from abel at gcc dot gnu dot org 2010-08-20 08:07 ---
Subject: Bug 44691
Author: abel
Date: Fri Aug 20 08:07:17 2010
New Revision: 163396
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=163396
Log:
PR rtl-optimization/44691
* gfortran.dg/pr44691.f
--- Comment #6 from abel at gcc dot gnu dot org 2010-08-24 08:51 ---
Subject: Bug 40101
Author: abel
Date: Tue Aug 24 08:50:50 2010
New Revision: 163498
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=163498
Log:
Backport from mainline:
PR rtl-optimization/40101
--- Comment #4 from abel at gcc dot gnu dot org 2010-08-24 08:52 ---
Subject: Bug 41697
Author: abel
Date: Tue Aug 24 08:51:56 2010
New Revision: 163499
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=163499
Log:
Backport from mainline:
2009-10-15 Steve Ellcey s...@cup.hp.com
--- Comment #5 from abel at gcc dot gnu dot org 2010-08-24 08:54 ---
Subject: Bug 41697
Author: abel
Date: Tue Aug 24 08:54:02 2010
New Revision: 163502
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=163502
Log:
Backport from mainline:
PR rtl-optimization/41697
* sel
--- Comment #12 from abel at gcc dot gnu dot org 2010-08-24 08:55 ---
Subject: Bug 42294
Author: abel
Date: Tue Aug 24 08:55:33 2010
New Revision: 163503
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=163503
Log:
Backport from mainline:
PR rtl-optimization/42294
--- Comment #12 from abel at gcc dot gnu dot org 2010-08-24 08:57 ---
Subject: Bug 42245
Author: abel
Date: Tue Aug 24 08:57:18 2010
New Revision: 163504
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=163504
Log:
Backport from mainline:
2010-01-14 Andrey Belevantsev
--- Comment #8 from abel at gcc dot gnu dot org 2010-08-24 08:58 ---
Subject: Bug 39453
Author: abel
Date: Tue Aug 24 08:58:36 2010
New Revision: 163505
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=163505
Log:
Backport from mainline:
2010-01-14 Alexander Monakov amona
--- Comment #8 from abel at gcc dot gnu dot org 2010-08-24 08:58 ---
Subject: Bug 42246
Author: abel
Date: Tue Aug 24 08:58:36 2010
New Revision: 163505
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=163505
Log:
Backport from mainline:
2010-01-14 Alexander Monakov amona
--- Comment #13 from abel at gcc dot gnu dot org 2010-08-24 09:00 ---
Subject: Bug 42294
Author: abel
Date: Tue Aug 24 08:59:47 2010
New Revision: 163506
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=163506
Log:
Backport from mainline:
2010-01-14 Alexander Monakov amona
--- Comment #7 from abel at gcc dot gnu dot org 2010-08-24 09:01 ---
Subject: Bug 42388
Author: abel
Date: Tue Aug 24 09:01:18 2010
New Revision: 163507
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=163507
Log:
Backport from mainline:
PR rtl-optimization/42388
--- Comment #5 from abel at gcc dot gnu dot org 2010-08-24 09:02 ---
Subject: Bug 42389
Author: abel
Date: Tue Aug 24 09:02:30 2010
New Revision: 163508
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=163508
Log:
Backport from mainline:
PR rtl-optimization/42389
--- Comment #9 from abel at gcc dot gnu dot org 2010-08-24 09:08 ---
Subject: Bug 42246
Author: abel
Date: Tue Aug 24 09:08:23 2010
New Revision: 163513
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=163513
Log:
Backport from mainline:
PR rtl-optimization/42246
* sel
--- Comment #7 from abel at gcc dot gnu dot org 2010-08-24 09:12 ---
Subject: Bug 44691
Author: abel
Date: Tue Aug 24 09:11:48 2010
New Revision: 163516
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=163516
Log:
Backport from mainline:
PR rtl-optimization/44691
71 matches
Mail list logo
