public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug target/110372] [14 Regression] ICE: insn does not satisfy its constraints: {*movdi_internal} with -mno-sse2 Date: Mon, 26 Jun 2023 07:22:08 +0000 [thread overview] Message-ID: <bug-110372-4-FTs00NBcHC@http.gcc.gnu.org/bugzilla/> (raw) In-Reply-To: <bug-110372-4@http.gcc.gnu.org/bugzilla/> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110372 --- Comment #1 from Uroš Bizjak <ubizjak at gmail dot com> --- Before reload, we have this sequence: --cut here-- (insn 34 4 2 2 (set (reg:TI 119) (reg:TI 20 xmm0 [ u ])) "pr110372.c":8:1 89 {*movti_internal} (expr_list:REG_DEAD (reg:TI 20 xmm0 [ u ]) (nil))) (insn 2 34 3 2 (set (reg/v:TI 98 [ u ]) (reg:TI 119)) "pr110372.c":8:1 89 {*movti_internal} (expr_list:REG_DEAD (reg:TI 119) (nil))) (note 3 2 7 2 NOTE_INSN_FUNCTION_BEG) (insn 7 3 9 2 (set (reg:V4SI 83 [ _2 ]) (and:V4SI (subreg:V4SI (reg/v:TI 98 [ u ]) 0) (mem/u/c:V4SI (symbol_ref/u:DI ("*.LC0") [flags 0x2]) [0 S16 A128]))) "pr110372.c":9:14 6840 {*andv4si3} (expr_list:REG_EQUAL (and:V4SI (subreg:V4SI (reg/v:TI 98 [ u ]) 0) (const_vector:V4SI [ (const_int 4 [0x4]) repeated x4 ])) (nil))) --cut here-- And reload tries to move xmm0 to xmm1 with: (insn 36 3 41 2 (set (reg:DI 0 ax [123]) (reg:DI 20 xmm0 [orig:98 u ] [98])) "pr110372.c":9:14 90 {*movdi_internal} (nil)) (insn 41 36 37 2 (set (mem/c:TI (plus:DI (reg/f:DI 7 sp) (const_int -40 [0xffffffffffffffd8])) [2 %sfp+-32 S16 A128]) (reg/v:TI 20 xmm0 [orig:98 u ] [98])) "pr110372.c":9:14 89 {*movti_internal} (nil)) (insn 37 41 43 2 (set (reg:DI 24 xmm4 [124]) (mem/c:DI (plus:DI (reg/f:DI 7 sp) (const_int -32 [0xffffffffffffffe0])) [2 %sfp+-24 S8 A64])) "pr110372.c":9:14 90 {*movdi_internal} (nil)) (insn 43 37 38 2 (set (reg:DI 23 xmm3 [122]) (reg:DI 0 ax [123])) "pr110372.c":9:14 90 {*movdi_internal} (nil)) (insn 38 43 39 2 (set (reg:V2DI 23 xmm3 [122]) (vec_concat:V2DI (reg:DI 23 xmm3 [122]) (reg:DI 24 xmm4 [124]))) "pr110372.c":9:14 7265 {vec_concatv2di} (nil)) (insn 39 38 7 2 (set (reg:V4SI 21 xmm1 [orig:83 _2 ] [83]) (reg:V4SI 23 xmm3 [122])) "pr110372.c":9:14 1869 {movv4si_internal} (nil)) in order to satisfy constraints of: (insn 7 39 9 2 (set (reg:V4SI 21 xmm1 [orig:83 _2 ] [83]) (and:V4SI (reg:V4SI 21 xmm1 [orig:83 _2 ] [83]) (mem/u/c:V4SI (symbol_ref/u:DI ("*.LC0") [flags 0x2]) [0 S16 A128]))) "pr110372.c":9:14 6840 {*andv4si3} (expr_list:REG_EQUAL (and:V4SI (subreg:V4SI (reg/v:TI 20 xmm0 [orig:98 u ] [98]) 0) (const_vector:V4SI [ (const_int 4 [0x4]) repeated x4 ])) (nil))) Please note that alternative 19 of *movdi_internal from i386.md (?r,?v) is correctly enabled only for x64_sse2 ISA, so unavailable without SSE2. We have: #define VALID_SSE_REG_MODE(MODE) \ ((MODE) == V1TImode || (MODE) == TImode \ || (MODE) == V4SFmode || (MODE) == V4SImode \ || (MODE) == SFmode || (MODE) == SImode \ || (MODE) == TFmode || (MODE) == TDmode) So, TImode and V4SImode should be tieable for XMM registers and RA should just copy the value between XMM registers.
next prev parent reply other threads:[~2023-06-26 7:22 UTC|newest] Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top 2023-06-22 21:20 [Bug target/110372] New: " zsojka at seznam dot cz 2023-06-23 2:20 ` [Bug target/110372] " pinskia at gcc dot gnu.org 2023-06-26 7:22 ` ubizjak at gmail dot com [this message] 2023-06-26 7:23 ` [Bug rtl-optimization/110372] " ubizjak at gmail dot com 2023-07-07 13:58 ` cvs-commit at gcc dot gnu.org 2023-07-15 6:28 ` pinskia at gcc dot gnu.org
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=bug-110372-4-FTs00NBcHC@http.gcc.gnu.org/bugzilla/ \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).