- Move the RET and RETI final flag into the high bit of the destination selector.

SVN r3922 (scripting)
This commit is contained in:
Randy Heit 2012-10-29 01:11:24 +00:00
parent 35ba5b79d3
commit c2e700f116
5 changed files with 35 additions and 27 deletions

View file

@ -3995,7 +3995,7 @@ ExpEmit FxDamageValue::Emit(VMFunctionBuilder *build)
assert(emitval.RegType == REGT_INT); assert(emitval.RegType == REGT_INT);
build->Emit(OP_RET, 0, REGT_INT | (emitval.Konst ? REGT_KONST : 0), emitval.RegNum); build->Emit(OP_RET, 0, REGT_INT | (emitval.Konst ? REGT_KONST : 0), emitval.RegNum);
} }
build->Emit(OP_RETI, 1, 0x8000 | (int)Calculated); build->Emit(OP_RETI, 1 | RET_FINAL, Calculated);
return ExpEmit(); return ExpEmit();
} }

View file

@ -119,12 +119,14 @@ enum
REGT_KONST = 4, REGT_KONST = 4,
REGT_MULTIREG = 8, // (e.g. a vector) REGT_MULTIREG = 8, // (e.g. a vector)
REGT_FINAL = 16, // used with RET: this is the final return value
REGT_ADDROF = 32, // used with PARAM: pass address of this register REGT_ADDROF = 32, // used with PARAM: pass address of this register
REGT_NIL = 255 // parameter was omitted REGT_NIL = 255 // parameter was omitted
}; };
#define RET_FINAL (0x80) // Used with RET and RETI in the destination slot: this is the final return value
// Tags for address registers // Tags for address registers
enum enum
{ {

View file

@ -501,13 +501,14 @@ size_t VMFunctionBuilder::EmitLoadInt(int regnum, int value)
size_t VMFunctionBuilder::EmitRetInt(int retnum, bool final, int value) size_t VMFunctionBuilder::EmitRetInt(int retnum, bool final, int value)
{ {
if (value >= -16384 && value <= 16383) assert(retnum >= 0 && retnum <= 127);
if (value >= -32768 && value <= 32767)
{ {
return Emit(OP_RETI, retnum, value | (final << 15)); return Emit(OP_RETI, retnum | (final << 7), value);
} }
else else
{ {
return Emit(OP_RETI, retnum, REGT_INT | REGT_KONST | (final ? REGT_FINAL : 0), GetConstantInt(value)); return Emit(OP_RET, retnum | (final << 7), REGT_INT | REGT_KONST, GetConstantInt(value));
} }
} }

View file

@ -231,15 +231,15 @@ void VMDisasm(FILE *out, const VMOP *code, int codesize, const VMScriptFunction
case OP_RET: case OP_RET:
if (code[i].b != REGT_NIL) if (code[i].b != REGT_NIL)
{ {
if ((code[i].b & REGT_FINAL) && a == 0) if (a == RET_FINAL)
{ {
col = print_reg(out, 0, code[i].i16u, MODE_PARAM, 16, func); col = print_reg(out, 0, code[i].i16u, MODE_PARAM, 16, func);
} }
else else
{ {
col = print_reg(out, 0, a, (mode & MODE_ATYPE) >> MODE_ASHIFT, 24, func); col = print_reg(out, 0, a & ~RET_FINAL, (mode & MODE_ATYPE) >> MODE_ASHIFT, 24, func);
col += print_reg(out, col, code[i].i16u, MODE_PARAM, 16, func); col += print_reg(out, col, code[i].i16u, MODE_PARAM, 16, func);
if (code[i].b & REGT_FINAL) if (a & RET_FINAL)
{ {
col += printf_wrapper(out, " [final]"); col += printf_wrapper(out, " [final]");
} }
@ -248,15 +248,15 @@ void VMDisasm(FILE *out, const VMOP *code, int codesize, const VMScriptFunction
break; break;
case OP_RETI: case OP_RETI:
if (a == 0 && code[i].i16 & 0x8000) if (a == RET_FINAL)
{ {
col = printf_wrapper(out, "%d", (code[i].i16 << 17) >> 17); col = printf_wrapper(out, "%d", code[i].i16);
} }
else else
{ {
col = print_reg(out, 0, a, (mode & MODE_ATYPE) >> MODE_ASHIFT, 24, func); col = print_reg(out, 0, a & ~RET_FINAL, (mode & MODE_ATYPE) >> MODE_ASHIFT, 24, func);
col += print_reg(out, col, (code[i].i16 << 17) >> 17, MODE_IMMS, 16, func); col += print_reg(out, col, code[i].i16, MODE_IMMS, 16, func);
if (code[i].i16 & 0x8000) if (a & RET_FINAL)
{ {
col += printf_wrapper(out, " [final]"); col += printf_wrapper(out, " [final]");
} }

View file

@ -584,25 +584,30 @@ begin:
return 0; return 0;
} }
assert(ret != NULL || numret == 0); assert(ret != NULL || numret == 0);
if (a < numret)
{ {
SetReturn(reg, f, &ret[a], B, C); int retnum = a & ~RET_FINAL;
} if (retnum < numret)
if (B & REGT_FINAL) {
{ SetReturn(reg, f, &ret[retnum], B, C);
return a < numret ? a + 1 : numret; }
if (a & RET_FINAL)
{
return retnum < numret ? retnum + 1 : numret;
}
} }
NEXTOP; NEXTOP;
OP(RETI): OP(RETI):
assert(ret != NULL || numret == 0); assert(ret != NULL || numret == 0);
if (a < numret)
{ {
// Shifting by 17 to wipe out the final bit int retnum = a & ~RET_FINAL;
ret[a].SetInt(((pc[-1].i16) << 17) >> 17); if (retnum < numret)
} {
if (pc[-1].i16 & 0x8000) ret[retnum].SetInt(BCs);
{ }
return a < numret ? a + 1 : numret; if (a & RET_FINAL)
{
return retnum < numret ? retnum + 1 : numret;
}
} }
NEXTOP; NEXTOP;
OP(RESULT): OP(RESULT):
@ -1490,7 +1495,7 @@ static void SetReturn(const VMRegisters &reg, VMFrame *frame, VMReturn *ret, VM_
VMScriptFunction *func = static_cast<VMScriptFunction *>(frame->Func); VMScriptFunction *func = static_cast<VMScriptFunction *>(frame->Func);
assert(func != NULL && !func->Native); assert(func != NULL && !func->Native);
assert((regtype & ~(REGT_KONST | REGT_FINAL)) == ret->RegType); assert((regtype & ~REGT_KONST) == ret->RegType);
switch (regtype & REGT_TYPE) switch (regtype & REGT_TYPE)
{ {