src/share/vm/opto/macro.hpp

rev 6566 : 7173584: Implement arraycopy as a macro node
Summary: delay the conversion of arraycopy to stub calls to macro expansion
Reviewed-by:

*** 35,45 ****
  
  class PhaseMacroExpand : public Phase {
  private:
    PhaseIterGVN &_igvn;
  
!   // Helper methods roughly modelled after GraphKit:
    Node* top()                   const { return C->top(); }
    Node* intcon(jint con)        const { return _igvn.intcon(con); }
    Node* longcon(jlong con)      const { return _igvn.longcon(con); }
    Node* makecon(const Type *t)  const { return _igvn.makecon(t); }
    Node* basic_plus_adr(Node* base, int offset) {
--- 35,45 ----
  
  class PhaseMacroExpand : public Phase {
  private:
    PhaseIterGVN &_igvn;
  
!   // Helper methods roughly modeled after GraphKit:
    Node* top()                   const { return C->top(); }
    Node* intcon(jint con)        const { return _igvn.intcon(con); }
    Node* longcon(jlong con)      const { return _igvn.longcon(con); }
    Node* makecon(const Type *t)  const { return _igvn.makecon(t); }
    Node* basic_plus_adr(Node* base, int offset) {
*** 99,108 ****
--- 99,188 ----
    void mark_eliminated_locking_nodes(AbstractLockNode *alock);
    bool eliminate_locking_node(AbstractLockNode *alock);
    void expand_lock_node(LockNode *lock);
    void expand_unlock_node(UnlockNode *unlock);
  
+   // More helper methods modeled after GraphKit for array copy
+   void insert_mem_bar(Node** ctrl, Node** mem, int opcode, Node* precedent = NULL);
+   Node* array_element_address(Node* ary, Node* idx, BasicType elembt);
+   Node* ConvI2L(Node* offset);
+   Node* make_leaf_call(Node* ctrl, Node* mem,
+                        const TypeFunc* call_type, address call_addr,
+                        const char* call_name,
+                        const TypePtr* adr_type,
+                        Node* parm0 = NULL, Node* parm1 = NULL,
+                        Node* parm2 = NULL, Node* parm3 = NULL,
+                        Node* parm4 = NULL, Node* parm5 = NULL,
+                        Node* parm6 = NULL, Node* parm7 = NULL);
+   
+   // helper methods modeled after LibraryCallKit for array copy
+   Node* generate_guard(Node** ctrl, Node* test, RegionNode* region, float true_prob);
+   Node* generate_slow_guard(Node** ctrl, Node* test, RegionNode* region);
+   void generate_negative_guard(Node** ctrl, Node* index, RegionNode* region);
+   void generate_limit_guard(Node** ctrl, Node* offset, Node* subseq_length, Node* array_length, RegionNode* region);
+ 
+   // More helper methods for array copy
+   Node* generate_nonpositive_guard(Node** ctrl, Node* index, bool never_negative);
+   void finish_arraycopy_call(Node* call, Node** ctrl, MergeMemNode** mem, const TypePtr* adr_type);
+   address basictype2arraycopy(BasicType t,
+                               Node* src_offset,
+                               Node* dest_offset,
+                               bool disjoint_bases,
+                               const char* &name,
+                               bool dest_uninitialized);
+   Node* generate_arraycopy(ArrayCopyNode *ac,
+                            AllocateArrayNode* alloc,
+                            Node** ctrl, MergeMemNode* mem, Node** io,
+                            const TypePtr* adr_type,
+                            BasicType basic_elem_type,
+                            Node* src,  Node* src_offset,
+                            Node* dest, Node* dest_offset,
+                            Node* copy_length,
+                            bool disjoint_bases = false,
+                            bool length_never_negative = false,
+                            RegionNode* slow_region = NULL);
+   void generate_clear_array(Node* ctrl, MergeMemNode* merge_mem,
+                             const TypePtr* adr_type,
+                             Node* dest,
+                             BasicType basic_elem_type,
+                             Node* slice_idx,
+                             Node* slice_len,
+                             Node* dest_size);
+   bool generate_block_arraycopy(Node** ctrl, MergeMemNode** mem, Node* io,
+                                 const TypePtr* adr_type,
+                                 BasicType basic_elem_type,
+                                 AllocateNode* alloc,
+                                 Node* src,  Node* src_offset,
+                                 Node* dest, Node* dest_offset,
+                                 Node* dest_size, bool dest_uninitialized);
+   MergeMemNode* generate_slow_arraycopy(ArrayCopyNode *ac,
+                                         Node** ctrl, Node* mem, Node** io,
+                                         const TypePtr* adr_type,
+                                         Node* src,  Node* src_offset,
+                                         Node* dest, Node* dest_offset,
+                                         Node* copy_length, bool dest_uninitialized);
+   Node* generate_checkcast_arraycopy(Node** ctrl, MergeMemNode** mem,
+                                      const TypePtr* adr_type,
+                                      Node* dest_elem_klass,
+                                      Node* src,  Node* src_offset,
+                                      Node* dest, Node* dest_offset,
+                                      Node* copy_length, bool dest_uninitialized);
+   Node* generate_generic_arraycopy(Node** ctrl, MergeMemNode** mem,
+                                    const TypePtr* adr_type,
+                                    Node* src,  Node* src_offset,
+                                    Node* dest, Node* dest_offset,
+                                    Node* copy_length, bool dest_uninitialized);
+   void generate_unchecked_arraycopy(Node** ctrl, MergeMemNode** mem,
+                                     const TypePtr* adr_type,
+                                     BasicType basic_elem_type,
+                                     bool disjoint_bases,
+                                     Node* src,  Node* src_offset,
+                                     Node* dest, Node* dest_offset,
+                                     Node* copy_length, bool dest_uninitialized);
+   
+   void expand_arraycopy_node(ArrayCopyNode *ac);
+ 
    int replace_input(Node *use, Node *oldref, Node *newref);
    void copy_call_debug_info(CallNode *oldcall, CallNode * newcall);
    Node* opt_bits_test(Node* ctrl, Node* region, int edge, Node* word, int mask, int bits, bool return_fast_path = false);
    void copy_predefined_input_for_runtime_call(Node * ctrl, CallNode* oldcall, CallNode* call);
    CallNode* make_slow_call(CallNode *oldcall, const TypeFunc* slow_call_type, address slow_call,