Searched refs:meet (Results 1 - 18 of 18) sorted by relevance

/openjdk7/hotspot/src/share/vm/c1/
H A Dc1_ValueType.cpp75 ValueType* ValueType::meet(ValueType* y) const { function in class:ValueType
H A Dc1_ValueType.hpp160 ValueType* meet(ValueType* y) const;
H A Dc1_Instruction.hpp986 : 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 DciTypeFlow.hpp203 // 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 DciTypeFlow.cpp263 // 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 Dtype.hpp184 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 Descape.hpp235 bool meet(PointsToNode* ptn);
H A Dloopopts.cpp1104 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 DcallGenerator.cpp691 const Type* t = gvn.type(m)->meet(gvn.type(n));
940 const Type* t = gvn.type(m)->meet(gvn.type(n));
H A Dtype.cpp553 //------------------------------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 Dcfgnode.cpp940 // 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 DgraphKit.cpp422 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 Dconnode.cpp185 // Result is the meet of inputs
189 return phase->type(in(IfFalse))->meet(phase->type(in(IfTrue)));
H A DphaseX.cpp1414 assert(t->meet(t0) == t, "Not monotonic");
H A Descape.cpp1800 if (ptn1->meet(ptn2)) {
2041 bool PointsToNode::meet(PointsToNode* ptn) { function in class:PointsToNode
H A Dchaitin.cpp1594 t = t->meet(base->in(i)->bottom_type());
H A Dloopnode.cpp1093 filtered_t = filtered_t->meet(val_t)->is_int();
H A Dmemnode.cpp646 assert(cross_check->meet(tp_notnull) == cross_check,

Completed in 129 milliseconds