]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Fix incorrect insn type to avoid ICE in memory attr auto-detection.
authorliuhongt <hongtao.liu@intel.com>
Mon, 7 Nov 2022 01:55:25 +0000 (09:55 +0800)
committerliuhongt <hongtao.liu@intel.com>
Wed, 9 Nov 2022 01:12:52 +0000 (09:12 +0800)
Memory attribute auto detection will check operand 2 for type sselog,
and check operand 1 for type sselog1. For below 2 insns, there's no
operand 2. Change type to sselog1.

gcc/ChangeLog:

PR target/107540
* config/i386/sse.md (avx512f_movddup512<mask_name>): Change
type from sselog to sselog1.
(avx_movddup256<mask_name>): Ditto.

gcc/testsuite/ChangeLog:

* gcc.target/i386/pr107540.c: New test.

gcc/config/i386/sse.md
gcc/testsuite/gcc.target/i386/pr107540.c [new file with mode: 0644]

index 9a4fc01856dd6c2f889021a1dfbc82206bb1791d..de632b2d8fe5da02520201d1825f9cb75bc73770 100644 (file)
                     (const_int 6) (const_int 14)])))]
   "TARGET_AVX512F"
   "vmovddup\t{%1, %0<mask_operand2>|%0<mask_operand2>, %1}"
-  [(set_attr "type" "sselog")
+  [(set_attr "type" "sselog1")
    (set_attr "prefix" "evex")
    (set_attr "mode" "V8DF")])
 
                     (const_int 2) (const_int 6)])))]
   "TARGET_AVX && <mask_avx512vl_condition>"
   "vmovddup\t{%1, %0<mask_operand2>|%0<mask_operand2>, %1}"
-  [(set_attr "type" "sselog")
+  [(set_attr "type" "sselog1")
    (set_attr "prefix" "<mask_prefix>")
    (set_attr "mode" "V4DF")])
 
diff --git a/gcc/testsuite/gcc.target/i386/pr107540.c b/gcc/testsuite/gcc.target/i386/pr107540.c
new file mode 100644 (file)
index 0000000..a0351ff
--- /dev/null
@@ -0,0 +1,12 @@
+/* { dg-do compile } */
+/* { dg-options "-flive-range-shrinkage -mavx" } */
+
+typedef double __attribute__((__vector_size__ (32))) V;
+
+V v;
+
+void
+foo (void)
+{
+  v = __builtin_ia32_movddup256 (v);
+}