annotate src/share/vm/opto/rootnode.cpp @ 1721:413ad0331a0c

6977924: Changes for 6975078 produce build error with certain gcc versions Summary: The changes introduced for 6975078 assign badHeapOopVal to the _allocation field in the ResourceObj class. In 32 bit linux builds with certain versions of gcc this assignment will be flagged as an error while compiling allocation.cpp. In 32 bit builds the constant value badHeapOopVal (which is cast to an intptr_t) is negative. The _allocation field is typed as an unsigned intptr_t and gcc catches this as an error. Reviewed-by: jcoomes, ysr, phh
author johnc
date Wed, 18 Aug 2010 10:59:06 -0700
parents c18cbe5936b8
children f95d63e2154a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
2 * Copyright (c) 1997, 2005, 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 #include "incls/_precompiled.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
26 #include "incls/_rootnode.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28 //------------------------------Ideal------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
29 // Remove dead inputs
a61af66fc99e Initial load
duke
parents:
diff changeset
30 Node *RootNode::Ideal(PhaseGVN *phase, bool can_reshape) {
a61af66fc99e Initial load
duke
parents:
diff changeset
31 for( uint i = 1; i < req(); i++ ) { // For all inputs
a61af66fc99e Initial load
duke
parents:
diff changeset
32 // Check for and remove dead inputs
a61af66fc99e Initial load
duke
parents:
diff changeset
33 if( phase->type(in(i)) == Type::TOP ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
34 del_req(i--); // Delete TOP inputs
a61af66fc99e Initial load
duke
parents:
diff changeset
35 }
a61af66fc99e Initial load
duke
parents:
diff changeset
36 }
a61af66fc99e Initial load
duke
parents:
diff changeset
37
a61af66fc99e Initial load
duke
parents:
diff changeset
38 // I used to do tail-splitting in the Ideal graph here, but it does not
a61af66fc99e Initial load
duke
parents:
diff changeset
39 // work. The tail-splitting forces values live into the Return to be
a61af66fc99e Initial load
duke
parents:
diff changeset
40 // ready at a point which dominates the split returns. This forces Stores
a61af66fc99e Initial load
duke
parents:
diff changeset
41 // to be hoisted high. The "proper" fix would be to split Stores down
a61af66fc99e Initial load
duke
parents:
diff changeset
42 // each path, but this makes the split unprofitable. If we want to do this
a61af66fc99e Initial load
duke
parents:
diff changeset
43 // optimization, it needs to be done after allocation so we can count all
a61af66fc99e Initial load
duke
parents:
diff changeset
44 // the instructions needing to be cloned in the cost metric.
a61af66fc99e Initial load
duke
parents:
diff changeset
45
a61af66fc99e Initial load
duke
parents:
diff changeset
46 // There used to be a spoof here for caffeine marks which completely
a61af66fc99e Initial load
duke
parents:
diff changeset
47 // eliminated very simple self-recursion recursions, but it's not worth it.
a61af66fc99e Initial load
duke
parents:
diff changeset
48 // Deep inlining of self-calls gets nearly all of the same benefits.
a61af66fc99e Initial load
duke
parents:
diff changeset
49 // If we want to get the rest of the win later, we should pattern match
a61af66fc99e Initial load
duke
parents:
diff changeset
50 // simple recursive call trees to closed-form solutions.
a61af66fc99e Initial load
duke
parents:
diff changeset
51
a61af66fc99e Initial load
duke
parents:
diff changeset
52 return NULL; // No further opportunities exposed
a61af66fc99e Initial load
duke
parents:
diff changeset
53 }
a61af66fc99e Initial load
duke
parents:
diff changeset
54
a61af66fc99e Initial load
duke
parents:
diff changeset
55 //=============================================================================
a61af66fc99e Initial load
duke
parents:
diff changeset
56 HaltNode::HaltNode( Node *ctrl, Node *frameptr ) : Node(TypeFunc::Parms) {
a61af66fc99e Initial load
duke
parents:
diff changeset
57 Node* top = Compile::current()->top();
a61af66fc99e Initial load
duke
parents:
diff changeset
58 init_req(TypeFunc::Control, ctrl );
a61af66fc99e Initial load
duke
parents:
diff changeset
59 init_req(TypeFunc::I_O, top);
a61af66fc99e Initial load
duke
parents:
diff changeset
60 init_req(TypeFunc::Memory, top);
a61af66fc99e Initial load
duke
parents:
diff changeset
61 init_req(TypeFunc::FramePtr, frameptr );
a61af66fc99e Initial load
duke
parents:
diff changeset
62 init_req(TypeFunc::ReturnAdr,top);
a61af66fc99e Initial load
duke
parents:
diff changeset
63 }
a61af66fc99e Initial load
duke
parents:
diff changeset
64
a61af66fc99e Initial load
duke
parents:
diff changeset
65 const Type *HaltNode::bottom_type() const { return Type::BOTTOM; }
a61af66fc99e Initial load
duke
parents:
diff changeset
66
a61af66fc99e Initial load
duke
parents:
diff changeset
67 //------------------------------Ideal------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
68 Node *HaltNode::Ideal(PhaseGVN *phase, bool can_reshape) {
a61af66fc99e Initial load
duke
parents:
diff changeset
69 return remove_dead_region(phase, can_reshape) ? this : NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
70 }
a61af66fc99e Initial load
duke
parents:
diff changeset
71
a61af66fc99e Initial load
duke
parents:
diff changeset
72 //------------------------------Value------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
73 const Type *HaltNode::Value( PhaseTransform *phase ) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
74 return ( phase->type(in(TypeFunc::Control)) == Type::TOP)
a61af66fc99e Initial load
duke
parents:
diff changeset
75 ? Type::TOP
a61af66fc99e Initial load
duke
parents:
diff changeset
76 : Type::BOTTOM;
a61af66fc99e Initial load
duke
parents:
diff changeset
77 }
a61af66fc99e Initial load
duke
parents:
diff changeset
78
a61af66fc99e Initial load
duke
parents:
diff changeset
79 const RegMask &HaltNode::out_RegMask() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
80 return RegMask::Empty;
a61af66fc99e Initial load
duke
parents:
diff changeset
81 }