[Bug rtl-optimization/51631] New: Trunk ICE for case vst1_lanese64.c with -Os

[Bug rtl-optimization/51631] New: Trunk ICE for case vst1_lanese64.c with -Os

[terry.guo at arm dot com]

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

             Bug #: 51631
           Summary: Trunk ICE for case vst1_lanese64.c with -Os
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: terry.guo@arm.com
                CC: joey.ye@arm.com
              Host: i686-linux-gnu
            Target: arm-none-eabi
             Build: i686-linux-gnu


When I was trying to run regression test using option -Os, I got this ICE for
latest trunk code:

build@sha-pdsh-build04:~/workspace/GCC-Trunk-Daily-Test/build-linux/gcc-final/gcc/testsuite/gcc$
/home/build/workspace/GCC-Trunk-Daily-Test/build-linux/gcc-final/gcc/xgcc
-B/home/build/workspace/GCC-Trunk-Daily-Test/build-linux/gcc-final/gcc/   
-save-temps  -mfpu=neon -mfloat-abi=softfp -c    -mthumb -mcpu=cortex-m3 -o
vst1_lanes8.o
/home/build/workspace/GCC-Trunk-Daily-Test/src/gcc/gcc/testsuite/gcc.target/arm/neon/vst1_lanes64.c
-Os
/home/build/workspace/GCC-Trunk-Daily-Test/src/gcc/gcc/testsuite/gcc.target/arm/neon/vst1_lanes64.c:
In function 'test_vst1_lanes64':
/home/build/workspace/GCC-Trunk-Daily-Test/src/gcc/gcc/testsuite/gcc.target/arm/neon/vst1_lanes64.c:17:1:
internal compiler error: in simplify_binary_operation_1, at simplify-rtx.c:3128
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug rtl-optimization/51631] Trunk ICE for case vst1_lanese64.c with -Os

[terry.guo at arm dot com]

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

--- Comment #1 from Terry Guo <terry.guo at arm dot com> 2011-12-20 07:46:44 UTC ---
build@sha-pdsh-build04:~/workspace/GCC-Trunk-Daily-Test/build-linux/gcc-final/gcc/testsuite/gcc$
cat
/home/build/workspace/GCC-Trunk-Daily-Test/src/gcc/gcc/testsuite/gcc.target/arm/neon/vst1_lanes64.c
/* Test the `vst1_lanes64' ARM Neon intrinsic.  */
/* This file was autogenerated by neon-testgen.  */

/* { dg-do assemble } */
/* { dg-require-effective-target arm_neon_ok } */
/* { dg-options "-save-temps -O0" } */
/* { dg-add-options arm_neon } */

#include "arm_neon.h"

void test_vst1_lanes64 (void)
{
  int64_t *arg0_int64_t;
  int64x1_t arg1_int64x1_t;

  vst1_lane_s64 (arg0_int64_t, arg1_int64x1_t, 0);
}

/* { dg-final { scan-assembler "vst1\.64\[    
\]+((\\\{\[dD\]\[0-9\]+\\\})|(\[dD\]\[0-9\]+)),
\\\[\[rR\]\[0-9\]+\(:\[0-9\]+\)?\\\]!?\(\[     \]+@\[a-zA-Z0-9 \]+\)?\n" } } */
/* { dg-final { cleanup-saved-temps } } */

The buggy code fragment is:

   case VEC_SELECT:
      if (!VECTOR_MODE_P (mode))
    {
      gcc_assert (VECTOR_MODE_P (GET_MODE (trueop0)));
      gcc_assert (mode == GET_MODE_INNER (GET_MODE (trueop0)));


The value of mode is DImode.
The value of trueop0 is: (reg/v:DI 135 [ arg1_int64x1_t ])

The whole insn that the function was trying to handle is:
(insn 5 2 0 2 (set (mem:DI (reg/v/f:SI 134 [ arg0_int64_t ]) [0 S8 A64])
        (vec_select:DI (reg/v:DI 135 [ arg1_int64x1_t ])
            (parallel [
                    (const_int 0 [0])
                ])))
/home/terguo01/work/Os-failed-cases/arm-none-eabi-gcc-4_6-20111208/build-linux/gcc-final/gcc/include/arm_neon.h:8412
1590 {neon_vst1_lanedi}
     (nil))

[Bug rtl-optimization/51631] Trunk ICE for case vst1_lanes64.c with -Os

[ramana at gcc dot gnu.org]

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

Ramana Radhakrishnan <ramana at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-invalid-code
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-07-31
                 CC|                            |ramana at gcc dot gnu.org
     Ever Confirmed|0                           |1
      Known to fail|                            |4.7.0, 4.7.1, 4.8.0

--- Comment #2 from Ramana Radhakrishnan <ramana at gcc dot gnu.org> 2012-07-31 00:54:41 UTC ---
Aha - probably fixed by 

http://gcc.gnu.org/ml/gcc-patches/2012-07/msg01474.html



Ramana

[Bug rtl-optimization/51631] Trunk ICE for case vst1_lanes64.c with -Os

[terry.guo at arm dot com]

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

Terry Guo <terry.guo at arm dot com> changed:

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

--- Comment #3 from Terry Guo <terry.guo at arm dot com> 2012-08-03 12:27:32 UTC ---
I applied this patch against trunk code at revision 190090 and it dose fix this
bug. Thanks Ramana.

[Bug rtl-optimization/51631] Trunk ICE for case vst1_lanes64.c with -Os

[ramana at gcc dot gnu.org]

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

Ramana Radhakrishnan <ramana at gcc dot gnu.org> changed:

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

--- Comment #4 from Ramana Radhakrishnan <ramana at gcc dot gnu.org> 2012-08-03 14:08:33 UTC ---
It has not been committed. So can't be marked as RESOLVED FIXED till then.

ramana

[Bug target/51631] Trunk ICE for case vst1_lanes64.c with -Os

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.8.0
         Resolution|---                         |FIXED
      Known to work|                            |5.1.0
             Status|NEW                         |RESOLVED

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed by r0-118901-g058e2674514e24 for GCC 4.8.0.