public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/102318] New: [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1)
@ 2021-09-14  6:23 asolokha at gmx dot com
  2021-09-14  6:43 ` [Bug tree-optimization/102318] " pinskia at gcc dot gnu.org
                   ` (4 more replies)
  0 siblings, 5 replies; 6+ messages in thread
From: asolokha at gmx dot com @ 2021-09-14  6:23 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 102318
           Summary: [12 Regression] ICE: verify_gimple failed (error:
                    incompatible types in 'PHI' argument 1)
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---
            Target: aarch64-linux-gnu

gcc-12.0.0-alpha20210912 snapshot (g:53a4def0dc1aac39d592a0d20e9ec16e8b5574ac)
ICEs when compiling the following testcase, extracted from
gcc/testsuite/gcc.target/aarch64/sve/slp_7.c, w/ -O1 -ftree-loop-vectorize:

void
vec_slp_int16_t (short int *restrict a, short int *restrict b, int n)
{
  short int x0 = b[0];
  short int x1 = b[1];
  short int x2 = b[2];
  short int x3 = b[3];
  for (int i = 0; i < n; ++i)
  {
    x0 += a[i * 4];
    x1 += a[i * 4 + 1];
    x2 += a[i * 4 + 2];
    x3 += a[i * 4 + 3];
  }
  b[0] = x0;
  b[1] = x1;
  b[2] = x2;
  b[3] = x3;
}

% aarch64-linux-gnu-gcc-12.0.0 -O1 -ftree-loop-vectorize -c n8srjast.c
n8srjast.c: In function 'vec_slp_int16_t':
n8srjast.c:2:1: error: incompatible types in 'PHI' argument 1
    2 | vec_slp_int16_t (short int *restrict a, short int *restrict b, int n)
      | ^~~~~~~~~~~~~~~
vector(4) unsigned short

vector(4) short int

_196 = PHI <_195(17), _188(11)>
during GIMPLE pass: vect
n8srjast.c:2:1: internal compiler error: verify_gimple failed
0xf76827 verify_gimple_in_cfg(function*, bool)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210912/work/gcc-12-20210912/gcc/tree-cfg.c:5576
0xe33bc6 execute_function_todo
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210912/work/gcc-12-20210912/gcc/passes.c:2042
0xe3418b execute_todo
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210912/work/gcc-12-20210912/gcc/passes.c:2096

^ permalink raw reply	[flat|nested] 6+ messages in thread
end of thread, other threads:[~2021-09-15  9:58 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-09-14  6:23 [Bug tree-optimization/102318] New: [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1) asolokha at gmx dot com
2021-09-14  6:43 ` [Bug tree-optimization/102318] " pinskia at gcc dot gnu.org
2021-09-14  7:09 ` rguenth at gcc dot gnu.org
2021-09-14  7:30 ` [Bug tree-optimization/102318] [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1) since r12-3381-g843068149ec8fcaa marxin at gcc dot gnu.org
2021-09-15  9:13 ` cvs-commit at gcc dot gnu.org
2021-09-15  9:58 ` rguenth at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).