src/share/vm/opto/superword.cpp

rev 7391 : 8077504: Unsafe load can loose control dependency and cause crash
Summary: Node::depends_only_on_test() should return false for Unsafe loads
Reviewed-by: kvn, adinn

*** 1429,1439 ****
              break; // dependent memory
            }
          }
          Node* adr = low_adr->in(MemNode::Address);
          const TypePtr* atyp = n->adr_type();
!         vn = LoadVectorNode::make(C, opc, ctl, mem, adr, atyp, vlen, velt_basic_type(n));
          vlen_in_bytes = vn->as_LoadVector()->memory_size();
        } else if (n->is_Store()) {
          // Promote value to be stored to vector
          Node* val = vector_opd(p, MemNode::ValueIn);
          Node* ctl = n->in(MemNode::Control);
--- 1429,1439 ----
              break; // dependent memory
            }
          }
          Node* adr = low_adr->in(MemNode::Address);
          const TypePtr* atyp = n->adr_type();
!         vn = LoadVectorNode::make(C, opc, ctl, mem, adr, atyp, vlen, velt_basic_type(n), control_dependency(p));
          vlen_in_bytes = vn->as_LoadVector()->memory_size();
        } else if (n->is_Store()) {
          // Promote value to be stored to vector
          Node* val = vector_opd(p, MemNode::ValueIn);
          Node* ctl = n->in(MemNode::Control);
*** 2027,2036 ****
--- 2027,2049 ----
      }
    }
    return n;
  }
  
+ LoadNode::ControlDependency SuperWord::control_dependency(Node_List* p) {
+   LoadNode::ControlDependency dep = LoadNode::DependsOnlyOnTest;
+   for (uint i = 0; i < p->size(); i++) {
+     Node* n = p->at(i);
+     assert(n->is_Load(), "only meaningful for loads");
+     if (!n->depends_only_on_test()) {
+       dep = LoadNode::Pinned;
+     }
+   }
+   return dep;
+ }
+ 
+ 
  //----------------------------align_initial_loop_index---------------------------
  // Adjust pre-loop limit so that in main loop, a load/store reference
  // to align_to_ref will be a position zero in the vector.
  //   (iv + k) mod vector_align == 0
  void SuperWord::align_initial_loop_index(MemNode* align_to_ref) {