annotate src/share/vm/opto/locknode.hpp @ 23886:5601e440e5e7

8130150: Implement BigInteger.montgomeryMultiply intrinsic Reviewed-by: kvn, mdoerr
author vkempik
date Fri, 04 Mar 2016 16:15:48 +0300
parents ddce0b7cee93
children dd9cc155639c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
22851
ddce0b7cee93 8072383: resolve conflicts between open and closed ports
dlong
parents: 17810
diff changeset
2 * Copyright (c) 1999, 2015, 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: 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
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_LOCKNODE_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
26 #define SHARE_VM_OPTO_LOCKNODE_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/node.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
29 #include "opto/opcodes.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
30 #include "opto/subnode.hpp"
22851
ddce0b7cee93 8072383: resolve conflicts between open and closed ports
dlong
parents: 17810
diff changeset
31 #if defined AD_MD_HPP
ddce0b7cee93 8072383: resolve conflicts between open and closed ports
dlong
parents: 17810
diff changeset
32 # include AD_MD_HPP
ddce0b7cee93 8072383: resolve conflicts between open and closed ports
dlong
parents: 17810
diff changeset
33 #elif defined TARGET_ARCH_MODEL_x86_32
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
34 # include "adfiles/ad_x86_32.hpp"
22851
ddce0b7cee93 8072383: resolve conflicts between open and closed ports
dlong
parents: 17810
diff changeset
35 #elif defined TARGET_ARCH_MODEL_x86_64
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
36 # include "adfiles/ad_x86_64.hpp"
22851
ddce0b7cee93 8072383: resolve conflicts between open and closed ports
dlong
parents: 17810
diff changeset
37 #elif defined TARGET_ARCH_MODEL_sparc
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
38 # include "adfiles/ad_sparc.hpp"
22851
ddce0b7cee93 8072383: resolve conflicts between open and closed ports
dlong
parents: 17810
diff changeset
39 #elif defined TARGET_ARCH_MODEL_zero
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
40 # include "adfiles/ad_zero.hpp"
22851
ddce0b7cee93 8072383: resolve conflicts between open and closed ports
dlong
parents: 17810
diff changeset
41 #elif defined TARGET_ARCH_MODEL_ppc_64
14391
d2907f74462e 8016586: PPC64 (part 3): basic changes for PPC64
goetz
parents: 6842
diff changeset
42 # include "adfiles/ad_ppc_64.hpp"
2192
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 1972
diff changeset
43 #endif
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
44
0
a61af66fc99e Initial load
duke
parents:
diff changeset
45 //------------------------------BoxLockNode------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
46 class BoxLockNode : public Node {
4790
b0ff910edfc9 7128355: assert(!nocreate) failed: Cannot build a phi for a block already parsed
kvn
parents: 4777
diff changeset
47 const int _slot; // stack slot
b0ff910edfc9 7128355: assert(!nocreate) failed: Cannot build a phi for a block already parsed
kvn
parents: 4777
diff changeset
48 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
49 bool _is_eliminated; // Associated locks were safely eliminated
0
a61af66fc99e Initial load
duke
parents:
diff changeset
50
4777
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
51 public:
0
a61af66fc99e Initial load
duke
parents:
diff changeset
52 BoxLockNode( int lock );
a61af66fc99e Initial load
duke
parents:
diff changeset
53 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
54 virtual void emit(CodeBuffer &cbuf, PhaseRegAlloc *ra_) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
55 virtual uint size(PhaseRegAlloc *ra_) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
56 virtual const RegMask &in_RegMask(uint) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
57 virtual const RegMask &out_RegMask() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
58 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
59 virtual uint hash() const;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
60 virtual uint cmp( const Node &n ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
61 virtual const class Type *bottom_type() const { return TypeRawPtr::BOTTOM; }
a61af66fc99e Initial load
duke
parents:
diff changeset
62 virtual uint ideal_reg() const { return Op_RegP; }
a61af66fc99e Initial load
duke
parents:
diff changeset
63
4777
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
64 static OptoReg::Name reg(Node* box_node);
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
65 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
66 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
67 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
68 }
4777
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
69 int stack_slot() const { return _slot; }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
70
4777
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
71 bool is_eliminated() const { return _is_eliminated; }
66
6dbf1a175d6b 6672848: (Escape Analysis) improve lock elimination with EA
kvn
parents: 0
diff changeset
72 // mark lock as eliminated.
4777
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
73 void set_eliminated() { _is_eliminated = true; }
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
74
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
75 // Is BoxLock node used for one simple lock region?
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
76 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
77
0
a61af66fc99e Initial load
duke
parents:
diff changeset
78 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
79 virtual void format( PhaseRegAlloc *, outputStream *st ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
80 virtual void dump_spec(outputStream *st) const { st->print(" Lock %d",_slot); }
a61af66fc99e Initial load
duke
parents:
diff changeset
81 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
82 };
a61af66fc99e Initial load
duke
parents:
diff changeset
83
a61af66fc99e Initial load
duke
parents:
diff changeset
84 //------------------------------FastLockNode-----------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
85 class FastLockNode: public CmpNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
86 private:
17780
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
87 BiasedLockingCounters* _counters;
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
88 RTMLockingCounters* _rtm_counters; // RTM lock counters for inflated locks
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
89 RTMLockingCounters* _stack_rtm_counters; // RTM lock counters for stack locks
0
a61af66fc99e Initial load
duke
parents:
diff changeset
90
a61af66fc99e Initial load
duke
parents:
diff changeset
91 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
92 FastLockNode(Node *ctrl, Node *oop, Node *box) : CmpNode(oop,box) {
a61af66fc99e Initial load
duke
parents:
diff changeset
93 init_req(0,ctrl);
a61af66fc99e Initial load
duke
parents:
diff changeset
94 init_class_id(Class_FastLock);
a61af66fc99e Initial load
duke
parents:
diff changeset
95 _counters = NULL;
17780
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
96 _rtm_counters = NULL;
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
97 _stack_rtm_counters = NULL;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
98 }
a61af66fc99e Initial load
duke
parents:
diff changeset
99 Node* obj_node() const { return in(1); }
a61af66fc99e Initial load
duke
parents:
diff changeset
100 Node* box_node() const { return in(2); }
4777
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
101 void set_box_node(Node* box) { set_req(2, box); }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
102
a61af66fc99e Initial load
duke
parents:
diff changeset
103 // FastLock and FastUnlockNode do not hash, we need one for each correspoding
a61af66fc99e Initial load
duke
parents:
diff changeset
104 // LockNode/UnLockNode to avoid creating Phi's.
a61af66fc99e Initial load
duke
parents:
diff changeset
105 virtual uint hash() const ; // { return NO_HASH; }
17780
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
106 virtual uint size_of() const;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
107 virtual uint cmp( const Node &n ) const ; // Always fail, except on self
a61af66fc99e Initial load
duke
parents:
diff changeset
108 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
109 virtual const Type *Value( PhaseTransform *phase ) const { return TypeInt::CC; }
a61af66fc99e Initial load
duke
parents:
diff changeset
110 const Type *sub(const Type *t1, const Type *t2) const { return TypeInt::CC;}
a61af66fc99e Initial load
duke
parents:
diff changeset
111
a61af66fc99e Initial load
duke
parents:
diff changeset
112 void create_lock_counter(JVMState* s);
17780
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
113 void create_rtm_lock_counter(JVMState* state);
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
114 BiasedLockingCounters* counters() const { return _counters; }
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
115 RTMLockingCounters* rtm_counters() const { return _rtm_counters; }
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
116 RTMLockingCounters* stack_rtm_counters() const { return _stack_rtm_counters; }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
117 };
a61af66fc99e Initial load
duke
parents:
diff changeset
118
a61af66fc99e Initial load
duke
parents:
diff changeset
119
a61af66fc99e Initial load
duke
parents:
diff changeset
120 //------------------------------FastUnlockNode---------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
121 class FastUnlockNode: public CmpNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
122 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
123 FastUnlockNode(Node *ctrl, Node *oop, Node *box) : CmpNode(oop,box) {
a61af66fc99e Initial load
duke
parents:
diff changeset
124 init_req(0,ctrl);
a61af66fc99e Initial load
duke
parents:
diff changeset
125 init_class_id(Class_FastUnlock);
a61af66fc99e Initial load
duke
parents:
diff changeset
126 }
a61af66fc99e Initial load
duke
parents:
diff changeset
127 Node* obj_node() const { return in(1); }
a61af66fc99e Initial load
duke
parents:
diff changeset
128 Node* box_node() const { return in(2); }
a61af66fc99e Initial load
duke
parents:
diff changeset
129
a61af66fc99e Initial load
duke
parents:
diff changeset
130
a61af66fc99e Initial load
duke
parents:
diff changeset
131 // FastLock and FastUnlockNode do not hash, we need one for each correspoding
a61af66fc99e Initial load
duke
parents:
diff changeset
132 // LockNode/UnLockNode to avoid creating Phi's.
a61af66fc99e Initial load
duke
parents:
diff changeset
133 virtual uint hash() const ; // { return NO_HASH; }
a61af66fc99e Initial load
duke
parents:
diff changeset
134 virtual uint cmp( const Node &n ) const ; // Always fail, except on self
a61af66fc99e Initial load
duke
parents:
diff changeset
135 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
136 virtual const Type *Value( PhaseTransform *phase ) const { return TypeInt::CC; }
a61af66fc99e Initial load
duke
parents:
diff changeset
137 const Type *sub(const Type *t1, const Type *t2) const { return TypeInt::CC;}
a61af66fc99e Initial load
duke
parents:
diff changeset
138
a61af66fc99e Initial load
duke
parents:
diff changeset
139 };
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
140
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
141 #endif // SHARE_VM_OPTO_LOCKNODE_HPP