[Bug target/64263] New: ICE where adddi3_aarch64 does not satisfy its constraints after r217546

[Bug target/64263] New: ICE where adddi3_aarch64 does not satisfy its constraints after r217546

[jgreenhalgh at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64263

            Bug ID: 64263
           Summary: ICE where adddi3_aarch64 does not satisfy its
                    constraints after r217546
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jgreenhalgh at gcc dot gnu.org
                CC: ramana at gcc dot gnu.org
              Host: x86_64-unknown-linux-gnu
            Target: aarch64-none-elf

Created attachment 34248
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34248&action=edit
Failing testcase

As of r217546, for the attached testcase (compile with -O1), I see the
following ICE on aarch64-none-elf:

---
$ gcc-r217546 bug.c -O1

./bug.c: In function 'foo':
./bug.c:35:10: warning: implicit declaration of function 'vget_lane_s64'
[-Wimplicit-function-declaration]
   val14 = vcreate_s8(0xff0080f6807f807fUL);
          ^
./bug.c:38:1: error: insn does not satisfy its constraints:
   val40 = vreinterpretq_u32_u64(
 ^
(insn 14 13 7 2 (set (reg:DI 32 v0)
        (plus:DI (reg:DI 32 v0)
            (const_int 255 [0xff]))) ./bug.c:35 80 {*adddi3_aarch64}
     (expr_list:REG_EQUAL (const_int 71776119077929215 [0xff000000ff00ff])
        (nil)))
./bug.c:38:1: internal compiler error: in extract_constrain_insn, at
recog.c:2230
0xa19646 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
    /work/gcc-clean/src/gcc/gcc/rtl-error.c:110
0xa19677 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
    /work/gcc-clean/src/gcc/gcc/rtl-error.c:121
0x9f0a40 extract_constrain_insn(rtx_insn*)
    /work/gcc-clean/src/gcc/gcc/recog.c:2230
0x9f32bc copyprop_hardreg_forward_1
    /work/gcc-clean/src/gcc/gcc/regcprop.c:773
0x9f3fbd execute
    /work/gcc-clean/src/gcc/gcc/regcprop.c:1279
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.

[Bug target/64263] [5.0 Regression] ICE where adddi3_aarch64 does not satisfy its constraints after r217546

[ktkachov at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64263

ktkachov at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
      Known to work|                            |4.8.4, 4.9.2
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|                            |2014-12-11
                 CC|                            |ktkachov at gcc dot gnu.org
     Ever confirmed|0                           |1
            Summary|ICE where adddi3_aarch64    |[5.0 Regression] ICE where
                   |does not satisfy its        |adddi3_aarch64 does not
                   |constraints after r217546   |satisfy its constraints
                   |                            |after r217546
      Known to fail|                            |5.0

--- Comment #1 from ktkachov at gcc dot gnu.org ---
Confirmed.

[Bug target/64263] [5.0 Regression] ICE where adddi3_aarch64 does not satisfy its constraints after r217546

[ktkachov at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64263

ktkachov at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |ktkachov at gcc dot gnu.org

--- Comment #2 from ktkachov at gcc dot gnu.org ---
I'll take a look

[Bug target/64263] [5.0 Regression] ICE where adddi3_aarch64 does not satisfy its constraints after r217546

[ktkachov at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64263

ktkachov at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

[Bug target/64263] [5.0 Regression] ICE where adddi3_aarch64 does not satisfy its constraints after r217546

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64263

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |5.0

[Bug target/64263] [5.0 Regression] ICE where adddi3_aarch64 does not satisfy its constraints after r217546

[ktkachov at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64263

--- Comment #3 from ktkachov at gcc dot gnu.org ---
Author: ktkachov
Date: Fri Jan 16 14:50:39 2015
New Revision: 219745

URL: https://gcc.gnu.org/viewcvs?rev=219745&root=gcc&view=rev
Log:
[AArch64] Fix PR 64263: Do not try to split constants when destination is SIMD
reg

    PR target/64263
    * config/aarch64/aarch64.md (*movsi_aarch64): Don't split if the
    destination is not a GP reg.
    (*movdi_aarch64): Likewise.

    * gcc.target/aarch64/pr64263_1.c: New test.

Added:
    trunk/gcc/testsuite/gcc.target/aarch64/pr64263_1.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/aarch64/aarch64.md
    trunk/gcc/testsuite/ChangeLog

[Bug target/64263] [5.0 Regression] ICE where adddi3_aarch64 does not satisfy its constraints after r217546

[ktkachov at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64263

ktkachov at gcc dot gnu.org changed:

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

--- Comment #4 from ktkachov at gcc dot gnu.org ---
Fixed with r219745.

[Bug target/64263] [5.0 Regression] ICE where adddi3_aarch64 does not satisfy its constraints after r217546

[kugan at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64263

--- Comment #5 from kugan at gcc dot gnu.org ---
Author: kugan
Date: Wed Apr  8 21:37:47 2015
New Revision: 221936

URL: https://gcc.gnu.org/viewcvs?rev=221936&root=gcc&view=rev
Log:
2015-04-09  Kugan Vivekanandarajah  <kugan.vivekanandarajah@linaro.org>

    Backport from trunk r219745.
    2015-01-16  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
            Ramana Radhakrishnan <ramana.radhakrishnan@arm.com>

    PR target/64263
    * config/aarch64/aarch64.md (*movsi_aarch64): Don't split if the
    destination is not a GP reg.
    (*movdi_aarch64): Likewise.

2015-04-09  Kugan Vivekanandarajah  <kugan.vivekanandarajah@linaro.org>

    Backport from trunk r219745.
    2015-01-16  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>

    PR target/64263
    * gcc.target/aarch64/pr64263_1.c: New test.


Added:
    branches/linaro/gcc-4_9-branch/gcc/testsuite/gcc.target/aarch64/pr64263_1.c
Modified:
    branches/linaro/gcc-4_9-branch/gcc/ChangeLog.linaro
    branches/linaro/gcc-4_9-branch/gcc/config/aarch64/aarch64.md
    branches/linaro/gcc-4_9-branch/gcc/testsuite/ChangeLog.linaro