annotate src/os/windows/vm/chaitin_windows.cpp @ 1375:e0a1a502e402 jdk7-b91

Added tag jdk7-b90 for changeset 605c9707a766
author mikejwre
date Thu, 22 Apr 2010 16:54:23 -0700
parents a61af66fc99e
children c18cbe5936b8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
a61af66fc99e Initial load
duke
parents:
diff changeset
2 * Copyright 1999-2006 Sun Microsystems, Inc. All Rights Reserved.
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 *
a61af66fc99e Initial load
duke
parents:
diff changeset
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
a61af66fc99e Initial load
duke
parents:
diff changeset
20 * CA 95054 USA or visit www.sun.com if you need additional information or
a61af66fc99e Initial load
duke
parents:
diff changeset
21 * have any questions.
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 #include "incls/_precompiled.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
26 #include "incls/_chaitin_windows.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28 // Disallow the use of the frame pointer (EBP) for implicit null exceptions
a61af66fc99e Initial load
duke
parents:
diff changeset
29 // on win95/98. If we do not do this, the OS gets confused and gives a stack
a61af66fc99e Initial load
duke
parents:
diff changeset
30 // error.
a61af66fc99e Initial load
duke
parents:
diff changeset
31 void PhaseRegAlloc::pd_preallocate_hook() {
a61af66fc99e Initial load
duke
parents:
diff changeset
32 #ifndef _WIN64
a61af66fc99e Initial load
duke
parents:
diff changeset
33 if (ImplicitNullChecks && !os::win32::is_nt()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
34 for (uint block_num=1; block_num<_cfg._num_blocks; block_num++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
35 Block *block = _cfg._blocks[block_num];
a61af66fc99e Initial load
duke
parents:
diff changeset
36
a61af66fc99e Initial load
duke
parents:
diff changeset
37 Node *block_end = block->end();
a61af66fc99e Initial load
duke
parents:
diff changeset
38 if (block_end->is_MachNullCheck() &&
a61af66fc99e Initial load
duke
parents:
diff changeset
39 block_end->as_Mach()->ideal_Opcode() != Op_Con) {
a61af66fc99e Initial load
duke
parents:
diff changeset
40 // The last instruction in the block is an implicit null check.
a61af66fc99e Initial load
duke
parents:
diff changeset
41 // Fix its input so that it does not load into the frame pointer.
a61af66fc99e Initial load
duke
parents:
diff changeset
42 _matcher.pd_implicit_null_fixup(block_end->in(1)->as_Mach(),
a61af66fc99e Initial load
duke
parents:
diff changeset
43 block_end->as_MachNullCheck()->_vidx);
a61af66fc99e Initial load
duke
parents:
diff changeset
44 }
a61af66fc99e Initial load
duke
parents:
diff changeset
45 }
a61af66fc99e Initial load
duke
parents:
diff changeset
46 }
a61af66fc99e Initial load
duke
parents:
diff changeset
47 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
48 // WIN64==itanium on XP
a61af66fc99e Initial load
duke
parents:
diff changeset
49 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
50 }
a61af66fc99e Initial load
duke
parents:
diff changeset
51
a61af66fc99e Initial load
duke
parents:
diff changeset
52 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
53 // Verify that no implicit null check uses the frame pointer (EBP) as
a61af66fc99e Initial load
duke
parents:
diff changeset
54 // its register on win95/98. Use of the frame pointer in an implicit
a61af66fc99e Initial load
duke
parents:
diff changeset
55 // null check confuses the OS, yielding a stack error.
a61af66fc99e Initial load
duke
parents:
diff changeset
56 void PhaseRegAlloc::pd_postallocate_verify_hook() {
a61af66fc99e Initial load
duke
parents:
diff changeset
57 #ifndef _WIN64
a61af66fc99e Initial load
duke
parents:
diff changeset
58 if (ImplicitNullChecks && !os::win32::is_nt()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
59 for (uint block_num=1; block_num<_cfg._num_blocks; block_num++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
60 Block *block = _cfg._blocks[block_num];
a61af66fc99e Initial load
duke
parents:
diff changeset
61
a61af66fc99e Initial load
duke
parents:
diff changeset
62 Node *block_end = block->_nodes[block->_nodes.size()-1];
a61af66fc99e Initial load
duke
parents:
diff changeset
63 if (block_end->is_MachNullCheck() && block_end->as_Mach()->ideal_Opcode() != Op_Con) {
a61af66fc99e Initial load
duke
parents:
diff changeset
64 // The last instruction in the block is an implicit
a61af66fc99e Initial load
duke
parents:
diff changeset
65 // null check. Verify that this instruction does not
a61af66fc99e Initial load
duke
parents:
diff changeset
66 // use the frame pointer.
a61af66fc99e Initial load
duke
parents:
diff changeset
67 int reg = get_reg_first(block_end->in(1)->in(block_end->as_MachNullCheck()->_vidx));
a61af66fc99e Initial load
duke
parents:
diff changeset
68 assert(reg != EBP_num,
a61af66fc99e Initial load
duke
parents:
diff changeset
69 "implicit null check using frame pointer on win95/98");
a61af66fc99e Initial load
duke
parents:
diff changeset
70 }
a61af66fc99e Initial load
duke
parents:
diff changeset
71 }
a61af66fc99e Initial load
duke
parents:
diff changeset
72 }
a61af66fc99e Initial load
duke
parents:
diff changeset
73 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
74 // WIN64==itanium on XP
a61af66fc99e Initial load
duke
parents:
diff changeset
75 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
76 }
a61af66fc99e Initial load
duke
parents:
diff changeset
77 #endif