2016-03-22 Ilya Enkovich <enkovich.gnu@gmail.com>

	PR target/70302
	* config/i386/i386.c (scalar_chain::convert_op): Support
	uninitialized register usage case.

	PR target/70302
	* gcc.target/i386/pr70302.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@234406 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 92391efd907b990459d7980816f11286bb797488..68484965cd7cdede3c22cf5b23eebc56b8d2bfb1 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-03-22  Ilya Enkovich  <enkovich.gnu@gmail.com>
+
+       PR target/70302
+       * config/i386/i386.c (scalar_chain::convert_op): Support
+       uninitialized register usage case.
+
 2016-03-22  Richard Biener  <rguenther@suse.de>
 
        PR middle-end/70251

diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
index f32583168c4e0c77fd728f51aa89bac5c8412c7f..1639704835b6cab0c4c62ee58fb5fc881367036b 100644 (file)
--- a/gcc/config/i386/i386.c
+++ b/gcc/config/i386/i386.c
@@ -3409,6 +3409,20 @@ scalar_chain::convert_op (rtx *op, rtx_insn *insn)
        fprintf (dump_file, "  Preloading operand for insn %d into r%d\n",
                 INSN_UID (insn), REGNO (tmp));
     }
+  else if (REG_P (*op))
+    {
+      /* We may have not converted register usage in case
+        this register has no definition.  Otherwise it
+        should be converted in convert_reg.  */
+      df_ref ref;
+      FOR_EACH_INSN_USE (ref, insn)
+       if (DF_REF_REGNO (ref) == REGNO (*op))
+         {
+           gcc_assert (!DF_REF_CHAIN (ref));
+           break;
+         }
+      *op = gen_rtx_SUBREG (V2DImode, *op, 0);
+    }
   else
     {
       gcc_assert (SUBREG_P (*op));

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 00c82625bef8b99f4237ca99adddf4e76c2f66c6..43217b8c476cc7caa452d94e81a3b1a6edca007a 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-03-22  Ilya Enkovich  <enkovich.gnu@gmail.com>
+
+       PR target/70302
+       * gcc.target/i386/pr70302.c: New test.
+
 2016-03-22  Richard Biener  <rguenther@suse.de>
 
        PR middle-end/70251

diff --git a/gcc/testsuite/gcc.target/i386/pr70302.c b/gcc/testsuite/gcc.target/i386/pr70302.c
new file mode 100644 (file)
index 0000000..9b82a0c
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr70302.c
@@ -0,0 +1,22 @@
+/* { dg-do compile { target { ia32 } } } */
+/* { dg-options "-O2 -msse2" } */
+
+long a, c, e;
+int b, d;
+unsigned long long f;
+
+extern void fn2 (const char *, int, int, int);
+
+void
+fn1(long long p1)
+{
+  unsigned long long g;
+  int i;
+  for (; i;)
+    if (e)
+      g = c;
+  if (a)
+    f = p1;
+  if (!f && !g)
+    fn2("", b, d, d);
+}