[Bug rtl-optimization/62040] New: internal compiler error: in simplify_const_unary_operation, at simplify-rtx.c:1555

[Bug rtl-optimization/62040] New: internal compiler error: in simplify_const_unary_operation, at simplify-rtx.c:1555

[xinliangli at gmail dot com]

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

            Bug ID: 62040
           Summary: internal compiler error: in
                    simplify_const_unary_operation, at simplify-rtx.c:1555
           Product: gcc
           Version: 4.10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: xinliangli at gmail dot com

Compile the attached source file with option -Os -g  using  aarch64 compiler,
the compiler ICEs:

et2.c: In function 'foo':
et2.c:189:1: internal compiler error: in simplify_const_unary_operation, at
simplify-rtx.c:1555
 }

[Bug rtl-optimization/62040] internal compiler error: in simplify_const_unary_operation, at simplify-rtx.c:1555

[xinliangli at gmail dot com]

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

--- Comment #1 from davidxl <xinliangli at gmail dot com> ---
Created attachment 33264
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33264&action=edit
test case

[Bug rtl-optimization/62040] internal compiler error: in simplify_const_unary_operation, at simplify-rtx.c:1555

[pinskia at gcc dot gnu.org]

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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(insn 144 82 145 2 (set (reg:V2DI 33 v1 [orig:96 D.2914 ] [96])
        (vec_concat:V2DI (reg:DI 32 v0 [orig:95 D.2915 ] [95])
            (vec_duplicate:DI (const_int 0 [0])))) t456.c:76 1030
{move_lo_quad_internal_v2di}
     (expr_list:REG_DEAD (reg:DI 32 v0 [orig:95 D.2915 ] [95])
        (nil)))

Is bogus.

[Bug target/62040] internal compiler error: in simplify_const_unary_operation, at simplify-rtx.c:1555

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |aarch64*-*-*
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-08-06
          Component|rtl-optimization            |target
     Ever confirmed|0                           |1

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Here is what I wrote on an internal bug about this same issue:
This is just bogus RTL as vec_dup of a scalar mode does not make sense. We
should have a different pattern for the 2 element case.

Confirmed.

[Bug target/62040] internal compiler error: in simplify_const_unary_operation, at simplify-rtx.c:1555

[ktkachov at gcc dot gnu.org]

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

ktkachov at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2014-08-06 00:00:00         |2014-8-7
                 CC|                            |ktkachov at gcc dot gnu.org
      Known to fail|                            |4.10.0, 4.9.1

--- Comment #4 from ktkachov at gcc dot gnu.org ---
confirmed as well. On trunk and 4.9.1. Didn't try 4.8 releases

[Bug target/62040] internal compiler error: in simplify_const_unary_operation, at simplify-rtx.c:1555

[carrot at google dot com]

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

Carrot <carrot at google dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |carrot at google dot com

--- Comment #5 from Carrot <carrot at google dot com> ---
Created attachment 33356
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33356&action=edit
simplified test case

Attached is a simplified test case that can still be reproduced on trunk and
4.9 branch

[Bug target/62040] internal compiler error: in simplify_const_unary_operation, at simplify-rtx.c:1555

[carrot at google dot com]

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

--- Comment #6 from Carrot <carrot at google dot com> ---
Even more simplified test case for gcc4.9, but it doesn't trigger the error for
trunk.


typedef __builtin_aarch64_simd_udi uint64x1
  __attribute__ ((__vector_size__ (8)));
typedef __builtin_aarch64_simd_udi uint64x2
  __attribute__ ((__vector_size__ (16)));

__extension__ static __inline uint64x2 __attribute__ ((__always_inline__))
vcombine_u64 (uint64x1 __a, uint64x1 __b)
{
  return (uint64x2) __builtin_aarch64_combinedi (__a[0], __b[0]);
}

extern bar(uint64x2 out0);

void foo(short* out) {
  uint64x1 tmp0;
  uint64x2 row = vcombine_u64(tmp0, tmp0);

  bar(row);
}

[Bug target/62040] internal compiler error: in simplify_const_unary_operation, at simplify-rtx.c:1555

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |christophe.lyon at st dot com

--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 63145 has been marked as a duplicate of this bug. ***

[Bug target/62040] internal compiler error: in simplify_const_unary_operation, at simplify-rtx.c:1555

[carrot at gcc dot gnu.org]

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

--- Comment #8 from carrot at gcc dot gnu.org ---
Author: carrot
Date: Thu Sep  4 16:06:13 2014
New Revision: 214905

URL: https://gcc.gnu.org/viewcvs?rev=214905&root=gcc&view=rev
Log:
    PR target/62040
    * config/aarch64/iterators.md (VQ_NO2E, VQ_2E): New iterators.
    * config/aarch64/aarch64-simd.md (move_lo_quad_internal_<mode>): Split
    it into two patterns.
    (move_lo_quad_internal_be_<mode>): Likewise.

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


Added:
    trunk/gcc/testsuite/gcc.target/aarch64/pr62040.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/aarch64/aarch64-simd.md
    trunk/gcc/config/aarch64/iterators.md
    trunk/gcc/testsuite/ChangeLog

[Bug target/62040] internal compiler error: in simplify_const_unary_operation, at simplify-rtx.c:1555

[carrot at gcc dot gnu.org]

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

--- Comment #9 from carrot at gcc dot gnu.org ---
Author: carrot
Date: Thu Sep  4 17:34:12 2014
New Revision: 214913

URL: https://gcc.gnu.org/viewcvs?rev=214913&root=gcc&view=rev
Log:
    PR target/62040
    * config/aarch64/iterators.md (VQ_NO2E, VQ_2E): New iterators.
    * config/aarch64/aarch64-simd.md (move_lo_quad_internal_<mode>): Split
    it into two patterns.
    (move_lo_quad_internal_be_<mode>): Likewise.

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


Added:
    branches/gcc-4_9-branch/gcc/testsuite/gcc.target/aarch64/pr62040.c
Modified:
    branches/gcc-4_9-branch/gcc/ChangeLog
    branches/gcc-4_9-branch/gcc/config/aarch64/aarch64-simd.md
    branches/gcc-4_9-branch/gcc/config/aarch64/iterators.md
    branches/gcc-4_9-branch/gcc/testsuite/ChangeLog

[Bug target/62040] internal compiler error: in simplify_const_unary_operation, at simplify-rtx.c:1555

[pinskia at gcc dot gnu.org]

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

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

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

--- Comment #10 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed.