[Bug rtl-optimization/45051] New: [4.6 Regression]: gcc.c-torture/execute/builtins/abs-2.c and abs-3.c due to "track subwords of DImode allocnos"

[Bug rtl-optimization/45051] New: [4.6 Regression]: gcc.c-torture/execute/builtins/abs-2.c and abs-3.c due to "track subwords of DImode allocnos"

[hp at gcc dot gnu dot org]

With revision 162417 this test passed.
>From revision 162418 and on, these tests (or "this test" as abs-3.c is
effectively the same as abs-2.c) has failed as follows:
Running
/tmp/badabs/gcc/gcc/testsuite/gcc.c-torture/execute/builtins/builtins.exp ...
FAIL: gcc.c-torture/execute/builtins/abs-2.c execution,  -O2 
FAIL: gcc.c-torture/execute/builtins/abs-2.c execution,  -O3
-fomit-frame-pointer 
FAIL: gcc.c-torture/execute/builtins/abs-2.c execution,  -O3 -g 
FAIL: gcc.c-torture/execute/builtins/abs-2.c execution,  -Os 
FAIL: gcc.c-torture/execute/builtins/abs-2.c execution,  -O2 -flto 
FAIL: gcc.c-torture/execute/builtins/abs-2.c execution,  -O2 -fwhopr 
FAIL: gcc.c-torture/execute/builtins/abs-3.c execution,  -O2 
FAIL: gcc.c-torture/execute/builtins/abs-3.c execution,  -O3
-fomit-frame-pointer 
FAIL: gcc.c-torture/execute/builtins/abs-3.c execution,  -O3 -g 
FAIL: gcc.c-torture/execute/builtins/abs-3.c execution,  -Os 
FAIL: gcc.c-torture/execute/builtins/abs-3.c execution,  -O2 -flto 
FAIL: gcc.c-torture/execute/builtins/abs-3.c execution,  -O2 -fwhopr 

With the message in the logfile being:
...
PASS: gcc.c-torture/execute/builtins/abs-2.c compilation,  -O2 
program stopped with signal 6.
FAIL: gcc.c-torture/execute/builtins/abs-2.c execution,  -O2 
...
(i.e. abort being called)

Author of patch in suspect revision range CC:ed.

At a glance, the code change causes a register containing 0 to be used as
containing 0xffffffff for the low-part of 9223372036854775807LL ((1<<63)-1),
i.e. a mis-tracking of a DImode subreg.

I'll attach a smaller test-case and an assembly diff pointing out the wrong
code.


-- 
           Summary: [4.6 Regression]: gcc.c-torture/execute/builtins/abs-2.c
                    and abs-3.c due to "track subwords of DImode allocnos"
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: hp at gcc dot gnu dot org
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: cris-axis-elf


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

[Bug rtl-optimization/45051] [4.6 Regression]: gcc.c-torture/execute/builtins/abs-2.c and abs-3.c due to "track subwords of DImode allocnos"

[hp at gcc dot gnu dot org]

------- Comment #1 from hp at gcc dot gnu dot org  2010-07-24 02:46 -------
Created an attachment (id=21295)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21295&action=view)
Shortened gcc.c-torture/execute/builtins/abs-2.c

Compile with e.g. -O2


-- 


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

[Bug rtl-optimization/45051] [4.6 Regression]: gcc.c-torture/execute/builtins/abs-2.c and abs-3.c due to "track subwords of DImode allocnos"

[hp at gcc dot gnu dot org]

------- Comment #2 from hp at gcc dot gnu dot org  2010-07-24 02:51 -------
(In reply to comment #0)
Oops; replace:
> containing 0xffffffff for the low-part of 9223372036854775807LL ((1<<63)-1),
with:
> containing 0x7fffffff for the high-part of 9223372036854775807LL ((1<<63)-1),


-- 


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

[Bug rtl-optimization/45051] [4.6 Regression]: gcc.c-torture/execute/builtins/abs-2.c and abs-3.c due to "track subwords of DImode allocnos"

[hp at gcc dot gnu dot org]

------- Comment #3 from hp at gcc dot gnu dot org  2010-07-24 03:02 -------
--- good:r162417/abs-2.s        Sat Jul 24 03:13:36 2010
+++ bad:r162418/abs-2.s Sat Jul 24 03:15:53 2010
@@ -9,27 +9,27 @@ _main_test:
        move $srp,[$sp]
        subu.b 84,$sp
        movem $r8,[$sp]
-       clear.d $r4
-       clear.d $r5
-       move.b 1,$r4
-       move.d $r4,[$sp+76]
-       move.d $r5,[$sp+80]
+       clear.d $r0      ; (set (reg:SI r0) (const_int 0))
+       clear.d $r1
+       move.b 1,$r0     ; (set (strict_low_part:QI (reg:SI r0)) (const_int 1))
+       move.d $r0,[$sp+76]
+       move.d $r1,[$sp+80]
        moveq -1,$r12
        move.d $r12,[$sp+68]
        move.d $r12,[$sp+72]
-       clear.d $r10
-       move.d $r4,$r11
-       move.d $r11,$r8
-       move.d -2147483648,$r0
-       move.d $r11,[$sp+60]
-       move.d $r10,[$sp+64]
-       move.d 2147483647,$r11
+       move.d $r0,$r10
+       move.d -2147483648,$r11
+       move.d $r10,[$sp+60]
+       move.d $r11,[$sp+64]
+       clear.b $r0     ; (set (strict_low_part:QI (reg:SI r9)) (const_int 0))
+       move.d $r0,$r9  ; (set (reg:SI r9) (reg:SI r0))
+       move.d 2147483647,$r0
        move.d $r12,[$sp+52]
-       move.d $r11,[$sp+56]
-       move.d $r8,[$sp+44]
-       move.d $r0,[$sp+48]
+       move.d $r9,[$sp+56]     ; stored here
+       move.d $r10,[$sp+44]
+       move.d $r11,[$sp+48]
        move.d $r12,[$sp+36]
-       move.d $r11,[$sp+40]
+       move.d $r0,[$sp+40]
        move.d [$sp+52],$r12
        move.d [$sp+56],$r13    ; loaded here
        test.d $r12 ; fatally tested below; containing 0, expected 0x7fffffff


-- 

hp at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-07-24 03:02:58
               date|                            |


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

[Bug rtl-optimization/45051] [4.6 Regression]: gcc.c-torture/execute/builtins/abs-2.c and abs-3.c due to "track subwords of DImode allocnos"

[bernds at gcc dot gnu dot org]

------- Comment #4 from bernds at gcc dot gnu dot org  2010-07-27 09:35 -------
Subject: Bug 45051

Author: bernds
Date: Tue Jul 27 09:34:51 2010
New Revision: 162558

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=162558
Log:
        PR rtl-optimization/45051
        * reload1.c (delete_output_reload): Use refers_to_regno_p rather
        than reg_mentioned_p.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/reload1.c


-- 


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

[Bug rtl-optimization/45051] [4.6 Regression]: gcc.c-torture/execute/builtins/abs-2.c and abs-3.c due to "track subwords of DImode allocnos"

[bernds at gcc dot gnu dot org]

------- Comment #5 from bernds at gcc dot gnu dot org  2010-07-27 21:49 -------
Assuming fixed and closing.  Please reopen if you still have a problem.


-- 

bernds at gcc dot gnu dot org changed:

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


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

[Bug rtl-optimization/45051] [4.6 Regression]: gcc.c-torture/execute/builtins/abs-2.c and abs-3.c due to "track subwords of DImode allocnos"

[hp at gcc dot gnu dot org]

------- Comment #6 from hp at gcc dot gnu dot org  2010-09-21 21:26 -------
Subject: Bug 45051

Author: hp
Date: Tue Sep 21 21:25:57 2010
New Revision: 164498

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=164498
Log:
        PR rtl-optimization/41085
        Backport from mainline
        2010-07-27  Bernd Schmidt  <bernds@codesourcery.com>

        PR rtl-optimization/45051
        * reload1.c (delete_output_reload): Use refers_to_regno_p rather
        than reg_mentioned_p.

Modified:
    branches/gcc-4_5-branch/gcc/ChangeLog
    branches/gcc-4_5-branch/gcc/reload1.c


-- 


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