[Bug optimization/12147] New: Wrong code with -O2 in context of reload

[Bug optimization/12147] New: Wrong code with -O2 in context of reload

[heinrich dot brand at fujitsu-siemens dot com]

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

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

           Summary: Wrong code with -O2 in context of reload
           Product: gcc
           Version: 3.3.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: heinrich dot brand at fujitsu-siemens dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: s390-linux-gnu
  GCC host triplet: s390-linux-gnu
GCC target triplet: s390-linux-gnu

Please see usage of r11 in x.c.24.greg generated with the code below:




(insn 4069 4063 4068 0 (nil) (set (reg:SI 11 %r11)


        (const_int 253 [0xfd])) 54 {*movsi_lhi} (nil)


    (nil))




(insn 4068 4069 1767 0 (nil) (set (reg:SI 11 %r11)


        (const_int 5572 [0x15c4])) 54 {*movsi_lhi} (nil)


    (nil))




(insn 1767 4068 4067 0 0x40209980 (parallel [


            (set (reg:SI 11 %r11)


                (xor:SI (reg:SI 11 %r11)


                    (mem:SI (plus:SI (reg/f:SI 15 %r15)


                            (reg:SI 11 %r11)) [178 S8 A8])))


            (clobber (reg:CC 33 %cc))


        ]) 216 {xorsi3} (insn_list 1759 (insn_list:REG_DEP_OUTPUT 47 (insn_list:
REG_DEP_OUTPUT 1621 (insn_list 1765 (insn_list:REG_DEP_ANTI 52 (nil))))))


    (expr_list:REG_NO_CONFLICT (mem:DI (plus:SI (reg/f:SI 15 %r15)


                (const_int 5568 [0x15c0])) [178 S8 A8])


        (nil)))


#############################################################################


test:




#define asop &=


#define op &


#define conv signed char




#include <stdio.h>




struct C77 {


    unsigned long long f1 : 1;


    unsigned long long a1 : 6; /* Bitfeld innerhalb eines Bytes */


    unsigned long long f2 : 1;


    unsigned long long a2 : 7; /* linksbuendig */


    unsigned long long f3 : 2;


    unsigned long long a3 : 7; /* rechtsbuendig */


    unsigned long long f4 : 8;


    unsigned long long f5 : 1;


    unsigned long long b1 : 14;/* Bitfeld innerhalb eines Halbworts */


    unsigned long long f6 : 1;


    unsigned long long b2 : 15;/* linksbuendig */


    unsigned long long f7 : 1;


    unsigned long long f8 : 1;


    unsigned long long b3 : 15;/* rechtsbuendig */


    unsigned long long f9 : 16;


    unsigned long long fa : 1;


    unsigned long long c1 : 30;/* Bitfeld innerhalb eines Worts */


    unsigned long long fb : 1;


    unsigned long long c2 : 31;/* linksbuendig */


    unsigned long long fc : 2;


    unsigned long long c3 : 31;/* rechtsbuendig */


    unsigned long long fd : 1;


    unsigned long long d1 : 62;/* Bitfeld innerhalb eines Doppelworts */


    unsigned long long fe : 1;


    unsigned long long d2 : 63;/* linksbuendig */


    unsigned long long ff : 1;


    unsigned long long fg : 1;


    unsigned long long d3 : 63;/* rechtsbuendig */


};






#define XA      0xca9653c6396a5c63LL


#define XB      0xffffffffffffffffLL


#define XC      0x2424242424242424LL


#define XD      0x0c51LL


#define XE      0x1414141414141414LL




static int f1(), f2(), f3(), f5(), f6();


void tprint(struct C77 y[]);




int main() {


  


    register int i;


    long dummy[824];


    struct C77 w[4];


    long long z[4][20];


    static    int q;


    q = 0;


    z[0][0] = XA;


    z[1][0] = XB;


    z[2][0] = XC;


    z[3][0] = XD;




#if 1


    for(i=3;i<4;i++){i = 3; 


    }


#endif


    memset(w, (char) XE, 4*sizeof(struct C77));


#if 1 /*alle z[][] schalten */


#if 1


    z[0][1] = (conv) (w[0].a1 asop XA);


    z[0][2] = (conv) (w[0].a1 asop XA);


    z[0][3] = (conv) (w[0].a1 asop XA);


    z[0][4] = (conv) (w[0].b1 asop XA);


    z[0][5] = (conv) (w[0].b1 asop XA);


#if 1


    z[0][6] = (conv) (w[0].b3 asop XA); /*SUCCESSFUL,FAILED*/


#else


    z[0][6] = (conv) (w[0].b2 asop XA); /*SUCCESSFUL,SUCCESSFUL*/


#endif


    z[0][7] = (conv) (w[0].c1 asop XA);


    z[0][8] = (conv) (w[0].c2 asop XA);


    z[0][9] = (conv) (w[0].c3 asop XA);


    z[0][10] = (conv) (w[0].d1 asop XA);


    z[0][11] = (conv) (w[0].d2 asop XA);


    z[0][12] = (conv) (w[0].d3 asop XA);


#endif






#if 1


    z[1][1] = (conv) (w[1].a1 asop XB);


    z[1][2] = (conv) (w[1].a2 asop XB);


    z[1][3] = (conv) (w[1].a3 asop XB);


    z[1][4] = (conv) (w[1].b1 asop XB);


    z[1][5] = (conv) (w[1].b2 asop XB);


    z[1][6] = (conv) (w[1].b3 asop XB);


    z[1][7] = (conv) (w[1].c1 asop XB);


    z[1][8] = (conv) (w[1].c2 asop XB);


    z[1][9] = (conv) (w[1].c3 asop XB);


    z[1][10] = (conv) (w[1].d1 asop XB);


    z[1][11] = (conv) (w[1].d2 asop XB);


    z[1][12] = (conv) (w[1].d3 asop XB);


#endif


    z[2][1] = (conv) (w[2].a1 asop XC);


    z[2][2] = (conv) (w[2].a2 asop XC);


    z[2][3] = (conv) (w[2].a3 asop XC);


    z[2][4] = (conv) (w[2].b1 asop XC);


    z[2][5] = (conv) (w[2].b2 asop XC);


    z[2][6] = (conv) (w[2].b3 asop XC);


    z[2][7] = (conv) (w[2].c1 asop XC);


    z[2][8] = (conv) (w[2].c2 asop XC);


    z[2][9] = (conv) (w[2].c3 asop XC);


    z[2][10] = (conv) (w[2].d1 asop XC);


    z[2][11] = (conv) (w[2].d2 asop XC);


    z[2][12] = (conv) (w[2].d3 asop XC);




    z[3][1] = (conv) (w[3].a1 asop XD);


    z[3][2] = (conv) (w[3].a2 asop XD);


    z[3][3] = (conv) (w[3].a3 asop XD);


    z[3][4] = (conv) (w[3].b1 asop XD);


    z[3][5] = (conv) (w[3].b2 asop XD);


    z[3][6] = (conv) (w[3].b3 asop XD);


    z[3][7] = (conv) (w[3].c1 asop XD);


    z[3][8] = (conv) (w[3].c2 asop XD);


    z[3][9] = (conv) (w[3].c3 asop XD);


    z[3][10] = (conv) (w[3].d1 asop XD);


    z[3][11] = (conv) (w[3].d2 asop XD);


#else




#endif


{unsigned long long r,res;


 unsigned long long ersatz[10];


 char zw,zwntf("r= %llx\n",r);


    res=r;


    printf("\n"); 


    r = r ^ XDD;


    printf("w[3].d3: %llx zwi: %x\n",w[3].d3,zwi); 


    /*if( w[3].d3  == r)printf("SUCCESSFUL\n");*/




    if((conv) w[3].d3  == (conv)r) 


        printf("SUCCESSFUL\n");


    else 


        printf("FAILED\n");




    printf("(conv) w[3].d3: %x (conv) r: %x\n",(conv)w[3].d3,(conv) r);  


    exit(res&1);


}


}

[Bug optimization/12147] Wrong code with -O2 in context of reload

[dhazeghi at yahoo dot com]

------- Additional Comments From dhazeghi at yahoo dot com  2004-01-21 17:23 -------
Ulrich, would you mind commenting on this report? Thanks.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |uweigand at de dot ibm dot
                   |                            |com
           Keywords|                            |wrong-code


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

[Bug optimization/12147] Wrong code with -O2 in context of reload

[uweigand at gcc dot gnu dot org]

------- Additional Comments From uweigand at gcc dot gnu dot org  2004-01-21 17:49 -------
Unfortunately, the test case looks corrupted:

 unsigned long long ersatz[10];
 char zw,zwntf("r= %llx\n",r);
 res=r;

There appear to be some crucial parts missing.  I've tried to 
reconstruct what's missing here, but unsuccessfully.


-- 


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

[Bug optimization/12147] Wrong code with -O2 in context of reload

[dhazeghi at yahoo dot com]

------- Additional Comments From dhazeghi at yahoo dot com  2004-01-21 17:57 -------
Thanks. Heinrich, could you please resend your testcase, this time attaching it through bugzilla's 
'create attachment'?

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING


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

[Bug optimization/12147] Wrong code with -O2 in context of reload

[uweigand at gcc dot gnu dot org]

------- Additional Comments From uweigand at gcc dot gnu dot org  2004-01-22 16:51 -------
I've confirmed the problem; this is indeed a reload bug, probably 
in reload_reg_free_p which doesn't recognize a conflict between
RELOAD_OTHER and RELOAD_FOR_OPADDR_ADDR as it should ...

I'll investigate further.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |ASSIGNED
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-01-22 16:51:36
               date|                            |


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

[Bug optimization/12147] Wrong code with -O2 in context of reload

[uweigand at gcc dot gnu dot org]

------- Additional Comments From uweigand at gcc dot gnu dot org  2004-01-23 02:18 -------
This patch 
http://gcc.gnu.org/ml/gcc-patches/2004-01/msg02396.html 
should fix the problem ... 
 

-- 


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

[Bug optimization/12147] Wrong code with -O2 in context of reload

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch
   Target Milestone|---                         |3.5.0


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

[Bug optimization/12147] Wrong code with -O2 in context of reload

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-01-30 23:10 -------
Subject: Bug 12147

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	uweigand@gcc.gnu.org	2004-01-30 23:10:43

Modified files:
	gcc            : ChangeLog reload1.c 

Log message:
	PR optimization/12147
	* reload1.c (reload_reg_free_p): RELOAD_OTHER conflicts with
	RELOAD_FOR_OPADDR_ADDR.
	(reload_reg_reaches_end_p): RELOAD_FOR_OTHER_ADDRESS register
	might be reused as RELOAD_FOR_OPADDR_ADDR register.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.2569&r2=2.2570
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/reload1.c.diff?cvsroot=gcc&r1=1.420&r2=1.421



-- 


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

[Bug optimization/12147] Wrong code with -O2 in context of reload

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-01-30 23:13 -------
Subject: Bug 12147

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	uweigand@gcc.gnu.org	2004-01-30 23:13:20

Modified files:
	gcc            : ChangeLog reload1.c 

Log message:
	PR optimization/12147
	* reload1.c (reload_reg_free_p): RELOAD_OTHER conflicts with
	RELOAD_FOR_OPADDR_ADDR.
	(reload_reg_reaches_end_p): RELOAD_FOR_OTHER_ADDRESS register
	might be reused as RELOAD_FOR_OPADDR_ADDR register.

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.115&r2=2.2326.2.116
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/reload1.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.419.4.1&r2=1.419.4.2



-- 


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

[Bug optimization/12147] Wrong code with -O2 in context of reload

[uweigand at gcc dot gnu dot org]

------- Additional Comments From uweigand at gcc dot gnu dot org  2004-01-30 23:22 -------
Fixed for 3.4.0 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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

[Bug optimization/12147] Wrong code with -O2 in context of reload

[pinskia at gcc dot gnu dot org]

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


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

[Bug optimization/12147] Wrong code with -O2 in context of reload

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-04 13:04 -------
Subject: Bug 12147

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	hammer-3_3-branch
Changes by:	uweigand@gcc.gnu.org	2004-02-04 13:03:57

Modified files:
	gcc            : ChangeLog.hammer reload1.c 

Log message:
	PR optimization/12147
	* reload1.c (reload_reg_free_p): RELOAD_OTHER conflicts with
	RELOAD_FOR_OPADDR_ADDR.
	(reload_reg_reaches_end_p): A RELOAD_FOR_OTHER_ADDRESS register
	might be reused as RELOAD_FOR_OPADDR_ADDR register.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.hammer.diff?cvsroot=gcc&only_with_tag=hammer-3_3-branch&r1=1.1.2.306&r2=1.1.2.307
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/reload1.c.diff?cvsroot=gcc&only_with_tag=hammer-3_3-branch&r1=1.364.2.10&r2=1.364.2.11



-- 


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

[Bug optimization/12147] Wrong code with -O2 in context of reload

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-03-05 20:16 -------
Subject: Bug 12147

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_3-branch
Changes by:	uweigand@gcc.gnu.org	2004-03-05 20:16:50

Modified files:
	gcc            : ChangeLog reload1.c 

Log message:
	PR optimization/12147
	* reload1.c (reload_reg_free_p): RELOAD_OTHER conflicts with
	RELOAD_FOR_OPADDR_ADDR.
	(reload_reg_reaches_end_p): A RELOAD_FOR_OTHER_ADDRESS register
	might be reused as RELOAD_FOR_OPADDR_ADDR register.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.16114.2.920&r2=1.16114.2.921
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/reload1.c.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.366.2.8&r2=1.366.2.9



-- 


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

[Bug optimization/12147] Wrong code with -O2 in context of reload

[uweigand at gcc dot gnu dot org]

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


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