http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #13 from Jakub Jelinek 2013-01-09
16:35:13 UTC ---
Yes, but I'd say under a different PR.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #12 from Jan Hubicka 2013-01-09 16:29:21
UTC ---
Shall we track the C testcase regression in 4.7 and earlier?
Honza
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
Jakub Jelinek changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #10 from Jan Hubicka 2013-01-09
15:10:55 UTC ---
Author: hubicka
Date: Wed Jan 9 15:10:43 2013
New Revision: 195054
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=195054
Log:
PR tree-optimiation/55875
* gc
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #9 from Jakub Jelinek 2013-01-08
18:27:44 UTC ---
FYI, the execute/pr55875.c with -O1 started failing with
http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=138207
aka tuples merge.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #8 from Jan Hubicka 2013-01-08
17:55:42 UTC ---
Created attachment 29109
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29109
updated patch
There is another bug triggered by this testcase. Some of the bounds, like those
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #7 from Jan Hubicka 2013-01-08
16:12:25 UTC ---
Created attachment 29106
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29106
patch in testing.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #6 from Jan Hubicka 2013-01-07
17:07:57 UTC ---
OK, I understnad the issue now. It is bug caused by my patch indeed.
The problem is logic in scev_probably_wraps_p that is trying to prove that
given IV at given STMT is not wrap
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #5 from Zdenek Dvorak 2013-01-07
14:11:29 UTC ---
(In reply to comment #4)
> the check of scev_probably_wraps_p below should return false
this should be "should return true"
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #4 from rakdver at iuuk dot mff.cuni.cz 2013-01-07 14:09:18 UTC ---
> this is correct, since it is done in unsigned int.
> Next we do:
> res = chrec_convert (type, chrec1, at_stmt);
> Eventually we go to convert_affine_sce
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #3 from Jan Hubicka 2013-01-07
13:36:58 UTC ---
OK, the problem seems to be already in what simple_iv returns for SSA name 12.
Here we should have -1. While analyzing the cast
(gdb) p debug_gimple_stmt (at_stmt)
_12 = (long
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #2 from Jakub Jelinek 2013-01-04
12:24:12 UTC ---
ssa name _12
type long unsigned int
base 4294967295
step 1
ssa name _13
type long unsigned int
base 34359738360
step 8
ssa name _14
type const struct A *
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
Marek Polacek changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
Jakub Jelinek changed:
What|Removed |Added
Priority|P3 |P1
CC|
14 matches
Mail list logo