[Bug c++/55106] New: ice: Maximum number of LRA constraint passes is achieved (15)

[Bug c++/55106] New: ice: Maximum number of LRA constraint passes is achieved (15)

[dcb314 at hotmail dot com]

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

             Bug #: 55106
           Summary: ice: Maximum number of LRA constraint passes is
                    achieved (15)
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: dcb314@hotmail.com


Created attachment 28545
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28545
C++ source code

I just tried to compile the package verilator-3.805-5
on gcc-4.8 trunk dated 20121027 on an AMD x86_64 box.

The compiler said

../V3Number.cpp:1286:1: internal compiler error: Maximum number of LRA
constraint passes is achieved (15)

 }
 ^
0x994c28 lra_constraints(bool)
    ../../src/trunk/gcc/lra-constraints.c:3262
0x9882fe lra(_IO_FILE*)
    ../../src/trunk/gcc/lra.c:2281
0x9507a6 do_reload
    ../../src/trunk/gcc/ira.c:4614
0x9507a6 rest_of_handle_reload
    ../../src/trunk/gcc/ira.c:4720
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

Preprocessed source code attached. Flag -O3 required.

[Bug rtl-optimization/55106] ice: Maximum number of LRA constraint passes is achieved (15)

[markus at trippelsdorf dot de]

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

Markus Trippelsdorf <markus at trippelsdorf dot de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |markus at trippelsdorf dot
                   |                            |de, vmakarov at gcc dot
                   |                            |gnu.org

--- Comment #1 from Markus Trippelsdorf <markus at trippelsdorf dot de> 2012-10-28 14:52:03 UTC ---
markus@x4 tmp % cat test.ii
template<typename _Tp> struct A {
  typedef _Tp *pointer;
  typedef _Tp& reference;
  typedef _Tp& const_reference;
  template<typename>struct rebind
  {
    typedef A other;
  };
};

template<typename _Alloc>struct __alloc_traits
{
  typedef typename _Alloc::pointer         pointer;
  typedef typename _Alloc::reference       reference;
  typedef typename _Alloc::const_reference const_reference;
  template<typename _Tp>struct rebind
  {
    typedef typename _Alloc::template rebind<_Tp>::other other;
  };
};
template<typename _Tp, typename _Alloc>struct B
{
  typedef typename __alloc_traits<_Alloc>::template rebind<
      _Tp>::other _Tp_alloc_type;
  typedef typename __alloc_traits<_Tp_alloc_type>::pointer pointer;
  struct F
  {
    pointer _M_start;
  };
  F _M_impl;
};
template<typename _Tp, typename _Alloc = A<_Tp> >class vec : B<_Tp, _Alloc>{
  typedef B<_Tp, _Alloc>                 _Base;
  typedef typename _Base::_Tp_alloc_type _Tp_alloc_type;
  typedef __alloc_traits<_Tp_alloc_type> _Alloc_traits;

public:
  typedef _Tp                                     value_type;
  typedef typename _Alloc_traits::reference       reference;
  typedef typename _Alloc_traits::const_reference const_reference;
  reference operator[](int p1)
  {
    return *(this->_M_impl._M_start + p1);
  }

  const_reference operator[](long) const;
};

int a[17];
class C {
  vec<int> m_value;
  void opModDivGuts(const C&);
  int mostSetBitP1() const;
};
void C::opModDivGuts(const C& p1)
{
  int b = p1.mostSetBitP1(), c = b + 1;
  int d[16];

  for (int i = c; i; i--)
    a[i] = p1.m_value[i] << b;

  for (int i = 0; i < c; i++)
    m_value[i] = d[i] >> b << -b;
}

markus@x4 tmp % g++ -Wall -Wextra -c -O3 test.ii
test.ii: In member function ‘void C::opModDivGuts(const C&)’:
test.ii:65:1: internal compiler error: Maximum number of LRA constraint passes
is achieved (15)

[Bug rtl-optimization/55106] ice: Maximum number of LRA constraint passes is achieved (15)

[vmakarov at gcc dot gnu.org]

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

--- Comment #2 from Vladimir Makarov <vmakarov at gcc dot gnu.org> 2012-10-29 00:42:30 UTC ---
Author: vmakarov
Date: Mon Oct 29 00:42:25 2012
New Revision: 192904

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

    PR rtl-optimization/55106
    * lra-constraints.c (skip_usage_debug_insns): New function.
    (check_secondary_memory_needed_p): Ditto.
    (inherit_reload_reg): Use the new functions.  Improve debug
    output.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/lra-constraints.c

[Bug rtl-optimization/55106] ice: Maximum number of LRA constraint passes is achieved (15)

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> 2012-10-29 14:39:24 UTC ---
Fixed.

[Bug rtl-optimization/55106] ice: Maximum number of LRA constraint passes is achieved (15)

[vmakarov at gcc dot gnu.org]

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

--- Comment #4 from Vladimir Makarov <vmakarov at gcc dot gnu.org> 2012-10-29 14:42:21 UTC ---
Author: vmakarov
Date: Mon Oct 29 14:42:05 2012
New Revision: 192944

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

    PR rtl-optimization/55106
    * g++.dg/pr55106.C: New.


Added:
    trunk/gcc/testsuite/g++.dg/pr55106.C
Modified:
    trunk/gcc/testsuite/ChangeLog

[Bug rtl-optimization/55106] ice: Maximum number of LRA constraint passes is achieved (15)

[vanboxem.ruben at gmail dot com]

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

Ruben Van Boxem <vanboxem.ruben at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |vanboxem.ruben at gmail dot
                   |                            |com

--- Comment #5 from Ruben Van Boxem <vanboxem.ruben at gmail dot com> 2012-12-20 19:36:08 UTC ---
I'm still hitting this failure when building GMP 5.1.0 for i686-w64-mingw32:

libtool: compile:  i686-w64-mingw32-gcc -std=gnu99 -DHAVE_CONFIG_H -I.
-I../../../../src/gmp/mpn -I.. -D__GMP_WITHIN_GMP -I../../../../src/gmp
-DOPERATION_sbpi1_div_qr -O2 -march=nocona -mtune=core2 -fomit-frame-pointer
-momit-leaf-frame-pointer -c sbpi1_div_qr.c -o sbpi1_div_qr.o
div_qr_2u_pi1.c: In function '__gmpn_div_qr_2u_pi1':
div_qr_2u_pi1.c:67:1: internal compiler error: Maximum number of LRA constraint
passes is achieved (30)

 }
 ^
Please submit a full bug report,
with preprocessed source if appropriate.

The build for x86_64-w64-mingw32 did not encounter this problem. I'm building
on 64-bit Debian using a self-built linux to Windows cross-compilers.

[Bug rtl-optimization/55106] ice: Maximum number of LRA constraint passes is achieved (15)

[vanboxem.ruben at gmail dot com]

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

--- Comment #6 from Ruben Van Boxem <vanboxem.ruben at gmail dot com> 2012-12-20 19:42:02 UTC ---
I can also add that GMP 5.0.5 does not trigger this ICE.

[Bug rtl-optimization/55106] ice: Maximum number of LRA constraint passes is achieved (15)

[vmakarov at gcc dot gnu.org]

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

--- Comment #7 from Vladimir Makarov <vmakarov at gcc dot gnu.org> 2012-12-21 14:27:51 UTC ---
(In reply to comment #5)
> I'm still hitting this failure when building GMP 5.1.0 for i686-w64-mingw32:
> 
> libtool: compile:  i686-w64-mingw32-gcc -std=gnu99 -DHAVE_CONFIG_H -I.
> -I../../../../src/gmp/mpn -I.. -D__GMP_WITHIN_GMP -I../../../../src/gmp
> -DOPERATION_sbpi1_div_qr -O2 -march=nocona -mtune=core2 -fomit-frame-pointer
> -momit-leaf-frame-pointer -c sbpi1_div_qr.c -o sbpi1_div_qr.o
> div_qr_2u_pi1.c: In function '__gmpn_div_qr_2u_pi1':
> div_qr_2u_pi1.c:67:1: internal compiler error: Maximum number of LRA constraint
> passes is achieved (30)
> 
>  }
>  ^
> Please submit a full bug report,
> with preprocessed source if appropriate.
> 
> The build for x86_64-w64-mingw32 did not encounter this problem. I'm building
> on 64-bit Debian using a self-built linux to Windows cross-compilers.

Could you provide a preprocessed source code.  I'd try to reproduce this.  In
any case, it will be not fixed quickly.  I am on vacation next two weeks. 
Sorry.