re PR target/54436 (Compiling some regular C++ code gives assembler '700415 shortened...

	PR target/54436
	* config/i386/i386.md (*mov<mode>_insv_1_rex64, *movsi_insv_1): If
	operands[1] is CONST_INT_P, convert it to QImode before printing.

	* gcc.dg/torture/pr54436.c: New test.

From-SVN: r190849

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 45325cb3e9de997f380d1246381939152c2128a2..c9790e8af99b2ecd22047748ffa9ca895f175d9f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2012-09-01  Jakub Jelinek  <jakub@redhat.com>
+
+       PR target/54436
+       * config/i386/i386.md (*mov<mode>_insv_1_rex64, *movsi_insv_1): If
+       operands[1] is CONST_INT_P, convert it to QImode before printing.
+
 2012-09-01  Andrew Pinski  <apinski@cavium.com>
 
        * simplify-rtx.c (simplify_unary_operation_1 <case TRUNCATE>):

diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md
index 33000174fca761e79b7b76ad715f6d721e305c85..16cee7a9dbe3a5a9a532c0522ddf043f09b30e8f 100644 (file)
--- a/gcc/config/i386/i386.md
+++ b/gcc/config/i386/i386.md
@@ -2690,7 +2690,11 @@
                             (const_int 8))
        (match_operand:SWI48x 1 "nonmemory_operand" "Qn"))]
   "TARGET_64BIT"
-  "mov{b}\t{%b1, %h0|%h0, %b1}"
+{
+  if (CONST_INT_P (operands[1]))
+    operands[1] = simplify_gen_subreg (QImode, operands[1], <MODE>mode, 0);
+  return "mov{b}\t{%b1, %h0|%h0, %b1}";
+}
   [(set_attr "type" "imov")
    (set_attr "mode" "QI")])
 
@@ -2700,7 +2704,11 @@
                         (const_int 8))
        (match_operand:SI 1 "general_operand" "Qmn"))]
   "!TARGET_64BIT"
-  "mov{b}\t{%b1, %h0|%h0, %b1}"
+{
+  if (CONST_INT_P (operands[1]))
+    operands[1] = simplify_gen_subreg (QImode, operands[1], SImode, 0);
+  return "mov{b}\t{%b1, %h0|%h0, %b1}";
+}
   [(set_attr "type" "imov")
    (set_attr "mode" "QI")])
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 648b014af690473fc4b4e2b20349f50e604f1d82..6c433056ba449bfd59c1b94e6171354f6bd0fcd4 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-09-01  Jakub Jelinek  <jakub@redhat.com>
+
+       PR target/54436
+       * gcc.dg/torture/pr54436.c: New test.
+
 2012-09-01  Andrew Pinski  <apinski@cavium.com>
 
        * gcc.target/mips/truncate-8.c: New testcase.

diff --git a/gcc/testsuite/gcc.dg/torture/pr54436.c b/gcc/testsuite/gcc.dg/torture/pr54436.c
new file mode 100644 (file)
index 0000000..4bce324
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr54436.c
@@ -0,0 +1,38 @@
+/* PR target/54436 */
+/* { dg-do assemble } */
+
+#if __SIZEOF_SHORT__ == 2 && __SIZEOF_LONG_LONG__ == 8
+static inline unsigned short
+baz (unsigned short *x)
+{
+  union U { unsigned short a; unsigned char b[2]; } u = { *x };
+  u.b[0] = ((u.b[0] * 0x0802ULL & 0x22110ULL)
+           | (u.b[0] * 0x8020ULL & 0x88440ULL)) * 0x10101ULL >> 16;
+  u.b[1] = ((u.b[1] * 0x0802ULL & 0x22110ULL)
+           | (u.b[1] * 0x8020ULL & 0x88440ULL)) * 0x10101ULL >> 16;
+  unsigned char t = u.b[0];
+  u.b[0] = u.b[1];
+  u.b[1] = t;
+  return u.a;
+}
+
+static inline unsigned long long
+bar (unsigned long long *x)
+{
+  union U { unsigned long long a; unsigned short b[4]; } u = { *x };
+  u.b[0] = baz (&u.b[0]);
+  return u.a;
+}
+
+void
+foo (void)
+{
+  unsigned long long l = -1ULL;
+  __asm volatile ("" : : "r" (bar (&l)));
+}
+#else
+void
+foo (void)
+{
+}
+#endif