Skip to content

Commit bac09a8

Browse files
committed
Fix ICE in extract_insn, at recog.cc:2791
(In reply to Uroš Bizjak from comment #1) > Instruction does not accept memory operand for operand 3: > > (define_insn_and_split > "*<sse4_1>_blendv<ssefltmodesuffix><avxsizesuffix>_ltint" > [(set (match_operand:<ssebytemode> 0 "register_operand" "=Yr,*x,x") > (unspec:<ssebytemode> > [(match_operand:<ssebytemode> 1 "register_operand" "0,0,x") > (match_operand:<ssebytemode> 2 "vector_operand" "YrBm,*xBm,xm") > (subreg:<ssebytemode> > (lt:VI48_AVX > (match_operand:VI48_AVX 3 "register_operand" "Yz,Yz,x") > (match_operand:VI48_AVX 4 "const0_operand")) 0)] > UNSPEC_BLENDV))] > > The problematic insn is: > > (define_insn_and_split "*avx_cmp<mode>3_ltint_not" > [(set (match_operand:VI48_AVX 0 "register_operand") > (vec_merge:VI48_AVX > (match_operand:VI48_AVX 1 "vector_operand") > (match_operand:VI48_AVX 2 "vector_operand") > (unspec:<avx512fmaskmode> > [(subreg:VI48_AVX > (not:<ssebytemode> > (match_operand:<ssebytemode> 3 "vector_operand")) 0) > (match_operand:VI48_AVX 4 "const0_operand") > (match_operand:SI 5 "const_0_to_7_operand")] > UNSPEC_PCMP)))] > > which gets split to the above pattern. > > In the preparation statements we have: > > if (!MEM_P (operands[3])) > operands[3] = force_reg (<ssebytemode>mode, operands[3]); > operands[3] = lowpart_subreg (<MODE>mode, operands[3], <ssebytemode>mode); > > Which won't fly when operand 3 is memory operand... > gcc/ChangeLog: PR target/105953 * config/i386/sse.md (*avx_cmp<mode>3_ltint_not): Force_reg operands[3]. gcc/testsuite/ChangeLog: * g++.target/i386/pr105953.C: New test.
1 parent e110910 commit bac09a8

File tree

2 files changed

+5
-2
lines changed

2 files changed

+5
-2
lines changed

gcc/config/i386/sse.md

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3627,8 +3627,7 @@
36273627
gen_lowpart (<ssebytemode>mode, operands[1]));
36283628
operands[2] = gen_lowpart (<ssebytemode>mode, operands[2]);
36293629

3630-
if (!MEM_P (operands[3]))
3631-
operands[3] = force_reg (<ssebytemode>mode, operands[3]);
3630+
operands[3] = force_reg (<ssebytemode>mode, operands[3]);
36323631
operands[3] = lowpart_subreg (<MODE>mode, operands[3], <ssebytemode>mode);
36333632
})
36343633

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
/* { dg-do compile } */
2+
/* { dg-options "-O2 -mavx512vl -mabi=ms" } */
3+
4+
#include "pr100738-1.C"

0 commit comments

Comments
 (0)