src/cpu/x86/vm/c1_LIRGenerator_x86.cpp

Print this page
rev 4136 : 7153771: array bound check elimination for c1
Summary: when possible optimize out array bound checks, inserting predicates when needed.
Reviewed-by:


 246       __ add(left, tmp, result);
 247       return true;
 248     }
 249   }
 250   return false;
 251 }
 252 
 253 
 254 void LIRGenerator::store_stack_parameter (LIR_Opr item, ByteSize offset_from_sp) {
 255   BasicType type = item->type();
 256   __ store(item, new LIR_Address(FrameMap::rsp_opr, in_bytes(offset_from_sp), type));
 257 }
 258 
 259 //----------------------------------------------------------------------
 260 //             visitor functions
 261 //----------------------------------------------------------------------
 262 
 263 
 264 void LIRGenerator::do_StoreIndexed(StoreIndexed* x) {
 265   assert(x->is_pinned(),"");
 266   bool needs_range_check = true;
 267   bool use_length = x->length() != NULL;
 268   bool obj_store = x->elt_type() == T_ARRAY || x->elt_type() == T_OBJECT;
 269   bool needs_store_check = obj_store && (x->value()->as_Constant() == NULL ||
 270                                          !get_jobject_constant(x->value())->is_null_object() ||
 271                                          x->should_profile());
 272 
 273   LIRItem array(x->array(), this);
 274   LIRItem index(x->index(), this);
 275   LIRItem value(x->value(), this);
 276   LIRItem length(this);
 277 
 278   array.load_item();
 279   index.load_nonconstant();
 280 
 281   if (use_length) {
 282     needs_range_check = x->compute_needs_range_check();
 283     if (needs_range_check) {
 284       length.set_instruction(x->length());
 285       length.load_item();
 286     }
 287   }
 288   if (needs_store_check) {
 289     value.load_item();
 290   } else {
 291     value.load_for_store(x->elt_type());
 292   }
 293 
 294   set_no_result(x);
 295 
 296   // the CodeEmitInfo must be duplicated for each different
 297   // LIR-instruction because spilling can occur anywhere between two
 298   // instructions and so the debug information must be different
 299   CodeEmitInfo* range_check_info = state_for(x);
 300   CodeEmitInfo* null_check_info = NULL;
 301   if (x->needs_null_check()) {
 302     null_check_info = new CodeEmitInfo(range_check_info);
 303   }
 304 
 305   // emit array address setup early so it schedules better
 306   LIR_Address* array_addr = emit_array_address(array.result(), index.result(), x->elt_type(), obj_store);




 246       __ add(left, tmp, result);
 247       return true;
 248     }
 249   }
 250   return false;
 251 }
 252 
 253 
 254 void LIRGenerator::store_stack_parameter (LIR_Opr item, ByteSize offset_from_sp) {
 255   BasicType type = item->type();
 256   __ store(item, new LIR_Address(FrameMap::rsp_opr, in_bytes(offset_from_sp), type));
 257 }
 258 
 259 //----------------------------------------------------------------------
 260 //             visitor functions
 261 //----------------------------------------------------------------------
 262 
 263 
 264 void LIRGenerator::do_StoreIndexed(StoreIndexed* x) {
 265   assert(x->is_pinned(),"");
 266   bool needs_range_check = x->compute_needs_range_check();
 267   bool use_length = x->length() != NULL;
 268   bool obj_store = x->elt_type() == T_ARRAY || x->elt_type() == T_OBJECT;
 269   bool needs_store_check = obj_store && (x->value()->as_Constant() == NULL ||
 270                                          !get_jobject_constant(x->value())->is_null_object() ||
 271                                          x->should_profile());
 272 
 273   LIRItem array(x->array(), this);
 274   LIRItem index(x->index(), this);
 275   LIRItem value(x->value(), this);
 276   LIRItem length(this);
 277 
 278   array.load_item();
 279   index.load_nonconstant();
 280 
 281   if (use_length && needs_range_check) {


 282     length.set_instruction(x->length());
 283     length.load_item();
 284 
 285   }
 286   if (needs_store_check) {
 287     value.load_item();
 288   } else {
 289     value.load_for_store(x->elt_type());
 290   }
 291 
 292   set_no_result(x);
 293 
 294   // the CodeEmitInfo must be duplicated for each different
 295   // LIR-instruction because spilling can occur anywhere between two
 296   // instructions and so the debug information must be different
 297   CodeEmitInfo* range_check_info = state_for(x);
 298   CodeEmitInfo* null_check_info = NULL;
 299   if (x->needs_null_check()) {
 300     null_check_info = new CodeEmitInfo(range_check_info);
 301   }
 302 
 303   // emit array address setup early so it schedules better
 304   LIR_Address* array_addr = emit_array_address(array.result(), index.result(), x->elt_type(), obj_store);