Cross Reference: /openjdk7/hotspot/src/share/vm/opto/parse2.cpp

Lines Matching defs:assert
161   assert(ptr != top(), "top should go hand-in-hand with stopped");
252     assert(lo <= hi, "must be a non-empty range");
256     assert(lo <= hi, "must be a non-empty range");
319   assert(ranges[rp].hi() == highest, "");
324   assert(rp < len+2, "not too many ranges");
375   assert(ranges[rp].hi() == highest, "");
380   assert(rp < rnum, "not too many ranges");
483   assert(i == num_cases, "miscount of cases");
494     assert(lo->lo() == min_jint, "initial range must exhaust Type::INT");
495     assert(hi->hi() == max_jint, "initial range must exhaust Type::INT");
510       assert(successors_found > 0, "successor must be known");
513     assert(successors_counted == (hi-lo)+1, "no unexpected successors");
523       assert(min_val <= max_val, "invalid int type");
538   assert(lo <= hi, "must be a non-empty set of ranges");
542     assert(lo->hi() == (lo+1)->lo()-1, "contiguous ranges");
543     assert(hi->lo() == (hi-1)->hi()+1, "contiguous ranges");
553     assert(lo < mid && mid <= hi, "good pivot choice");
554     assert(nr != 2 || mid == hi,   "should pick higher of 2");
555     assert(nr != 3 || mid == hi-1, "should pick middle of 3");
568         assert(mid == hi-1, "");
665   assert(res_top == top(), "second value must be top");
729   assert(bc() == Bytecodes::_jsr || bc() == Bytecodes::_jsr_w, "wrong bytecode");
744   assert(ret_addr->singleton(), "must be a constant (cloned jsr body)");
756   assert(block()->num_successors() == 1, "a ret can only go one place now");
758   assert(!target->is_ready(), "our arrival must be expected");
821   assert((cnt > 0.0f) && (prob > 0.0f),
877   assert(prob != PROB_UNKNOWN, "must have some guess at this point");
958   assert(bc_depth == 1 || bc_depth == 2, "only two kinds of branches");
960   assert(argument(0) != NULL, "must exist");
961   assert(bc_depth == 1 || argument(1) != NULL, "two must exist");
1004   assert(prob > 0.0f,"Bad probability in Parser");
1007   assert(iff->_prob > 0.0f,"Optimizer made bad probability in parser");
1081   assert(0.0f < prob && prob < 1.0f,"Bad probability in Parser");
1091   assert(btest != BoolTest::eq, "!= is the only canonical exact test");
1110         assert(BoolTest(btest).is_canonical(), "sanity");
1123   assert(iff->_prob > 0.0f,"Optimizer made bad probability in parser");
1254   assert(ldk != NULL && ldk->is_Load(), "should have found a LoadKlass or LoadNKlass node");
1291             assert(tcc != obj_type && tcc->higher_equal(obj_type), "must improve");
1314   assert(tcon->singleton(), "");
1355     assert(tcc != tval && tcc->higher_equal(tval), "must improve");
1377   assert(!has_exceptions(), "bytecode entry state must be clear of throws");
1452       assert(constant.basic_type() != T_OBJECT || !constant.as_object()->is_klass(),
2045     assert(peek(0) == top(), "long word order");
2057     assert(peek(0) == top(), "long word order");
2216     assert( data->is_JumpData(), "" );