re PR rtl-optimization/55141 (wrong code with -fno-split-wide-types)

2012-12-07  Vladimir Makarov  <vmakarov@redhat.com>

	testsuite/gcc.target/i386/pr55141.c
	* lra-constraints.c (lra_constraints): Use biggest mode for
	df_set_regs_ever_live.

2012-12-07  Vladimir Makarov  <vmakarov@redhat.com>

	PR rtl-optimization/55141
	* gcc.target/i386/pr55141.c: New.

From-SVN: r194308

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6b8318f44d6c57a5b3ce5d0fae63cfc941b954b0..aa60fa69bfb72e500def7ea201b9b1eb8bb55880 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2012-12-07  Vladimir Makarov  <vmakarov@redhat.com>
+
+       testsuite/gcc.target/i386/pr55141.c
+       * lra-constraints.c (lra_constraints): Use biggest mode for
+       df_set_regs_ever_live.
+
 2012-12-07  Jan Hubicka  <jh@suse.cz>
 
        * tree-ssa-loop-ivcanon.c (tree_estimate_loop_size): Add UPPER_BOUND

diff --git a/gcc/lra-constraints.c b/gcc/lra-constraints.c
index f6d5ac3467422a706b992a486898087bc7af189a..2045b00e022af90217507a995a22fc9b5bfd0948 100644 (file)
--- a/gcc/lra-constraints.c
+++ b/gcc/lra-constraints.c
@@ -3329,8 +3329,9 @@ lra_constraints (bool first_p)
        reg = regno_reg_rtx[i];
        if ((hard_regno = lra_get_regno_hard_regno (i)) >= 0)
          {
-           int j, nregs = hard_regno_nregs[hard_regno][PSEUDO_REGNO_MODE (i)];
+           int j, nregs;
 
+           nregs = hard_regno_nregs[hard_regno][lra_reg_info[i].biggest_mode];
            for (j = 0; j < nregs; j++)
              df_set_regs_ever_live (hard_regno + j, true);
          }

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1fd69fab38a69dcd866dc45e73ab0e6234841923..7a1ec4a97393abab4fbef540b82de199a292eb52 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-12-07  Vladimir Makarov  <vmakarov@redhat.com>
+
+       PR rtl-optimization/55141
+       * gcc.target/i386/pr55141.c: New.
+
 2012-12-07  Dodji Seketeli  <dodji@redhat.com>
 
        PR c++/54401

diff --git a/gcc/testsuite/gcc.target/i386/pr55141.c b/gcc/testsuite/gcc.target/i386/pr55141.c
new file mode 100644 (file)
index 0000000..a457755
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr55141.c
@@ -0,0 +1,29 @@
+/* { dg-do run } */
+/* { dg-options "-O -fno-split-wide-types" } */
+
+typedef struct
+{
+  long int p_x, p_y;
+} Point;
+
+static __attribute__ ((noinline, noclone))
+     void foo (Point p0, Point p1, Point p2, Point p3)
+{
+  if (p0.p_x != 1
+      || p1.p_x != 3
+      || p2.p_x != 5
+      || p3.p_x != 7)
+    __builtin_abort ();
+}
+
+int
+main (int argc, char *argv[])
+{
+  Point p0, p1, p2, p3, p4, p5;
+  p0.p_x = 1;
+  p1.p_x = 3;
+  p2.p_x = 5;
+  p3.p_x = 7;
+  foo (p0, p1, p2, p3);
+  return 0;
+}