[Bug tree-optimization/98048] New: ICE in build_vector_from_val, at tree.c:1985

[Bug tree-optimization/98048] New: ICE in build_vector_from_val, at tree.c:1985

[vsevolod.livinskij at frtk dot ru]

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

            Bug ID: 98048
           Summary: ICE in build_vector_from_val, at tree.c:1985
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vsevolod.livinskij at frtk dot ru
  Target Milestone: ---

Reproducer:
extern short var_0;
extern int var_3;
extern int arr_277[];
int a(int b, int c) { return b < c ? b : c; }
int e;
void test() {
  e = var_0;
  for (int d = 0; d < 9; d++)
    if (var_3)
      arr_277[d] = a(var_0, -var_0);
}

Error:
>$ g++ -c -O3 func.cpp
during GIMPLE pass: veclower2
func.cpp: In function ‘void test()’:
func.cpp:6:6: internal compiler error: in build_vector_from_val, at tree.c:1985
    6 | void test() {
      |      ^~~~
0x88bffd build_vector_from_val(tree_node*, tree_node*)
        /home/vlivinsk/workspace/gcc/gcc_src/gcc/tree.c:1985
0x13a22cd expand_vector_operations_1
        /home/vlivinsk/workspace/gcc/gcc_src/gcc/tree-vect-generic.c:2095
0x13a22cd expand_vector_operations
        /home/vlivinsk/workspace/gcc/gcc_src/gcc/tree-vect-generic.c:2291
0x13a22cd execute
        /home/vlivinsk/workspace/gcc/gcc_src/gcc/tree-vect-generic.c:2337
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.

gcc version 11.0.0 20201126 (beb9afcaf1466996a301c778596c5df209e7913c)

[Bug target/98048] [11 Regression] ICE in build_vector_from_val, at tree.c:1985 by r11-5429

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE in                      |[11 Regression] ICE in
                   |build_vector_from_val, at   |build_vector_from_val, at
                   |tree.c:1985                 |tree.c:1985 by r11-5429
   Target Milestone|---                         |11.0
                 CC|                            |ubizjak at gmail dot com
             Target|                            |x86-64
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
          Component|tree-optimization           |target
   Last reconfirmed|                            |2020-11-29

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> ---
It is caused by r11-5429

[Bug tree-optimization/98048] [11 Regression] ICE in build_vector_from_val, at tree.c:1985 by r11-5429

[ubizjak at gmail dot com]

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

Uroš Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|target                      |tree-optimization

--- Comment #2 from Uroš Bizjak <ubizjak at gmail dot com> ---
The patch exposed a bug in generic vector handling code.

We have:

      if (op >= FIRST_NORM_OPTAB && op <= LAST_NORM_OPTAB
          && optab_handler (op, TYPE_MODE (TREE_TYPE (type))) !=
CODE_FOR_nothing)

where abs_optab in E_HImode enables this condition.

There is nothing wrong with the patch itself.

[Bug tree-optimization/98048] [11 Regression] ICE in build_vector_from_val, at tree.c:1985 by r11-5429

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
I will have a look.

[Bug tree-optimization/98048] [11 Regression] ICE in build_vector_from_val, at tree.c:1985 by r11-5429

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 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:4bcded23eb87c55a1a3fcd23d5629a0c35aee4ba

commit r11-5539-g4bcded23eb87c55a1a3fcd23d5629a0c35aee4ba
Author: Richard Biener <rguenther@suse.de>
Date:   Mon Nov 30 10:41:36 2020 +0100

    tree-optimization/98048 - fix vector lowering of ABSU_EXPR

    This makes sure to use the correct type for the LHS of the scalar
    replacement statement.

    20220-11-30  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/98048
            * tree-vect-generic.c (expand_vector_operations_1): Use the
            correct type for the scalar LHS replacement.

            * gcc.dg/vect/pr98048.c: New testcase.

[Bug tree-optimization/98048] [11 Regression] ICE in build_vector_from_val, at tree.c:1985 by r11-5429

[rguenth at gcc dot gnu.org]

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

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

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

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