[Bug tree-optimization/98685] New: [11 Regression] ICE verify_flow_info failed since r11-6649-g285fa338b06b804e

[Bug tree-optimization/98685] New: [11 Regression] ICE verify_flow_info failed since r11-6649-g285fa338b06b804e

[marxin at gcc dot gnu.org]

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

            Bug ID: 98685
           Summary: [11 Regression] ICE verify_flow_info failed since
                    r11-6649-g285fa338b06b804e
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: rguenth at gcc dot gnu.org
  Target Milestone: ---

Reduced from schily package:

$ cat lockit.i
char onelock_lock[16];
void write(void);

void lockit(int count) {
  for (; count;) {
    int pid, i;
    char *p;
    for (i = 0, p = (char *)&pid; i < sizeof 0; i++)
      onelock_lock[i] = *p++;
    write();
  }
}

$ gcc lockit.i -c -O3 -fdump-tree-slp=/dev/stdout

;; Function lockit (lockit, funcdef_no=0, decl_uid=1946, cgraph_uid=1,
symbol_order=1)

lockit.i: In function ‘lockit’:
lockit.i:4:6: error: control flow in the middle of basic block 2
    4 | void lockit(int count) {
      |      ^~~~~~
lockit.i:4:6: error: control flow in the middle of basic block 2
lockit.i:4:6: error: true/false edge after a non-GIMPLE_COND in bb 2
lockit.i:4:6: error: true/false edge after a non-GIMPLE_COND in bb 2
during GIMPLE pass: slp
dump file: /dev/stdout

A SLP node is placed after a condition:

  <bb 2> [local count: 26541933]:
  if (count_8(D) != 0)
  _6 = VIEW_CONVERT_EXPR<vector(4) char>(pid_16(D));
  _4 = _6;

[Bug tree-optimization/98685] [11 Regression] ICE verify_flow_info failed since r11-6649-g285fa338b06b804e

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |11.0
             Status|UNCONFIRMED                 |NEW
           Priority|P3                          |P1
     Ever confirmed|0                           |1
      Known to work|                            |10.2.0
      Known to fail|                            |11.0
   Last reconfirmed|                            |2021-01-14

[Bug tree-optimization/98685] [11 Regression] ICE verify_flow_info failed since r11-6649-g285fa338b06b804e

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine.

[Bug tree-optimization/98685] [11 Regression] ICE verify_flow_info failed since r11-6649-g285fa338b06b804e

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 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:2ea6f4a377e51ed4d55cd8277f8c201ad66685f6

commit r11-6706-g2ea6f4a377e51ed4d55cd8277f8c201ad66685f6
Author: Richard Biener <rguenther@suse.de>
Date:   Fri Jan 15 10:08:58 2021 +0100

    tree-optimization/98685 - fix placement of extern converts

    Avoid advancing to the next stmt when inserting at region boundary
    and deal with a vector def being not the only child.

    2021-01-15  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/98685
            * tree-vect-slp.c (vect_schedule_slp_node): Refactor handling
            of vector extern defs.

            * gcc.dg/vect/bb-slp-pr98685.c: New testcase.

[Bug tree-optimization/98685] [11 Regression] ICE verify_flow_info failed since r11-6649-g285fa338b06b804e

[rguenth at gcc dot gnu.org]

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

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

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

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