[Bug tree-optimization/113962] New: [14 Regression] ICE: in exact_div, at poly-int.h:2156 with -O -mavx512f

[Bug tree-optimization/113962] New: [14 Regression] ICE: in exact_div, at poly-int.h:2156 with -O -mavx512f

[rguenth at gcc dot gnu.org]

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

            Bug ID: 113962
           Summary: [14 Regression] ICE: in exact_div, at poly-int.h:2156
                    with -O -mavx512f
           Product: gcc
           Version: 14.0
            Status: WAITING
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
                CC: rguenth at gcc dot gnu.org
  Target Milestone: 14.0
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu
                CC: rguenth at gcc dot gnu.org
  Last reconfirmed: 2024-02-19
            Status: WAITING
  Target Milestone: 14.0
    Ever confirmed: 1

Compiler output:
$ x86_64-pc-linux-gnu-gcc -O -mavx512f testcase.c 
during GIMPLE pass: forwprop
testcase.c: In function 'bar1':
testcase.c:8:6: internal compiler error: in exact_div, at poly-int.h:2156
    8 | void bar1() { (v64u8){bar4(bar1_v64u16_0)[3]}; }
      |      ^~~~
0x8f3b3f poly_int<1u, poly_result<unsigned long, if_nonpoly<unsigned long,
unsigned long, poly_int_traits<unsigned long>::is_poly>::type,
poly_coeff_pair_traits<unsigned long, if_nonpoly<unsigned long, unsigned long,
poly_int_traits<unsigned long>::is_poly>::type>::result_kind>::type>
exact_div<1u, unsigned long, unsigned long>(poly_int<1u, unsigned long> const&,
unsigned long)
        /repo/gcc-trunk/gcc/poly-int.h:2156
0x8f3b3f poly_int<1u, poly_result<unsigned long, if_nonpoly<unsigned long,
unsigned long, poly_int_traits<unsigned long>::is_poly>::type,
poly_coeff_pair_traits<unsigned long, if_nonpoly<unsigned long, unsigned long,
poly_int_traits<unsigned long>::is_poly>::type>::result_kind>::type>
exact_div<1u, unsigned long, unsigned long>(poly_int<1u, unsigned long> const&,
unsigned long)
        /repo/gcc-trunk/gcc/poly-int.h:2150
0x1af5db7 gimple_simplify_BIT_INSERT_EXPR(gimple_match_op*, gimple**,
tree_node* (*)(tree_node*), code_helper, tree_node*, tree_node*, tree_node*,
tree_node*)
        /repo/build-gcc-trunk-amd64/gcc/gimple-match-5.cc:16981
0x1caa515 gimple_resimplify3
        /repo/gcc-trunk/gcc/gimple-match-exports.cc:1107
0x1cabaf7 gimple_simplify(gimple*, gimple_match_op*, gimple**, tree_node*
(*)(tree_node*), tree_node* (*)(tree_node*))
        /repo/gcc-trunk/gcc/gimple-match-exports.cc:898
0x116ce2c fold_stmt_1
        /repo/gcc-trunk/gcc/gimple-fold.cc:6359
0x165e28d execute
        /repo/gcc-trunk/gcc/tree-ssa-forwprop.cc:3950
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.

$ x86_64-pc-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-amd64/bin/x86_64-pc-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-r14-9022-20240216094309-gf436a2ab6ad-checking-yes-rtl-df-extra-nobootstrap-amd64/bin/../libexec/gcc/x86_64-pc-linux-gnu/14.0.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra
--disable-bootstrap --with-cloog --with-ppl --with-isl
--build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu
--target=x86_64-pc-linux-gnu --with-ld=/usr/bin/x86_64-pc-linux-gnu-ld
--with-as=/usr/bin/x86_64-pc-linux-gnu-as --disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-r14-9022-20240216094309-gf436a2ab6ad-checking-yes-rtl-df-extra-nobootstrap-amd64
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.1 20240216 (experimental) (GCC)

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Where's testcase.c?

[Bug tree-optimization/113962] [14 Regression] ICE: in exact_div, at poly-int.h:2156 with -O -mavx512f

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=113967

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Most likely a dup of bug 113967

[Bug tree-optimization/113962] [14 Regression] ICE: in exact_div, at poly-int.h:2156 with -O -mavx512f

[zsojka at seznam dot cz]

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

--- Comment #3 from Zdenek Sojka <zsojka at seznam dot cz> ---
(In reply to Andrew Pinski from comment #2)
> Most likely a dup of bug 113967

I am sorry for the confusion; the bugzilla stopped responding while creating
this PR for the first time, and since I there wasn't any new message in the
gcc-bugs mailing list, I thought the PR wasn't created, and I created PR113967
instead.

[Bug tree-optimization/113962] [14 Regression] ICE: in exact_div, at poly-int.h:2156 with -O -mavx512f

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Closing then.

It is not your fault and bugzilla does that every once in awhile really.

*** This bug has been marked as a duplicate of bug 113967 ***