#define GENERATED
GENERATED case ICMD_NOP:
+ GENERATED case ICMD_BREAKPOINT:
GENERATED /* (--) */
GENERATED break;
GENERATED
GENERATED /* may use stack[1] ... stack[1] */
GENERATED
GENERATED
-# line 347 "src/vm/jit/verify/icmds.c"
+# line 345 "src/vm/jit/verify/icmds.cpp"
GENERATED if (IPTR->flags.bits & INS_FLAG_CLASS) {
GENERATED /* a java.lang.Class reference */
GENERATED TYPEINFO_INIT_JAVA_LANG_CLASS(DST->typeinfo,IPTR->sx.val.c);
GENERATED }
GENERATED }
GENERATED
-# line 32 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 33 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += 1;
GENERATED stack[0].type = TYPE_ADR;
GENERATED /* may use stack[1] ... stack[1] */
GENERATED
GENERATED
-# line 91 "src/vm/jit/verify/icmds.c"
+# line 89 "src/vm/jit/verify/icmds.cpp"
GENERATED TYPECHECK_COUNT(stat_ins_aload);
GENERATED
GENERATED
# endif
GENERATED TYPEINFO_COPY(OP1->typeinfo,DST->typeinfo);
GENERATED
-# line 146 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 147 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += 1;
GENERATED stack[0].type = TYPE_ADR;
GENERATED /* may use stack[-1] ... stack[0] */
GENERATED
GENERATED
-# line 258 "src/vm/jit/verify/icmds.c"
+# line 256 "src/vm/jit/verify/icmds.cpp"
GENERATED if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo,ARRAYTYPE_INT))
GENERATED VERIFY_ERROR("Array type mismatch");
GENERATED
-# line 177 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 178 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -1;
GENERATED stack[0].type = TYPE_INT;
GENERATED /* may use stack[-1] ... stack[0] */
GENERATED
GENERATED
-# line 268 "src/vm/jit/verify/icmds.c"
+# line 266 "src/vm/jit/verify/icmds.cpp"
GENERATED if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo,ARRAYTYPE_LONG))
GENERATED VERIFY_ERROR("Array type mismatch");
GENERATED
-# line 210 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 211 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack[0].type = TYPE_VOID;
GENERATED stack[-1].type = TYPE_LNG;
GENERATED /* may use stack[-1] ... stack[0] */
GENERATED
GENERATED
-# line 253 "src/vm/jit/verify/icmds.c"
+# line 251 "src/vm/jit/verify/icmds.cpp"
GENERATED if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo,ARRAYTYPE_FLOAT))
GENERATED VERIFY_ERROR("Array type mismatch");
GENERATED
-# line 243 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 244 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -1;
GENERATED stack[0].type = TYPE_FLT;
GENERATED /* may use stack[-1] ... stack[0] */
GENERATED
GENERATED
-# line 248 "src/vm/jit/verify/icmds.c"
+# line 246 "src/vm/jit/verify/icmds.cpp"
GENERATED if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo,ARRAYTYPE_DOUBLE))
GENERATED VERIFY_ERROR("Array type mismatch");
GENERATED
-# line 276 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 277 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack[0].type = TYPE_VOID;
GENERATED stack[-1].type = TYPE_DBL;
GENERATED /* may use stack[-1] ... stack[0] */
GENERATED
GENERATED
-# line 113 "src/vm/jit/verify/icmds.c"
+# line 111 "src/vm/jit/verify/icmds.cpp"
GENERATED
# if !defined(TYPECHECK_TYPEINFERER)
GENERATED if (!TYPEINFO_MAYBE_ARRAY_OF_REFS(OP1->typeinfo))
GENERATED if (!typeinfo_init_component(&OP1->typeinfo,&DST->typeinfo))
GENERATED EXCEPTION;
GENERATED
-# line 316 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 317 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -1;
GENERATED break;
GENERATED /* may use stack[-1] ... stack[0] */
GENERATED
GENERATED
-# line 237 "src/vm/jit/verify/icmds.c"
+# line 235 "src/vm/jit/verify/icmds.cpp"
GENERATED if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo,ARRAYTYPE_BOOLEAN)
GENERATED && !TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo,ARRAYTYPE_BYTE))
GENERATED VERIFY_ERROR("Array type mismatch");
GENERATED
-# line 349 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 350 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -1;
GENERATED stack[0].type = TYPE_INT;
GENERATED /* may use stack[-1] ... stack[0] */
GENERATED
GENERATED
-# line 243 "src/vm/jit/verify/icmds.c"
+# line 241 "src/vm/jit/verify/icmds.cpp"
GENERATED if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo,ARRAYTYPE_CHAR))
GENERATED VERIFY_ERROR("Array type mismatch");
GENERATED
-# line 382 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 383 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -1;
GENERATED stack[0].type = TYPE_INT;
GENERATED /* may use stack[-1] ... stack[0] */
GENERATED
GENERATED
-# line 263 "src/vm/jit/verify/icmds.c"
+# line 261 "src/vm/jit/verify/icmds.cpp"
GENERATED if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo,ARRAYTYPE_SHORT))
GENERATED VERIFY_ERROR("Array type mismatch");
GENERATED
-# line 415 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 416 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -1;
GENERATED stack[0].type = TYPE_INT;
GENERATED /* may use stack[0] ... stack[0] */
GENERATED
GENERATED
-# line 106 "src/vm/jit/verify/icmds.c"
+# line 104 "src/vm/jit/verify/icmds.cpp"
GENERATED TYPEINFO_COPY(OP1->typeinfo, DST->typeinfo);
GENERATED
-# line 479 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 480 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -1;
GENERATED break;
GENERATED /* may use stack[-2] ... stack[0] */
GENERATED
GENERATED
-# line 294 "src/vm/jit/verify/icmds.c"
+# line 292 "src/vm/jit/verify/icmds.cpp"
GENERATED if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo,ARRAYTYPE_INT))
GENERATED VERIFY_ERROR("Array type mismatch");
GENERATED
-# line 510 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 511 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -3;
GENERATED break;
GENERATED /* may use stack[-3] ... stack[0] */
GENERATED
GENERATED
-# line 304 "src/vm/jit/verify/icmds.c"
+# line 302 "src/vm/jit/verify/icmds.cpp"
GENERATED if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo,ARRAYTYPE_LONG))
GENERATED VERIFY_ERROR("Array type mismatch");
GENERATED
-# line 543 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 544 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -4;
GENERATED break;
GENERATED /* may use stack[-2] ... stack[0] */
GENERATED
GENERATED
-# line 289 "src/vm/jit/verify/icmds.c"
+# line 287 "src/vm/jit/verify/icmds.cpp"
GENERATED if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo,ARRAYTYPE_FLOAT))
GENERATED VERIFY_ERROR("Array type mismatch");
GENERATED
-# line 576 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 577 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -3;
GENERATED break;
GENERATED /* may use stack[-3] ... stack[0] */
GENERATED
GENERATED
-# line 284 "src/vm/jit/verify/icmds.c"
+# line 282 "src/vm/jit/verify/icmds.cpp"
GENERATED if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo,ARRAYTYPE_DOUBLE))
GENERATED VERIFY_ERROR("Array type mismatch");
GENERATED
-# line 609 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 610 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -4;
GENERATED break;
GENERATED /* may use stack[-2] ... stack[0] */
GENERATED
GENERATED
-# line 309 "src/vm/jit/verify/icmds.c"
+# line 307 "src/vm/jit/verify/icmds.cpp"
GENERATED /* we just check the basic input types and that the */
GENERATED /* destination is an array of references. Assignability to */
GENERATED /* the actual array must be checked at runtime, each time the */
GENERATED if (!TYPEINFO_MAYBE_ARRAY_OF_REFS(OP1->typeinfo))
GENERATED VERIFY_ERROR("illegal instruction: AASTORE to non-reference array");
GENERATED
-# line 646 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 647 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -3;
GENERATED break;
GENERATED /* may use stack[-2] ... stack[0] */
GENERATED
GENERATED
-# line 273 "src/vm/jit/verify/icmds.c"
+# line 271 "src/vm/jit/verify/icmds.cpp"
GENERATED if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo,ARRAYTYPE_BOOLEAN)
GENERATED && !TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo,ARRAYTYPE_BYTE))
GENERATED VERIFY_ERROR("Array type mismatch");
GENERATED
-# line 680 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 681 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -3;
GENERATED break;
GENERATED /* may use stack[-2] ... stack[0] */
GENERATED
GENERATED
-# line 279 "src/vm/jit/verify/icmds.c"
+# line 277 "src/vm/jit/verify/icmds.cpp"
GENERATED if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo,ARRAYTYPE_CHAR))
GENERATED VERIFY_ERROR("Array type mismatch");
GENERATED
-# line 713 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 714 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -3;
GENERATED break;
GENERATED /* may use stack[-2] ... stack[0] */
GENERATED
GENERATED
-# line 299 "src/vm/jit/verify/icmds.c"
+# line 297 "src/vm/jit/verify/icmds.cpp"
GENERATED if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo,ARRAYTYPE_SHORT))
GENERATED VERIFY_ERROR("Array type mismatch");
GENERATED
-# line 746 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 747 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -3;
GENERATED break;
GENERATED /* may use stack[0] ... stack[0] */
GENERATED
GENERATED
-# line 676 "src/vm/jit/verify/icmds.c"
+# line 674 "src/vm/jit/verify/icmds.cpp"
GENERATED /* we pop 1 */
GENERATED CHECK_CAT1(stack[0]);
GENERATED
-# line 769 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 770 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -1;
GENERATED break;
GENERATED /* may use stack[-1] ... stack[0] */
GENERATED
GENERATED
-# line 681 "src/vm/jit/verify/icmds.c"
+# line 679 "src/vm/jit/verify/icmds.cpp"
GENERATED /* we pop either 11 or 2 */
GENERATED if (IS_CAT1(stack[0]))
GENERATED CHECK_CAT1(stack[-1]);
GENERATED
-# line 786 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 787 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -2;
GENERATED break;
GENERATED /* may use stack[0] ... stack[1] */
GENERATED
GENERATED
-# line 696 "src/vm/jit/verify/icmds.c"
+# line 694 "src/vm/jit/verify/icmds.cpp"
GENERATED /* we dup 1 */
GENERATED CHECK_CAT1(stack[0]);
GENERATED
GENERATED COPY_SLOT(stack[ 0], stack[ 1]);
GENERATED
-# line 807 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 808 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += 1;
GENERATED break;
GENERATED /* may use stack[-1] ... stack[1] */
GENERATED
GENERATED
-# line 703 "src/vm/jit/verify/icmds.c"
+# line 701 "src/vm/jit/verify/icmds.cpp"
GENERATED /* we dup 1 */
GENERATED CHECK_CAT1(stack[0]);
GENERATED /* we skip 1 */
GENERATED COPY_SLOT(stack[-1], stack[ 0]);
GENERATED COPY_SLOT(stack[ 1], stack[-1]);
GENERATED
-# line 835 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 836 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += 1;
GENERATED break;
GENERATED /* may use stack[-2] ... stack[1] */
GENERATED
GENERATED
-# line 714 "src/vm/jit/verify/icmds.c"
+# line 712 "src/vm/jit/verify/icmds.cpp"
GENERATED /* we dup 1 */
GENERATED CHECK_CAT1(stack[0]);
GENERATED /* we skip either 11 or 2 */
GENERATED COPY_SLOT(stack[-2], stack[-1]);
GENERATED COPY_SLOT(stack[ 1], stack[-2]);
GENERATED
-# line 863 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 864 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += 1;
GENERATED break;
GENERATED /* may use stack[-1] ... stack[2] */
GENERATED
GENERATED
-# line 727 "src/vm/jit/verify/icmds.c"
+# line 725 "src/vm/jit/verify/icmds.cpp"
GENERATED /* we dup either 11 or 2 */
GENERATED if (IS_CAT1(stack[0]))
GENERATED CHECK_CAT1(stack[-1]);
GENERATED COPY_SLOT(stack[ 0], stack[ 2]);
GENERATED COPY_SLOT(stack[-1], stack[ 1]);
GENERATED
-# line 884 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 885 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += 2;
GENERATED break;
GENERATED /* may use stack[-2] ... stack[2] */
GENERATED
GENERATED
-# line 736 "src/vm/jit/verify/icmds.c"
+# line 734 "src/vm/jit/verify/icmds.cpp"
GENERATED /* we dup either 11 or 2 */
GENERATED if (IS_CAT1(stack[0]))
GENERATED CHECK_CAT1(stack[-1]);
GENERATED COPY_SLOT(stack[ 2], stack[-1]);
GENERATED COPY_SLOT(stack[ 1], stack[-2]);
GENERATED
-# line 910 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 911 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += 2;
GENERATED break;
GENERATED /* may use stack[-3] ... stack[2] */
GENERATED
GENERATED
-# line 750 "src/vm/jit/verify/icmds.c"
+# line 748 "src/vm/jit/verify/icmds.cpp"
GENERATED /* we dup either 11 or 2 */
GENERATED if (IS_CAT1(stack[0]))
GENERATED CHECK_CAT1(stack[-1]);
GENERATED COPY_SLOT(stack[ 2], stack[-2]);
GENERATED COPY_SLOT(stack[ 1], stack[-3]);
GENERATED
-# line 938 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 939 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += 2;
GENERATED break;
GENERATED /* may use stack[-1] ... stack[0] */
GENERATED
GENERATED
-# line 687 "src/vm/jit/verify/icmds.c"
+# line 685 "src/vm/jit/verify/icmds.cpp"
GENERATED CHECK_CAT1(stack[0]);
GENERATED CHECK_CAT1(stack[-1]);
GENERATED
GENERATED COPY_SLOT(stack[-1], stack[ 0]);
GENERATED COPY_SLOT(temp , stack[-1]);
GENERATED
-# line 960 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 961 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED /* may use stack[1] ... stack[1] */
GENERATED
GENERATED
-# line 391 "src/vm/jit/verify/icmds.c"
+# line 389 "src/vm/jit/verify/icmds.cpp"
GENERATED /* {RESULTNOW} */
GENERATED TYPECHECK_COUNT(stat_ins_branch);
GENERATED
GENERATED /* propagate stack and variables to the target block */
GENERATED REACH(IPTR->dst);
GENERATED
-# line 1264 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1265 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED /* may use stack[1] ... stack[2] */
GENERATED
GENERATED
-# line 397 "src/vm/jit/verify/icmds.c"
+# line 395 "src/vm/jit/verify/icmds.cpp"
GENERATED /* {RESULTNOW} */
GENERATED TYPECHECK_COUNT(stat_ins_branch);
GENERATED
GENERATED /* propagate stack and variables to the target block */
GENERATED REACH(IPTR->dst);
GENERATED
-# line 1298 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1299 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED /* may use stack[1] ... stack[2] */
GENERATED
GENERATED
-# line 403 "src/vm/jit/verify/icmds.c"
+# line 401 "src/vm/jit/verify/icmds.cpp"
GENERATED /* {RESULTNOW} */
GENERATED TYPECHECK_COUNT(stat_ins_branch);
GENERATED
GENERATED /* propagate stack and variables to the target block */
GENERATED REACH(IPTR->dst);
GENERATED
-# line 1330 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1331 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED superblockend = true;
GENERATED
GENERATED
-# line 388 "src/vm/jit/verify/icmds.c"
+# line 386 "src/vm/jit/verify/icmds.cpp"
GENERATED /* {RESULTNOW} */
GENERATED TYPECHECK_COUNT(stat_ins_branch);
GENERATED
GENERATED /* propagate stack and variables to the target block */
GENERATED REACH(IPTR->dst);
GENERATED
-# line 1352 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1353 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED /* may use stack[0] ... stack[0] */
GENERATED
GENERATED
-# line 558 "src/vm/jit/verify/icmds.c"
+# line 556 "src/vm/jit/verify/icmds.cpp"
GENERATED /* {RESULTNOW} */
GENERATED tbptr = IPTR->sx.s23.s3.jsrtarget.block;
GENERATED
GENERATED if (stack == NULL)
GENERATED EXCEPTION;
GENERATED
-# line 1381 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1382 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED superblockend = true;
GENERATED
GENERATED
-# line 579 "src/vm/jit/verify/icmds.c"
+# line 577 "src/vm/jit/verify/icmds.cpp"
GENERATED /* {RESULTNOW} */
GENERATED CHECK_LOCAL_TYPE(IPTR->s1.varindex, TYPE_RET);
GENERATED if (!TYPEINFO_IS_PRIMITIVE(STATE->locals[IPTR->s1.varindex].typeinfo))
GENERATED if (!typecheck_stackbased_ret(STATE, stack, stackfloor))
GENERATED EXCEPTION;
GENERATED
-# line 1403 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1404 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED /* may use stack[1] ... stack[1] */
GENERATED
GENERATED
-# line 429 "src/vm/jit/verify/icmds.c"
+# line 427 "src/vm/jit/verify/icmds.cpp"
GENERATED /* {RESULTNOW} */
GENERATED TYPECHECK_COUNT(stat_ins_switch);
GENERATED
GENERATED
GENERATED LOG("switch done");
GENERATED
-# line 1435 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1436 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED /* may use stack[1] ... stack[1] */
GENERATED
GENERATED
-# line 445 "src/vm/jit/verify/icmds.c"
+# line 443 "src/vm/jit/verify/icmds.cpp"
GENERATED /* {RESULTNOW} */
GENERATED TYPECHECK_COUNT(stat_ins_switch);
GENERATED
GENERATED
GENERATED LOG("switch done");
GENERATED
-# line 1470 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1471 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED /* may use stack[0] ... stack[0] */
GENERATED
GENERATED
-# line 511 "src/vm/jit/verify/icmds.c"
+# line 509 "src/vm/jit/verify/icmds.cpp"
GENERATED if (STATE->returntype.type != TYPE_INT)
GENERATED VERIFY_ERROR("Return type mismatch");
GENERATED
-# line 1492 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1493 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED goto return_tail;
GENERATED
GENERATED /* may use stack[-1] ... stack[0] */
GENERATED
GENERATED
-# line 516 "src/vm/jit/verify/icmds.c"
+# line 514 "src/vm/jit/verify/icmds.cpp"
GENERATED if (STATE->returntype.type != TYPE_LNG)
GENERATED VERIFY_ERROR("Return type mismatch");
GENERATED
-# line 1514 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1515 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED goto return_tail;
GENERATED
GENERATED /* may use stack[0] ... stack[0] */
GENERATED
GENERATED
-# line 521 "src/vm/jit/verify/icmds.c"
+# line 519 "src/vm/jit/verify/icmds.cpp"
GENERATED if (STATE->returntype.type != TYPE_FLT)
GENERATED VERIFY_ERROR("Return type mismatch");
GENERATED
-# line 1536 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1537 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED goto return_tail;
GENERATED
GENERATED /* may use stack[-1] ... stack[0] */
GENERATED
GENERATED
-# line 526 "src/vm/jit/verify/icmds.c"
+# line 524 "src/vm/jit/verify/icmds.cpp"
GENERATED if (STATE->returntype.type != TYPE_DBL)
GENERATED VERIFY_ERROR("Return type mismatch");
GENERATED
-# line 1558 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1559 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED goto return_tail;
GENERATED
GENERATED /* may use stack[0] ... stack[0] */
GENERATED
GENERATED
-# line 486 "src/vm/jit/verify/icmds.c"
+# line 484 "src/vm/jit/verify/icmds.cpp"
GENERATED TYPECHECK_COUNT(stat_ins_areturn);
GENERATED if (!TYPEINFO_IS_REFERENCE(OP1->typeinfo))
GENERATED VERIFY_ERROR("illegal instruction: ARETURN on non-reference");
GENERATED IPTR->flags.bits |= INS_FLAG_UNRESOLVED;
GENERATED }
GENERATED
-# line 1598 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1599 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED goto return_tail;
GENERATED
GENERATED superblockend = true;
GENERATED
GENERATED
-# line 531 "src/vm/jit/verify/icmds.c"
+# line 529 "src/vm/jit/verify/icmds.cpp"
GENERATED if (STATE->returntype.type != TYPE_VOID)
GENERATED VERIFY_ERROR("Return type mismatch");
GENERATED
GENERATED VERIFY_ERROR("<init> method does not initialize 'this'");
GENERATED }
GENERATED
-# line 1632 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1633 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED /* variable number of outslots! */
GENERATED
GENERATED
-# line 156 "src/vm/jit/verify/icmds.c"
+# line 154 "src/vm/jit/verify/icmds.cpp"
GENERATED stack = typecheck_stackbased_verify_fieldaccess(STATE, NULL, NULL, stack);
GENERATED if (stack == NULL)
GENERATED EXCEPTION;
GENERATED
-# line 1648 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1649 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED /* variable number of inslots! */
GENERATED
GENERATED
-# line 138 "src/vm/jit/verify/icmds.c"
+# line 136 "src/vm/jit/verify/icmds.cpp"
GENERATED CHECK_STACK_DEPTH(1);
GENERATED if (!IS_CAT1(stack[0])) {
GENERATED /* (stack depth >= 2 is guaranteed) */
GENERATED if (stack == NULL)
GENERATED EXCEPTION;
GENERATED
-# line 1669 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1670 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED /* variable number of outslots! */
GENERATED
GENERATED
-# line 149 "src/vm/jit/verify/icmds.c"
+# line 147 "src/vm/jit/verify/icmds.cpp"
GENERATED CHECK_STACK_TYPE(stack[0], TYPE_ADR);
GENERATED stack = typecheck_stackbased_verify_fieldaccess(STATE, stack, NULL, stack-1);
GENERATED if (stack == NULL)
GENERATED EXCEPTION;
GENERATED
-# line 1687 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1688 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED /* variable number of inslots! */
GENERATED
GENERATED
-# line 126 "src/vm/jit/verify/icmds.c"
+# line 124 "src/vm/jit/verify/icmds.cpp"
GENERATED CHECK_STACK_DEPTH(2);
GENERATED if (!IS_CAT1(stack[0])) {
GENERATED CHECK_STACK_DEPTH(3);
GENERATED if (stack == NULL)
GENERATED EXCEPTION;
GENERATED
-# line 1709 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1710 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED /* variable number of outslots! */
GENERATED
GENERATED
-# line 602 "src/vm/jit/verify/icmds.c"
+# line 600 "src/vm/jit/verify/icmds.cpp"
GENERATED TYPECHECK_COUNT(stat_ins_invoke);
GENERATED
GENERATED INSTRUCTION_GET_METHODDESC(IPTR, md);
GENERATED }
GENERATED TYPECHECK_COUNTIF(INSTRUCTION_IS_UNRESOLVED(IPTR), stat_ins_invoke_unresolved);
GENERATED
-# line 1750 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1751 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED /* may use stack[0] ... stack[0] */
GENERATED
GENERATED
-# line 231 "src/vm/jit/verify/icmds.c"
+# line 229 "src/vm/jit/verify/icmds.cpp"
GENERATED if (!TYPEINFO_MAYBE_ARRAY(OP1->typeinfo)
GENERATED && OP1->typeinfo.typeclass.cls != pseudo_class_Arraystub)
GENERATED VERIFY_ERROR("illegal instruction: ARRAYLENGTH on non-array");
GENERATED
-# line 1772 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1773 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack[0].type = TYPE_INT;
GENERATED break;
GENERATED /* may use stack[0] ... stack[0] */
GENERATED
GENERATED
-# line 465 "src/vm/jit/verify/icmds.c"
+# line 463 "src/vm/jit/verify/icmds.cpp"
GENERATED TYPECHECK_COUNT(stat_ins_athrow);
GENERATED r = typeinfo_is_assignable_to_class(&OP1->typeinfo,
GENERATED CLASSREF_OR_CLASSINFO(class_java_lang_Throwable));
GENERATED IPTR->flags.bits |= INS_FLAG_UNRESOLVED;
GENERATED }
GENERATED
-# line 1814 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1815 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack += -1;
GENERATED break;
GENERATED /* may use stack[0] ... stack[0] */
GENERATED
GENERATED
-# line 365 "src/vm/jit/verify/icmds.c"
+# line 363 "src/vm/jit/verify/icmds.cpp"
GENERATED
# if !defined(TYPECHECK_TYPEINFERER)
GENERATED /* returnAddress is not allowed */
GENERATED if (!typeinfo_init_class(&(DST->typeinfo),IPTR->sx.s23.s3.c))
GENERATED EXCEPTION;
GENERATED
-# line 1848 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1849 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED /* may use stack[0] ... stack[0] */
GENERATED
GENERATED
-# line 377 "src/vm/jit/verify/icmds.c"
+# line 375 "src/vm/jit/verify/icmds.cpp"
GENERATED /* returnAddress is not allowed */
GENERATED if (!TYPEINFO_IS_REFERENCE(OP1->typeinfo))
GENERATED VERIFY_ERROR("Illegal instruction: INSTANCEOF on non-reference");
GENERATED
GENERATED /* XXX should propagate type information to the following if-branches */
GENERATED
-# line 1877 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1878 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED stack[0].type = TYPE_INT;
GENERATED break;
GENERATED /* variable number of inslots! */
GENERATED
GENERATED
-# line 640 "src/vm/jit/verify/icmds.c"
+# line 638 "src/vm/jit/verify/icmds.cpp"
GENERATED if (!typecheck_stackbased_multianewarray(STATE, stack, stackfloor))
GENERATED EXCEPTION;
GENERATED stack -= (IPTR->s1.argcount - 1);
GENERATED stack[0].type = TYPE_ADR;
GENERATED
-# line 1900 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1901 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED /* may use stack[1] ... stack[1] */
GENERATED
GENERATED
-# line 389 "src/vm/jit/verify/icmds.c"
+# line 387 "src/vm/jit/verify/icmds.cpp"
GENERATED /* {RESULTNOW} */
GENERATED TYPECHECK_COUNT(stat_ins_branch);
GENERATED
GENERATED /* propagate stack and variables to the target block */
GENERATED REACH(IPTR->dst);
GENERATED
-# line 1924 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1925 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED
GENERATED /* variable number of outslots! */
GENERATED
GENERATED
-# line 656 "src/vm/jit/verify/icmds.c"
+# line 654 "src/vm/jit/verify/icmds.cpp"
GENERATED TYPECHECK_COUNT(stat_ins_builtin);
GENERATED if (!typecheck_stackbased_verify_builtin(STATE, stack, stackfloor))
GENERATED EXCEPTION;
GENERATED }
GENERATED }
GENERATED
-# line 1956 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
+# line 1957 "src/vm/jit/verify/typecheck-stackbased-gen.inc"
GENERATED
GENERATED break;
GENERATED