# HG changeset patch
# User kvn
# Date 1345585802 25200
# Node ID 4b0d6fd74911f99178c554cf6407eb708afe3174
# Parent  7a302948f5a4b74e696a287b0f7d208004fb4982
7192964: assert(false) failed: bad AD file
Summary: Shifts with loop variant counts "a[i]=1<<b[i];" should not be vectorized since hw does not support it.
Reviewed-by: twisti

diff -r 7a302948f5a4 -r 4b0d6fd74911 src/share/vm/opto/superword.cpp
--- a/src/share/vm/opto/superword.cpp	Tue Aug 21 10:48:50 2012 -0700
+++ b/src/share/vm/opto/superword.cpp	Tue Aug 21 14:50:02 2012 -0700
@@ -1055,6 +1055,9 @@
 // Can code be generated for pack p?
 bool SuperWord::implemented(Node_List* p) {
   Node* p0 = p->at(0);
+  if (VectorNode::is_shift(p0) && in_bb(p0->in(2))) {
+    return false; // vector shift count should be loop's invariant.
+  }
   return VectorNode::implemented(p0->Opcode(), p->size(), velt_basic_type(p0));
 }
 
@@ -1404,6 +1407,7 @@
 
   if (same_opd) {
     if (opd->is_Vector() || opd->is_LoadVector()) {
+      assert(((opd_idx != 2) || !VectorNode::is_shift(p0)), "shift's count can't be vector");
       return opd; // input is matching vector
     }
     if ((opd_idx == 2) && VectorNode::is_shift(p0)) {
diff -r 7a302948f5a4 -r 4b0d6fd74911 src/share/vm/opto/vectornode.cpp
--- a/src/share/vm/opto/vectornode.cpp	Tue Aug 21 10:48:50 2012 -0700
+++ b/src/share/vm/opto/vectornode.cpp	Tue Aug 21 14:50:02 2012 -0700
@@ -180,9 +180,9 @@
   return false;
 }
 
-// Check if input is loop invarient vector.
+// Check if input is loop invariant vector.
 bool VectorNode::is_invariant_vector(Node* n) {
-  // Only Replicate vector nodes are loop invarient for now.
+  // Only Replicate vector nodes are loop invariant for now.
   switch (n->Opcode()) {
   case Op_ReplicateB:
   case Op_ReplicateS: