vm/opto/type.cpp

2208   const TypeAryPtr*  tap;
2210     tap = _elem->make_ptr()->isa_aryptr();
2212     tap = _elem->isa_aryptr();
2213   if (tap)
2214     return tap->ary()->ary_must_be_exact();
4241     const TypeAryPtr *tap = t->is_aryptr();
4242     int off = meet_offset(tap->offset());
4243     const TypeAry *tary = _ary->meet_speculative(tap->_ary)->is_ary();
4244     PTR ptr = meet_ptr(tap->ptr());
4245     int instance_id = meet_instance_id(tap->instance_id());
4246     const TypePtr* speculative = xmeet_speculative(tap);
4247     int depth = meet_inline_depth(tap->inline_depth());
4253         lazy_klass = tap->_klass;
4254       else if (tap->_klass == NULL || tap->_klass == _klass) {
4265       if ((above_centerline(ptr) || ptr == Constant) && klass() != tap->klass() &&
4267           tap->_klass != NULL  && this->_klass != NULL   &&
4269           ((tap->_klass_is_exact && this->_klass_is_exact) ||
4270            // 'tap'  is exact and super or unrelated:
4271            (tap->_klass_is_exact && !tap->klass()->is_subtype_of(klass())) ||
4273            (this->_klass_is_exact && !klass()->is_subtype_of(tap->klass())))) {
4281     switch (tap->ptr()) {
4284       // Compute new klass on demand, do not use tap->_klass
4288         xk = (tap->_klass_is_exact | this->_klass_is_exact);
4294         if( tap->const_oop() != NULL && !o->equals(tap->const_oop()) ) {
4295           xk = (klass() == tap->klass());
4303         o = tap->const_oop();
4307         xk = this->_klass_is_exact && (klass() == tap->klass());
4313       // Compute new klass on demand, do not use tap->_klass
4315             xk = tap->_klass_is_exact;
4316       else  xk = (tap->_klass_is_exact & this->_klass_is_exact) &&
4317               (klass() == tap->klass()); // Only precise for identical arrays