Lines Matching refs:check
295 Node *check = sfpt->in(idx);
299 worklist.push(check);
302 check = worklist.at(k);
303 assert(check,"Bad base or derived pointer");
305 int isc = check->is_Copy();
307 worklist.push(check->in(isc));
308 } else if( check->is_Phi() ) {
309 for (uint m = 1; m < check->req(); m++)
310 worklist.push(check->in(m));
311 } else if( check->is_Con() ) {
314 assert(!is_derived || check->bottom_type()->is_ptr()->ptr() == TypePtr::Null,"Bad derived pointer");
316 assert(check->bottom_type()->is_ptr()->_offset == 0,"Bad base pointer");
318 if (check->is_Mach()) {
319 assert(check->as_Mach()->ideal_Opcode() == Op_ConP,"Bad base pointer");
321 assert(check->Opcode() == Op_ConP &&
322 check->bottom_type()->is_ptr()->ptr() == TypePtr::Null,"Bad base pointer");
325 } else if( check->bottom_type()->is_ptr()->_offset == 0 ) {
326 if(check->is_Proj() || check->is_Mach() &&
327 (check->as_Mach()->ideal_Opcode() == Op_CreateEx ||
328 check->as_Mach()->ideal_Opcode() == Op_ThreadLocal ||
329 check->as_Mach()->ideal_Opcode() == Op_CMoveP ||
330 check->as_Mach()->ideal_Opcode() == Op_CheckCastPP ||
332 UseCompressedOops && check->as_Mach()->ideal_Opcode() == Op_CastPP ||
333 UseCompressedOops && check->as_Mach()->ideal_Opcode() == Op_DecodeN ||
335 check->as_Mach()->ideal_Opcode() == Op_LoadP ||
336 check->as_Mach()->ideal_Opcode() == Op_LoadKlass)) {
339 check->dump();
344 assert(check->is_Mach() && check->as_Mach()->ideal_Opcode() == Op_AddP,"Bad derived pointer");
350 } // End of check for derived pointers