[Bug rtl-optimization/101008] ICE: in native_encode_rtx, at simplify-rtx.c:6594 with -O -g
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101008 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |10.4
[Bug rtl-optimization/101008] ICE: in native_encode_rtx, at simplify-rtx.c:6594 with -O -g
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101008 --- Comment #7 from CVS Commits --- The releases/gcc-10 branch has been updated by Jakub Jelinek : https://gcc.gnu.org/g:6ff30182d2e725d50e88a7d01c7bea7240ef70ee commit r10-10618-g6ff30182d2e725d50e88a7d01c7bea7240ef70ee Author: Jakub Jelinek Date: Fri Jun 11 12:59:43 2021 +0200 simplify-rtx: Fix up simplify_logical_relational_operation for vector IOR [PR101008] simplify_relational_operation callees typically return just const0_rtx or const_true_rtx and then simplify_relational_operation attempts to fix that up if the comparison result has vector mode, or floating mode, or punt if it has scalar mode and vector mode operands (it doesn't know how exactly to deal with the scalar masks). But, simplify_logical_relational_operation has a special case, where it attempts to fold (x < y) | (x >= y) etc. and if it determines it is always true, it just returns const_true_rtx, without doing the dances that simplify_relational_operation does. That results in an ICE on the following testcase, where such folding happens during expansion (of debug stmts into DEBUG_INSNs) and we ICE because all of sudden a VOIDmode rtx appears where it expects a vector (V4SImode) rtx. The following patch fixes that by moving the adjustement into a separate helper routine and using it from both simplify_relational_operation and simplify_logical_relational_operation. 2021-06-11 Jakub Jelinek PR rtl-optimization/101008 * simplify-rtx.c (relational_result): New function. (simplify_logical_relational_operation, simplify_relational_operation): Use it. (cherry picked from commit 4bdcdd8fa8d7659e5a19a930cf2f0332127f8a46)
[Bug rtl-optimization/101008] ICE: in native_encode_rtx, at simplify-rtx.c:6594 with -O -g
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101008 --- Comment #6 from CVS Commits --- The releases/gcc-11 branch has been updated by Jakub Jelinek : https://gcc.gnu.org/g:8cd45af39ddc14fc77017a2d4c2aceb9a915ab4b commit r11-8593-g8cd45af39ddc14fc77017a2d4c2aceb9a915ab4b Author: Jakub Jelinek Date: Fri Jun 11 12:59:43 2021 +0200 simplify-rtx: Fix up simplify_logical_relational_operation for vector IOR [PR101008] simplify_relational_operation callees typically return just const0_rtx or const_true_rtx and then simplify_relational_operation attempts to fix that up if the comparison result has vector mode, or floating mode, or punt if it has scalar mode and vector mode operands (it doesn't know how exactly to deal with the scalar masks). But, simplify_logical_relational_operation has a special case, where it attempts to fold (x < y) | (x >= y) etc. and if it determines it is always true, it just returns const_true_rtx, without doing the dances that simplify_relational_operation does. That results in an ICE on the following testcase, where such folding happens during expansion (of debug stmts into DEBUG_INSNs) and we ICE because all of sudden a VOIDmode rtx appears where it expects a vector (V4SImode) rtx. The following patch fixes that by moving the adjustement into a separate helper routine and using it from both simplify_relational_operation and simplify_logical_relational_operation. 2021-06-11 Jakub Jelinek PR rtl-optimization/101008 * simplify-rtx.c (relational_result): New function. (simplify_logical_relational_operation, simplify_relational_operation): Use it. (cherry picked from commit 4bdcdd8fa8d7659e5a19a930cf2f0332127f8a46)
[Bug rtl-optimization/101008] ICE: in native_encode_rtx, at simplify-rtx.c:6594 with -O -g
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101008 Jakub Jelinek changed: What|Removed |Added Resolution|--- |FIXED Status|NEW |RESOLVED --- Comment #5 from Jakub Jelinek --- Fixed, again except for the testcase might be desirable to backport.
[Bug rtl-optimization/101008] ICE: in native_encode_rtx, at simplify-rtx.c:6594 with -O -g
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101008 --- Comment #4 from CVS Commits --- The master branch has been updated by Jakub Jelinek : https://gcc.gnu.org/g:4bdcdd8fa8d7659e5a19a930cf2f0332127f8a46 commit r12-1386-g4bdcdd8fa8d7659e5a19a930cf2f0332127f8a46 Author: Jakub Jelinek Date: Fri Jun 11 12:59:43 2021 +0200 simplify-rtx: Fix up simplify_logical_relational_operation for vector IOR [PR101008] simplify_relational_operation callees typically return just const0_rtx or const_true_rtx and then simplify_relational_operation attempts to fix that up if the comparison result has vector mode, or floating mode, or punt if it has scalar mode and vector mode operands (it doesn't know how exactly to deal with the scalar masks). But, simplify_logical_relational_operation has a special case, where it attempts to fold (x < y) | (x >= y) etc. and if it determines it is always true, it just returns const_true_rtx, without doing the dances that simplify_relational_operation does. That results in an ICE on the following testcase, where such folding happens during expansion (of debug stmts into DEBUG_INSNs) and we ICE because all of sudden a VOIDmode rtx appears where it expects a vector (V4SImode) rtx. The following patch fixes that by moving the adjustement into a separate helper routine and using it from both simplify_relational_operation and simplify_logical_relational_operation. 2021-06-11 Jakub Jelinek PR rtl-optimization/101008 * simplify-rtx.c (relational_result): New function. (simplify_logical_relational_operation, simplify_relational_operation): Use it. * gcc.dg/pr101008.c: New test.
[Bug rtl-optimization/101008] ICE: in native_encode_rtx, at simplify-rtx.c:6594 with -O -g
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101008 --- Comment #3 from Jakub Jelinek --- Created attachment 50979 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50979=edit gcc12-pr101008.patch Untested fix.
[Bug rtl-optimization/101008] ICE: in native_encode_rtx, at simplify-rtx.c:6594 with -O -g
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101008 Jakub Jelinek changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org CC||jakub at gcc dot gnu.org --- Comment #2 from Jakub Jelinek --- Seems to be a simplify-rtx.c bug. simplify_binary_operation (IOR, V4SImode, (ne:V4SI (reg:V4SI 82 [ v.0_2 ]) (reg:V4SI 83 [ _4 ])), (eq:V4SI (reg:V4SI 82 [ v.0_2 ]) (reg:V4SI 83 [ _4 ]))) returns (const_int 1 [0x1]), which is wrong.
[Bug rtl-optimization/101008] ICE: in native_encode_rtx, at simplify-rtx.c:6594 with -O -g
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101008 Richard Biener changed: What|Removed |Added Last reconfirmed||2021-06-10 Ever confirmed|0 |1 Status|UNCONFIRMED |NEW --- Comment #1 from Richard Biener --- Confirmed. #1 0x0130f66a in native_encode_rtx (mode=E_V4SImode, x=0x765714a0, bytes=..., first_byte=0, num_bytes=4) at /home/rguenther/src/gcc2/gcc/simplify-rtx.c:6594 6594 gcc_assert (GET_MODE (x) == VOIDmode (gdb) p debug_rtx (x) (const_int 1 [0x1]) for expanding BIT_FIELD_REF <_12, 32, 0>
