annotate src/share/vm/opto/macro.hpp @ 10278:6f3fd5150b67

6934604: enable parts of EliminateAutoBox by default Summary: Resurrected autobox elimination code and enabled part of it by default. Reviewed-by: roland, twisti
author kvn
date Wed, 08 May 2013 15:08:01 -0700
parents b9a9ed0f8eeb
children de6a9e811145
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
6842
b9a9ed0f8eeb 7197424: update copyright year to match last edit in jdk8 hotspot repository
mikael
parents: 6804
diff changeset
2 * Copyright (c) 2005, 2012, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 420
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 420
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 420
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
25 #ifndef SHARE_VM_OPTO_MACRO_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
26 #define SHARE_VM_OPTO_MACRO_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
27
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
28 #include "opto/phase.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
29
0
a61af66fc99e Initial load
duke
parents:
diff changeset
30 class AllocateNode;
a61af66fc99e Initial load
duke
parents:
diff changeset
31 class AllocateArrayNode;
a61af66fc99e Initial load
duke
parents:
diff changeset
32 class CallNode;
a61af66fc99e Initial load
duke
parents:
diff changeset
33 class Node;
a61af66fc99e Initial load
duke
parents:
diff changeset
34 class PhaseIterGVN;
a61af66fc99e Initial load
duke
parents:
diff changeset
35
a61af66fc99e Initial load
duke
parents:
diff changeset
36 class PhaseMacroExpand : public Phase {
a61af66fc99e Initial load
duke
parents:
diff changeset
37 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
38 PhaseIterGVN &_igvn;
a61af66fc99e Initial load
duke
parents:
diff changeset
39
a61af66fc99e Initial load
duke
parents:
diff changeset
40 // Helper methods roughly modelled after GraphKit:
a61af66fc99e Initial load
duke
parents:
diff changeset
41 Node* top() const { return C->top(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
42 Node* intcon(jint con) const { return _igvn.intcon(con); }
a61af66fc99e Initial load
duke
parents:
diff changeset
43 Node* longcon(jlong con) const { return _igvn.longcon(con); }
a61af66fc99e Initial load
duke
parents:
diff changeset
44 Node* makecon(const Type *t) const { return _igvn.makecon(t); }
a61af66fc99e Initial load
duke
parents:
diff changeset
45 Node* basic_plus_adr(Node* base, int offset) {
a61af66fc99e Initial load
duke
parents:
diff changeset
46 return (offset == 0)? base: basic_plus_adr(base, MakeConX(offset));
a61af66fc99e Initial load
duke
parents:
diff changeset
47 }
a61af66fc99e Initial load
duke
parents:
diff changeset
48 Node* basic_plus_adr(Node* base, Node* ptr, int offset) {
a61af66fc99e Initial load
duke
parents:
diff changeset
49 return (offset == 0)? ptr: basic_plus_adr(base, ptr, MakeConX(offset));
a61af66fc99e Initial load
duke
parents:
diff changeset
50 }
a61af66fc99e Initial load
duke
parents:
diff changeset
51 Node* basic_plus_adr(Node* base, Node* offset) {
a61af66fc99e Initial load
duke
parents:
diff changeset
52 return basic_plus_adr(base, base, offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
53 }
a61af66fc99e Initial load
duke
parents:
diff changeset
54 Node* basic_plus_adr(Node* base, Node* ptr, Node* offset) {
6804
e626685e9f6c 7193318: C2: remove number of inputs requirement from Node's new operator
kvn
parents: 4777
diff changeset
55 Node* adr = new (C) AddPNode(base, ptr, offset);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
56 return transform_later(adr);
a61af66fc99e Initial load
duke
parents:
diff changeset
57 }
a61af66fc99e Initial load
duke
parents:
diff changeset
58 Node* transform_later(Node* n) {
a61af66fc99e Initial load
duke
parents:
diff changeset
59 // equivalent to _gvn.transform in GraphKit, Ideal, etc.
a61af66fc99e Initial load
duke
parents:
diff changeset
60 _igvn.register_new_node_with_optimizer(n);
a61af66fc99e Initial load
duke
parents:
diff changeset
61 return n;
a61af66fc99e Initial load
duke
parents:
diff changeset
62 }
a61af66fc99e Initial load
duke
parents:
diff changeset
63 void set_eden_pointers(Node* &eden_top_adr, Node* &eden_end_adr);
a61af66fc99e Initial load
duke
parents:
diff changeset
64 Node* make_load( Node* ctl, Node* mem, Node* base, int offset,
a61af66fc99e Initial load
duke
parents:
diff changeset
65 const Type* value_type, BasicType bt);
a61af66fc99e Initial load
duke
parents:
diff changeset
66 Node* make_store(Node* ctl, Node* mem, Node* base, int offset,
a61af66fc99e Initial load
duke
parents:
diff changeset
67 Node* value, BasicType bt);
a61af66fc99e Initial load
duke
parents:
diff changeset
68
a61af66fc99e Initial load
duke
parents:
diff changeset
69 // projections extracted from a call node
a61af66fc99e Initial load
duke
parents:
diff changeset
70 ProjNode *_fallthroughproj;
a61af66fc99e Initial load
duke
parents:
diff changeset
71 ProjNode *_fallthroughcatchproj;
a61af66fc99e Initial load
duke
parents:
diff changeset
72 ProjNode *_ioproj_fallthrough;
a61af66fc99e Initial load
duke
parents:
diff changeset
73 ProjNode *_ioproj_catchall;
a61af66fc99e Initial load
duke
parents:
diff changeset
74 ProjNode *_catchallcatchproj;
a61af66fc99e Initial load
duke
parents:
diff changeset
75 ProjNode *_memproj_fallthrough;
a61af66fc99e Initial load
duke
parents:
diff changeset
76 ProjNode *_memproj_catchall;
a61af66fc99e Initial load
duke
parents:
diff changeset
77 ProjNode *_resproj;
a61af66fc99e Initial load
duke
parents:
diff changeset
78
a61af66fc99e Initial load
duke
parents:
diff changeset
79
a61af66fc99e Initial load
duke
parents:
diff changeset
80 void expand_allocate(AllocateNode *alloc);
a61af66fc99e Initial load
duke
parents:
diff changeset
81 void expand_allocate_array(AllocateArrayNode *alloc);
a61af66fc99e Initial load
duke
parents:
diff changeset
82 void expand_allocate_common(AllocateNode* alloc,
a61af66fc99e Initial load
duke
parents:
diff changeset
83 Node* length,
a61af66fc99e Initial load
duke
parents:
diff changeset
84 const TypeFunc* slow_call_type,
a61af66fc99e Initial load
duke
parents:
diff changeset
85 address slow_call_address);
73
a8880a78d355 6259129: (Escape Analysis) scalar replacement for not escaping objects
kvn
parents: 66
diff changeset
86 Node *value_from_mem(Node *mem, BasicType ft, const Type *ftype, const TypeOopPtr *adr_t, Node *alloc);
247
02a35ad4adf8 6723160: Nightly failure: Error: meet not symmetric
kvn
parents: 196
diff changeset
87 Node *value_from_mem_phi(Node *mem, BasicType ft, const Type *ftype, const TypeOopPtr *adr_t, Node *alloc, Node_Stack *value_phis, int level);
73
a8880a78d355 6259129: (Escape Analysis) scalar replacement for not escaping objects
kvn
parents: 66
diff changeset
88
10278
6f3fd5150b67 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 6842
diff changeset
89 bool eliminate_boxing_node(CallStaticJavaNode *boxing);
73
a8880a78d355 6259129: (Escape Analysis) scalar replacement for not escaping objects
kvn
parents: 66
diff changeset
90 bool eliminate_allocate_node(AllocateNode *alloc);
a8880a78d355 6259129: (Escape Analysis) scalar replacement for not escaping objects
kvn
parents: 66
diff changeset
91 bool can_eliminate_allocation(AllocateNode *alloc, GrowableArray <SafePointNode *>& safepoints);
a8880a78d355 6259129: (Escape Analysis) scalar replacement for not escaping objects
kvn
parents: 66
diff changeset
92 bool scalar_replacement(AllocateNode *alloc, GrowableArray <SafePointNode *>& safepoints_done);
10278
6f3fd5150b67 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 6842
diff changeset
93 void process_users_of_allocation(CallNode *alloc);
73
a8880a78d355 6259129: (Escape Analysis) scalar replacement for not escaping objects
kvn
parents: 66
diff changeset
94
a8880a78d355 6259129: (Escape Analysis) scalar replacement for not escaping objects
kvn
parents: 66
diff changeset
95 void eliminate_card_mark(Node *cm);
4777
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 4115
diff changeset
96 void mark_eliminated_box(Node* box, Node* obj);
3754
642c68c75db9 7050280: assert(u->as_Unlock()->is_eliminated()) failed: sanity
kvn
parents: 1972
diff changeset
97 void mark_eliminated_locking_nodes(AbstractLockNode *alock);
66
6dbf1a175d6b 6672848: (Escape Analysis) improve lock elimination with EA
kvn
parents: 0
diff changeset
98 bool eliminate_locking_node(AbstractLockNode *alock);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
99 void expand_lock_node(LockNode *lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
100 void expand_unlock_node(UnlockNode *unlock);
a61af66fc99e Initial load
duke
parents:
diff changeset
101
a61af66fc99e Initial load
duke
parents:
diff changeset
102 int replace_input(Node *use, Node *oldref, Node *newref);
a61af66fc99e Initial load
duke
parents:
diff changeset
103 void copy_call_debug_info(CallNode *oldcall, CallNode * newcall);
420
a1980da045cc 6462850: generate biased locking code in C2 ideal graph
kvn
parents: 247
diff changeset
104 Node* opt_bits_test(Node* ctrl, Node* region, int edge, Node* word, int mask, int bits, bool return_fast_path = false);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
105 void copy_predefined_input_for_runtime_call(Node * ctrl, CallNode* oldcall, CallNode* call);
a61af66fc99e Initial load
duke
parents:
diff changeset
106 CallNode* make_slow_call(CallNode *oldcall, const TypeFunc* slow_call_type, address slow_call,
a61af66fc99e Initial load
duke
parents:
diff changeset
107 const char* leaf_name, Node* slow_path, Node* parm0, Node* parm1);
a61af66fc99e Initial load
duke
parents:
diff changeset
108 void extract_call_projections(CallNode *call);
a61af66fc99e Initial load
duke
parents:
diff changeset
109
a61af66fc99e Initial load
duke
parents:
diff changeset
110 Node* initialize_object(AllocateNode* alloc,
a61af66fc99e Initial load
duke
parents:
diff changeset
111 Node* control, Node* rawmem, Node* object,
a61af66fc99e Initial load
duke
parents:
diff changeset
112 Node* klass_node, Node* length,
a61af66fc99e Initial load
duke
parents:
diff changeset
113 Node* size_in_bytes);
a61af66fc99e Initial load
duke
parents:
diff changeset
114
a61af66fc99e Initial load
duke
parents:
diff changeset
115 Node* prefetch_allocation(Node* i_o,
a61af66fc99e Initial load
duke
parents:
diff changeset
116 Node*& needgc_false, Node*& contended_phi_rawmem,
a61af66fc99e Initial load
duke
parents:
diff changeset
117 Node* old_eden_top, Node* new_eden_top,
a61af66fc99e Initial load
duke
parents:
diff changeset
118 Node* length);
a61af66fc99e Initial load
duke
parents:
diff changeset
119
a61af66fc99e Initial load
duke
parents:
diff changeset
120 public:
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 73
diff changeset
121 PhaseMacroExpand(PhaseIterGVN &igvn) : Phase(Macro_Expand), _igvn(igvn) {
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 73
diff changeset
122 _igvn.set_delay_transform(true);
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 73
diff changeset
123 }
4115
1bd45abaa507 6890673: Eliminate allocations immediately after EA
kvn
parents: 3754
diff changeset
124 void eliminate_macro_nodes();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
125 bool expand_macro_nodes();
a61af66fc99e Initial load
duke
parents:
diff changeset
126
a61af66fc99e Initial load
duke
parents:
diff changeset
127 };
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
128
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
129 #endif // SHARE_VM_OPTO_MACRO_HPP