[Bug middle-end/51472] New: ICE: verify_gimple failed: invalid rhs for gimple memory store with -fgnu-tm --param tm-max-aggregate-size=32

[Bug middle-end/51472] New: ICE: verify_gimple failed: invalid rhs for gimple memory store with -fgnu-tm --param tm-max-aggregate-size=32

[zsojka at seznam dot cz]

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

             Bug #: 51472
           Summary: ICE: verify_gimple failed: invalid rhs for gimple
                    memory store with -fgnu-tm --param
                    tm-max-aggregate-size=32
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
                CC: patrick.marlier@gmail.com
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 26030
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26030
reduced testcase

Compiler output:
$ gcc -O -fgnu-tm --param tm-max-aggregate-size=32 testcase.c         
testcase.c: In function 'foo':
testcase.c:5:1: error: invalid rhs for gimple memory store
tm_save.3_10

*p_1;

# .MEM_13 = VDEF <.MEM_6>
tm_save.3_10 = *p_1;

testcase.c:5:1: internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r182098 - crash

[Bug middle-end/51472] ICE: verify_gimple failed: invalid rhs for gimple memory store with -fgnu-tm --param tm-max-aggregate-size=32

[rguenth at gcc dot gnu.org]

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

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-12-09 09:03:26 UTC ---
It looks like sth forgot to call update_stmt.

[Bug middle-end/51472] ICE: verify_gimple failed: invalid rhs for gimple memory store with -fgnu-tm --param tm-max-aggregate-size=32

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-12-15
     Ever Confirmed|0                           |1

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> 2011-12-15 01:27:43 UTC ---
Confirmed.

[Bug middle-end/51472] ICE: verify_gimple failed: invalid rhs for gimple memory store with -fgnu-tm --param tm-max-aggregate-size=32

[aldyh at gcc dot gnu.org]

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

Aldy Hernandez <aldyh at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot       |aldyh at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #3 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2011-12-20 17:00:56 UTC ---
Proposed fix
http://gcc.gnu.org/ml/gcc-patches/2011-12/msg01467.html

[Bug middle-end/51472] ICE: verify_gimple failed: invalid rhs for gimple memory store with -fgnu-tm --param tm-max-aggregate-size=32

[aldyh at gcc dot gnu.org]

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

--- Comment #4 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2011-12-21 14:30:20 UTC ---
Author: aldyh
Date: Wed Dec 21 14:30:07 2011
New Revision: 182588

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182588
Log:
        PR middle-end/51472
        * trans-mem.c (tm_log_add): Use create_tmp_var_reg.


Added:
    trunk/gcc/testsuite/gcc.dg/tm/pr51472.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/trans-mem.c

[Bug middle-end/51472] ICE: verify_gimple failed: invalid rhs for gimple memory store with -fgnu-tm --param tm-max-aggregate-size=32

[aldyh at gcc dot gnu.org]

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

Aldy Hernandez <aldyh at gcc dot gnu.org> changed:

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

--- Comment #5 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2011-12-21 14:31:26 UTC ---
fixed

[Bug middle-end/51472] ICE: verify_gimple failed: invalid rhs for gimple memory store with -fgnu-tm --param tm-max-aggregate-size=32

[ubizjak at gmail dot com]

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

Uros Bizjak <ubizjak at gmail dot com> changed:

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

--- Comment #6 from Uros Bizjak <ubizjak at gmail dot com> 2011-12-22 15:43:24 UTC ---
(In reply to comment #5)
> fixed

Not really... it still fails on alpha-linux-gnu and
powerpc64-unknown-linux-gnu, although with a different error:

pr51472.c: In function ‘foo’:
pr51472.c:8:1: error: missing definition
for SSA_NAME: v.0_2 in statement:
# .MEM_9 = VDEF <.MEM_6>
D.1459 = v.0_2;
pr51472.c:8:1: internal compiler error: verify_ssa failed

(This can be also triggered from x86_64 -> alpha cross.)

[Bug middle-end/51472] ICE: verify_gimple failed: invalid rhs for gimple memory store with -fgnu-tm --param tm-max-aggregate-size=32

[rsandifo at gcc dot gnu.org]

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

rsandifo@gcc.gnu.org <rsandifo at gcc dot gnu.org> changed:

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

--- Comment #7 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> 2011-12-30 15:35:54 UTC ---
Same for mips64-linux-gnu.

[Bug middle-end/51472] ICE: verify_gimple failed: invalid rhs for gimple memory store with -fgnu-tm --param tm-max-aggregate-size=32

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |NEW

--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-01-03 23:41:20 UTC ---
(In reply to comment #7)
> Same for mips64-linux-gnu.

I can confirm that for mips64-linux-gnu for N64 ABI.

[Bug middle-end/51472] ICE: verify_gimple failed: invalid rhs for gimple memory store with -fgnu-tm --param tm-max-aggregate-size=32

[aldyh at gcc dot gnu.org]

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

--- Comment #9 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2012-01-05 13:36:37 UTC ---
Author: aldyh
Date: Thu Jan  5 13:36:32 2012
New Revision: 182908

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182908
Log:
        PR middle-end/51472
        * trans-mem.c (expand_assign_tm): Handle TM_MEMMOVE loads correctly.
testsuite/
        PR middle-end/51472
        * gcc.dg/tm/memopt-6.c: Adjust regexp.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/tm/memopt-6.c
    trunk/gcc/trans-mem.c

[Bug middle-end/51472] ICE: verify_gimple failed: invalid rhs for gimple memory store with -fgnu-tm --param tm-max-aggregate-size=32

[aldyh at gcc dot gnu.org]

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

Aldy Hernandez <aldyh at gcc dot gnu.org> changed:

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

--- Comment #10 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2012-01-05 13:38:00 UTC ---
fixed on trunk

[Bug middle-end/51472] ICE: verify_gimple failed: invalid rhs for gimple memory store with -fgnu-tm --param tm-max-aggregate-size=32

[aldyh at gcc dot gnu.org]

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

Aldy Hernandez <aldyh at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dominiq at lps dot ens.fr

--- Comment #11 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2012-01-05 13:41:15 UTC ---
*** Bug 51685 has been marked as a duplicate of this bug. ***