public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug optimization/13299] New: Unsafe treatment of extended givs
@ 2003-12-04 10:09 rsandifo at gcc dot gnu dot org
2003-12-04 10:10 ` [Bug optimization/13299] " rsandifo at gcc dot gnu dot org
` (8 more replies)
0 siblings, 9 replies; 10+ messages in thread
From: rsandifo at gcc dot gnu dot org @ 2003-12-04 10:09 UTC (permalink / raw)
To: gcc-bugs
Loops of the form:
void f (unsigned int *x)
{
unsigned char i;
int j;
i = 0x10;
for (j = 0; j < 0x10; j++)
{
i += 0xe8;
x[i] = 0;
i -= 0xe7;
}
}
are miscompiled on x86 with -freduce-all-givs. Complete gcc.dg-style
testcase attached.
--
Summary: Unsafe treatment of extended givs
Product: gcc
Version: 3.4
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: rsandifo at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13299
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug optimization/13299] Unsafe treatment of extended givs
2003-12-04 10:09 [Bug optimization/13299] New: Unsafe treatment of extended givs rsandifo at gcc dot gnu dot org
@ 2003-12-04 10:10 ` rsandifo at gcc dot gnu dot org
2003-12-04 10:48 ` pinskia at gcc dot gnu dot org
` (7 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: rsandifo at gcc dot gnu dot org @ 2003-12-04 10:10 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From rsandifo at gcc dot gnu dot org 2003-12-04 10:10 -------
Created an attachment (id=5272)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5272&action=view)
Failing testcase
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13299
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug optimization/13299] Unsafe treatment of extended givs
2003-12-04 10:09 [Bug optimization/13299] New: Unsafe treatment of extended givs rsandifo at gcc dot gnu dot org
2003-12-04 10:10 ` [Bug optimization/13299] " rsandifo at gcc dot gnu dot org
@ 2003-12-04 10:48 ` pinskia at gcc dot gnu dot org
2003-12-04 15:23 ` bangerth at dealii dot org
` (6 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2003-12-04 10:48 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2003-12-04 10:48 -------
Confirmed. (The patch which would have fixed this has been withdrawn but lets hope this cane be
fixed on the tree level with the tree-ssa but it needs a loop infrastructure first).
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2003-12-04 10:48:25
date| |
Target Milestone|--- |tree-ssa
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13299
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug optimization/13299] Unsafe treatment of extended givs
2003-12-04 10:09 [Bug optimization/13299] New: Unsafe treatment of extended givs rsandifo at gcc dot gnu dot org
2003-12-04 10:10 ` [Bug optimization/13299] " rsandifo at gcc dot gnu dot org
2003-12-04 10:48 ` pinskia at gcc dot gnu dot org
@ 2003-12-04 15:23 ` bangerth at dealii dot org
2004-02-03 23:23 ` pinskia at gcc dot gnu dot org
` (5 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: bangerth at dealii dot org @ 2003-12-04 15:23 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From bangerth at dealii dot org 2003-12-04 15:23 -------
Links to the patch and some more information is here:
http://gcc.gnu.org/ml/gcc-patches/2003-12/msg00450.html
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13299
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug optimization/13299] Unsafe treatment of extended givs
2003-12-04 10:09 [Bug optimization/13299] New: Unsafe treatment of extended givs rsandifo at gcc dot gnu dot org
` (2 preceding siblings ...)
2003-12-04 15:23 ` bangerth at dealii dot org
@ 2004-02-03 23:23 ` pinskia at gcc dot gnu dot org
2004-06-21 1:13 ` [Bug rtl-optimization/13299] " pinskia at gcc dot gnu dot org
` (4 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-02-03 23:23 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|tree-ssa |3.5.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13299
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug rtl-optimization/13299] Unsafe treatment of extended givs
2003-12-04 10:09 [Bug optimization/13299] New: Unsafe treatment of extended givs rsandifo at gcc dot gnu dot org
` (3 preceding siblings ...)
2004-02-03 23:23 ` pinskia at gcc dot gnu dot org
@ 2004-06-21 1:13 ` pinskia at gcc dot gnu dot org
2004-08-10 1:05 ` pinskia at gcc dot gnu dot org
` (3 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-06-21 1:13 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-06-21 01:13 -------
Hmm, I cannot reproduce this on the mainline with the example.
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |wrong-code
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13299
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug rtl-optimization/13299] Unsafe treatment of extended givs
2003-12-04 10:09 [Bug optimization/13299] New: Unsafe treatment of extended givs rsandifo at gcc dot gnu dot org
` (4 preceding siblings ...)
2004-06-21 1:13 ` [Bug rtl-optimization/13299] " pinskia at gcc dot gnu dot org
@ 2004-08-10 1:05 ` pinskia at gcc dot gnu dot org
2005-01-06 19:11 ` cvs-commit at gcc dot gnu dot org
` (2 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-08-10 1:05 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|3.5.0 |---
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13299
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug rtl-optimization/13299] Unsafe treatment of extended givs
2003-12-04 10:09 [Bug optimization/13299] New: Unsafe treatment of extended givs rsandifo at gcc dot gnu dot org
` (5 preceding siblings ...)
2004-08-10 1:05 ` pinskia at gcc dot gnu dot org
@ 2005-01-06 19:11 ` cvs-commit at gcc dot gnu dot org
2005-01-06 19:12 ` cvs-commit at gcc dot gnu dot org
2005-01-07 3:01 ` pinskia at gcc dot gnu dot org
8 siblings, 0 replies; 10+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2005-01-06 19:11 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2005-01-06 19:11 -------
Subject: Bug 13299
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: rth@gcc.gnu.org 2005-01-06 19:10:57
Modified files:
gcc : ChangeLog loop.c
Added files:
gcc/testsuite/gcc.c-torture/execute: 20030916-1.c
Log message:
PR rtl-opt/13299
* loop.c (get_monotonic_increment, biased_biv_fits_mode_p,
biv_fits_mode_p, extension_within_bounds_p): New functions.
(check_ext_dependent_givs): Use them.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.7048&r2=2.7049
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/loop.c.diff?cvsroot=gcc&r1=1.520&r2=1.521
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/execute/20030916-1.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13299
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug rtl-optimization/13299] Unsafe treatment of extended givs
2003-12-04 10:09 [Bug optimization/13299] New: Unsafe treatment of extended givs rsandifo at gcc dot gnu dot org
` (6 preceding siblings ...)
2005-01-06 19:11 ` cvs-commit at gcc dot gnu dot org
@ 2005-01-06 19:12 ` cvs-commit at gcc dot gnu dot org
2005-01-07 3:01 ` pinskia at gcc dot gnu dot org
8 siblings, 0 replies; 10+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2005-01-06 19:12 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2005-01-06 19:12 -------
Subject: Bug 13299
CVSROOT: /cvs/gcc
Module name: gcc
Branch: gcc-3_4-branch
Changes by: rth@gcc.gnu.org 2005-01-06 19:12:05
Modified files:
gcc : ChangeLog loop.c
Added files:
gcc/testsuite/gcc.c-torture/execute: 20030916-1.c 20030916-1.x
Log message:
PR rtl-opt/13299
* loop.c (get_monotonic_increment, biased_biv_fits_mode_p,
biv_fits_mode_p, extension_within_bounds_p): New functions.
(check_ext_dependent_givs): Use them.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=2.2326.2.762&r2=2.2326.2.763
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/loop.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.488.2.7&r2=1.488.2.8
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/execute/20030916-1.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/execute/20030916-1.x.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=NONE&r2=1.1.2.1
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13299
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug rtl-optimization/13299] Unsafe treatment of extended givs
2003-12-04 10:09 [Bug optimization/13299] New: Unsafe treatment of extended givs rsandifo at gcc dot gnu dot org
` (7 preceding siblings ...)
2005-01-06 19:12 ` cvs-commit at gcc dot gnu dot org
@ 2005-01-07 3:01 ` pinskia at gcc dot gnu dot org
8 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-01-07 3:01 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-07 03:01 -------
Fixed for 3.4.4.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
Target Milestone|--- |3.4.4
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13299
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2005-01-07 3:01 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-12-04 10:09 [Bug optimization/13299] New: Unsafe treatment of extended givs rsandifo at gcc dot gnu dot org
2003-12-04 10:10 ` [Bug optimization/13299] " rsandifo at gcc dot gnu dot org
2003-12-04 10:48 ` pinskia at gcc dot gnu dot org
2003-12-04 15:23 ` bangerth at dealii dot org
2004-02-03 23:23 ` pinskia at gcc dot gnu dot org
2004-06-21 1:13 ` [Bug rtl-optimization/13299] " pinskia at gcc dot gnu dot org
2004-08-10 1:05 ` pinskia at gcc dot gnu dot org
2005-01-06 19:11 ` cvs-commit at gcc dot gnu dot org
2005-01-06 19:12 ` cvs-commit at gcc dot gnu dot org
2005-01-07 3:01 ` pinskia at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).