Lines Matching refs:r1

234   const TypeInt *r1 = t1->is_int();
241 int32 lo1 = r1->_lo;
243 int32 hi1 = r1->_hi;
265 return TypeInt::make(lo0, hi0, MAX2(r0->_widen,r1->_widen));
330 const TypeLong *r1 = t1->is_long();
337 jlong lo1 = r1->_lo;
339 jlong hi1 = r1->_hi;
361 return TypeLong::make(lo0, hi0, MAX2(r0->_widen,r1->_widen));
408 const TypeInt *r1 = t1->is_int();
409 int widen = MAX2(r0->_widen,r1->_widen);
412 if( !r0->is_con() && !r1->is_con() )
416 if( r0->is_con() && r1->is_con() )
417 return TypeInt::make( r0->get_con() & r1->get_con() );
422 if( r1->is_con() && r1->get_con() > 0 )
423 return TypeInt::make(0, r1->get_con(), widen);
425 if( r0 == TypeInt::BOOL || r1 == TypeInt::BOOL ) {
540 const TypeLong *r1 = t1->is_long();
541 int widen = MAX2(r0->_widen,r1->_widen);
544 if( !r0->is_con() && !r1->is_con() )
548 if( r0->is_con() && r1->is_con() )
549 return TypeLong::make( r0->get_con() & r1->get_con() );
554 if( r1->is_con() && r1->get_con() > 0 )
555 return TypeLong::make(CONST64(0), r1->get_con(), widen);
720 const TypeInt *r1 = t1->is_int(); // Handy access
733 if (!r1->is_con()) {
734 jint lo = r1->_lo, hi = r1->_hi;
740 MAX2(r1->_widen,r2->_widen));
745 return TypeInt::make( (jint)r1->get_con() << (jint)shift );
829 const TypeLong *r1 = t1->is_long(); // Handy access
842 if (!r1->is_con()) {
843 jlong lo = r1->_lo, hi = r1->_hi;
849 MAX2(r1->_widen,r2->_widen));
854 return TypeLong::make( (jlong)r1->get_con() << (jint)shift );
976 const TypeInt *r1 = t1->is_int(); // Handy access
989 jint lo = (jint)r1->_lo >> (jint)shift;
990 jint hi = (jint)r1->_hi >> (jint)shift;
992 const TypeInt* ti = TypeInt::make(lo, hi, MAX2(r1->_widen,r2->_widen));
996 if (r1->_lo >= 0) assert(ti == TypeInt::ZERO, ">>31 of + is 0");
997 if (r1->_hi < 0) assert(ti == TypeInt::MINUS_1, ">>31 of - is -1");
1003 if( !r1->is_con() || !r2->is_con() )
1007 return TypeInt::make( r1->get_con() >> (r2->get_con()&31) );
1038 const TypeLong *r1 = t1->is_long(); // Handy access
1051 jlong lo = (jlong)r1->_lo >> (jlong)shift;
1052 jlong hi = (jlong)r1->_hi >> (jlong)shift;
1054 const TypeLong* tl = TypeLong::make(lo, hi, MAX2(r1->_widen,r2->_widen));
1058 if (r1->_lo >= 0) assert(tl == TypeLong::ZERO, ">>63 of + is 0");
1059 if (r1->_hi < 0) assert(tl == TypeLong::MINUS_1, ">>63 of - is -1");
1186 const TypeInt *r1 = t1->is_int(); // Handy access
1195 jint lo = (juint)r1->_lo >> (juint)shift;
1196 jint hi = (juint)r1->_hi >> (juint)shift;
1197 if (r1->_hi >= 0 && r1->_lo < 0) {
1209 const TypeInt* ti = TypeInt::make(lo, hi, MAX2(r1->_widen,r2->_widen));
1213 if (r1->_lo >= 0) assert(ti == TypeInt::ZERO, ">>>31 of + is 0");
1214 if (r1->_hi < 0) assert(ti == TypeInt::ONE, ">>>31 of - is +1");
1315 const TypeLong *r1 = t1->is_long(); // Handy access
1324 jlong lo = (julong)r1->_lo >> (juint)shift;
1325 jlong hi = (julong)r1->_hi >> (juint)shift;
1326 if (r1->_hi >= 0 && r1->_lo < 0) {
1340 const TypeLong* tl = TypeLong::make(lo, hi, MAX2(r1->_widen,r2->_widen));
1344 if (r1->_lo >= 0) assert(tl == TypeLong::ZERO, ">>>63 of + is 0");
1345 if (r1->_hi < 0) assert(tl == TypeLong::ONE, ">>>63 of - is +1");