[Bug target/53789] New: ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[Bug target/53789] New: ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[vincent-gcc at vinc17 dot net]

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

             Bug #: 53789
           Summary: ICE in gen_reg_rtx, at emit-rtl.c:864/865 when
                    compiling GNU MPFR on parisc
    Classification: Unclassified
           Product: gcc
           Version: 4.4.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: vincent-gcc@vinc17.net


Created attachment 27712
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27712
preprocessed file

When compiling GNU MPFR on a parisc machine (gcc61.fsffrance.org), I get an ICE
(see below). This can be reproduced with:

  /opt/cfarm/release/4.4.1/bin/gcc -O3 tconst_pi.i

where tconst_pi.i is attached. The bug is not reproducible with -O2 only. I
couldn't find a similar bug report (including among the closed bugs), and there
doesn't seem to be a more recent GCC version on this machine.

$ ./config.status -V
MPFR config.status 3.1.1-rc1
configured by ../mpfr-3.1.1-rc1/configure, generated by GNU Autoconf 2.69,
  with options "'--enable-assert=full' '--enable-thread-safe'"
[GMP 4.2.2]
$ gcc --version
gcc (Debian 4.3.2-1.1) 4.3.2
$ make && make check
[...]
../../mpfr-3.1.1-rc1/tests/tconst_log2.c: In function 'main':
../../mpfr-3.1.1-rc1/tests/tconst_log2.c:201: internal compiler error: in
gen_reg_rtx, at emit-rtl.c:865
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-4.3/README.Bugs> for instructions.
make[2]: *** [tconst_log2.o] Error 1
make[2]: Leaving directory `/tmp/mpfrtests-vinc17-13638/obj/tests'
make[1]: *** [check-am] Error 2
make[1]: Leaving directory `/tmp/mpfrtests-vinc17-13638/obj/tests'
make: *** [check-recursive] Error 1

$ ./config.status -V
MPFR config.status 3.1.1-rc1
configured by ./configure, generated by GNU Autoconf 2.69,
  with options "'--enable-assert=full' '--enable-thread-safe'
'CC=/opt/cfarm/release/4.4.1/bin/gcc' 'CFLAGS=-Wall -O3 -mpa-risc-1-1
-std=gnu99'"
[GMP 4.2.2]
$ /opt/cfarm/release/4.4.1/bin/gcc --version
gcc (GCC) 4.4.1
$ make && make check
[...]
tconst_pi.c: In function 'main':
tconst_pi.c:186: internal compiler error: in gen_reg_rtx, at emit-rtl.c:864
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
make[2]: *** [tconst_pi.o] Error 1
make[2]: Leaving directory `/tmp/mpfrtests-vinc17-1115/mpfr-3.1.1-rc1/tests'
make[1]: *** [check-am] Error 2
make[1]: Leaving directory `/tmp/mpfrtests-vinc17-1115/mpfr-3.1.1-rc1/tests'
make: *** [check-recursive] Error 1

This also occurred with MPFR 3.0.0 and 3.1.0 (at least).

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |hppa*-*-*
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2012-06-28
     Ever Confirmed|0                           |1

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-06-28 10:01:26 UTC ---
Please try with a version of GCC that is still maintained.

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[vincent-gcc at vinc17 dot net]

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

--- Comment #2 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> 2012-07-05 14:55:52 UTC ---
(In reply to comment #1)
> Please try with a version of GCC that is still maintained.

This is currently not possible due to bug 53270.

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[redi at gcc dot gnu.org]

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

--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-07-05 15:12:02 UTC ---
You can use trunk or the tip of the 4.7 branch.

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[redi at gcc dot gnu.org]

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

--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-07-05 15:21:31 UTC ---
Or IIRC build with --disable-threads

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[vincent-gcc at vinc17 dot net]

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

--- Comment #5 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> 2012-07-07 00:30:40 UTC ---
(In reply to comment #1)
> Please try with a version of GCC that is still maintained.

I can't reproduce the bug with GCC trunk.

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[danglin at gcc dot gnu.org]

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

John David Anglin <danglin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
                 CC|                            |danglin at gcc dot gnu.org
         Resolution|                            |FIXED

--- Comment #6 from John David Anglin <danglin at gcc dot gnu.org> 2012-12-23 03:15:19 UTC ---
Resolved on trunk.

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[danglin at gcc dot gnu.org]

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

John David Anglin <danglin at gcc dot gnu.org> changed:

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

--- Comment #7 from John David Anglin <danglin at gcc dot gnu.org> 2012-12-23 03:57:45 UTC ---
Confirmed with:

dave@mx3210:~/debian/mpfr$ gcc-4.7 -v
Using built-in specs.
COLLECT_GCC=/usr/bin/gcc-4.7.real
COLLECT_LTO_WRAPPER=/usr/lib/gcc/hppa-linux-gnu/4.7/lto-wrapper
Target: hppa-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 4.7.2-4'
--with-bugurl=file:///usr/share/doc/gcc-4.7/README.Bugs
--enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr
--program-suffix=-4.7 --enable-shared --enable-linker-build-id
--with-system-zlib --libexecdir=/usr/lib --without-included-gettext
--enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.7
--libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu
--enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-gnu-unique-object
--disable-libssp --disable-libitm --enable-plugin --enable-objc-gc
--disable-libstdcxx-pch --enable-checking=release --build=hppa-linux-gnu
--host=hppa-linux-gnu --target=hppa-linux-gnu
Thread model: posix
gcc version 4.7.2 (Debian 4.7.2-4)

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[danglin at gcc dot gnu.org]

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

--- Comment #8 from John David Anglin <danglin at gcc dot gnu.org> 2012-12-23 05:07:39 UTC ---
(gdb) bt
#0  gen_reg_rtx (mode=SImode) at ../../gcc/gcc/emit-rtl.c:859
#1  0x007957d4 in legitimize_tls_address (addr=0x412d6cd0)
    at ../../gcc/gcc/config/pa/pa.c:937
#2  0x00799420 in pa_emit_move_sequence (operands=0xfbf02bc8, mode=SImode, 
    scratch_reg=0x0) at ../../gcc/gcc/config/pa/pa.c:1789
#3  0x007bfd28 in gen_movsi (operand0=0x7, operand1=0x412d6cd0)
    at ../../gcc/gcc/config/pa/pa.md:2054
#4  0x00283b70 in emit_move_insn_1 (x=0x412eb9f0, y=0x7)
    at ../../gcc/gcc/expr.c:3385
#5  0x004437f0 in gen_move_insn (x=0x412eb9f0, y=0x412d6cd0)
    at ../../gcc/gcc/optabs.c:4708
#6  0x004a5a10 in gen_reload (out=0x412eb9f0, in=0x412d6cd0, opnum=1, 
    type=4226821064) at ../../gcc/gcc/reload1.c:8677
#7  0x004acc34 in emit_input_reload_insns (j=0, old=<optimized out>, 
    rl=0xad3ea4, chain=0xd18478) at ../../gcc/gcc/reload1.c:7563
#8  do_input_reload (j=0, rl=0xad3ea4, chain=0xd18478)
    at ../../gcc/gcc/reload1.c:7850
#9  emit_reload_insns (chain=0xd18478) at ../../gcc/gcc/reload1.c:8042
#10 0x004b0754 in reload_as_needed (live_known=1)
    at ../../gcc/gcc/reload1.c:4655
#11 0x004b24f4 in reload (first=0x412d58a0, global=1)
    at ../../gcc/gcc/reload1.c:1057
#12 0x003de64c in do_reload () at ../../gcc/gcc/ira.c:3733
#13 rest_of_handle_reload () at ../../gcc/gcc/ira.c:3824

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[danglin at gcc dot gnu.org]

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

John David Anglin <danglin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|hppa*-*-*                   |hppa*-*-linux*

--- Comment #9 from John David Anglin <danglin at gcc dot gnu.org> 2012-12-23 15:16:29 UTC ---
Affects hppa targets with native TLS support.  Although the testcase doesn't
currently
fail for me with trunk, all versions lack the capability to reload a TLS symbol
reference.

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[danglin at gcc dot gnu.org]

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

--- Comment #10 from John David Anglin <danglin at gcc dot gnu.org> 2012-12-23 18:31:30 UTC ---
I implemented a reload pattern to try to do the reload for the following TLS
symbol reference:
"(symbol_ref:SI ("__gmpfr_cache_const_pi") [flags 0x60] <var_decl 0x405e55a0
__gmpfr_cache_const_pi>)"

However, this approach fails here:
      /* ??? It would be useful to be able to handle only two, or more than
         three, operands, but for now we can only handle the case of having
         exactly three: output, input and one temp/scratch.  */
      gcc_assert (insn_data[(int) icode].n_operands == 3);

(gdb) p insn_data[(int) icode].n_operands
$3 = 6 '\006'

I don't see any simple way to reduce the number of scratch registers needed
for the reload.  So, the only possible solution that I can see is to bump the
cost for TLS symbol references to try to avoid the reload.

The reload comes about because we have a pseudo register copy of the
initial address load.  It needs to be spilled rather than using the REG_EQUAL
note.

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[danglin at gcc dot gnu.org]

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

--- Comment #11 from John David Anglin <danglin at gcc dot gnu.org> 2012-12-25 17:57:39 UTC ---
Author: danglin
Date: Tue Dec 25 17:57:35 2012
New Revision: 194714

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194714
Log:
    PR target/53789
    * config/pa/pa.md (movsi): Reject expansion of TLS symbol references
    after reload starts.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/pa/pa.md

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[danglin at gcc dot gnu.org]

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

--- Comment #12 from John David Anglin <danglin at gcc dot gnu.org> 2012-12-25 21:05:28 UTC ---
Author: danglin
Date: Tue Dec 25 21:05:21 2012
New Revision: 194716

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194716
Log:
    PR target/53789
    * config/pa/pa.md (movsi): Reject expansion of TLS symbol references
    after reload starts.


Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/config/pa/pa.md

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[danglin at gcc dot gnu.org]

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

--- Comment #13 from John David Anglin <danglin at gcc dot gnu.org> 2012-12-26 17:29:12 UTC ---
Author: danglin
Date: Wed Dec 26 17:29:08 2012
New Revision: 194723

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194723
Log:
    PR target/53789
    * config/pa/pa.md (movsi): Reject expansion of TLS symbol references
    after reload starts.


Modified:
    branches/gcc-4_6-branch/gcc/ChangeLog
    branches/gcc-4_6-branch/gcc/config/pa/pa.md

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[danglin at gcc dot gnu.org]

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

John David Anglin <danglin at gcc dot gnu.org> changed:

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

--- Comment #14 from John David Anglin <danglin at gcc dot gnu.org> 2012-12-26 19:47:33 UTC ---
ICE is fixed on all active branches.  However, there seems to be another
problem with the tconst_pi test
on hppa-linux.  Looking into it.

On HP-UX 11.11, 3.1.1 with allpatches builds and checks successfully for both
32 and 64 bit targets.

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[danglin at gcc dot gnu.org]

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

--- Comment #15 from John David Anglin <danglin at gcc dot gnu.org> 2013-01-04 03:55:47 UTC ---
Author: danglin
Date: Fri Jan  4 03:55:43 2013
New Revision: 194879

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194879
Log:
    PR target/53789
    * config/pa/pa.md (movsi): Revert previous change.
    * pa.c (pa_legitimate_constant_p): Reject all TLS symbol references.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/pa/pa.c
    trunk/gcc/config/pa/pa.md

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[danglin at gcc dot gnu.org]

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

--- Comment #16 from John David Anglin <danglin at gcc dot gnu.org> 2013-01-04 04:03:30 UTC ---
Author: danglin
Date: Fri Jan  4 04:03:18 2013
New Revision: 194880

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194880
Log:
    PR target/53789
    * config/pa/pa.md (movsi): Revert previous change.
    * config/pa/pa.c (pa_legitimate_constant_p): Reject all TLS symbol
    references.


Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/config/pa/pa.c
    branches/gcc-4_7-branch/gcc/config/pa/pa.md

[Bug target/53789] ICE in gen_reg_rtx, at emit-rtl.c:864/865 when compiling GNU MPFR on parisc

[danglin at gcc dot gnu.org]

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

--- Comment #17 from John David Anglin <danglin at gcc dot gnu.org> 2013-01-05 16:55:55 UTC ---
Author: danglin
Date: Sat Jan  5 16:55:43 2013
New Revision: 194933

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194933
Log:
    PR target/53789
    * config/pa/pa.md (movsi): Revert previous change.
    * config/pa/pa.h (LEGITIMATE_CONSTANT_P): Reject all TLS symbol
    references.


Modified:
    branches/gcc-4_6-branch/gcc/ChangeLog
    branches/gcc-4_6-branch/gcc/config/pa/pa.h
    branches/gcc-4_6-branch/gcc/config/pa/pa.md