public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/21861] New: [meta-bug] scalar evolution type conversion
@ 2005-06-01 11:10 sebastian dot pop at cri dot ensmp dot fr
2005-06-01 11:12 ` [Bug tree-optimization/21861] " sebastian dot pop at cri dot ensmp dot fr
` (10 more replies)
0 siblings, 11 replies; 12+ messages in thread
From: sebastian dot pop at cri dot ensmp dot fr @ 2005-06-01 11:10 UTC (permalink / raw)
To: gcc-bugs
At the moment, there are some missed optimizations and errors
linked to the same problem: type conversion of induction variables.
--
Summary: [meta-bug] scalar evolution type conversion
Product: gcc
Version: 3.3.1
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: sebastian dot pop at cri dot ensmp dot fr
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21861
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/21861] [meta-bug] scalar evolution type conversion
2005-06-01 11:10 [Bug tree-optimization/21861] New: [meta-bug] scalar evolution type conversion sebastian dot pop at cri dot ensmp dot fr
@ 2005-06-01 11:12 ` sebastian dot pop at cri dot ensmp dot fr
2005-06-01 13:06 ` pinskia at gcc dot gnu dot org
` (9 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: sebastian dot pop at cri dot ensmp dot fr @ 2005-06-01 11:12 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
BugsThisDependsOn| |18403, 21029
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21861
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/21861] [meta-bug] scalar evolution type conversion
2005-06-01 11:10 [Bug tree-optimization/21861] New: [meta-bug] scalar evolution type conversion sebastian dot pop at cri dot ensmp dot fr
2005-06-01 11:12 ` [Bug tree-optimization/21861] " sebastian dot pop at cri dot ensmp dot fr
@ 2005-06-01 13:06 ` pinskia at gcc dot gnu dot org
2005-06-02 3:14 ` dnovillo at gcc dot gnu dot org
` (8 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-01 13:06 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Keywords| |meta-bug
Last reconfirmed|0000-00-00 00:00:00 |2005-06-01 13:06:16
date| |
Version|3.3.1 |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21861
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/21861] [meta-bug] scalar evolution type conversion
2005-06-01 11:10 [Bug tree-optimization/21861] New: [meta-bug] scalar evolution type conversion sebastian dot pop at cri dot ensmp dot fr
2005-06-01 11:12 ` [Bug tree-optimization/21861] " sebastian dot pop at cri dot ensmp dot fr
2005-06-01 13:06 ` pinskia at gcc dot gnu dot org
@ 2005-06-02 3:14 ` dnovillo at gcc dot gnu dot org
2005-06-02 8:51 ` schwab at suse dot de
` (7 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: dnovillo at gcc dot gnu dot org @ 2005-06-02 3:14 UTC (permalink / raw)
To: gcc-bugs
--
Bug 21861 depends on bug 21029, which changed state.
Bug 21029 Summary: [4.1 Regression] vrp miscompiles Ada front-end, drops loop exit test in well-defined wrap-around circumstances
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21029
What |Old Value |New Value
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21861
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/21861] [meta-bug] scalar evolution type conversion
2005-06-01 11:10 [Bug tree-optimization/21861] New: [meta-bug] scalar evolution type conversion sebastian dot pop at cri dot ensmp dot fr
` (2 preceding siblings ...)
2005-06-02 3:14 ` dnovillo at gcc dot gnu dot org
@ 2005-06-02 8:51 ` schwab at suse dot de
2005-06-02 17:15 ` dnovillo at gcc dot gnu dot org
` (6 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: schwab at suse dot de @ 2005-06-02 8:51 UTC (permalink / raw)
To: gcc-bugs
--
Bug 21861 depends on bug 21029, which changed state.
Bug 21029 Summary: [4.1 Regression] vrp miscompiles Ada front-end, drops loop exit test in well-defined wrap-around circumstances
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21029
What |Old Value |New Value
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21861
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/21861] [meta-bug] scalar evolution type conversion
2005-06-01 11:10 [Bug tree-optimization/21861] New: [meta-bug] scalar evolution type conversion sebastian dot pop at cri dot ensmp dot fr
` (3 preceding siblings ...)
2005-06-02 8:51 ` schwab at suse dot de
@ 2005-06-02 17:15 ` dnovillo at gcc dot gnu dot org
2005-06-07 19:51 ` cvs-commit at gcc dot gnu dot org
` (5 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: dnovillo at gcc dot gnu dot org @ 2005-06-02 17:15 UTC (permalink / raw)
To: gcc-bugs
--
Bug 21861 depends on bug 21029, which changed state.
Bug 21029 Summary: [4.1 Regression] vrp miscompiles Ada front-end, drops loop exit test in well-defined wrap-around circumstances
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21029
What |Old Value |New Value
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21861
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/21861] [meta-bug] scalar evolution type conversion
2005-06-01 11:10 [Bug tree-optimization/21861] New: [meta-bug] scalar evolution type conversion sebastian dot pop at cri dot ensmp dot fr
` (4 preceding siblings ...)
2005-06-02 17:15 ` dnovillo at gcc dot gnu dot org
@ 2005-06-07 19:51 ` cvs-commit at gcc dot gnu dot org
2005-06-07 20:02 ` sebastian dot pop at cri dot ensmp dot fr
` (4 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2005-06-07 19:51 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2005-06-07 19:51 -------
Subject: Bug 21861
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: spop@gcc.gnu.org 2005-06-07 19:51:26
Modified files:
gcc : ChangeLog Makefile.in tree-chrec.c tree-chrec.h
tree-flow.h tree-scalar-evolution.c
tree-ssa-loop-ivopts.c tree-ssa-loop-niter.c
tree-vrp.c
gcc/testsuite/gcc.dg/vect: vect-77.c vect-78.c
Log message:
Fixes PR 18403 and meta PR 21861.
* Makefile.in (tree-chrec.o): Depend on CFGLOOP_H and TREE_FLOW_H.
* tree-chrec.c: Include cfgloop.h and tree-flow.h.
(evolution_function_is_invariant_rec_p,
evolution_function_is_invariant_p): New.
(chrec_convert): Use an extra parameter AT_STMT for refining the
information that is passed down to convert_step. Integrate the
code that was in count_ev_in_wider_type.
* tree-chrec.h (count_ev_in_wider_type): Removed.
(chrec_convert): Modify its declaration.
(evolution_function_is_invariant_p): Declared.
(evolution_function_is_affine_p): Use evolution_function_is_invariant_p.
* tree-flow.h (can_count_iv_in_wider_type): Renamed convert_step.
(scev_probably_wraps_p): Declared.
* tree-scalar-evolution.c (count_ev_in_wider_type): Removed.
(follow_ssa_edge_in_rhs, interpret_rhs_modify_expr):
Use an extra parameter AT_STMT for refining the information that is
passed down to convert_step.
(follow_ssa_edge_inner_loop_phi, follow_ssa_edge,
analyze_scalar_evolution_1): Initialize AT_STMT with the current
analyzed statement.
(instantiate_parameters_1): Don't know yet how to initialize AT_STMT.
* tree-ssa-loop-ivopts.c (idx_find_step): Update the use of
can_count_iv_in_wider_type to use convert_step.
* tree-ssa-loop-niter.c (can_count_iv_in_wider_type_bound): Move
code that is independent of the loop over the known iteration
bounds to convert_step_widening, the rest is moved to
proved_non_wrapping_p.
(scev_probably_wraps_p): New.
(can_count_iv_in_wider_type): Renamed convert_step.
* tree-vrp.c (adjust_range_with_scev): Take an extra AT_STMT parameter.
Use scev_probably_wraps_p for computing init_is_max.
(vrp_visit_assignment): Pass the current analyzed statement to
adjust_range_with_scev.
(execute_vrp): Call estimate_numbers_of_iterations for refining the
information provided by scev analyzer.
testsuite:
* testsuite/gcc.dg/vect/vect-77.c: Remove xfail from lp64.
* testsuite/gcc.dg/vect/vect-78.c: Same.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9071&r2=2.9072
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/Makefile.in.diff?cvsroot=gcc&r1=1.1500&r2=1.1501
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-chrec.c.diff?cvsroot=gcc&r1=2.19&r2=2.20
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-chrec.h.diff?cvsroot=gcc&r1=2.8&r2=2.9
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-flow.h.diff?cvsroot=gcc&r1=2.118&r2=2.119
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-scalar-evolution.c.diff?cvsroot=gcc&r1=2.27&r2=2.28
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-loop-ivopts.c.diff?cvsroot=gcc&r1=2.76&r2=2.77
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-loop-niter.c.diff?cvsroot=gcc&r1=2.28&r2=2.29
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-vrp.c.diff?cvsroot=gcc&r1=2.23&r2=2.24
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/vect/vect-77.c.diff?cvsroot=gcc&r1=1.10&r2=1.11
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/vect/vect-78.c.diff?cvsroot=gcc&r1=1.11&r2=1.12
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21861
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/21861] [meta-bug] scalar evolution type conversion
2005-06-01 11:10 [Bug tree-optimization/21861] New: [meta-bug] scalar evolution type conversion sebastian dot pop at cri dot ensmp dot fr
` (5 preceding siblings ...)
2005-06-07 19:51 ` cvs-commit at gcc dot gnu dot org
@ 2005-06-07 20:02 ` sebastian dot pop at cri dot ensmp dot fr
2005-06-08 9:45 ` schwab at suse dot de
` (3 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: sebastian dot pop at cri dot ensmp dot fr @ 2005-06-07 20:02 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From sebastian dot pop at cri dot ensmp dot fr 2005-06-07 20:02 -------
fixed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21861
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/21861] [meta-bug] scalar evolution type conversion
2005-06-01 11:10 [Bug tree-optimization/21861] New: [meta-bug] scalar evolution type conversion sebastian dot pop at cri dot ensmp dot fr
` (6 preceding siblings ...)
2005-06-07 20:02 ` sebastian dot pop at cri dot ensmp dot fr
@ 2005-06-08 9:45 ` schwab at suse dot de
2005-06-08 12:30 ` pinskia at gcc dot gnu dot org
` (2 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: schwab at suse dot de @ 2005-06-08 9:45 UTC (permalink / raw)
To: gcc-bugs
--
Bug 21861 depends on bug 21029, which changed state.
Bug 21029 Summary: [4.1 Regression] vrp miscompiles Ada front-end, drops loop exit test in well-defined wrap-around circumstances
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21029
What |Old Value |New Value
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21861
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/21861] [meta-bug] scalar evolution type conversion
2005-06-01 11:10 [Bug tree-optimization/21861] New: [meta-bug] scalar evolution type conversion sebastian dot pop at cri dot ensmp dot fr
` (7 preceding siblings ...)
2005-06-08 9:45 ` schwab at suse dot de
@ 2005-06-08 12:30 ` pinskia at gcc dot gnu dot org
2005-06-09 14:44 ` pinskia at gcc dot gnu dot org
2005-06-14 19:40 ` pinskia at gcc dot gnu dot org
10 siblings, 0 replies; 12+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-08 12:30 UTC (permalink / raw)
To: gcc-bugs
--
Bug 21861 depends on bug 21029, which changed state.
Bug 21029 Summary: [4.1 Regression] vrp miscompiles Ada front-end, drops loop exit test in well-defined wrap-around circumstances
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21029
What |Old Value |New Value
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21861
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/21861] [meta-bug] scalar evolution type conversion
2005-06-01 11:10 [Bug tree-optimization/21861] New: [meta-bug] scalar evolution type conversion sebastian dot pop at cri dot ensmp dot fr
` (8 preceding siblings ...)
2005-06-08 12:30 ` pinskia at gcc dot gnu dot org
@ 2005-06-09 14:44 ` pinskia at gcc dot gnu dot org
2005-06-14 19:40 ` pinskia at gcc dot gnu dot org
10 siblings, 0 replies; 12+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-09 14:44 UTC (permalink / raw)
To: gcc-bugs
--
Bug 21861 depends on bug 18403, which changed state.
Bug 18403 Summary: FAILs to vectorize testcases on ppc64-linux
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18403
What |Old Value |New Value
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21861
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug tree-optimization/21861] [meta-bug] scalar evolution type conversion
2005-06-01 11:10 [Bug tree-optimization/21861] New: [meta-bug] scalar evolution type conversion sebastian dot pop at cri dot ensmp dot fr
` (9 preceding siblings ...)
2005-06-09 14:44 ` pinskia at gcc dot gnu dot org
@ 2005-06-14 19:40 ` pinskia at gcc dot gnu dot org
10 siblings, 0 replies; 12+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-14 19:40 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21861
^ permalink raw reply [flat|nested] 12+ messages in thread
end of thread, other threads:[~2005-06-14 19:40 UTC | newest]
Thread overview: 12+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-06-01 11:10 [Bug tree-optimization/21861] New: [meta-bug] scalar evolution type conversion sebastian dot pop at cri dot ensmp dot fr
2005-06-01 11:12 ` [Bug tree-optimization/21861] " sebastian dot pop at cri dot ensmp dot fr
2005-06-01 13:06 ` pinskia at gcc dot gnu dot org
2005-06-02 3:14 ` dnovillo at gcc dot gnu dot org
2005-06-02 8:51 ` schwab at suse dot de
2005-06-02 17:15 ` dnovillo at gcc dot gnu dot org
2005-06-07 19:51 ` cvs-commit at gcc dot gnu dot org
2005-06-07 20:02 ` sebastian dot pop at cri dot ensmp dot fr
2005-06-08 9:45 ` schwab at suse dot de
2005-06-08 12:30 ` pinskia at gcc dot gnu dot org
2005-06-09 14:44 ` pinskia at gcc dot gnu dot org
2005-06-14 19:40 ` 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).