http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #10 from Jan Hubicka hubicka at gcc dot gnu.org 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=gccview=revrev=195054
Log:
PR
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
Jakub Jelinek jakub at gcc dot gnu.org changed:
What|Removed |Added
Status|NEW |RESOLVED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #12 from Jan Hubicka hubicka at ucw dot cz 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
--- Comment #13 from Jakub Jelinek jakub at gcc dot gnu.org 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 #7 from Jan Hubicka hubicka at gcc dot gnu.org 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 #8 from Jan Hubicka hubicka at gcc dot gnu.org 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
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #9 from Jakub Jelinek jakub at gcc dot gnu.org 2013-01-08
18:27:44 UTC ---
FYI, the execute/pr55875.c with -O1 started failing with
http://gcc.gnu.org/viewcvs?root=gccview=revrev=138207
aka tuples merge.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #3 from Jan Hubicka hubicka at gcc dot gnu.org 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
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_scev
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #5 from Zdenek Dvorak rakdver at gcc dot gnu.org 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 #6 from Jan Hubicka hubicka at gcc dot gnu.org 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
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
Jakub Jelinek jakub at gcc dot gnu.org changed:
What|Removed |Added
Priority|P3 |P1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
Marek Polacek mpolacek at gcc dot gnu.org changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #2 from Jakub Jelinek jakub at gcc dot gnu.org 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
14 matches
Mail list logo
