diff options
Diffstat (limited to 'VP-disasm.lua')
| -rw-r--r-- | VP-disasm.lua | 245 |
1 files changed, 245 insertions, 0 deletions
diff --git a/VP-disasm.lua b/VP-disasm.lua new file mode 100644 index 0000000..204b280 --- /dev/null +++ b/VP-disasm.lua @@ -0,0 +1,245 @@ +local function rd(self, addr) + self.fin:seek(addr * 4) + return self.fin:readU32() +end + +local function rdn(self) + local r = self:rd(self.PC) + self.PC = self.PC + 1 + return r +end + +local opcodes_names = { +-- 0x.0 0x.1 0x.2 0x.3 0x.4 0x.5 0x.6 0x.7 0x.8 0x.9 0x.a 0x.b 0x.c 0x.d 0x.e 0x.f + "SETV", "SETV", nil, nil, nil, nil, nil, nil, "MULG0","ADDG0","PSH", nil, nil, "PSH1?",nil, -- 0x0. + nil, nil, "PSH2?","PSHI", "CALL", "JMP", "JMPZ", "RET", "SETD", "PSH3?",nil, nil, nil, nil, nil, nil, -- 0x1. + nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, -- 0x2. + nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, -- 0x3. + nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, -- 0x4. + nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, -- 0x5. + nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, -- 0x6. + nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, -- 0x7. + "STTRG",nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, "SSTOP",nil, nil, nil, -- 0x8. + nil, nil, "TBOX", "TBOX2",nil, nil, nil, nil, "TBOX3",nil, nil, nil, nil, nil, "SETRM","CHGRM",-- 0x9. + nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, -- 0xa. + nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, -- 0xb. + nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, -- 0xc. + nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, -- 0xd. + nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, -- 0xe. + nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, nil, -- 0xf. +} + +local opcodes_imms = { +-- 0 1 2 3 4 5 6 7 8 9 a b c d e f + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- 0 + 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, -- 1 + 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, -- 2 + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, -- 3 + 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- 4 + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- 5 + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- 6 + 0, 2, 1, 2, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- 7 + 3, 0, 1, 2, 0, 4, 1, 1, 1, 0, 2, 0, 1, 0, 0, 2, -- 8 + 0, 0, 3, 3, 3, 0, 0, 0, 3, 0, 0, 0, 0, 1, 1, 2, -- 9 + 2, 2, 1, 2, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, -- a + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, -- b + 2, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, -- c + 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, -- d + 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, -- e + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- f +} + +-- 0 = nothing +-- 1 = low8 +-- 2 = low16 +-- 3 = low23 +-- 4 = high8 +-- 5 = var_idx +-- 6 = var_idx2 +-- 7 = low8 + high8 + +local opcodes_self_vals = { +-- 0 1 2 3 4 5 6 7 8 9 a b c d e f + 5, 5, 0, 0, 0, 0, 0, 0, 3, 3, 5, 0, 0, 2, 0, -- 0 + 0, 0, 3, 0, 3, 3, 3, 0, 6, 0, 0, 0, 0, 0, 0, 0, -- 1 + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- 2 + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- 3 + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- 4 + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- 5 + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- 6 + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- 7 + 2, 2, 2, 0, 0, 2, 2, 0, 2, 0, 0, 0, 0, 2, 1, 0, -- 8 + 0, 0, 2, 2, 2, 0, 0, 0, 2, 0, 0, 0, 0, 7, 2, 0, -- 9 + 0, 2, 0, 0, 0, 0, 0, 0, 2, 0, 0, 2, 0, 0, 0, 0, -- a + 0, 0, 7, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, -- b + 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- c + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- d + 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- e + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- f +} + +local opcodes_nparams = { +-- 0 1 2 3 4 5 6 7 8 9 a b c d e f + 2, 2, 0, 0, 0, 0, 0, 0, 2, 2, 1, 0, 0, 1, 0, -- 0 + 0, 0, 1, 1, 1, 1, 2, 0, 2, 1, 1, 0, 0, 0, 0, 0, -- 1 + 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 0, -- 2 + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, -- 3 + 0, 1, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- 4 + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- 5 + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- 6 + 0, 0, 1, 3, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, -- 7 + 4, 1, 2, 4, 0, 5, 2, 2, 2, 0, 3, 0, 1, 1, 1, 5, -- 8 + 0, 0, 7, 7, 6, 0, 0, 0, 7, 0, 0, 0, 0, 3, 2, 4, -- 9 + 6, 2, 2, 6, 0, 0, 0, 0, 2, 1, 0, 1, 0, 0, 0, 0, -- a + 0, 0, 2, 0, 0, 0, 0, 0, 1, 0, 0, 2, 0, 0, 0, 0, -- b + 2, 0, 3, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, -- c + 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 1, 0, 0, 1, 0, 0, -- d + 1, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 1, 0, 0, 0, 0, -- e + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -- f +} + +local opcodes_known = { +-- 0 1 2 3 4 5 6 7 8 9 a b c d e f + true, true, false, false, false, false, false, false, true, true, true, false, false, true, false, -- 0 + false, false, true, true, true, true, true, true, true, true, true, false, false, false, false, false, -- 1 + false, true, true, true, true, true, true, true, true, true, true, false, false, false, true, false, -- 2 + false, false, false, false, false, false, false, false, false, false, false, false, false, true, false, true, -- 3 + false, true, true, true, true, true, false, false, false, true, false, false, false, false, false, false, -- 4 + false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, -- 5 + false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, -- 6 + true, true, true, true, true, true, true, false, true, false, false, true, true, false, true, false, -- 7 + true, true, true, true, false, true, true, true, true, true, true, false, true, true, true, true, -- 8 + false, true, true, true, true, false, false, false, true, false, false, false, false, true, true, true, -- 9 + true, true, true, true, false, false, false, false, true, true, false, true, false, false, false, false, -- a + true, false, true, false, false, false, false, false, true, false, false, true, false, false, true, false, -- b + true, false, true, false, false, false, false, false, false, true, false, false, false, false, false, false, -- c + false, false, false, false, false, false, false, false, false, true, true, false, false, true, true, false, -- d + true, false, false, false, false, false, true, false, false, false, false, true, false, false, false, false, -- e + false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, -- f +} + +local opcodes_fromstack = { +-- 0 1 2 3 4 5 6 7 8 9 a b c d e f + false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, -- 0 + false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, -- 1 + false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, -- 2 + false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, -- 3 + false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, -- 4 + false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, -- 5 + false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, -- 6 + false, true, true, true, false, true, false, false, false, false, false, false, false, false, false, false, -- 7 + true, true, true, true, false, true, true, true, true, false, true, false, true, false, true, true, -- 8 + false, false, true, true, true, false, false, false, true, false, false, false, false, true, true, true, -- 9 + true, true, true, true, false, false, false, false, true, true, false, true, false, false, false, false, -- a + false, false, true, false, false, false, false, false, false, false, false, true, false, false, false, false, -- b + true, false, true, false, false, false, false, false, false, true, false, false, false, false, false, false, -- c + false, false, false, false, false, false, false, false, false, true, true, false, false, true, false, false, -- d + false, false, false, false, false, false, true, false, false, false, false, true, false, false, false, false, -- e + false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, -- f +} + +local function disasm_opcode(self) + self.oPC = self.PC + self.opcode = self:rdn() + self.code = shr(self.opcode, 24) + self.imm8 = andB(self.opcode, 0xff) + self.imm16 = andB(self.opcode, 0xffff) + self.imm23 = andB(self.opcode, 0x7fffff) + self.high8 = andB(shr(self.opcode, 8), 0xff) + self.idx2 = shr(shl(self.opcode, 9), 12) + self.flags = {} + self.flags.is_local = andB(self.opcode, 0x800000) ~= 0 + self.flags.from_stack = andB(self.opcode, 0x100000) ~= 0 + + self.out:write(string.format("%08X %08X ", self.oPC, self.opcode)) + + if self.code == 0 then + self.out:write("OPCODE00?!") + return + end + + local name = opcodes_names[self.code] + + if name then + self.out:write(string.format("%-8s", name)) + elseif opcodes_known[self.code] then + self.out:write(string.format("OP_%02X ", self.code)) + else + self.out:write(string.format("UNK%02X ", self.code)) + end + + if self.flags.from_stack and opcodes_fromstack[self.code] then + for i = 1, opcodes_nparams[self.code] do + self.out:write("POP()") + if i ~= opcodes_nparams[self.code] then self.out:write(", ") end + end + else + local nargs = opcodes_nparams[self.code] + local sv = opcodes_self_vals[self.code] + if false then + -- 0 = nothing + -- 1 = low8 + -- 2 = low16 + -- 3 = low23 + -- 4 = high8 + -- 5 = var_idx + -- 6 = var_idx2 + -- 7 = low8 + high8 + elseif sv == 1 then + self.out:write(string.format("%02X", self.imm8)) + nargs = nargs - 1 + elseif sv == 2 then + self.out:write(string.format("%04X", self.imm16)) + nargs = nargs - 1 + elseif sv == 3 then + self.out:write(string.format("%08X", self.imm23)) + nargs = nargs - 1 + elseif sv == 4 then + self.out:write(string.format("%02X", self.high8)) + nargs = nargs - 1 + elseif sv == 5 then + self.out:write(string.format("%s[%04X]", self.flags.is_local and "locl" or "glbl", self.imm16)) + nargs = nargs - 1 + elseif sv == 6 then + self.out:write(string.format("%s[%04X]", self.flags.is_local and "locl" or "glbl", self.idx2)) + nargs = nargs - 1 + elseif sv == 7 then + self.out:write(string.format("%02X, %02X", self.imm8, self.high8)) + nargs = nargs - 2 + end + + if sv ~= 0 and nargs ~= 0 then + self.out:write(", ") + end + + for i = 1, opcodes_imms[self.code] do + self.out:write(string.format("%08X", self:rdn())) + if i ~= opcodes_imms[self.code] then self.out:write(", ") end + nargs = nargs - 1 + end + + if not opcodes_fromstack[self.code] then + for i = 1, nargs do + self.out:write("POP()") + if i ~= nargs then self.out:write(", ") end + end + end + end + + if self.hooks[self.code] then self.hooks[self.code](self.oPC) end +end + +local function disasm(self) + while self.PC ~= self.EPC do + self:disasm_opcode() + self.out:write("\n") + for padPC = self.oPC + 1, self.PC - 1 do + self.out:write(string.format(" %08X\n", self:rd(padPC))) + end + end +end + +function logic_disasm(logic, o, hooks) + local dobj = { rd = rd, rdn = rdn, disasm_opcode = disasm_opcode, disasm = disasm, PC = 0, fin = logic, out = o, EPC = logic:getsize() / 4, hooks = hooks } + dobj:disasm() +end |