annotate src/os_cpu/windows_x86/vm/windows_x86_32.ad @ 4837:eff609af17d7

7127706: G1: re-enable survivors during the initial-mark pause Summary: Re-enable survivors during the initial-mark pause. Afterwards, the concurrent marking threads have to scan them and mark everything reachable from them. The next GC will have to wait for the survivors to be scanned. Reviewed-by: brutisso, johnc
author tonyp
date Wed, 25 Jan 2012 12:58:23 -0500
parents 3e8fbc61cee8
children 9b8ce46870df
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 //
1748
3e8fbc61cee8 6978355: renaming for 6961697
twisti
parents: 1552
diff changeset
2 // Copyright (c) 1999, 2010, 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: 0
diff changeset
19 // Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
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: 0
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
a61af66fc99e Initial load
duke
parents:
diff changeset
25 // X86 Win32 Architecture Description File
a61af66fc99e Initial load
duke
parents:
diff changeset
26
a61af66fc99e Initial load
duke
parents:
diff changeset
27 //----------OS-DEPENDENT ENCODING BLOCK-----------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
28 // This block specifies the encoding classes used by the compiler to output
a61af66fc99e Initial load
duke
parents:
diff changeset
29 // byte streams. Encoding classes generate functions which are called by
a61af66fc99e Initial load
duke
parents:
diff changeset
30 // Machine Instruction Nodes in order to generate the bit encoding of the
a61af66fc99e Initial load
duke
parents:
diff changeset
31 // instruction. Operands specify their base encoding interface with the
a61af66fc99e Initial load
duke
parents:
diff changeset
32 // interface keyword. There are currently supported four interfaces,
a61af66fc99e Initial load
duke
parents:
diff changeset
33 // REG_INTER, CONST_INTER, MEMORY_INTER, & COND_INTER. REG_INTER causes an
a61af66fc99e Initial load
duke
parents:
diff changeset
34 // operand to generate a function which returns its register number when
a61af66fc99e Initial load
duke
parents:
diff changeset
35 // queried. CONST_INTER causes an operand to generate a function which
a61af66fc99e Initial load
duke
parents:
diff changeset
36 // returns the value of the constant when queried. MEMORY_INTER causes an
a61af66fc99e Initial load
duke
parents:
diff changeset
37 // operand to generate four functions which return the Base Register, the
a61af66fc99e Initial load
duke
parents:
diff changeset
38 // Index Register, the Scale Value, and the Offset Value of the operand when
a61af66fc99e Initial load
duke
parents:
diff changeset
39 // queried. COND_INTER causes an operand to generate six functions which
a61af66fc99e Initial load
duke
parents:
diff changeset
40 // return the encoding code (ie - encoding bits for the instruction)
a61af66fc99e Initial load
duke
parents:
diff changeset
41 // associated with each basic boolean condition for a conditional instruction.
a61af66fc99e Initial load
duke
parents:
diff changeset
42 // Instructions specify two basic values for encoding. They use the
a61af66fc99e Initial load
duke
parents:
diff changeset
43 // ins_encode keyword to specify their encoding class (which must be one of
a61af66fc99e Initial load
duke
parents:
diff changeset
44 // the class names specified in the encoding block), and they use the
a61af66fc99e Initial load
duke
parents:
diff changeset
45 // opcode keyword to specify, in order, their primary, secondary, and
a61af66fc99e Initial load
duke
parents:
diff changeset
46 // tertiary opcode. Only the opcode sections which a particular instruction
a61af66fc99e Initial load
duke
parents:
diff changeset
47 // needs for encoding need to be specified.
a61af66fc99e Initial load
duke
parents:
diff changeset
48 encode %{
a61af66fc99e Initial load
duke
parents:
diff changeset
49 // Build emit functions for each basic byte or larger field in the intel
a61af66fc99e Initial load
duke
parents:
diff changeset
50 // encoding scheme (opcode, rm, sib, immediate), and call them from C++
a61af66fc99e Initial load
duke
parents:
diff changeset
51 // code in the enc_class source block. Emit functions will live in the
a61af66fc99e Initial load
duke
parents:
diff changeset
52 // main source block for now. In future, we can generalize this by
a61af66fc99e Initial load
duke
parents:
diff changeset
53 // adding a syntax that specifies the sizes of fields in an order,
a61af66fc99e Initial load
duke
parents:
diff changeset
54 // so that the adlc can build the emit functions automagically
a61af66fc99e Initial load
duke
parents:
diff changeset
55
a61af66fc99e Initial load
duke
parents:
diff changeset
56 enc_class tlsencode (eRegP dst, eRegP src) %{
a61af66fc99e Initial load
duke
parents:
diff changeset
57 emit_rm(cbuf, 0x2, $dst$$reg, $src$$reg);
a61af66fc99e Initial load
duke
parents:
diff changeset
58 emit_d32(cbuf, ThreadLocalStorage::get_thread_ptr_offset() );
a61af66fc99e Initial load
duke
parents:
diff changeset
59 %}
a61af66fc99e Initial load
duke
parents:
diff changeset
60
a61af66fc99e Initial load
duke
parents:
diff changeset
61 enc_class call_epilog %{
a61af66fc99e Initial load
duke
parents:
diff changeset
62 if( VerifyStackAtCalls ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
63 // Check that stack depth is unchanged: find majik cookie on stack
a61af66fc99e Initial load
duke
parents:
diff changeset
64 int framesize = ra_->reg2offset_unchecked(OptoReg::add(ra_->_matcher._old_SP,-3*VMRegImpl::slots_per_word));
a61af66fc99e Initial load
duke
parents:
diff changeset
65 if(framesize >= 128) {
a61af66fc99e Initial load
duke
parents:
diff changeset
66 emit_opcode(cbuf, 0x81); // cmp [esp+0],0xbadb1ood
a61af66fc99e Initial load
duke
parents:
diff changeset
67 emit_d8(cbuf,0xBC);
a61af66fc99e Initial load
duke
parents:
diff changeset
68 emit_d8(cbuf,0x24);
a61af66fc99e Initial load
duke
parents:
diff changeset
69 emit_d32(cbuf,framesize); // Find majik cookie from ESP
a61af66fc99e Initial load
duke
parents:
diff changeset
70 emit_d32(cbuf, 0xbadb100d);
a61af66fc99e Initial load
duke
parents:
diff changeset
71 }
a61af66fc99e Initial load
duke
parents:
diff changeset
72 else {
a61af66fc99e Initial load
duke
parents:
diff changeset
73 emit_opcode(cbuf, 0x81); // cmp [esp+0],0xbadb1ood
a61af66fc99e Initial load
duke
parents:
diff changeset
74 emit_d8(cbuf,0x7C);
a61af66fc99e Initial load
duke
parents:
diff changeset
75 emit_d8(cbuf,0x24);
a61af66fc99e Initial load
duke
parents:
diff changeset
76 emit_d8(cbuf,framesize); // Find majik cookie from ESP
a61af66fc99e Initial load
duke
parents:
diff changeset
77 emit_d32(cbuf, 0xbadb100d);
a61af66fc99e Initial load
duke
parents:
diff changeset
78 }
a61af66fc99e Initial load
duke
parents:
diff changeset
79 // jmp EQ around INT3
a61af66fc99e Initial load
duke
parents:
diff changeset
80 emit_opcode(cbuf,0x74);
a61af66fc99e Initial load
duke
parents:
diff changeset
81 emit_d8(cbuf,1);
a61af66fc99e Initial load
duke
parents:
diff changeset
82 // Die if stack mismatch
a61af66fc99e Initial load
duke
parents:
diff changeset
83 emit_opcode(cbuf,0xCC);
a61af66fc99e Initial load
duke
parents:
diff changeset
84 }
a61af66fc99e Initial load
duke
parents:
diff changeset
85 %}
a61af66fc99e Initial load
duke
parents:
diff changeset
86
a61af66fc99e Initial load
duke
parents:
diff changeset
87 %}
a61af66fc99e Initial load
duke
parents:
diff changeset
88
a61af66fc99e Initial load
duke
parents:
diff changeset
89 // INSTRUCTIONS -- Platform dependent
a61af66fc99e Initial load
duke
parents:
diff changeset
90
a61af66fc99e Initial load
duke
parents:
diff changeset
91
a61af66fc99e Initial load
duke
parents:
diff changeset
92 //----------OS and Locking Instructions----------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
93
a61af66fc99e Initial load
duke
parents:
diff changeset
94 // The prefix of this name is KNOWN by the ADLC and cannot be changed.
a61af66fc99e Initial load
duke
parents:
diff changeset
95 instruct tlsLoadP_prefixLoadP(eRegP t1) %{
a61af66fc99e Initial load
duke
parents:
diff changeset
96 effect(DEF t1);
a61af66fc99e Initial load
duke
parents:
diff changeset
97
a61af66fc99e Initial load
duke
parents:
diff changeset
98 format %{ "MOV $t1,FS:[0x00] "%}
a61af66fc99e Initial load
duke
parents:
diff changeset
99 opcode(0x8B, 0x64);
a61af66fc99e Initial load
duke
parents:
diff changeset
100 ins_encode(OpcS, OpcP, conmemref(t1));
a61af66fc99e Initial load
duke
parents:
diff changeset
101 ins_pipe( ialu_reg_fat );
a61af66fc99e Initial load
duke
parents:
diff changeset
102 %}
a61af66fc99e Initial load
duke
parents:
diff changeset
103
a61af66fc99e Initial load
duke
parents:
diff changeset
104 // This name is KNOWN by the ADLC and cannot be changed.
a61af66fc99e Initial load
duke
parents:
diff changeset
105 // The ADLC forces a 'TypeRawPtr::BOTTOM' output type
a61af66fc99e Initial load
duke
parents:
diff changeset
106 // for this guy.
a61af66fc99e Initial load
duke
parents:
diff changeset
107 // %%% Should do this with a clause like: bottom_type(TypeRawPtr::BOTTOM);
a61af66fc99e Initial load
duke
parents:
diff changeset
108 instruct tlsLoadP(eRegP dst, eRegP t1) %{
a61af66fc99e Initial load
duke
parents:
diff changeset
109 effect(DEF dst, USE t1);
a61af66fc99e Initial load
duke
parents:
diff changeset
110
a61af66fc99e Initial load
duke
parents:
diff changeset
111 format %{ "MOV $dst,[$t1 + TLS::thread_ptr_offset()]" %}
a61af66fc99e Initial load
duke
parents:
diff changeset
112 opcode(0x8B);
a61af66fc99e Initial load
duke
parents:
diff changeset
113 ins_encode(OpcP, tlsencode(dst, t1));
a61af66fc99e Initial load
duke
parents:
diff changeset
114 ins_pipe( ialu_reg_reg_fat );
a61af66fc99e Initial load
duke
parents:
diff changeset
115 %}
a61af66fc99e Initial load
duke
parents:
diff changeset
116
a61af66fc99e Initial load
duke
parents:
diff changeset
117 instruct TLS(eRegP dst) %{
a61af66fc99e Initial load
duke
parents:
diff changeset
118 match(Set dst (ThreadLocal));
a61af66fc99e Initial load
duke
parents:
diff changeset
119 expand %{
a61af66fc99e Initial load
duke
parents:
diff changeset
120 eRegP t1;
a61af66fc99e Initial load
duke
parents:
diff changeset
121 tlsLoadP_prefixLoadP(t1);
a61af66fc99e Initial load
duke
parents:
diff changeset
122 tlsLoadP(dst, t1);
a61af66fc99e Initial load
duke
parents:
diff changeset
123 %}
a61af66fc99e Initial load
duke
parents:
diff changeset
124 %}
a61af66fc99e Initial load
duke
parents:
diff changeset
125
a61af66fc99e Initial load
duke
parents:
diff changeset
126 // Die now
a61af66fc99e Initial load
duke
parents:
diff changeset
127 instruct ShouldNotReachHere( )
a61af66fc99e Initial load
duke
parents:
diff changeset
128 %{
a61af66fc99e Initial load
duke
parents:
diff changeset
129 match(Halt);
a61af66fc99e Initial load
duke
parents:
diff changeset
130 // Use the following format syntax
a61af66fc99e Initial load
duke
parents:
diff changeset
131 format %{ "INT3 ; ShouldNotReachHere" %}
a61af66fc99e Initial load
duke
parents:
diff changeset
132 opcode(0xCC);
a61af66fc99e Initial load
duke
parents:
diff changeset
133 ins_encode(OpcP);
a61af66fc99e Initial load
duke
parents:
diff changeset
134 ins_pipe( pipe_slow );
a61af66fc99e Initial load
duke
parents:
diff changeset
135 %}
a61af66fc99e Initial load
duke
parents:
diff changeset
136
a61af66fc99e Initial load
duke
parents:
diff changeset
137 //
a61af66fc99e Initial load
duke
parents:
diff changeset
138 // Platform dependent source
a61af66fc99e Initial load
duke
parents:
diff changeset
139 //
a61af66fc99e Initial load
duke
parents:
diff changeset
140 source %{
a61af66fc99e Initial load
duke
parents:
diff changeset
141
a61af66fc99e Initial load
duke
parents:
diff changeset
142 // emit an interrupt that is caught by the debugger
a61af66fc99e Initial load
duke
parents:
diff changeset
143 void emit_break(CodeBuffer &cbuf) {
1748
3e8fbc61cee8 6978355: renaming for 6961697
twisti
parents: 1552
diff changeset
144 cbuf.insts()->emit_int8((unsigned char) 0xcc);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
145 }
a61af66fc99e Initial load
duke
parents:
diff changeset
146
a61af66fc99e Initial load
duke
parents:
diff changeset
147 void MachBreakpointNode::emit(CodeBuffer &cbuf, PhaseRegAlloc *ra_) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
148 emit_break(cbuf);
a61af66fc99e Initial load
duke
parents:
diff changeset
149 }
a61af66fc99e Initial load
duke
parents:
diff changeset
150
a61af66fc99e Initial load
duke
parents:
diff changeset
151
a61af66fc99e Initial load
duke
parents:
diff changeset
152 uint MachBreakpointNode::size(PhaseRegAlloc *ra_) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
153 return 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
154 }
a61af66fc99e Initial load
duke
parents:
diff changeset
155
a61af66fc99e Initial load
duke
parents:
diff changeset
156
a61af66fc99e Initial load
duke
parents:
diff changeset
157 %}