re PR target/57098 (ICE: in extract_insn, at recog.c:2154 (unrecognizable insn) with...

	PR target/57098
	* config/i386/i386.c (ix86_expand_vec_perm): Validize constant memory.

testsuite/ChangeLog:

	PR target/57098
	* gcc.target/i386/pr57098.c: New test.

From-SVN: r198430

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index de4db3f92c97d0b6ea7d17494e07ed42509c68a5..c097c8064b22b14a49fe56756a50d2ca60c4b281 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2013-04-29  Uros Bizjak  <ubizjak@gmail.com>
+
+       PR target/57098
+       * config/i386/i386.c (ix86_expand_vec_perm): Validize constant memory.
+
 2013-04-29  Ian Bolton  <ian.bolton@arm.com>
 
        * config/aarch64/aarch64.md (movsi_aarch64): Support LDR/STR
@@ -32,8 +37,7 @@
        * lto-streamer-in.c (input_cfg): Ditto.
        * lto-cgraph.c (merge_profile_summaries): Ditto.
        * tree-optimize.c (execute_fixup_cfg): Ditto.
-       * tree-inline.c (copy_bb): Update comment to use
-       apply_scale.
+       * tree-inline.c (copy_bb): Update comment to use apply_scale.
        (copy_edges_for_bb): Ditto.
        (copy_cfg_body): Ditto.
 
@@ -63,9 +67,8 @@
 2013-04-29  Richard Biener  <rguenther@suse.de>
 
        PR middle-end/57089
-       * omp-low.c (expand_omp_taskreg): If the parent function had
-       a broken loop tree make sure to schedule a fixup for the child
-       as well.
+       * omp-low.c (expand_omp_taskreg): If the parent function had a broken
+       loop tree make sure to schedule a fixup for the child as well.
        (expand_omp_for_generic): Properly add loops.
        (expand_omp_for_static_nochunk): Likewise.
        (expand_omp_for_static_chunk): Likewise.

diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
index 7a58a76f08b08b55cc01b7c9444e517a85546eee..d28a0ff07f052cb877fd3cfe7c0e10d20aae66b6 100644 (file)
--- a/gcc/config/i386/i386.c
+++ b/gcc/config/i386/i386.c
@@ -20559,7 +20559,7 @@ ix86_expand_vec_perm (rtx operands[])
              vec[i * 2 + 1] = const1_rtx;
            }
          vt = gen_rtx_CONST_VECTOR (maskmode, gen_rtvec_v (w, vec));
-         vt = force_const_mem (maskmode, vt);
+         vt = validize_mem (force_const_mem (maskmode, vt));
          t1 = expand_simple_binop (maskmode, PLUS, t1, vt, t1, 1,
                                    OPTAB_DIRECT);
 
@@ -20756,7 +20756,7 @@ ix86_expand_vec_perm (rtx operands[])
       for (i = 0; i < 16; ++i)
        vec[i] = GEN_INT (i/e * e);
       vt = gen_rtx_CONST_VECTOR (V16QImode, gen_rtvec_v (16, vec));
-      vt = force_const_mem (V16QImode, vt);
+      vt = validize_mem (force_const_mem (V16QImode, vt));
       if (TARGET_XOP)
        emit_insn (gen_xop_pperm (mask, mask, mask, vt));
       else
@@ -20767,7 +20767,7 @@ ix86_expand_vec_perm (rtx operands[])
       for (i = 0; i < 16; ++i)
        vec[i] = GEN_INT (i % e);
       vt = gen_rtx_CONST_VECTOR (V16QImode, gen_rtvec_v (16, vec));
-      vt = force_const_mem (V16QImode, vt);
+      vt = validize_mem (force_const_mem (V16QImode, vt));
       emit_insn (gen_addv16qi3 (mask, mask, vt));
     }
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 73eeaf243e2c1e264894004f8d59c03d4b2118ef..a70dc4bd37aa474468291f4ce4876e70614d77d5 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,6 +1,11 @@
+2013-04-29  Uros Bizjak  <ubizjak@gmail.com>
+
+       PR target/57098
+       * gcc.target/i386/pr57098.c: New test.
+
 2013-04-29  Kai Tietz  <ktietz@redhat.com>
 
-       * gcc.c-torture/execute/pr55875.c
+       * gcc.c-torture/execute/pr55875.c: New test.
 
 2013-04-29  Richard Biener  <rguenther@suse.de>
 

diff --git a/gcc/testsuite/gcc.target/i386/pr57098.c b/gcc/testsuite/gcc.target/i386/pr57098.c
new file mode 100644 (file)
index 0000000..c0f1cc3
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr57098.c
@@ -0,0 +1,11 @@
+/* { dg-do compile } */
+/* { dg-require-effective-target lp64 } */
+/* { dg-options "-msse4 -mcmodel=large" } */
+
+typedef int V __attribute__((vector_size(16)));
+
+void
+foo (V *p, V *mask)
+{
+  *p = __builtin_shuffle (*p, *mask);
+}