[Bug rtl-optimization/55141] New: [4.8 Regression] wrong code with -fno-split-wide-types

[Bug rtl-optimization/55141] New: [4.8 Regression] wrong code with -fno-split-wide-types

[zsojka at seznam dot cz]

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

             Bug #: 55141
           Summary: [4.8 Regression] wrong code with -fno-split-wide-types
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz


Created attachment 28579
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28579
reduced testcase (from gcc.c-torture/execute/20000808-1.c)

Output:
$ gcc -O -fno-split-wide-types testcase.c
$ ./a.out 
Aborted

Tested revisions:
r192991 - fail
r192654 - OK

[Bug rtl-optimization/55141] [4.8 Regression] wrong code with -fno-split-wide-types

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.8.0

[Bug rtl-optimization/55141] [4.8 Regression] wrong code with -fno-split-wide-types

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-10-31
                 CC|                            |mpolacek at gcc dot
                   |                            |gnu.org, vmakarov at gcc
                   |                            |dot gnu.org
     Ever Confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> 2012-10-31 10:31:53 UTC ---
Started with http://gcc.gnu.org/viewcvs?view=revision&revision=192719

[Bug rtl-optimization/55141] [4.8 Regression] wrong code with -fno-split-wide-types

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-11-07 10:48:55 UTC ---
Yeah, argp is eliminated to rsp + 16 instead of the correct rsp + 32 (there are
2 64-bit call used registers saved to stack in the prologue, callq pushes 8
bytes and rsp is adjusted by 8 to maintain the required stack alignment.
Vlad, can you please take a look?

[Bug rtl-optimization/55141] [4.8 Regression] wrong code with -fno-split-wide-types

[vmakarov at redhat dot com]

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

Vladimir Makarov <vmakarov at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |vmakarov at redhat dot com

--- Comment #3 from Vladimir Makarov <vmakarov at redhat dot com> 2012-11-07 15:21:11 UTC ---
(In reply to comment #2)
> Yeah, argp is eliminated to rsp + 16 instead of the correct rsp + 32 (there are
> 2 64-bit call used registers saved to stack in the prologue, callq pushes 8
> bytes and rsp is adjusted by 8 to maintain the required stack alignment.
> Vlad, can you please take a look?

Sure, I'll look at this.  Simply I don't know when exactly (probably in a few
days) because I am working on many LRA PRs these days.

[Bug rtl-optimization/55141] [4.8 Regression] wrong code with -fno-split-wide-types

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug rtl-optimization/55141] [4.8 Regression] wrong code with -fno-split-wide-types

[vmakarov at gcc dot gnu.org]

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

--- Comment #4 from Vladimir Makarov <vmakarov at gcc dot gnu.org> 2012-12-07 21:06:49 UTC ---
Author: vmakarov
Date: Fri Dec  7 21:06:38 2012
New Revision: 194308

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194308
Log:
2012-12-07  Vladimir Makarov  <vmakarov@redhat.com>

    testsuite/gcc.target/i386/pr55141.c
    * lra-constraints.c (lra_constraints): Use biggest mode for
    df_set_regs_ever_live.

2012-12-07  Vladimir Makarov  <vmakarov@redhat.com>

    PR rtl-optimization/55141
    * gcc.target/i386/pr55141.c: New.


Added:
    trunk/gcc/testsuite/gcc.target/i386/pr55141.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/lra-constraints.c
    trunk/gcc/testsuite/ChangeLog

[Bug rtl-optimization/55141] [4.8 Regression] wrong code with -fno-split-wide-types

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-12-13 11:01:24 UTC ---
Fixed.