equal
deleted
inserted
replaced
235 const TypeInt* this_type = this->type()->is_int(); |
235 const TypeInt* this_type = this->type()->is_int(); |
236 const TypeInt* in_type = phase->type(in(1))->isa_int(); |
236 const TypeInt* in_type = phase->type(in(1))->isa_int(); |
237 if (in_type != NULL && this_type != NULL && |
237 if (in_type != NULL && this_type != NULL && |
238 (in_type->_lo != this_type->_lo || |
238 (in_type->_lo != this_type->_lo || |
239 in_type->_hi != this_type->_hi)) { |
239 in_type->_hi != this_type->_hi)) { |
240 int lo1 = this_type->_lo; |
240 jint lo1 = this_type->_lo; |
241 int hi1 = this_type->_hi; |
241 jint hi1 = this_type->_hi; |
242 int w1 = this_type->_widen; |
242 int w1 = this_type->_widen; |
243 |
243 |
244 if (lo1 >= 0) { |
244 if (lo1 >= 0) { |
245 // Keep a range assertion of >=0. |
245 // Keep a range assertion of >=0. |
246 lo1 = 0; hi1 = max_jint; |
246 lo1 = 0; hi1 = max_jint; |