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

["terry.guo at arm dot com" <gcc-bugzilla@gcc.gnu.org>]

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))