Cross Reference: /openjdk7/hotspot/src/share/vm/opto/library

Lines Matching defs:assert
122   void  set_result(Node* n) { assert(_result == NULL, "only set once"); _result = n; }
299   assert(id != vmIntrinsics::_none, "must be a VM intrinsic");
484     assert(id <= vmIntrinsics::LAST_COMPILER_INLINE, "caller responsibility");
485     assert(id != vmIntrinsics::_Object_init && id != vmIntrinsics::_invoke, "enum out of order?");
576   assert(is_predicted(), "sanity");
627     assert(map()->memory()->Opcode() == Op_Parm, "");
631   assert(merged_memory(), "");
811     assert(map()->memory()->Opcode() == Op_Parm, "");
815   assert(merged_memory(), "");
844   assert(value->type()->basic_type() == result()->bottom_type()->basic_type(), "sanity");
1396     assert(str != NULL, "must be instance");
1434       assert(i < pat->length(), "out of range");
1440       assert(i < pat->length(), "out of range");
1567     assert(control()->in(0) == call, "");
1624       assert(value_top == top(), "second value must be top");
1805   assert(call_type == OptoRuntime::Math_DD_D_Type() || call_type == OptoRuntime::Math_D_D_Type(),
1819   assert(value_top == top(), "second value must be top");
2243     assert(!is_native_ptr, "native pointer op cannot use a java address");
2290       assert(rtype == type, "getter must return the expected value");
2292         assert(sig->count() == 2, "oop getter has 2 arguments");
2293         assert(sig->type_at(0)->basic_type() == T_OBJECT, "getter base is object");
2294         assert(sig->type_at(1)->basic_type() == T_LONG, "getter offset is correct");
2296         assert(sig->count() == 1, "native getter has 1 argument");
2297         assert(sig->type_at(0)->basic_type() == T_LONG, "getter base is long");
2301       assert(sig->return_type()->basic_type() == T_VOID, "putter must not return a value");
2303         assert(sig->count() == 3, "oop putter has 3 arguments");
2304         assert(sig->type_at(0)->basic_type() == T_OBJECT, "putter base is object");
2305         assert(sig->type_at(1)->basic_type() == T_LONG, "putter offset is correct");
2307         assert(sig->count() == 2, "native putter has 2 arguments");
2308         assert(sig->type_at(0)->basic_type() == T_LONG, "putter base is long");
2313       assert(vtype == type, "putter must accept the expected value");
2337     assert(Unsafe_field_offset_to_byte_offset(11) == 11,
2359   assert(alias_type->index() != Compile::AliasIdxBot, "no bare pointers here");
2365   // or Compile::must_alias will throw a diagnostic assert.)
2409   // so there's no problems making a strong assert about mixing users
2514       assert(sig->count() == 2, "oop prefetch has 2 arguments");
2515       assert(sig->type_at(0)->basic_type() == T_OBJECT, "prefetch base is object");
2516       assert(sig->type_at(1)->basic_type() == T_LONG, "prefetcha offset is correct");
2518       assert(sig->count() == 1, "native prefetch has 1 argument");
2519       assert(sig->type_at(0)->basic_type() == T_LONG, "prefetch base is long");
2545     assert(Unsafe_field_offset_to_byte_offset(11) == 11,
2606       assert(rtype == type, "get and set must return the expected type");
2607       assert(sig->count() == 3, "get and set has 3 arguments");
2608       assert(sig->type_at(0)->basic_type() == T_OBJECT, "get and set base is object");
2609       assert(sig->type_at(1)->basic_type() == T_LONG, "get and set offset is long");
2610       assert(sig->type_at(2)->basic_type() == type, "get and set must take expected type as new value/delta");
2615       assert(rtype == T_BOOLEAN, "CAS must return boolean");
2616       assert(sig->count() == 4, "CAS has 4 arguments");
2617       assert(sig->type_at(0)->basic_type() == T_OBJECT, "CAS base is object");
2618       assert(sig->type_at(1)->basic_type() == T_LONG, "CAS offset is long");
2659   assert(Unsafe_field_offset_to_byte_offset(11) == 11, "fieldOffset must be byte-scaled");
2669   assert(alias_type->index() != Compile::AliasIdxBot, "no bare pointers here");
2738         assert(kind == LS_cmpxchg, "wrong LoadStore operation");
2749         assert(kind == LS_cmpxchg, "wrong LoadStore operation");
2776   assert(type2size[load_store->bottom_type()->basic_type()] == type2size[rtype], "result type should match");
2799     assert(rtype == T_VOID, "must return void");
2800     assert(sig->count() == 3, "has 3 arguments");
2801     assert(sig->type_at(0)->basic_type() == T_OBJECT, "base is object");
2802     assert(sig->type_at(1)->basic_type() == T_LONG, "offset is long");
2822   assert(Unsafe_field_offset_to_byte_offset(11) == 11, "fieldOffset must be byte-scaled");
2929   assert(value_top == top(), "second value must be top");
3082     assert(null_ctl == top(), "no loose ends");
3126     assert(is_power_of_2((int)JVM_ACC_WRITTEN_FLAGS+1), "change next line");
3379   assert(region->req() == PATH_LIMIT, "sane region");
3671     assert(!is_virtual, "");
3705   assert(is_static == callee()->is_static(), "correct intrinsic selection");
3706   assert(!(is_virtual && is_static), "either virtual, special, or static");
3903     assert(caller_jvms = jvms()->of_depth(inlining_depth), "inlining_depth == our depth");
4006     assert( opt_isnan->is_If(), "Expect an IfNode");
4030     assert(result->bottom_type()->isa_long(), "must be");
4047     assert( opt_isnan->is_If(), "Expect an IfNode");
4071     assert(result->bottom_type()->isa_int(), "must be");
4104   assert(Unsafe_field_offset_to_byte_offset(11) == 11,
4131   assert(obj_size != NULL, "");
4133   assert(alloc_obj->is_CheckCastPP() && raw_obj->is_Proj() && raw_obj->in(0)->is_Allocate(), "");
4163     assert(UseCompressedOops, "");
4171     assert(base_off % BytesPerLong == 0, "expect 8 bytes alignment");
4189     assert(!is_array, "");
4609     assert(init->is_complete(), "we just did this");
4611     assert(dest->is_CheckCastPP(), "sanity");
4612     assert(dest->in(0)->in(0) == init, "dest pinned");
4640   assert(adr_type != TypePtr::BOTTOM, "must be RawMem or a T[] slice");
4655     assert(!dest_uninitialized, "");
4730       assert(tail_ctl != NULL || !stopped(), "must be an outcome");
4778   assert(basic_elem_type != T_ARRAY, "caller must fix this");
4829       assert(type2aelembytes(basic_elem_type) == type2aelembytes(copy_type),
5003   assert(just_allocated_object(alloc_ctl) == ptr, "most recent allo");
5013       assert(not_ctl != NULL && not_ctl != ctl, "found alternate");
5077   assert((slice_len != NULL? 1: 0) + (dest_size != NULL? 1: 0) == 1, "");
5092   assert(BIG_NEG + 2*abase < 0, "neg enough");
5101     assert(end_con < 0, "not two cons");
5143         assert((abase & to_clear) == 0, "array base must be long-aligned");
5147         assert((abase & clear_low) == 0, "array base must be int-aligned");
5213   assert(src_off % BytesPerLong == 0, "");
5214   assert(dest_off % BytesPerLong == 0, "");
5239   assert(!dest_uninitialized, "Invariant");
5299   assert(!dest_uninitialized, "Invariant");
5327     assert(src_offset != NULL && dest_offset != NULL, "");
5383   assert(tinst != NULL, "obj is null");
5384   assert(tinst->klass()->is_loaded(), "obj is not loaded");
5385   assert(!is_exact || tinst->klass_is_exact(), "klass not exact");
5391   assert (field != NULL, "undefined field");
5399   assert(field_klass->is_loaded(), "should be loaded");
5417   assert(UseAES, "need AES instruction support");
5442   assert (top_src  != NULL && top_src->klass()  != NULL &&  top_dest != NULL && top_dest->klass() != NULL, "args are strange");
5449     assert(src_offset != NULL && dest_offset != NULL, "");
5472   assert(UseAES, "need AES instruction support");
5498   assert (top_src  != NULL && top_src->klass()  != NULL
5505     assert(src_offset != NULL && dest_offset != NULL, "");
5520   assert(tinst != NULL, "CBC obj is null");
5521   assert(tinst->klass()->is_loaded(), "CBC obj is not loaded");
5554   assert (objAESCryptKey != NULL, "wrong version of com.sun.crypto.provider.AESCrypt");
5585   assert(tinst != NULL, "CBCobj is null");
5586   assert(tinst->klass()->is_loaded(), "CBCobj is not loaded");