public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug tree-optimization/19522] New: Fix GCC so that a nonlocal label won't appear after local labels.
@ 2005-01-19 5:58 kazu at cs dot umass dot edu
2005-01-19 6:39 ` [Bug tree-optimization/19522] " pinskia at gcc dot gnu dot org
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: kazu at cs dot umass dot edu @ 2005-01-19 5:58 UTC (permalink / raw)
To: gcc-bugs
Fix GCC so that a nonlocal label won't appear after local labels.
In other words, the following addition to tree_verify_flow_info should not
introduce regressions.
http://gcc.gnu.org/ml/gcc-patches/2005-01/msg01191.html
--
Summary: Fix GCC so that a nonlocal label won't appear after
local labels.
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: kazu at cs dot umass dot edu
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19522
^ permalink raw reply [flat|nested] 7+ messages in thread* [Bug tree-optimization/19522] Fix GCC so that a nonlocal label won't appear after local labels. 2005-01-19 5:58 [Bug tree-optimization/19522] New: Fix GCC so that a nonlocal label won't appear after local labels kazu at cs dot umass dot edu @ 2005-01-19 6:39 ` pinskia at gcc dot gnu dot org 2005-01-19 6:46 ` pinskia at gcc dot gnu dot org ` (4 subsequent siblings) 5 siblings, 0 replies; 7+ messages in thread From: pinskia at gcc dot gnu dot org @ 2005-01-19 6:39 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-19 06:39 ------- I think the problem is in remove_bb. This is the only place where we move lables around really. basically here: block_stmt_iterator new_bsi = bsi_start (new_bb); we should just skip over the first label if there is one. I will try to test this in a little bit. -- What |Removed |Added ---------------------------------------------------------------------------- Version|unknown |4.0.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19522 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/19522] Fix GCC so that a nonlocal label won't appear after local labels. 2005-01-19 5:58 [Bug tree-optimization/19522] New: Fix GCC so that a nonlocal label won't appear after local labels kazu at cs dot umass dot edu 2005-01-19 6:39 ` [Bug tree-optimization/19522] " pinskia at gcc dot gnu dot org @ 2005-01-19 6:46 ` pinskia at gcc dot gnu dot org 2005-01-19 6:54 ` pinskia at gcc dot gnu dot org ` (3 subsequent siblings) 5 siblings, 0 replies; 7+ messages in thread From: pinskia at gcc dot gnu dot org @ 2005-01-19 6:46 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-19 06:46 ------- Actually I think the verifying patch is wrong, because we can have multiple computed lables at the begining of a BB because we moved it from a different BB. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19522 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/19522] Fix GCC so that a nonlocal label won't appear after local labels. 2005-01-19 5:58 [Bug tree-optimization/19522] New: Fix GCC so that a nonlocal label won't appear after local labels kazu at cs dot umass dot edu 2005-01-19 6:39 ` [Bug tree-optimization/19522] " pinskia at gcc dot gnu dot org 2005-01-19 6:46 ` pinskia at gcc dot gnu dot org @ 2005-01-19 6:54 ` pinskia at gcc dot gnu dot org 2005-01-19 6:55 ` pinskia at gcc dot gnu dot org ` (2 subsequent siblings) 5 siblings, 0 replies; 7+ messages in thread From: pinskia at gcc dot gnu dot org @ 2005-01-19 6:54 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-19 06:53 ------- Yes that is it. Basically we have two computed GOTO's at the beginging of the BB which is okay really since there is no way otherwise since we just remove the other BB (unless you want to create a new BB which seems like a waste really). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19522 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/19522] Fix GCC so that a nonlocal label won't appear after local labels. 2005-01-19 5:58 [Bug tree-optimization/19522] New: Fix GCC so that a nonlocal label won't appear after local labels kazu at cs dot umass dot edu ` (2 preceding siblings ...) 2005-01-19 6:54 ` pinskia at gcc dot gnu dot org @ 2005-01-19 6:55 ` pinskia at gcc dot gnu dot org 2005-01-31 12:56 ` kazu at cs dot umass dot edu 2005-04-20 2:22 ` pinskia at gcc dot gnu dot org 5 siblings, 0 replies; 7+ messages in thread From: pinskia at gcc dot gnu dot org @ 2005-01-19 6:55 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-19 06:55 ------- (In reply to comment #3) ... like a waste. Since we are going to keep the BB's around for longer in 4.1. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19522 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/19522] Fix GCC so that a nonlocal label won't appear after local labels. 2005-01-19 5:58 [Bug tree-optimization/19522] New: Fix GCC so that a nonlocal label won't appear after local labels kazu at cs dot umass dot edu ` (3 preceding siblings ...) 2005-01-19 6:55 ` pinskia at gcc dot gnu dot org @ 2005-01-31 12:56 ` kazu at cs dot umass dot edu 2005-04-20 2:22 ` pinskia at gcc dot gnu dot org 5 siblings, 0 replies; 7+ messages in thread From: kazu at cs dot umass dot edu @ 2005-01-31 12:56 UTC (permalink / raw) To: gcc-bugs ------- Additional Comments From kazu at cs dot umass dot edu 2005-01-31 12:55 ------- Now tree_verify_flow_info verifies that a nonlocal label does not appear in the middle of a seuqnece of labels. http://gcc.gnu.org/ml/gcc-patches/2005-01/msg01383.html -- What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution| |FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19522 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/19522] Fix GCC so that a nonlocal label won't appear after local labels. 2005-01-19 5:58 [Bug tree-optimization/19522] New: Fix GCC so that a nonlocal label won't appear after local labels kazu at cs dot umass dot edu ` (4 preceding siblings ...) 2005-01-31 12:56 ` kazu at cs dot umass dot edu @ 2005-04-20 2:22 ` pinskia at gcc dot gnu dot org 5 siblings, 0 replies; 7+ messages in thread From: pinskia at gcc dot gnu dot org @ 2005-04-20 2:22 UTC (permalink / raw) To: gcc-bugs -- What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|--- |4.0.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19522 ^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2005-04-20 2:22 UTC | newest] Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2005-01-19 5:58 [Bug tree-optimization/19522] New: Fix GCC so that a nonlocal label won't appear after local labels kazu at cs dot umass dot edu 2005-01-19 6:39 ` [Bug tree-optimization/19522] " pinskia at gcc dot gnu dot org 2005-01-19 6:46 ` pinskia at gcc dot gnu dot org 2005-01-19 6:54 ` pinskia at gcc dot gnu dot org 2005-01-19 6:55 ` pinskia at gcc dot gnu dot org 2005-01-31 12:56 ` kazu at cs dot umass dot edu 2005-04-20 2:22 ` 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).