;; if reg/mem op (define_insn_reservation "slm_sseishft_3" 2 (and (eq_attr "cpu" "slm") (and (eq_attr "type" "sseishft") (not (match_operand 2 "immediate_operand")))) "slm-complex, slm-all-eu")
in slm.md it will check operands[2] for type sseishft, but for extendbfsf2_1 there's no second operand which caused ICE. The patch set type from sseishft to sseishft1 to fix the issue. Bootstrapped and regtested on x86_64-pc-linu-gnu{-m32,}. Ready to push as an obvious patch. gcc/ChangeLog: PR target/107934 * config/i386/i386.md (extendbfsf2_1): Change type from sseishft to sseishft1. gcc/testsuite/ChangeLog: * gcc.target/i386/pr107934.c: New test. --- gcc/config/i386/i386.md | 2 +- gcc/testsuite/gcc.target/i386/pr107934.c | 8 ++++++++ 2 files changed, 9 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.target/i386/pr107934.c diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md index 9451883396c..9e1d9eec862 100644 --- a/gcc/config/i386/i386.md +++ b/gcc/config/i386/i386.md @@ -4981,7 +4981,7 @@ (define_insn "extendbfsf2_1" pslld\t{$16, %0|%0, 16} vpslld\t{$16, %1, %0|%0, %1, 16}" [(set_attr "isa" "noavx,avx") - (set_attr "type" "sseishft") + (set_attr "type" "sseishft1") (set_attr "length_immediate" "1") (set_attr "prefix_data16" "1,*") (set_attr "prefix" "orig,vex") diff --git a/gcc/testsuite/gcc.target/i386/pr107934.c b/gcc/testsuite/gcc.target/i386/pr107934.c new file mode 100644 index 00000000000..59106b29159 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr107934.c @@ -0,0 +1,8 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -mtune=knl -ffinite-math-only -msse2" } */ + +int +foo (__bf16 bf) +{ + return bf; +} -- 2.27.0