vm/opto/parse2.cpp

182   assert(ptr != top(), "top should go hand-in-hand with stopped");
273     assert(lo <= hi, "must be a non-empty range");
277     assert(lo <= hi, "must be a non-empty range");
340   assert(ranges[rp].hi() == highest, "");
345   assert(rp < len+2, "not too many ranges");
396   assert(ranges[rp].hi() == highest, "");
401   assert(rp < rnum, "not too many ranges");
506   assert(i == num_cases, "miscount of cases");
517     assert(lo->lo() == min_jint, "initial range must exhaust Type::INT");
518     assert(hi->hi() == max_jint, "initial range must exhaust Type::INT");
533       assert(successors_found > 0, "successor must be known");
536     assert(successors_counted == (hi-lo)+1, "no unexpected successors");
546       assert(min_val <= max_val, "invalid int type");
561   assert(lo <= hi, "must be a non-empty set of ranges");
565     assert(lo->hi() == (lo+1)->lo()-1, "contiguous ranges");
566     assert(hi->lo() == (hi-1)->hi()+1, "contiguous ranges");
576     assert(lo < mid && mid <= hi, "good pivot choice");
577     assert(nr != 2 || mid == hi,   "should pick higher of 2");
578     assert(nr != 3 || mid == hi-1, "should pick middle of 3");
591         assert(mid == hi-1, "");
688   assert(res_top == top(), "second value must be top");
752   assert(bc() == Bytecodes::_jsr || bc() == Bytecodes::_jsr_w, "wrong bytecode");
767   assert(ret_addr->singleton(), "must be a constant (cloned jsr body)");
779   assert(block()->num_successors() == 1, "a ret can only go one place now");
781   assert(!target->is_ready(), "our arrival must be expected");
876   assert((cnt > 0.0f) && (prob > 0.0f),
933   assert(prob != PROB_UNKNOWN, "must have some guess at this point");
971   assert(bc_depth == 1 || bc_depth == 2, "only two kinds of branches");
973   assert(argument(0) != NULL, "must exist");
974   assert(bc_depth == 1 || argument(1) != NULL, "two must exist");
1016   assert(prob > 0.0f,"Bad probability in Parser");
1019   assert(iff->_prob > 0.0f,"Optimizer made bad probability in parser");
1092   assert(0.0f < prob && prob < 1.0f,"Bad probability in Parser");
1102   assert(btest != BoolTest::eq, "!= is the only canonical exact test");
1121         assert(BoolTest(btest).is_canonical(), "sanity");
1134   assert(iff->_prob > 0.0f,"Optimizer made bad probability in parser");
1249   assert(ldk != NULL && ldk->is_Load(), "should have found a LoadKlass or LoadNKlass node");
1286             assert(tcc != obj_type && tcc->higher_equal(obj_type), "must improve");
1309   assert(tcon->singleton(), "");
1350     assert(tcc != tval && tcc->higher_equal(tval), "must improve");
1422   assert(!has_exceptions(), "bytecode entry state must be clear of throws");
1497       assert(constant.basic_type() != T_OBJECT || constant.as_object()->is_instance(),
2093     assert(peek(0) == top(), "long word order");
2105     assert(peek(0) == top(), "long word order");
2266     assert( data->is_JumpData(), "" );
2285       assert(null_ctl->is_top(), "no null control here");