Interpreter Generating Extension

Specialize_interpret(byteCodes, pc, vsp) {

...

for (;;) {

switch (byteCodes[pc]) {

case PUSH:

emit “valueStack[++vsp] = byteCodes[pc+1];”;

pc += 2; break;

case ADD:

emit “valueStack[vsp-1] =

valueStack[vsp] + valueStack[vsp-1];”;

vsp--; pc++; break;

case NEQ:

emit “if (valueStack[vsp] != 0) goto ?;”

// branch fall-through (else)

pc += 2; Specialize_interpret(byteCodes, pc, vsp);

// branch taken (then)

pc = byteCodes[pc+1]; break;

case RETURN:

emit “return valueStack[vsp];”;

return;

}

}

}

Previous slide

Next slide

Back to first slide

View graphic version