Searched refs:meet (Results 1 - 18 of 18) sorted by relevance
/openjdk7/hotspot/src/share/vm/c1/ |
H A D | c1_ValueType.cpp | 75 ValueType* ValueType::meet(ValueType* y) const { function in class:ValueType
|
H A D | c1_ValueType.hpp | 160 ValueType* meet(ValueType* y) const;
|
H A D | c1_Instruction.hpp | 986 : Op2(x->type()->meet(y->type()), op, x, y, state_before) 1015 LogicOp(Bytecodes::Code op, Value x, Value y) : Op2(x->type()->meet(y->type()), op, x, y) {} 1043 : Op2(tval->type()->meet(fval->type()), (Bytecodes::Code)cond, x, y)
|
/openjdk7/hotspot/src/share/vm/ci/ |
H A D | ciTypeFlow.hpp | 203 // The meet operation for our type lattice. 481 bool meet(const StateVector* incoming); 654 bool meet(const StateVector* incoming) { function in class:ciTypeFlow::Block 655 return state()->meet(incoming);
|
H A D | ciTypeFlow.cpp | 263 // Every primitive type is comparable only with itself. The meet of 265 // interface, or array class. The meet of two types of the same 266 // kind is their least common ancestor. The meet of two types of 275 // Special case null_type. null_type meet any reference type T 276 // is T. null_type meet null_type is null_type. 430 // ciTypeFlow::StateVector::meet 434 bool ciTypeFlow::StateVector::meet(const ciTypeFlow::StateVector* incoming) { function in class:ciTypeFlow::StateVector 554 // is report a value that will meet correctly with any downstream 2130 if (block->meet(state)) { 2706 start->meet(start_stat [all...] |
/openjdk7/hotspot/src/share/vm/opto/ |
H A D | type.hpp | 184 int higher_equal( const Type *t ) const { return !cmp(meet(t),t); } 187 const Type *meet( const Type *t ) const; 197 // Compute meet dependent on base type 202 // meet of the dual of the 2 inputs. 204 return dual()->meet(t->dual())->dual(); } 694 // meet, dual and join over pointer equivalence sets 699 // join(t) == dual()->meet(t->dual())->dual().
|
H A D | escape.hpp | 235 bool meet(PointsToNode* ptn);
|
H A D | loopopts.cpp | 1104 phi1->set_type( phi1->type()->meet(n1->bottom_type()) ); 1105 phi2->set_type( phi2->type()->meet(n2->bottom_type()) ); 1178 phi1->set_type( phi1->type()->meet(n1->bottom_type()) ); 1179 phi2->set_type( phi2->type()->meet(n2->bottom_type()) );
|
H A D | callGenerator.cpp | 691 const Type* t = gvn.type(m)->meet(gvn.type(n)); 940 const Type* t = gvn.type(m)->meet(gvn.type(n));
|
H A D | type.cpp | 553 //------------------------------meet------------------------------------------- 554 // Compute the MEET of two types. NOT virtual. It enforces that meet is 556 const Type *Type::meet( const Type *t ) const { function in class:Type 558 const Type* result = make_ptr()->meet(t->make_ptr()); 565 assert( mt == t->xmeet(this), "meet not commutative" ); 570 // Interface meet Oop is Not Symmetric: 571 // Interface:AnyNull meet Oop:AnyNull == Interface:AnyNull 572 // Interface:NotNull meet Oop:NotNull == java/lang/Object:NotNull 578 tty->print("mt=(t meet this)= "); mt->dump(); tty->cr(); 584 tty->print("mt_dual meet t_dua [all...] |
H A D | cfgnode.cpp | 940 // subtype of that interface. This might not be true of the meet 954 t = t->meet(ti); 981 // from a Java-level object variable. If we meet 2 classes which 982 // both implement interface I, but their meet is at 'j/l/O' which 1001 // class-typed Phi and an interface flows in, it's possible that the meet & 1760 type = type->meet(in(i)->in(AddPNode::Base)->bottom_type());
|
H A D | graphKit.cpp | 422 const Type* dsttype = phi->type()->meet(srctype); 1223 if (t->meet(TypePtr::NULL_PTR) != t) { 2748 phi->raise_bottom_type(_gvn.type(cast_obj)->meet(TypePtr::NULL_PTR));
|
H A D | connode.cpp | 185 // Result is the meet of inputs 189 return phase->type(in(IfFalse))->meet(phase->type(in(IfTrue)));
|
H A D | phaseX.cpp | 1414 assert(t->meet(t0) == t, "Not monotonic");
|
H A D | escape.cpp | 1800 if (ptn1->meet(ptn2)) { 2041 bool PointsToNode::meet(PointsToNode* ptn) { function in class:PointsToNode
|
H A D | chaitin.cpp | 1594 t = t->meet(base->in(i)->bottom_type());
|
H A D | loopnode.cpp | 1093 filtered_t = filtered_t->meet(val_t)->is_int();
|
H A D | memnode.cpp | 646 assert(cross_check->meet(tp_notnull) == cross_check,
|
Completed in 129 milliseconds