changeset 3453:424142833d10

7178280: Failed new vector regression tests Summary: When looking for the same value in an other register check that all parts of that register has the same value. Reviewed-by: johnc, twisti
author kvn
date Fri, 22 Jun 2012 10:40:48 -0700
parents 40782a131183
children 751bd303aa45
files src/share/vm/opto/postaloc.cpp
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/src/share/vm/opto/postaloc.cpp	Thu Jun 21 09:52:38 2012 +0200
+++ b/src/share/vm/opto/postaloc.cpp	Fri Jun 22 10:40:48 2012 -0700
@@ -308,9 +308,10 @@
     }
 
     Node *vv = value[reg];
-    if (n_regs > 1) {             // Doubles check for aligned-adjacent pair
-      if( (reg&1)==0 ) continue;  // Wrong half of a pair
-      if( vv != value[reg-1] ) continue; // Not a complete pair
+    if (n_regs > 1) { // Doubles and vectors check for aligned-adjacent set
+      uint last = (n_regs-1); // Looking for the last part of a set
+      if ((reg&last) != last) continue; // Wrong part of a set
+      if (!register_contains_value(vv, reg, n_regs, value)) continue; // Different value
     }
     if( vv == val ||            // Got a direct hit?
         (t && vv && vv->bottom_type() == t && vv->is_Mach() &&
@@ -573,7 +574,6 @@
             // Record other half of doubles
             uint def_ideal_reg = def->ideal_reg();
             int n_regs = RegMask::num_registers(def_ideal_reg);
-            bool is_vec = RegMask::is_vector(def_ideal_reg);
             for (int l = 1; l < n_regs; l++) {
               OptoReg::Name ureg_lo = OptoReg::add(ureg,-l);
               if (!value[ureg_lo] &&