Mercurial > hg > truffle
annotate src/share/vm/opto/locknode.hpp @ 14714:b602356a9cfc
additional canonicalizers for accesses and value nodes (improves number of implicit null checks)
author | Lukas Stadler <lukas.stadler@oracle.com> |
---|---|
date | Thu, 20 Mar 2014 17:15:36 +0100 |
parents | d2907f74462e |
children | 4ca6dc0799b6 62c54fcc0a35 |
rev | line source |
---|---|
0 | 1 /* |
6842
b9a9ed0f8eeb
7197424: update copyright year to match last edit in jdk8 hotspot repository
mikael
parents:
4790
diff
changeset
|
2 * Copyright (c) 1999, 2012, Oracle and/or its affiliates. All rights reserved. |
0 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
18 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
460
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
460
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:
460
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_OPTO_LOCKNODE_HPP |
26 #define SHARE_VM_OPTO_LOCKNODE_HPP | |
27 | |
28 #include "opto/node.hpp" | |
29 #include "opto/opcodes.hpp" | |
30 #include "opto/subnode.hpp" | |
31 #ifdef TARGET_ARCH_MODEL_x86_32 | |
32 # include "adfiles/ad_x86_32.hpp" | |
33 #endif | |
34 #ifdef TARGET_ARCH_MODEL_x86_64 | |
35 # include "adfiles/ad_x86_64.hpp" | |
36 #endif | |
37 #ifdef TARGET_ARCH_MODEL_sparc | |
38 # include "adfiles/ad_sparc.hpp" | |
39 #endif | |
40 #ifdef TARGET_ARCH_MODEL_zero | |
41 # include "adfiles/ad_zero.hpp" | |
42 #endif | |
2192
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
43 #ifdef TARGET_ARCH_MODEL_arm |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
44 # include "adfiles/ad_arm.hpp" |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
45 #endif |
14391 | 46 #ifdef TARGET_ARCH_MODEL_ppc_32 |
47 # include "adfiles/ad_ppc_32.hpp" | |
48 #endif | |
49 #ifdef TARGET_ARCH_MODEL_ppc_64 | |
50 # include "adfiles/ad_ppc_64.hpp" | |
2192
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
51 #endif |
1972 | 52 |
0 | 53 //------------------------------BoxLockNode------------------------------------ |
54 class BoxLockNode : public Node { | |
4790
b0ff910edfc9
7128355: assert(!nocreate) failed: Cannot build a phi for a block already parsed
kvn
parents:
4777
diff
changeset
|
55 const int _slot; // stack slot |
b0ff910edfc9
7128355: assert(!nocreate) failed: Cannot build a phi for a block already parsed
kvn
parents:
4777
diff
changeset
|
56 RegMask _inmask; // OptoReg corresponding to stack slot |
b0ff910edfc9
7128355: assert(!nocreate) failed: Cannot build a phi for a block already parsed
kvn
parents:
4777
diff
changeset
|
57 bool _is_eliminated; // Associated locks were safely eliminated |
0 | 58 |
4777 | 59 public: |
0 | 60 BoxLockNode( int lock ); |
61 virtual int Opcode() const; | |
62 virtual void emit(CodeBuffer &cbuf, PhaseRegAlloc *ra_) const; | |
63 virtual uint size(PhaseRegAlloc *ra_) const; | |
64 virtual const RegMask &in_RegMask(uint) const; | |
65 virtual const RegMask &out_RegMask() const; | |
66 virtual uint size_of() const; | |
460
424f9bfe6b96
6775880: EA +DeoptimizeALot: assert(mon_info->owner()->is_locked(),"object must be locked now")
kvn
parents:
196
diff
changeset
|
67 virtual uint hash() const; |
0 | 68 virtual uint cmp( const Node &n ) const; |
69 virtual const class Type *bottom_type() const { return TypeRawPtr::BOTTOM; } | |
70 virtual uint ideal_reg() const { return Op_RegP; } | |
71 | |
4777 | 72 static OptoReg::Name reg(Node* box_node); |
73 static BoxLockNode* box_node(Node* box_node); | |
4790
b0ff910edfc9
7128355: assert(!nocreate) failed: Cannot build a phi for a block already parsed
kvn
parents:
4777
diff
changeset
|
74 static bool same_slot(Node* box1, Node* box2) { |
b0ff910edfc9
7128355: assert(!nocreate) failed: Cannot build a phi for a block already parsed
kvn
parents:
4777
diff
changeset
|
75 return box1->as_BoxLock()->_slot == box2->as_BoxLock()->_slot; |
b0ff910edfc9
7128355: assert(!nocreate) failed: Cannot build a phi for a block already parsed
kvn
parents:
4777
diff
changeset
|
76 } |
4777 | 77 int stack_slot() const { return _slot; } |
0 | 78 |
4777 | 79 bool is_eliminated() const { return _is_eliminated; } |
66
6dbf1a175d6b
6672848: (Escape Analysis) improve lock elimination with EA
kvn
parents:
0
diff
changeset
|
80 // mark lock as eliminated. |
4777 | 81 void set_eliminated() { _is_eliminated = true; } |
82 | |
83 // Is BoxLock node used for one simple lock region? | |
84 bool is_simple_lock_region(LockNode** unique_lock, Node* obj); | |
66
6dbf1a175d6b
6672848: (Escape Analysis) improve lock elimination with EA
kvn
parents:
0
diff
changeset
|
85 |
0 | 86 #ifndef PRODUCT |
87 virtual void format( PhaseRegAlloc *, outputStream *st ) const; | |
88 virtual void dump_spec(outputStream *st) const { st->print(" Lock %d",_slot); } | |
89 #endif | |
90 }; | |
91 | |
92 //------------------------------FastLockNode----------------------------------- | |
93 class FastLockNode: public CmpNode { | |
94 private: | |
95 BiasedLockingCounters* _counters; | |
96 | |
97 public: | |
98 FastLockNode(Node *ctrl, Node *oop, Node *box) : CmpNode(oop,box) { | |
99 init_req(0,ctrl); | |
100 init_class_id(Class_FastLock); | |
101 _counters = NULL; | |
102 } | |
103 Node* obj_node() const { return in(1); } | |
104 Node* box_node() const { return in(2); } | |
4777 | 105 void set_box_node(Node* box) { set_req(2, box); } |
0 | 106 |
107 // FastLock and FastUnlockNode do not hash, we need one for each correspoding | |
108 // LockNode/UnLockNode to avoid creating Phi's. | |
109 virtual uint hash() const ; // { return NO_HASH; } | |
110 virtual uint cmp( const Node &n ) const ; // Always fail, except on self | |
111 virtual int Opcode() const; | |
112 virtual const Type *Value( PhaseTransform *phase ) const { return TypeInt::CC; } | |
113 const Type *sub(const Type *t1, const Type *t2) const { return TypeInt::CC;} | |
114 | |
115 void create_lock_counter(JVMState* s); | |
116 BiasedLockingCounters* counters() const { return _counters; } | |
117 }; | |
118 | |
119 | |
120 //------------------------------FastUnlockNode--------------------------------- | |
121 class FastUnlockNode: public CmpNode { | |
122 public: | |
123 FastUnlockNode(Node *ctrl, Node *oop, Node *box) : CmpNode(oop,box) { | |
124 init_req(0,ctrl); | |
125 init_class_id(Class_FastUnlock); | |
126 } | |
127 Node* obj_node() const { return in(1); } | |
128 Node* box_node() const { return in(2); } | |
129 | |
130 | |
131 // FastLock and FastUnlockNode do not hash, we need one for each correspoding | |
132 // LockNode/UnLockNode to avoid creating Phi's. | |
133 virtual uint hash() const ; // { return NO_HASH; } | |
134 virtual uint cmp( const Node &n ) const ; // Always fail, except on self | |
135 virtual int Opcode() const; | |
136 virtual const Type *Value( PhaseTransform *phase ) const { return TypeInt::CC; } | |
137 const Type *sub(const Type *t1, const Type *t2) const { return TypeInt::CC;} | |
138 | |
139 }; | |
1972 | 140 |
141 #endif // SHARE_VM_OPTO_LOCKNODE_HPP |