[Bug tree-optimization/36765] New: [4.4 Regression] Revision 137573 miscompiles 464.h264ref in SPEC CPU 2006

[Bug tree-optimization/36765] New: [4.4 Regression] Revision 137573 miscompiles 464.h264ref in SPEC CPU 2006

[hjl dot tools at gmail dot com]

Revision 137573 miscompiles 464.h264ref in SPEC CPU 2006 on Linux/x86-64
with -O2 -ffast-math:


Running Benchmarks
  Running 464.h264ref test base o2 default
Error with '/export/gnu/import/rrs/spec/2006/spec/bin/specinvoke -E -d
/export/gnu/import/rrs/spec/2006/spec/benchspec/CPU2006/464.h264ref/run/run_base_test_o2.0000
-c 1 -e compare.err -o compare.stdout -f compare.cmd': check file
'/export/gnu/import/rrs/spec/2006/spec/benchspec/CPU2006/464.h264ref/run/run_base_test_o2.0000/.err'
*** Miscompare of foreman_test_baseline_leakybucketparam.cfg, see
/export/gnu/import/rrs/spec/2006/spec/benchspec/CPU2006/464.h264ref/run/run_base_test_o2.0000/foreman_test_baseline_leakybucketparam.cfg.mis
*** Miscompare of foreman_test_baseline_encodelog.out, see
/export/gnu/import/rrs/spec/2006/spec/benchspec/CPU2006/464.h264ref/run/run_base_test_o2.0000/foreman_test_baseline_encodelog.out.mis
Invalid run; unable to continue.  If you wish to ignore errors please use '-I'
or ignore_errors


-- 
           Summary: [4.4 Regression] Revision 137573 miscompiles 464.h264ref
                    in SPEC CPU 2006
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: hjl dot tools at gmail dot com


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

[Bug tree-optimization/36765] [4.4 Regression] Revision 137573 miscompiles 464.h264ref in SPEC CPU 2006

[Joey dot ye at intel dot com]

------- Comment #1 from Joey dot ye at intel dot com  2008-07-11 05:46 -------
Created an attachment (id=15897)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15897&action=view)
Small test case reduced from cpu2006.464.h264ref

/home/jye2/work/bug-37665> gcc -v
Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: ../src/configure --disable-bootstrap
--enable-languages=c,c++,fortran --enable-checking=assert
Thread model: posix
gcc version 4.4.0 20080707 (experimental) [trunk revision 137573] (GCC) 
/home/jye2/work/bug-37665> make -B && ./m.exe && echo PASS
gcc -c main.c -g
gcc -O2 -ffast-math -g   -c -o l5.o l5.c
gcc -o m.exe main.o l5.o
Bmin[0]=21
Aborted

/home/jye2/work/bug-37665> gcc -v
Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: ../src/configure --disable-bootstrap
--enable-languages=c,c++,fortran --enable-checking=assert
Thread model: posix
gcc version 4.4.0 20080707 (experimental) [trunk revision 137572] (GCC) 
/home/jye2/work/bug-37665> make -B && ./m.exe && echo PASS
gcc -c main.c -g
gcc -O2 -ffast-math -g   -c -o l5.o l5.c
gcc -o m.exe main.o l5.o
PASS


-- 


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

[Bug tree-optimization/36765] [4.4 Regression] Revision 137573 miscompiles 464.h264ref in SPEC CPU 2006

[Joey dot ye at intel dot com]

------- Comment #2 from Joey dot ye at intel dot com  2008-07-11 05:49 -------
Effect of line 76 
    buffer_frame[0] = InitFullness;
is eliminated by optimizer due to bug in GCC.


-- 


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

[Bug tree-optimization/36765] [4.4 Regression] Revision 137573 miscompiles 464.h264ref in SPEC CPU 2006

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2008-07-11 10:15 -------
Thanks for reducing this.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-07-11 10:15:59
               date|                            |
   Target Milestone|---                         |4.4.0


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

[Bug tree-optimization/36765] [4.4 Regression] Revision 137573 miscompiles 464.h264ref in SPEC CPU 2006

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2008-07-11 10:42 -------
Turns out this is a problem I already have a patch in my queue.  Reduced
testcase:

int __attribute__((noinline))
foo(int i)
{
  int *p = __builtin_malloc (4 * sizeof(int));
  *p = 0;
  p[i] = 1;
  return *p;
}
extern void abort (void);
int main()
{
  if (foo(0) != 1)
    abort ();
  return 0;
}

The bug is latent since forever.


-- 


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

[Bug tree-optimization/36765] [4.4 Regression] Revision 137573 miscompiles 464.h264ref in SPEC CPU 2006

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2008-07-11 12:45 -------
Subject: Bug 36765

Author: rguenth
Date: Fri Jul 11 12:44:26 2008
New Revision: 137715

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=137715
Log:
2008-07-11  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/36765
        * tree-ssa-alias.c (compute_flow_insensitive_aliasing): Add
        aliases from HEAP vars to SMTs.

        * gcc.c-torture/execute/pr36765.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr36765.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-alias.c


-- 


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

[Bug tree-optimization/36765] [4.4 Regression] Revision 137573 miscompiles 464.h264ref in SPEC CPU 2006

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2008-07-11 12:45 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/36765] [4.3 Regression] Revision 137573 miscompiles 464.h264ref in SPEC CPU 2006

[rguenth at gcc dot gnu dot org]

------- Comment #7 from rguenth at gcc dot gnu dot org  2009-01-18 20:54 -------
The testcase from comment #4 fails on the branch.  Re-opening, possibly
related to PR38905.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
      Known to fail|                            |4.3.3
      Known to work|                            |4.2.0 4.4.0
         Resolution|FIXED                       |
            Summary|[4.4 Regression] Revision   |[4.3 Regression] Revision
                   |137573 miscompiles          |137573 miscompiles
                   |464.h264ref in SPEC CPU 2006|464.h264ref in SPEC CPU 2006
   Target Milestone|4.4.0                       |4.3.3


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

[Bug tree-optimization/36765] [4.3 Regression] Revision 137573 miscompiles 464.h264ref in SPEC CPU 2006

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|4.2.0 4.4.0                 |4.2.0 4.3.2 4.4.0
           Priority|P3                          |P1


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

[Bug tree-optimization/36765] [4.3 Regression] Revision 137573 miscompiles 464.h264ref in SPEC CPU 2006

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2009-01-18 21:22 -------
*** Bug 38905 has been marked as a duplicate of this bug. ***


-- 


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

[Bug tree-optimization/36765] [4.3 Regression] Revision 137573 miscompiles 464.h264ref in SPEC CPU 2006

[hjl dot tools at gmail dot com]

------- Comment #9 from hjl dot tools at gmail dot com  2009-01-18 22:09 -------
This patch:

http://gcc.gnu.org/ml/gcc/2009-01/msg00260.html

works on Linux/x86-64.


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2008-07-11 10:15:59         |2009-01-18 22:09:14
               date|                            |


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

[Bug tree-optimization/36765] [4.3 Regression] Revision 137573 miscompiles 464.h264ref in SPEC CPU 2006

[rguenth at gcc dot gnu dot org]

------- Comment #10 from rguenth at gcc dot gnu dot org  2009-01-19 09:33 -------
Subject: Bug 36765

Author: rguenth
Date: Mon Jan 19 09:33:06 2009
New Revision: 143494

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143494
Log:
2009-01-19  Richard Guenther  <rguenther@suse.de>

        Backport from mainline
        2008-07-11  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/36765
        * tree-ssa-alias.c (compute_flow_insensitive_aliasing): Add
        aliases from HEAP vars to SMTs.

        * gcc.c-torture/execute/pr36765.c: New testcase.

Added:
    branches/gcc-4_3-branch/gcc/testsuite/gcc.c-torture/execute/pr36765.c
Modified:
    branches/gcc-4_3-branch/gcc/ChangeLog
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_3-branch/gcc/tree-ssa-alias.c


-- 


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

[Bug tree-optimization/36765] [4.3 Regression] Revision 137573 miscompiles 464.h264ref in SPEC CPU 2006

[rguenth at gcc dot gnu dot org]

------- Comment #11 from rguenth at gcc dot gnu dot org  2009-01-19 09:35 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

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


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