[Bug c/110560] New: internal compiler error: in extract_constrain_insn_cached, at recog.cc:2704

[Bug c/110560] New: internal compiler error: in extract_constrain_insn_cached, at recog.cc:2704

[malat at debian dot org]

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

            Bug ID: 110560
           Summary: internal compiler error: in
                    extract_constrain_insn_cached, at recog.cc:2704
           Product: gcc
           Version: 13.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: malat at debian dot org
  Target Milestone: ---

I cannot compile highway on riscv/rv64gcv1p0 with gcc-13 + PR110264, it fails
with:

% /usr/bin/g++-13 -freport-bug -DHWY_SHARED_DEFINE
-I"/home/malat/highway-1.0.5~git20230630.17ba660" -g -O2
-ffile-prefix-map=/home/malat/highway-1.0.5~git20230630.17ba660=.
-fstack-protector-strong -Wformat -Werror=format-security -DHWY_BROKEN_EMU128=0
-Wdate-time -D_FORTIFY_SOURCE=2 -fPIE -fvisibility=hidden
-fvisibility-inlines-hidden -Wno-builtin-macro-redefined
-D__DATE__=\"redacted\" -D__TIMESTAMP__=\"redacted\" -D__TIME__=\"redacted\"
-fmerge-all-constants -Wall -Wextra -Wconversion -Wsign-conversion -Wvla
-Wnon-virtual-dtor -fmath-errno -fno-exceptions -march=rv64gcv1p0 -Werror
-DHWY_IS_TEST=1 -DGTEST_HAS_PTHREAD=1 -MD -MT
CMakeFiles/blockwise_shift_test.dir/hwy/tests/blockwise_shift_test.cc.o -MF
CMakeFiles/blockwise_shift_test.dir/hwy/tests/blockwise_shift_test.cc.o.d -o
CMakeFiles/blockwise_shift_test.dir/hwy/tests/blockwise_shift_test.cc.o -c
'/home/malat/highway-1.0.5~git20230630.17ba660/hwy/tests/blockwise_shift_test.cc'
/home/malat/highway-1.0.5~git20230630.17ba660/hwy/tests/blockwise_shift_test.cc:
In function 'void hwy::N_RVV::TestCombineShiftRightLanes<kLanes>::operator()(T,
D) [with T = double; D = hwy::N_RVV::Simd<double, 1024, 0>; int kLanes = 1]':
/home/malat/highway-1.0.5~git20230630.17ba660/hwy/tests/blockwise_shift_test.cc:227:3:
error: insn does not satisfy its constraints:
  227 |   }
      |   ^
(note 584 583 400 18 NOTE_INSN_DELETED)
during RTL pass: vsetvl
/home/malat/highway-1.0.5~git20230630.17ba660/hwy/tests/blockwise_shift_test.cc:227:3:
internal compiler error: in extract_constrain_insn_cached, at recog.cc:2704
0x24bdbb _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        ../../src/gcc/rtl-error.cc:108
0x24bde9 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        ../../src/gcc/rtl-error.cc:118
0x7deee7 extract_constrain_insn_cached(rtx_insn*)
        ../../src/gcc/recog.cc:2704
0x7deee7 extract_constrain_insn_cached(rtx_insn*)
        ../../src/gcc/recog.cc:2698
0xba7f75 get_attr_move_type(rtx_insn*)
        ../../src/gcc/config/riscv/vector.md:8128
0xba97cf get_attr_type(rtx_insn*)
        ../../src/gcc/config/riscv/riscv.md:288
0xb50c15 vector_config_insn_p
        ../../src/gcc/config/riscv/riscv-vsetvl.cc:217
0xb50c15 vsetvl_discard_result_insn_p
        ../../src/gcc/config/riscv/riscv-vsetvl.cc:234
0xb50c15 local_eliminate_vsetvl_insn
        ../../src/gcc/config/riscv/riscv-vsetvl.cc:1081
0xb50c15 pass_vsetvl::cleanup_insns() const
        ../../src/gcc/config/riscv/riscv-vsetvl.cc:3997
0xb5b8cb pass_vsetvl::lazy_vsetvl()
        ../../src/gcc/config/riscv/riscv-vsetvl.cc:4293
0xb5bab7 pass_vsetvl::execute(function*)
        ../../src/gcc/config/riscv/riscv-vsetvl.cc:4323
0xb5bab7 pass_vsetvl::execute(function*)
        ../../src/gcc/config/riscv/riscv-vsetvl.cc:4304
Please submit a full bug report, with preprocessed source.
Please include the complete backtrace with any bug report.
See <file:///usr/share/doc/gcc-13/README.Bugs> for instructions.
Preprocessed source stored into /tmp/cccE0Tb3.out file, please attach this to
your bugreport.

[Bug target/110560] internal compiler error: in extract_constrain_insn_cached, at recog.cc:2704

[malat at debian dot org]

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

--- Comment #1 from Mathieu Malaterre <malat at debian dot org> ---
Created attachment 55476
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55476&action=edit
preprocessed source

[Bug target/110560] internal compiler error: in extract_constrain_insn_cached, at recog.cc:2704

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Pan Li <panli@gcc.gnu.org>:

https://gcc.gnu.org/g:857d763ed1be933c74cbc7489282aea0e2c778fb

commit r13-7542-g857d763ed1be933c74cbc7489282aea0e2c778fb
Author: Li Xu <xuli1@eswincomputing.com>
Date:   Fri Jul 7 08:22:31 2023 +0000

    RISC-V: Fix local_eliminate_vsetvl_insn bug in VSETVL PASS[PR
target/110560]

    This patch fixes this issue happens on GCC-13.
    https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110560

    This patch should be backported to GCC-13.
    GCC-14 has rewritten this function, so there is no issue.

    gcc/ChangeLog:

            PR target/110560
            * config/riscv/riscv-vsetvl.cc (local_eliminate_vsetvl_insn): Fix
bug.

[Bug target/110560] internal compiler error: in extract_constrain_insn_cached, at recog.cc:2704

[kito at gcc dot gnu.org]

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

Kito Cheng <kito at gcc dot gnu.org> changed:

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

--- Comment #3 from Kito Cheng <kito at gcc dot gnu.org> ---
Should fixed now