public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition
@ 2003-10-30 19:31 danglin at gcc dot gnu dot org
  2003-10-30 19:52 ` [Bug optimization/12845] [3.4 Regression] " pinskia at gcc dot gnu dot org
                   ` (21 more replies)
  0 siblings, 22 replies; 23+ messages in thread
From: danglin at gcc dot gnu dot org @ 2003-10-30 19:31 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845

           Summary: Error: Invalid Compare and Branch Condition
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: danglin at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: hppa64-hp-hpux11.11
  GCC host triplet: hppa64-hp-hpux11.11
GCC target triplet: hppa64-hp-hpux11.11

The following error occurs with 3.4 cvs source as 10/30/03:

/xxx/gnu/gcc-3.3/objdir/gcc/xgcc -shared-libgcc -B/xxx/gnu/gcc-3.3/objdir/gcc/ -
nostdinc++ -L/xxx/gnu/gcc-3.3/objdir/hppa64-hp-hpux11.11/libstdc++-v3/src -L/xxx
/gnu/gcc-3.3/objdir/hppa64-hp-hpux11.11/libstdc++-v3/src/.libs -B/opt/gnu64/hppa
64-hp-hpux11.11/bin/ -B/opt/gnu64/hppa64-hp-hpux11.11/lib/ -isystem /opt/gnu64/h
ppa64-hp-hpux11.11/include -isystem /opt/gnu64/hppa64-hp-hpux11.11/sys-include -
I/xxx/gnu/gcc-3.3/objdir/hppa64-hp-hpux11.11/libstdc++-v3/include/hppa64-hp-hpux
11.11 -I/xxx/gnu/gcc-3.3/objdir/hppa64-hp-hpux11.11/libstdc++-v3/include -I/xxx/
gnu/gcc-3.3/gcc/libstdc++-v3/libsupc++ -O2 -g -O2 -g -O2 -fno-implicit-templates
 -Wall -W -Wwrite-strings -Wcast-qual -fdiagnostics-show-location=once -ffunctio
n-sections -fdata-sections -c ../../../../gcc/libstdc++-v3/src/locale-inst.cc  -
fPIC -DPIC -o .libs/locale-inst.o
/var/tmp//ccT9I4xO.s: Assembler messages:
/var/tmp//ccT9I4xO.s:76351: Error: Invalid Compare and Branch Condition

The problematic assembler instruction is:

        cmpib,*>> 0,%r20,L$14585

The condition "*>>" doesn't exist for doubleword cmpib insns.  It does
exist for the cmpb insn (opd1 is greater than opd2, unsigned double word).
We should be generating

	cmpb,*>> %r0,%r20,L$14585

in this situation.

It can be seen that the branch condition is never true.  This is the rtl:

(insn 23955 11294 11314 /xxx/gnu/gcc-3.3/objdir/hppa64-hp-hpux11.11/libstdc++-v3
/include/bits/basic_string.h:290 (sequence [
            (jump_insn 11303 11294 11309 /xxx/gnu/gcc-3.3/objdir/hppa64-hp-hpux1
1.11/libstdc++-v3/include/bits/basic_string.h:522 (set (pc)
                    (if_then_else (ltu (reg/v:DI %r20 [orig:1770 <anonymous> ] [
1770])
                            (const_int 0 [0x0]))
                        (label_ref 22687)
                        (pc))) 48 {*pa.md:1728} (insn_list:REG_DEP_ANTI 21832 (i
nsn_list:REG_DEP_ANTI 11273 (insn_list 11293 (insn_list:REG_DEP_ANTI 11234 (nil)
))))
                (expr_list:REG_BR_PRED (const_int 17 [0x11])
                    (expr_list:REG_DEAD (reg/v:DI %r20 [orig:1770 <anonymous> ] 
[1770])
                        (expr_list:REG_BR_PROB (const_int 3000 [0xbb8])
                            (nil)))))
            (insn/s:TI 11309 11303 11314 (set (reg:DI %r1 [1777])
                    (plus:DI (reg:DI %r27)
                        (high:DI (symbol_ref/v/f:DI ("*L$C0589") [flags 0x2] <st
ring_cst 800003fffbacd9f0>)))) 82 {*pa.md:2535} (nil)
                (nil))
        ]) -1 (nil)

I believe we have a regression in jump optimization as we never hit this
corner case before.  Why wasn't the jump deleted?


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug optimization/12845] [3.4 Regression] Error: Invalid Compare and Branch Condition
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
@ 2003-10-30 19:52 ` pinskia at gcc dot gnu dot org
  2003-11-02 20:59 ` danglin at gcc dot gnu dot org
                   ` (20 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2003-10-30 19:52 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |wrong-code
            Summary|Error: Invalid Compare and  |[3.4 Regression] Error:
                   |Branch Condition            |Invalid Compare and Branch
                   |                            |Condition
   Target Milestone|---                         |3.4


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug optimization/12845] [3.4 Regression] Error: Invalid Compare and Branch Condition
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
  2003-10-30 19:52 ` [Bug optimization/12845] [3.4 Regression] " pinskia at gcc dot gnu dot org
@ 2003-11-02 20:59 ` danglin at gcc dot gnu dot org
  2003-11-02 21:01 ` danglin at gcc dot gnu dot org
                   ` (19 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: danglin at gcc dot gnu dot org @ 2003-11-02 20:59 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845



------- Additional Comments From danglin at gcc dot gnu dot org  2003-11-02 20:59 -------
Created an attachment (id=5041)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5041&action=view)
Simplified testcase


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug optimization/12845] [3.4 Regression] Error: Invalid Compare and Branch Condition
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
  2003-10-30 19:52 ` [Bug optimization/12845] [3.4 Regression] " pinskia at gcc dot gnu dot org
  2003-11-02 20:59 ` danglin at gcc dot gnu dot org
@ 2003-11-02 21:01 ` danglin at gcc dot gnu dot org
  2003-11-02 21:02 ` danglin at gcc dot gnu dot org
                   ` (18 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: danglin at gcc dot gnu dot org @ 2003-11-02 21:01 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845



------- Additional Comments From danglin at gcc dot gnu dot org  2003-11-02 21:01 -------
Created an attachment (id=5042)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5042&action=view)
Build command for "testcase".


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug optimization/12845] [3.4 Regression] Error: Invalid Compare and Branch Condition
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (2 preceding siblings ...)
  2003-11-02 21:01 ` danglin at gcc dot gnu dot org
@ 2003-11-02 21:02 ` danglin at gcc dot gnu dot org
  2003-11-02 21:38 ` cvs-commit at gcc dot gnu dot org
                   ` (17 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: danglin at gcc dot gnu dot org @ 2003-11-02 21:02 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


danglin at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |roger at eyesopen dot com


------- Additional Comments From danglin at gcc dot gnu dot org  2003-11-02 21:02 -------
Added testcase.


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug optimization/12845] [3.4 Regression] Error: Invalid Compare and Branch Condition
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (3 preceding siblings ...)
  2003-11-02 21:02 ` danglin at gcc dot gnu dot org
@ 2003-11-02 21:38 ` cvs-commit at gcc dot gnu dot org
  2003-11-04 14:26 ` pinskia at gcc dot gnu dot org
                   ` (16 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2003-11-02 21:38 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845



------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-11-02 21:38 -------
Subject: Bug 12845

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	danglin@gcc.gnu.org	2003-11-02 21:38:54

Modified files:
	gcc            : ChangeLog 
	gcc/config/pa  : pa.c 

Log message:
	PR optimization/12845
	* pa.c (output_cbranch): Use cmpb for DImode comparisons with 0.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.1655&r2=2.1656
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/pa/pa.c.diff?cvsroot=gcc&r1=1.230&r2=1.231


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug optimization/12845] [3.4 Regression] Error: Invalid Compare and Branch Condition
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (4 preceding siblings ...)
  2003-11-02 21:38 ` cvs-commit at gcc dot gnu dot org
@ 2003-11-04 14:26 ` pinskia at gcc dot gnu dot org
  2003-12-24 16:19 ` kazu at cs dot umass dot edu
                   ` (15 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2003-11-04 14:26 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2003-11-04 14:26:01
               date|                            |


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug optimization/12845] [3.4 Regression] Error: Invalid Compare and Branch Condition
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (5 preceding siblings ...)
  2003-11-04 14:26 ` pinskia at gcc dot gnu dot org
@ 2003-12-24 16:19 ` kazu at cs dot umass dot edu
  2003-12-24 21:55 ` dave at hiauly1 dot hia dot nrc dot ca
                   ` (14 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: kazu at cs dot umass dot edu @ 2003-12-24 16:19 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From kazu at cs dot umass dot edu  2003-12-24 14:53 -------
Can this now be closed?


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |kazu at cs dot umass dot edu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug optimization/12845] [3.4 Regression] Error: Invalid Compare and Branch Condition
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (6 preceding siblings ...)
  2003-12-24 16:19 ` kazu at cs dot umass dot edu
@ 2003-12-24 21:55 ` dave at hiauly1 dot hia dot nrc dot ca
  2004-01-01  6:06 ` pinskia at gcc dot gnu dot org
                   ` (13 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: dave at hiauly1 dot hia dot nrc dot ca @ 2003-12-24 21:55 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From dave at hiauly1 dot hia dot nrc dot ca  2003-12-24 21:54 -------
Subject: Re:  [3.4 Regression] Error: Invalid Compare

> Can this now be closed?

While I have fixed the code generation issue in the PA backend, the
optimization issue hasn't been fixed as far as I know.

Dave


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug optimization/12845] [3.4 Regression] Error: Invalid Compare and Branch Condition
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (7 preceding siblings ...)
  2003-12-24 21:55 ` dave at hiauly1 dot hia dot nrc dot ca
@ 2004-01-01  6:06 ` pinskia at gcc dot gnu dot org
  2004-01-10 11:32 ` [Bug optimization/12845] [3.4 Regression] missed jump optimization steven at gcc dot gnu dot org
                   ` (12 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-01-01  6:06 UTC (permalink / raw)
  To: gcc-bugs



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug optimization/12845] [3.4 Regression] missed jump optimization
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (8 preceding siblings ...)
  2004-01-01  6:06 ` pinskia at gcc dot gnu dot org
@ 2004-01-10 11:32 ` steven at gcc dot gnu dot org
  2004-01-13  4:18 ` pinskia at gcc dot gnu dot org
                   ` (11 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: steven at gcc dot gnu dot org @ 2004-01-10 11:32 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From steven at gcc dot gnu dot org  2004-01-10 11:32 -------
No longer a bad-code bug, just a missed optimization. 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|wrong-code                  |
            Summary|[3.4 Regression] Error:     |[3.4 Regression] missed jump
                   |Invalid Compare and Branch  |optimization
                   |Condition                   |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug optimization/12845] [3.4 Regression] missed jump optimization
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (9 preceding siblings ...)
  2004-01-10 11:32 ` [Bug optimization/12845] [3.4 Regression] missed jump optimization steven at gcc dot gnu dot org
@ 2004-01-13  4:18 ` pinskia at gcc dot gnu dot org
  2004-01-14 14:45 ` dave at hiauly1 dot hia dot nrc dot ca
                   ` (10 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-01-13  4:18 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-13 04:18 -------
Can you test again, I think this patch fixed it:
2004-01-12  Kazu Hirata  <kazu@cs.umass.edu>
        
        PR optimization/12508.
        * combine.c (try_combine): Remove a dead set in a parallel
        even if its destination is a subreg.
        
        Revert: 
        2003-06-03  Kazu Hirata  <kazu@cs.umass.edu>
        * combine.c (simplify_set): Don't move a subreg in SET_SRC to
        SET_DEST if WORD_REGISTER_OPERATIONS is not defined.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pessimizes-code


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug optimization/12845] [3.4 Regression] missed jump optimization
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (10 preceding siblings ...)
  2004-01-13  4:18 ` pinskia at gcc dot gnu dot org
@ 2004-01-14 14:45 ` dave at hiauly1 dot hia dot nrc dot ca
  2004-03-16 16:23 ` [Bug optimization/12845] [3.4/3.5 " mmitchel at gcc dot gnu dot org
                   ` (9 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: dave at hiauly1 dot hia dot nrc dot ca @ 2004-01-14 14:45 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From dave at hiauly1 dot hia dot nrc dot ca  2004-01-14 14:45 -------
Subject: Re:  [3.4 Regression] missed jump optimizatio

> Can you test again, I think this patch fixed it:
> 2004-01-12  Kazu Hirata  <kazu@cs.umass.edu>
>         
>         PR optimization/12508.
>         * combine.c (try_combine): Remove a dead set in a parallel
>         even if its destination is a subreg.
>         
>         Revert: 
>         2003-06-03  Kazu Hirata  <kazu@cs.umass.edu>
>         * combine.c (simplify_set): Don't move a subreg in SET_SRC to
>         SET_DEST if WORD_REGISTER_OPERATIONS is not defined.

The patch didn't fix the problem.

This is a combine problem.  Constants are being substituted by combine
without subsequent simplification.  It occurs in situations where gcse
doesn't run.  It showns up in the g++ compilation of locale-inst.cc
in two routines that use setjmp.  This causes gcse to punt.

Roger Sayle is aware of the details and he may have a fix for the
combine problem.

Dave


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug optimization/12845] [3.4/3.5 Regression] missed jump optimization
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (11 preceding siblings ...)
  2004-01-14 14:45 ` dave at hiauly1 dot hia dot nrc dot ca
@ 2004-03-16 16:23 ` mmitchel at gcc dot gnu dot org
  2004-06-18 23:42 ` [Bug rtl-optimization/12845] " mmitchel at gcc dot gnu dot org
                   ` (8 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2004-03-16 16:23 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From mmitchel at gcc dot gnu dot org  2004-03-16 16:23 -------
I've postponed this until 3.4.1; it's not a showstopper.

Roger, do you have any insight into this problem?

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.0                       |3.4.1


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug rtl-optimization/12845] [3.4/3.5 Regression] missed jump optimization
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (12 preceding siblings ...)
  2004-03-16 16:23 ` [Bug optimization/12845] [3.4/3.5 " mmitchel at gcc dot gnu dot org
@ 2004-06-18 23:42 ` mmitchel at gcc dot gnu dot org
  2004-06-19  0:13 ` dave at hiauly1 dot hia dot nrc dot ca
                   ` (7 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2004-06-18 23:42 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From mmitchel at gcc dot gnu dot org  2004-06-18 23:42 -------
Postponed until GCC 3.4.2.

Roger, would you please indicate whether or not you know anything about this PR? :-)

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.1                       |3.4.2


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug rtl-optimization/12845] [3.4/3.5 Regression] missed jump optimization
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (13 preceding siblings ...)
  2004-06-18 23:42 ` [Bug rtl-optimization/12845] " mmitchel at gcc dot gnu dot org
@ 2004-06-19  0:13 ` dave at hiauly1 dot hia dot nrc dot ca
  2004-08-29 19:02 ` mmitchel at gcc dot gnu dot org
                   ` (6 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: dave at hiauly1 dot hia dot nrc dot ca @ 2004-06-19  0:13 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From dave at hiauly1 dot hia dot nrc dot ca  2004-06-19 00:13 -------
Subject: Re:  [3.4/3.5 Regression] missed jump opt

> Postponed until GCC 3.4.2.
> 
> Roger, would you please indicate whether or not you know anything about this
> PR? :-)

This is a relatively minor problem in not correctly optimizing conditions
that are always true or false.  Originally, the missed optimization caused
an ICE but we now handle the code generation for these situations in the
PA backend.

Dave


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug rtl-optimization/12845] [3.4/3.5 Regression] missed jump optimization
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (14 preceding siblings ...)
  2004-06-19  0:13 ` dave at hiauly1 dot hia dot nrc dot ca
@ 2004-08-29 19:02 ` mmitchel at gcc dot gnu dot org
  2004-11-01  0:45 ` [Bug rtl-optimization/12845] [3.4/4.0 " mmitchel at gcc dot gnu dot org
                   ` (5 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2004-08-29 19:02 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From mmitchel at gcc dot gnu dot org  2004-08-29 19:02 -------
Postponed until GCC 3.4.3.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.2                       |3.4.3


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug rtl-optimization/12845] [3.4/4.0 Regression] missed jump optimization
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (15 preceding siblings ...)
  2004-08-29 19:02 ` mmitchel at gcc dot gnu dot org
@ 2004-11-01  0:45 ` mmitchel at gcc dot gnu dot org
  2004-12-13 18:58 ` kazu at cs dot umass dot edu
                   ` (4 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2004-11-01  0:45 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From mmitchel at gcc dot gnu dot org  2004-11-01 00:45 -------
Postponed until GCC 3.4.4.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.3                       |3.4.4


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug rtl-optimization/12845] [3.4/4.0 Regression] missed jump optimization
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (16 preceding siblings ...)
  2004-11-01  0:45 ` [Bug rtl-optimization/12845] [3.4/4.0 " mmitchel at gcc dot gnu dot org
@ 2004-12-13 18:58 ` kazu at cs dot umass dot edu
  2004-12-13 19:08 ` dave at hiauly1 dot hia dot nrc dot ca
                   ` (3 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: kazu at cs dot umass dot edu @ 2004-12-13 18:58 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From kazu at cs dot umass dot edu  2004-12-13 18:58 -------
Dave, does the current mainline fix the problem you are seeing?
The mainline should propagate constants more aggressively
and eliminate those conditional jumps where we know which edge is taken.



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug rtl-optimization/12845] [3.4/4.0 Regression] missed jump optimization
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (17 preceding siblings ...)
  2004-12-13 18:58 ` kazu at cs dot umass dot edu
@ 2004-12-13 19:08 ` dave at hiauly1 dot hia dot nrc dot ca
  2005-01-31 13:55 ` kazu at cs dot umass dot edu
                   ` (2 subsequent siblings)
  21 siblings, 0 replies; 23+ messages in thread
From: dave at hiauly1 dot hia dot nrc dot ca @ 2004-12-13 19:08 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From dave at hiauly1 dot hia dot nrc dot ca  2004-12-13 19:08 -------
Subject: Re:  [3.4/4.0 Regression] missed jump opt

> Dave, does the current mainline fix the problem you are seeing?
> The mainline should propagate constants more aggressively
> and eliminate those conditional jumps where we know which edge is taken.

I could recheck but it probably won't be until next weekend.

Dave


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug rtl-optimization/12845] [3.4/4.0 Regression] missed jump optimization
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (18 preceding siblings ...)
  2004-12-13 19:08 ` dave at hiauly1 dot hia dot nrc dot ca
@ 2005-01-31 13:55 ` kazu at cs dot umass dot edu
  2005-02-02  5:50 ` [Bug rtl-optimization/12845] [3.4 " ian at airs dot com
  2005-02-02 12:24 ` giovannibajo at libero dot it
  21 siblings, 0 replies; 23+ messages in thread
From: kazu at cs dot umass dot edu @ 2005-01-31 13:55 UTC (permalink / raw)
  To: gcc-bugs



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |WAITING


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug rtl-optimization/12845] [3.4 Regression] missed jump optimization
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (19 preceding siblings ...)
  2005-01-31 13:55 ` kazu at cs dot umass dot edu
@ 2005-02-02  5:50 ` ian at airs dot com
  2005-02-02 12:24 ` giovannibajo at libero dot it
  21 siblings, 0 replies; 23+ messages in thread
From: ian at airs dot com @ 2005-02-02  5:50 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From ian at airs dot com  2005-02-02 05:49 -------
I checked the generated code using current mainline, and I don't see any
conditional jumps which are obviously either true or false.  I expect that this
has been fixed by the tree-ssa optimizations.  Please reopen this bug if it is
still present in mainline gcc.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
      Known to fail|3.4.1 4.0.0                 |3.4.0
      Known to work|3.3                         |3.3 4.0.0
   Last reconfirmed|2003-11-04 14:26:01         |2005-02-02 05:49:55
               date|                            |
            Summary|[3.4/4.0 Regression] missed |[3.4 Regression] missed jump
                   |jump optimization           |optimization


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


^ permalink raw reply	[flat|nested] 23+ messages in thread

* [Bug rtl-optimization/12845] [3.4 Regression] missed jump optimization
  2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
                   ` (20 preceding siblings ...)
  2005-02-02  5:50 ` [Bug rtl-optimization/12845] [3.4 " ian at airs dot com
@ 2005-02-02 12:24 ` giovannibajo at libero dot it
  21 siblings, 0 replies; 23+ messages in thread
From: giovannibajo at libero dot it @ 2005-02-02 12:24 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From giovannibajo at libero dot it  2005-02-02 12:24 -------
Is this a *regression* in 3.4? Does that mean that we used to do better at jump 
threading in 3.3 than in 3.4? Or is that regression mark just a relic of when 
this bug was speaking of an ICE? If it's not a regression, it can be close as 
fixed in mainline.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12845


^ permalink raw reply	[flat|nested] 23+ messages in thread

end of thread, other threads:[~2005-02-02 12:24 UTC | newest]

Thread overview: 23+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-10-30 19:31 [Bug optimization/12845] New: Error: Invalid Compare and Branch Condition danglin at gcc dot gnu dot org
2003-10-30 19:52 ` [Bug optimization/12845] [3.4 Regression] " pinskia at gcc dot gnu dot org
2003-11-02 20:59 ` danglin at gcc dot gnu dot org
2003-11-02 21:01 ` danglin at gcc dot gnu dot org
2003-11-02 21:02 ` danglin at gcc dot gnu dot org
2003-11-02 21:38 ` cvs-commit at gcc dot gnu dot org
2003-11-04 14:26 ` pinskia at gcc dot gnu dot org
2003-12-24 16:19 ` kazu at cs dot umass dot edu
2003-12-24 21:55 ` dave at hiauly1 dot hia dot nrc dot ca
2004-01-01  6:06 ` pinskia at gcc dot gnu dot org
2004-01-10 11:32 ` [Bug optimization/12845] [3.4 Regression] missed jump optimization steven at gcc dot gnu dot org
2004-01-13  4:18 ` pinskia at gcc dot gnu dot org
2004-01-14 14:45 ` dave at hiauly1 dot hia dot nrc dot ca
2004-03-16 16:23 ` [Bug optimization/12845] [3.4/3.5 " mmitchel at gcc dot gnu dot org
2004-06-18 23:42 ` [Bug rtl-optimization/12845] " mmitchel at gcc dot gnu dot org
2004-06-19  0:13 ` dave at hiauly1 dot hia dot nrc dot ca
2004-08-29 19:02 ` mmitchel at gcc dot gnu dot org
2004-11-01  0:45 ` [Bug rtl-optimization/12845] [3.4/4.0 " mmitchel at gcc dot gnu dot org
2004-12-13 18:58 ` kazu at cs dot umass dot edu
2004-12-13 19:08 ` dave at hiauly1 dot hia dot nrc dot ca
2005-01-31 13:55 ` kazu at cs dot umass dot edu
2005-02-02  5:50 ` [Bug rtl-optimization/12845] [3.4 " ian at airs dot com
2005-02-02 12:24 ` giovannibajo at libero dot it

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).