[Bug c/112505] New: GCC: 14: internal compiler error: in build_vector_from_val, at tree.cc:2104

[Bug c/112505] New: GCC: 14: internal compiler error: in build_vector_from_val, at tree.cc:2104

[141242068 at smail dot nju.edu.cn]

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

            Bug ID: 112505
           Summary: GCC: 14: internal compiler error: in
                    build_vector_from_val, at tree.cc:2104
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: 141242068 at smail dot nju.edu.cn
  Target Milestone: ---

Compiler Explorer: https://gcc.godbolt.org/z/nTjnh73xj

The crash triggering program (compile with `gcc-14 -O3`):
```
short int w9;
struct T {
  short a : 14;
  int b;
};
struct T v;
void __attribute__((simd)) zc() {
  w9 *= v.b ? v.a-- < 0 : 0;
}
```

The crash output:
```
during GIMPLE pass: vect
<source>: In function 'zc.simdclone.0':
<source>:7:28: internal compiler error: in build_vector_from_val, at
tree.cc:2104
    7 | void __attribute__((simd)) zc() {
      |                            ^~
0x238b15e internal_error(char const*, ...)
        ???:0
0xa11270 fancy_abort(char const*, int, char const*)
        ???:0
0x13ee023 vectorizable_induction(_loop_vec_info*, _stmt_vec_info*, gimple**,
_slp_tree*, vec<stmt_info_for_cost, va_heap, vl_ptr>*)
        ???:0
0x2115bf8 vect_transform_stmt(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, _slp_tree*, _slp_instance*)
        ???:0
0x13fedc0 vect_transform_loop(_loop_vec_info*, gimple*)
        ???:0
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
Compiler returned: 1
```

[Bug tree-optimization/112505] [12/13/14 Regression] internal compiler error: in build_vector_from_val, at tree.cc:2104

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |11.1.0, 11.4.0
           Keywords|                            |ice-on-valid-code,
                   |                            |needs-bisection
     Ever confirmed|0                           |1
      Known to fail|                            |12.1.0
   Target Milestone|---                         |12.4
            Summary|GCC: 14: internal compiler  |[12/13/14 Regression]
                   |error: in                   |internal compiler error: in
                   |build_vector_from_val, at   |build_vector_from_val, at
                   |tree.cc:2104                |tree.cc:2104
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2023-11-13
          Component|c                           |tree-optimization

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Simplier testcase:
```
short int w9;
struct T {
  short a : 14;
  int b;
};
struct T v;
void zc() {
        for(int i = 0; i < 4; i ++)
  w9 *= v.b ? v.a-- < 0 : 0;
}
```
Just compiler at `-O3 -fno-vect-cost-model`

  <unnamed-unsigned:14> _30;
  vector(4) unsigned short _31;
...
  _31 = {_60, _59, _2, _30};
  _52 = (vector(4) signed short) _31;

[Bug tree-optimization/112505] [12/13/14 Regression] internal compiler error: in build_vector_from_val, at tree.cc:2104

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|                            |53947

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Looks like 11.x was not able to vectorize the loop.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53947
[Bug 53947] [meta-bug] vectorizer missed-optimizations

[Bug tree-optimization/112505] [12/13/14 Regression] internal compiler error: in build_vector_from_val, at tree.cc:2104

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Again bit-precision int:14 vs. 'int'.  Fallout of the bitfield vectorization
support I guess.

Like the other PR we can fend this off in vectorizable_induction (I suppose
vectorizable_reduction might have similar issues).

[Bug tree-optimization/112505] [11/12/13/14 Regression] internal compiler error: in build_vector_from_val, at tree.cc:2104 since r10-4076

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|12.4                        |11.5
            Summary|[12/13/14 Regression]       |[11/12/13/14 Regression]
                   |internal compiler error: in |internal compiler error: in
                   |build_vector_from_val, at   |build_vector_from_val, at
                   |tree.cc:2104                |tree.cc:2104 since r10-4076
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r10-4076-g82e8e335f917b9ce40801838c06f7945cf88da43

[Bug tree-optimization/112505] [11/12/13/14 Regression] internal compiler error: in build_vector_from_val, at tree.cc:2104 since r10-4076

[rguenth at gcc dot gnu.org]

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

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 #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
I have a patch.

[Bug tree-optimization/112505] [11/12/13/14 Regression] internal compiler error: in build_vector_from_val, at tree.cc:2104 since r10-4076

[cvs-commit at gcc dot gnu.org]

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

--- Comment #6 from GCC 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:ec345df53556ec581590347f71c3d9ff3cdbca76

commit r14-7140-gec345df53556ec581590347f71c3d9ff3cdbca76
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Jan 11 14:00:33 2024 +0100

    tree-optimization/112505 - bit-precision induction vectorization

    Vectorization of bit-precision inductions isn't implemented but we
    don't check this, instead we ICE during transform.

            PR tree-optimization/112505
            * tree-vect-loop.cc (vectorizable_induction): Reject
            bit-precision induction.

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

[Bug tree-optimization/112505] [11/12/13 Regression] internal compiler error: in build_vector_from_val, at tree.cc:2104 since r10-4076

[cvs-commit at gcc dot gnu.org]

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

--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:9895fc7ab14f4cf571071184877f130b7bd0a59b

commit r13-8290-g9895fc7ab14f4cf571071184877f130b7bd0a59b
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Jan 11 14:00:33 2024 +0100

    tree-optimization/112505 - bit-precision induction vectorization

    Vectorization of bit-precision inductions isn't implemented but we
    don't check this, instead we ICE during transform.

            PR tree-optimization/112505
            * tree-vect-loop.cc (vectorizable_induction): Reject
            bit-precision induction.

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

    (cherry picked from commit ec345df53556ec581590347f71c3d9ff3cdbca76)

[Bug tree-optimization/112505] [11/12 Regression] internal compiler error: in build_vector_from_val, at tree.cc:2104 since r10-4076

[cvs-commit at gcc dot gnu.org]

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

--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:4a71557fbebe3fb4031d1c2adc4f89c89a8c6c62

commit r12-10454-g4a71557fbebe3fb4031d1c2adc4f89c89a8c6c62
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Jan 11 14:00:33 2024 +0100

    tree-optimization/112505 - bit-precision induction vectorization

    Vectorization of bit-precision inductions isn't implemented but we
    don't check this, instead we ICE during transform.

            PR tree-optimization/112505
            * tree-vect-loop.cc (vectorizable_induction): Reject
            bit-precision induction.

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

    (cherry picked from commit ec345df53556ec581590347f71c3d9ff3cdbca76)