[Bug tree-optimization/94574] New: aarch64: ICE during GIMPLE pass:ccp

[Bug tree-optimization/94574] New: aarch64: ICE during GIMPLE pass:ccp

[yangyang305 at huawei dot com]

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

            Bug ID: 94574
           Summary: aarch64: ICE during GIMPLE pass:ccp
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: yangyang305 at huawei dot com
  Target Milestone: ---

Hi， gcc-10 ICEs when compiling the following testcase with -O2
-msve-vector-bits=256 -march=armv8.2-a+sve

test case: gcc/testsuite/gcc.target/aarch64/sve/acle/general/deref_1.c
---
/* { dg-options "-O2" } */

#include <arm_sve.h>

uint64_t
f1 (int32_t *x, int32_t *y)
{
  union { uint64_t x; char c[8]; } u;
  svbool_t pg = svptrue_b32 ();
  *(svbool_t *)&u.c[0] = svcmpeq (pg, svld1 (pg, x), 0);
  *(svbool_t *)&u.c[4] = svcmpeq (pg, svld1 (pg, y), 1);
  return u.x;
}

typedef unsigned int v4si __attribute__((vector_size(16)));

/* The aliasing is somewhat dubious here, but it must compile.  */

v4si
f2 (void)
{
  v4si res;
  *(svuint32_t *) &res = svindex_u32 (0, 1);
  return res;
}
---
GCC version: 10.0.1 20200413 (experimental)

Result:
deref_1.c: In function ‘f2’:
deref_1.c:25:1: error: not allowed type combination in ‘bit_insert_expr’
   25 | }
      | ^
v4si
vector(8) unsigned int
res_9 = BIT_INSERT_EXPR <res_8(D), _7, 0>;
during GIMPLE pass: ccp
deref_1.c:25:1: internal compiler error: verify_gimple failed
0xcfc9b7 verify_gimple_in_cfg(function*, bool)
        ../.././gcc/tree-cfg.c:5462
0xbc534b execute_function_todo
        ../.././gcc/passes.c:1985
0xbc622b do_per_function
        ../.././gcc/passes.c:1640
0xbc622b execute_todo
        ../.././gcc/passes.c:2039
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug tree-optimization/94574] aarch64: ICE during GIMPLE pass:ccp

[yangyang305 at huawei dot com]

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

--- Comment #1 from yangyang <yangyang305 at huawei dot com> ---
A simple fix for this issue has been prepared

[Bug tree-optimization/94574] aarch64: ICE during GIMPLE pass:ccp

[yangyang305 at huawei dot com]

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

--- Comment #2 from yangyang <yangyang305 at huawei dot com> ---
(In reply to yangyang from comment #1)
> A simple fix for this issue has been prepared

https://gcc.gnu.org/pipermail/gcc-patches/2020-April/543760.html

[Bug tree-optimization/94574] aarch64: ICE during GIMPLE pass:ccp

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
                 CC|                            |marxin at gcc dot gnu.org
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2020-04-14
           Assignee|unassigned at gcc dot gnu.org      |yangyang305 at huawei dot com

[Bug tree-optimization/94574] aarch64: ICE during GIMPLE pass:ccp

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch
   Target Milestone|---                         |10.0
                URL|                            |https://gcc.gnu.org/piperma
                   |                            |il/gcc-patches/2020-April/5
                   |                            |43760.html

[Bug tree-optimization/94574] aarch64: ICE during GIMPLE pass:ccp

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:f65cecabc32fe12b024253502af953e657e1a878

commit r10-7716-gf65cecabc32fe12b024253502af953e657e1a878
Author: Yang Yang <yangyang305@huawei.com>
Date:   Tue Apr 14 19:42:23 2020 +0000

    PR tree-optimization/94574 - aarch64: ICE during GIMPLE pass:ccp

    In this PR the testcase ICEs because a BIT_INSERT_EXPR whose replaced bits
are
    not fully inside the container is generated. A size check is added to avoid
    this kind of ICE.

    gcc/ChangeLog:

            PR tree-optimization/94574
            * tree-ssa.c (non_rewritable_lvalue_p): Add size check when
analyzing
            whether a vector-insert is rewritable using a BIT_INSERT_EXPR.

    gcc/testsuite/ChangeLog:

            PR tree-optimization/94574
            * gcc.dg/pr94574.c: New test.

[Bug tree-optimization/94574] aarch64: ICE during GIMPLE pass:ccp

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED
      Known to work|                            |10.0

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.