[Bug rtl-optimization/51040] New: ICE: RTL check: access of elt 1 of 'not' with last elt 0 in gen_rtx_fmt_ee_stat, at ./genrtl.h:33 with __atomic_nand_fetch()

[Bug rtl-optimization/51040] New: ICE: RTL check: access of elt 1 of 'not' with last elt 0 in gen_rtx_fmt_ee_stat, at ./genrtl.h:33 with __atomic_nand_fetch()

[zsojka at seznam dot cz]

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

             Bug #: 51040
           Summary: ICE: RTL check: access of elt 1 of 'not' with last elt
                    0 in gen_rtx_fmt_ee_stat, at ./genrtl.h:33 with
                    __atomic_nand_fetch()
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


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

Compiler output:
$ gcc testcase.c 
testcase.c: In function 'foo':
testcase.c:6:30: internal compiler error: RTL check: access of elt 1 of 'not'
with last elt 0 in gen_rtx_fmt_ee_stat, at ./genrtl.h:33
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

RTL checking might be needed to reproduce this.

Tested revisions:
r181174 - crash

[Bug rtl-optimization/51040] ICE: RTL check: access of elt 1 of 'not' with last elt 0 in gen_rtx_fmt_ee_stat, at ./genrtl.h:33 with __atomic_nand_fetch()

[amacleod at redhat dot com]

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

Andrew Macleod <amacleod at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011-11-09
         AssignedTo|unassigned at gcc dot       |amacleod at redhat dot com
                   |gnu.org                     |
     Ever Confirmed|0                           |1

--- Comment #1 from Andrew Macleod <amacleod at redhat dot com> 2011-11-09 19:09:58 UTC ---
Created attachment 25773
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25773
Patch for bug

Proposed fix.

NAND patchup arithmetic was missing the 2 stage AND then NOT operation. 
Instead it was falling into the same sequence as every other operation and
trying to perform a binary operation on a NOT.

I managed to modify and existing testcase to trigger the bug without requiring
a configuration with RTL checking enabled.

Bootstrapped on x86_64-unknown-linux-gnu with no new regressions (pending
completetion of test run)

OK for mainline?

[Bug rtl-optimization/51040] ICE: RTL check: access of elt 1 of 'not' with last elt 0 in gen_rtx_fmt_ee_stat, at ./genrtl.h:33 with __atomic_nand_fetch()

[amacleod at redhat dot com]

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

--- Comment #2 from Andrew Macleod <amacleod at redhat dot com> 2011-11-10 16:39:36 UTC ---
Author: amacleod
Date: Thu Nov 10 16:39:32 2011
New Revision: 181259

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=181259
Log:
    PR rtl-optimization/51040
    * optabs.c (expand_atomic_fetch_op): Patchup code for NAND should be AND
    followed by NOT.
    * builtins.c (expand_builtin_atomic_fetch_op): Patchup code for NAND
    should be AND followed by NOT.
    * testsuite/gcc.dg/atomic-noinline[-aux].c: Test no-inline NAND and
    patchup code.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/builtins.c
    trunk/gcc/optabs.c
    trunk/gcc/testsuite/gcc.dg/atomic-noinline-aux.c
    trunk/gcc/testsuite/gcc.dg/atomic-noinline.c

[Bug rtl-optimization/51040] ICE: RTL check: access of elt 1 of 'not' with last elt 0 in gen_rtx_fmt_ee_stat, at ./genrtl.h:33 with __atomic_nand_fetch()

[zsojka at seznam dot cz]

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

Zdenek Sojka <zsojka at seznam dot cz> changed:

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

--- Comment #3 from Zdenek Sojka <zsojka at seznam dot cz> 2012-01-21 18:01:20 UTC ---
This seems to no longer ICE, thanks for fixing it.