1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/src/share/vm/opto/rootnode.cpp Sat Dec 01 00:00:00 2007 +0000 1.3 @@ -0,0 +1,81 @@ 1.4 +/* 1.5 + * Copyright 1997-2005 Sun Microsystems, Inc. All Rights Reserved. 1.6 + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 1.7 + * 1.8 + * This code is free software; you can redistribute it and/or modify it 1.9 + * under the terms of the GNU General Public License version 2 only, as 1.10 + * published by the Free Software Foundation. 1.11 + * 1.12 + * This code is distributed in the hope that it will be useful, but WITHOUT 1.13 + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 1.14 + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 1.15 + * version 2 for more details (a copy is included in the LICENSE file that 1.16 + * accompanied this code). 1.17 + * 1.18 + * You should have received a copy of the GNU General Public License version 1.19 + * 2 along with this work; if not, write to the Free Software Foundation, 1.20 + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 1.21 + * 1.22 + * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, 1.23 + * CA 95054 USA or visit www.sun.com if you need additional information or 1.24 + * have any questions. 1.25 + * 1.26 + */ 1.27 + 1.28 +#include "incls/_precompiled.incl" 1.29 +#include "incls/_rootnode.cpp.incl" 1.30 + 1.31 +//------------------------------Ideal------------------------------------------ 1.32 +// Remove dead inputs 1.33 +Node *RootNode::Ideal(PhaseGVN *phase, bool can_reshape) { 1.34 + for( uint i = 1; i < req(); i++ ) { // For all inputs 1.35 + // Check for and remove dead inputs 1.36 + if( phase->type(in(i)) == Type::TOP ) { 1.37 + del_req(i--); // Delete TOP inputs 1.38 + } 1.39 + } 1.40 + 1.41 + // I used to do tail-splitting in the Ideal graph here, but it does not 1.42 + // work. The tail-splitting forces values live into the Return to be 1.43 + // ready at a point which dominates the split returns. This forces Stores 1.44 + // to be hoisted high. The "proper" fix would be to split Stores down 1.45 + // each path, but this makes the split unprofitable. If we want to do this 1.46 + // optimization, it needs to be done after allocation so we can count all 1.47 + // the instructions needing to be cloned in the cost metric. 1.48 + 1.49 + // There used to be a spoof here for caffeine marks which completely 1.50 + // eliminated very simple self-recursion recursions, but it's not worth it. 1.51 + // Deep inlining of self-calls gets nearly all of the same benefits. 1.52 + // If we want to get the rest of the win later, we should pattern match 1.53 + // simple recursive call trees to closed-form solutions. 1.54 + 1.55 + return NULL; // No further opportunities exposed 1.56 +} 1.57 + 1.58 +//============================================================================= 1.59 +HaltNode::HaltNode( Node *ctrl, Node *frameptr ) : Node(TypeFunc::Parms) { 1.60 + Node* top = Compile::current()->top(); 1.61 + init_req(TypeFunc::Control, ctrl ); 1.62 + init_req(TypeFunc::I_O, top); 1.63 + init_req(TypeFunc::Memory, top); 1.64 + init_req(TypeFunc::FramePtr, frameptr ); 1.65 + init_req(TypeFunc::ReturnAdr,top); 1.66 +} 1.67 + 1.68 +const Type *HaltNode::bottom_type() const { return Type::BOTTOM; } 1.69 + 1.70 +//------------------------------Ideal------------------------------------------ 1.71 +Node *HaltNode::Ideal(PhaseGVN *phase, bool can_reshape) { 1.72 + return remove_dead_region(phase, can_reshape) ? this : NULL; 1.73 +} 1.74 + 1.75 +//------------------------------Value------------------------------------------ 1.76 +const Type *HaltNode::Value( PhaseTransform *phase ) const { 1.77 + return ( phase->type(in(TypeFunc::Control)) == Type::TOP) 1.78 + ? Type::TOP 1.79 + : Type::BOTTOM; 1.80 +} 1.81 + 1.82 +const RegMask &HaltNode::out_RegMask() const { 1.83 + return RegMask::Empty; 1.84 +}