* src/vm/jit/verify/typecheck-stackbased-gen.inc: Regenerated.
authorMichael Starzinger <michi@complang.tuwien.ac.at>
Sat, 19 Sep 2009 21:26:25 +0000 (23:26 +0200)
committerMichael Starzinger <michi@complang.tuwien.ac.at>
Sat, 19 Sep 2009 21:26:25 +0000 (23:26 +0200)
* src/vm/jit/verify/typecheck-typeinferer-gen.inc: Likewise.
* src/vm/jit/verify/typecheck-variablesbased-gen.inc: Likewise.

src/vm/jit/verify/typecheck-stackbased-gen.inc
src/vm/jit/verify/typecheck-typeinferer-gen.inc
src/vm/jit/verify/typecheck-variablesbased-gen.inc

index 871526463c2e5a0c9531ffa109ef6100c1006c76..dfcd05de7632e952f77a3cf575e82b1bcff6fc0e 100644 (file)
@@ -1,6 +1,7 @@
 #define GENERATED
 
   GENERATED  case ICMD_NOP:
+  GENERATED  case ICMD_BREAKPOINT:
   GENERATED    /* (--) */
   GENERATED    break;
   GENERATED  
@@ -14,7 +15,7 @@
   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);
@@ -28,7 +29,7 @@
   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  
index 553bc1421b78fded26782037f5b0fe83adb779b5..0a12ee326e3a942fe207b1e1a8a28f6b4ae2ce79 100644 (file)
@@ -1,6 +1,7 @@
 #define GENERATED
 
   GENERATED  case ICMD_NOP:
+  GENERATED  case ICMD_BREAKPOINT:
   GENERATED  case ICMD_INLINE_START:
   GENERATED  case ICMD_INLINE_END:
   GENERATED  case ICMD_INLINE_BODY:
@@ -15,7 +16,7 @@
 #              define DST  VAROP(iptr->dst)
   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);
@@ -29,7 +30,7 @@
   GENERATED            }
   GENERATED    }
   GENERATED  
-#              line 33 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 34 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_ADR;
   GENERATED    break;
 #              define DST  VAROP(iptr->dst)
   GENERATED  
   GENERATED  
-#              line 82 "src/vm/jit/verify/icmds.c"
+#              line 80 "src/vm/jit/verify/icmds.cpp"
   GENERATED    TYPECHECK_COUNT(stat_ins_stack);
   GENERATED    COPYTYPE(IPTR->s1, IPTR->dst);
   GENERATED    DST->type = OP1->type;
   GENERATED  
-#              line 163 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 164 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define DST  VAROP(iptr->dst)
   GENERATED  
   GENERATED  
-#              line 81 "src/vm/jit/verify/icmds.c"
+#              line 79 "src/vm/jit/verify/icmds.cpp"
   GENERATED    TYPECHECK_COUNT(stat_ins_stack);
   GENERATED    COPYTYPE(IPTR->s1, IPTR->dst);
   GENERATED    DST->type = OP1->type;
   GENERATED  
-#              line 186 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 187 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define DST  VAROP(iptr->dst)
   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 241 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 242 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_ADR;
   GENERATED    break;
 #              define DST  VAROP(iptr->dst)
   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 309 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 310 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_ADR;
   GENERATED    break;
 #              define OP1  VAROP(iptr->s1)
   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 356 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 357 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   GENERATED  
   GENERATED  
-#              line 406 "src/vm/jit/verify/icmds.c"
+#              line 404 "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 406 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 407 "src/vm/jit/verify/typecheck-typeinferer-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 466 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 467 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define DST  VAROP(iptr->dst)
   GENERATED  
   GENERATED  
-#              line 553 "src/vm/jit/verify/icmds.c"
+#              line 551 "src/vm/jit/verify/icmds.cpp"
   GENERATED    TYPEINFO_INIT_RETURNADDRESS(DST->typeinfo, BPTR->next);
   GENERATED    REACH(IPTR->sx.s23.s3.jsrtarget);
   GENERATED  
-#              line 482 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 483 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_RET;
   GENERATED    break;
   GENERATED    superblockend = true;
   GENERATED  
   GENERATED  
-#              line 570 "src/vm/jit/verify/icmds.c"
+#              line 568 "src/vm/jit/verify/icmds.cpp"
   GENERATED  
 #            if !defined(TYPECHECK_TYPEINFERER)
   GENERATED    /* check returnAddress variable */
 #            endif
   GENERATED    REACH(IPTR->dst);
   GENERATED  
-#              line 506 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 507 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 533 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 534 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 563 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 564 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define DST  VAROP(iptr->dst)
   GENERATED  
   GENERATED  
-#              line 222 "src/vm/jit/verify/icmds.c"
+#              line 220 "src/vm/jit/verify/icmds.cpp"
   GENERATED    if (!handle_fieldaccess(state, NULL, NULL))
   GENERATED            return false;
   GENERATED    maythrow = true;
   GENERATED  
-#              line 601 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 602 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define DST  VAROP(iptr->dst)
   GENERATED  
   GENERATED  
-#              line 216 "src/vm/jit/verify/icmds.c"
+#              line 214 "src/vm/jit/verify/icmds.cpp"
   GENERATED    if (!handle_fieldaccess(state, VAROP(iptr->s1), NULL))
   GENERATED            return false;
   GENERATED    maythrow = true;
   GENERATED  
-#              line 623 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 624 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   GENERATED  
   GENERATED  
-#              line 592 "src/vm/jit/verify/icmds.c"
+#              line 590 "src/vm/jit/verify/icmds.cpp"
   GENERATED    TYPECHECK_COUNT(stat_ins_invoke);
   GENERATED    if (!handle_invocation(state))
   GENERATED            EXCEPTION;
   GENERATED    TYPECHECK_COUNTIF(INSTRUCTION_IS_UNRESOLVED(IPTR), stat_ins_invoke_unresolved);
   GENERATED  
-#              line 649 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 650 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define DST  VAROP(iptr->dst)
   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 679 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 680 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_ADR;
   GENERATED    break;
 #              define DST  VAROP(iptr->dst)
   GENERATED  
   GENERATED  
-#              line 635 "src/vm/jit/verify/icmds.c"
+#              line 633 "src/vm/jit/verify/icmds.cpp"
   GENERATED    if (!handle_multianewarray(STATE))
   GENERATED            EXCEPTION;
   GENERATED  
-#              line 703 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 704 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_ADR;
   GENERATED    break;
 #              define OP1  VAROP(iptr->s1)
   GENERATED  
   GENERATED  
-#              line 650 "src/vm/jit/verify/icmds.c"
+#              line 648 "src/vm/jit/verify/icmds.cpp"
   GENERATED    TYPECHECK_COUNT(stat_ins_builtin);
   GENERATED    if (!handle_builtin(state))
   GENERATED            EXCEPTION;
   GENERATED  
-#              line 726 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
+#              line 727 "src/vm/jit/verify/typecheck-typeinferer-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
index a4f32b8a42a6665e4021071fadc1f544794c3121..f62618403b917d114da523c2e05594f9164c935d 100644 (file)
@@ -1,6 +1,7 @@
 #define GENERATED
 
   GENERATED  case ICMD_NOP:
+  GENERATED  case ICMD_BREAKPOINT:
   GENERATED  case ICMD_INLINE_START:
   GENERATED  case ICMD_INLINE_END:
   GENERATED  case ICMD_INLINE_BODY:
@@ -15,7 +16,7 @@
 #              define DST  VAROP(iptr->dst)
   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);
@@ -29,7 +30,7 @@
   GENERATED            }
   GENERATED    }
   GENERATED  
-#              line 33 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 34 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_ADR;
   GENERATED    break;
 #              define DST  VAROP(iptr->dst)
   GENERATED  
   GENERATED  
-#              line 82 "src/vm/jit/verify/icmds.c"
+#              line 80 "src/vm/jit/verify/icmds.cpp"
   GENERATED    TYPECHECK_COUNT(stat_ins_stack);
   GENERATED    COPYTYPE(IPTR->s1, IPTR->dst);
   GENERATED    DST->type = OP1->type;
   GENERATED  
-#              line 163 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 164 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define DST  VAROP(iptr->dst)
   GENERATED  
   GENERATED  
-#              line 81 "src/vm/jit/verify/icmds.c"
+#              line 79 "src/vm/jit/verify/icmds.cpp"
   GENERATED    TYPECHECK_COUNT(stat_ins_stack);
   GENERATED    COPYTYPE(IPTR->s1, IPTR->dst);
   GENERATED    DST->type = OP1->type;
   GENERATED  
-#              line 186 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 187 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define DST  VAROP(iptr->dst)
   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 246 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 247 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_ADR;
   GENERATED    break;
 #              define DST  VAROP(iptr->dst)
   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 270 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 271 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_INT;
   GENERATED    break;
 #              define DST  VAROP(iptr->dst)
   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 294 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 295 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_LNG;
   GENERATED    break;
 #              define DST  VAROP(iptr->dst)
   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 318 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 319 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_FLT;
   GENERATED    break;
 #              define DST  VAROP(iptr->dst)
   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 342 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 343 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_DBL;
   GENERATED    break;
 #              define DST  VAROP(iptr->dst)
   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 373 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 374 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_ADR;
   GENERATED    break;
 #              define DST  VAROP(iptr->dst)
   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 398 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 399 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_INT;
   GENERATED    break;
 #              define DST  VAROP(iptr->dst)
   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 422 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 423 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_INT;
   GENERATED    break;
 #              define DST  VAROP(iptr->dst)
   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 446 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 447 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_INT;
   GENERATED    break;
 #              define OP1  VAROP(iptr->s1)
   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 493 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 494 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   GENERATED  
   GENERATED  
-#              line 406 "src/vm/jit/verify/icmds.c"
+#              line 404 "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 543 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 544 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 562 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 563 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 581 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 582 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 600 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 601 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 619 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 620 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 642 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 643 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 662 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 663 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 681 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 682 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 700 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 701 "src/vm/jit/verify/typecheck-variablesbased-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 752 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 753 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define DST  VAROP(iptr->dst)
   GENERATED  
   GENERATED  
-#              line 553 "src/vm/jit/verify/icmds.c"
+#              line 551 "src/vm/jit/verify/icmds.cpp"
   GENERATED    TYPEINFO_INIT_RETURNADDRESS(DST->typeinfo, BPTR->next);
   GENERATED    REACH(IPTR->sx.s23.s3.jsrtarget);
   GENERATED  
-#              line 768 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 769 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_RET;
   GENERATED    break;
   GENERATED    superblockend = true;
   GENERATED  
   GENERATED  
-#              line 570 "src/vm/jit/verify/icmds.c"
+#              line 568 "src/vm/jit/verify/icmds.cpp"
   GENERATED  
 #            if !defined(TYPECHECK_TYPEINFERER)
   GENERATED    /* check returnAddress variable */
 #            endif
   GENERATED    REACH(IPTR->dst);
   GENERATED  
-#              line 792 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 793 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 819 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 820 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 849 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 850 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 868 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 869 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    goto return_tail;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 887 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 888 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    goto return_tail;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 906 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 907 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    goto return_tail;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 925 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 926 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    goto return_tail;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   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 962 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 963 "src/vm/jit/verify/typecheck-variablesbased-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 996 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 997 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define DST  VAROP(iptr->dst)
   GENERATED  
   GENERATED  
-#              line 222 "src/vm/jit/verify/icmds.c"
+#              line 220 "src/vm/jit/verify/icmds.cpp"
   GENERATED    if (!handle_fieldaccess(state, NULL, NULL))
   GENERATED            return false;
   GENERATED    maythrow = true;
   GENERATED  
-#              line 1013 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1014 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   GENERATED  
   GENERATED  
-#              line 168 "src/vm/jit/verify/icmds.c"
+#              line 166 "src/vm/jit/verify/icmds.cpp"
   GENERATED    if (!handle_fieldaccess(state, NULL, VAROP(iptr->s1)))
   GENERATED            return false;
   GENERATED    maythrow = true;
   GENERATED  
-#              line 1033 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1034 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define DST  VAROP(iptr->dst)
   GENERATED  
   GENERATED  
-#              line 216 "src/vm/jit/verify/icmds.c"
+#              line 214 "src/vm/jit/verify/icmds.cpp"
   GENERATED    if (!handle_fieldaccess(state, VAROP(iptr->s1), NULL))
   GENERATED            return false;
   GENERATED    maythrow = true;
   GENERATED  
-#              line 1055 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1056 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   GENERATED  
   GENERATED  
-#              line 162 "src/vm/jit/verify/icmds.c"
+#              line 160 "src/vm/jit/verify/icmds.cpp"
   GENERATED    if (!handle_fieldaccess(state, VAROP(iptr->s1), VAROP(iptr->sx.s23.s2)))
   GENERATED            return false;
   GENERATED    maythrow = true;
   GENERATED  
-#              line 1077 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1078 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   GENERATED  
   GENERATED  
-#              line 592 "src/vm/jit/verify/icmds.c"
+#              line 590 "src/vm/jit/verify/icmds.cpp"
   GENERATED    TYPECHECK_COUNT(stat_ins_invoke);
   GENERATED    if (!handle_invocation(state))
   GENERATED            EXCEPTION;
   GENERATED    TYPECHECK_COUNTIF(INSTRUCTION_IS_UNRESOLVED(IPTR), stat_ins_invoke_unresolved);
   GENERATED  
-#              line 1101 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1102 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define DST  VAROP(iptr->dst)
   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 1123 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1124 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_INT;
   GENERATED    break;
 #              define OP1  VAROP(iptr->s1)
   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 1162 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1163 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define DST  VAROP(iptr->dst)
   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 1192 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1193 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_ADR;
   GENERATED    break;
 #              define DST  VAROP(iptr->dst)
   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 1219 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1220 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_INT;
   GENERATED    break;
 #              define DST  VAROP(iptr->dst)
   GENERATED  
   GENERATED  
-#              line 635 "src/vm/jit/verify/icmds.c"
+#              line 633 "src/vm/jit/verify/icmds.cpp"
   GENERATED    if (!handle_multianewarray(STATE))
   GENERATED            EXCEPTION;
   GENERATED  
-#              line 1243 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1244 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    VAROP(iptr->dst)->type = TYPE_ADR;
   GENERATED    break;
 #              define OP1  VAROP(iptr->s1)
   GENERATED  
   GENERATED  
-#              line 318 "src/vm/jit/verify/icmds.c"
+#              line 316 "src/vm/jit/verify/icmds.cpp"
   GENERATED    if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo, ARRAYTYPE_INT))
   GENERATED            VERIFY_ERROR("Array type mismatch");
   GENERATED  
-#              line 1265 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1266 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   GENERATED  
   GENERATED  
-#              line 323 "src/vm/jit/verify/icmds.c"
+#              line 321 "src/vm/jit/verify/icmds.cpp"
   GENERATED    if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo, ARRAYTYPE_LONG))
   GENERATED            VERIFY_ERROR("Array type mismatch");
   GENERATED  
-#              line 1284 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1285 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   GENERATED  
   GENERATED  
-#              line 328 "src/vm/jit/verify/icmds.c"
+#              line 326 "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 1312 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1313 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   GENERATED  
   GENERATED  
-#              line 334 "src/vm/jit/verify/icmds.c"
+#              line 332 "src/vm/jit/verify/icmds.cpp"
   GENERATED    if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo, ARRAYTYPE_CHAR))
   GENERATED            VERIFY_ERROR("Array type mismatch");
   GENERATED  
-#              line 1331 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1332 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   GENERATED  
   GENERATED  
-#              line 339 "src/vm/jit/verify/icmds.c"
+#              line 337 "src/vm/jit/verify/icmds.cpp"
   GENERATED    if (!TYPEINFO_MAYBE_PRIMITIVE_ARRAY(OP1->typeinfo, ARRAYTYPE_SHORT))
   GENERATED            VERIFY_ERROR("Array type mismatch");
   GENERATED  
-#              line 1350 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1351 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
   GENERATED    maythrow = true;
   GENERATED  
   GENERATED  
-#              line 195 "src/vm/jit/verify/icmds.c"
+#              line 193 "src/vm/jit/verify/icmds.cpp"
   GENERATED    /* XXX this mess will go away with const operands */
   GENERATED    INSTRUCTION_GET_FIELDREF(state->iptr, fieldref);
   GENERATED    constvalue.type = fieldref->parseddesc.fd->type;
   GENERATED            return false;
   GENERATED    maythrow = true;
   GENERATED  
-#              line 1383 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1384 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   GENERATED  
   GENERATED  
-#              line 174 "src/vm/jit/verify/icmds.c"
+#              line 172 "src/vm/jit/verify/icmds.cpp"
   GENERATED    /* XXX this mess will go away with const operands */
   GENERATED    INSTRUCTION_GET_FIELDREF(state->iptr, fieldref);
   GENERATED    constvalue.type = fieldref->parseddesc.fd->type;
   GENERATED            return false;
   GENERATED    maythrow = true;
   GENERATED  
-#              line 1415 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1416 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED  
 #              define OP1  VAROP(iptr->s1)
   GENERATED  
   GENERATED  
-#              line 650 "src/vm/jit/verify/icmds.c"
+#              line 648 "src/vm/jit/verify/icmds.cpp"
   GENERATED    TYPECHECK_COUNT(stat_ins_builtin);
   GENERATED    if (!handle_builtin(state))
   GENERATED            EXCEPTION;
   GENERATED  
-#              line 1435 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
+#              line 1436 "src/vm/jit/verify/typecheck-variablesbased-gen.inc"
   GENERATED  
   GENERATED    break;
   GENERATED