Wikifang:Network Translation Patchsite/BugVM: Difference between revisions
Line 62: | Line 62: | ||
| $7:4000 || $A80 || Chips || After the entry at $7:4A40 none of the remaining items in this table appear to have valid name data and are thus likely to be something else. | | $7:4000 || $A80 || Chips || After the entry at $7:4A40 none of the remaining items in this table appear to have valid name data and are thus likely to be something else. | ||
|- | |- | ||
| $7:6000 || $1240 || | | $7:6000 || $1240 || Key Items || After the entry at $7:7200 none of the remaining items in this table appear to have valid name data and are thus likely to be something else. | ||
|- | |- | ||
| $8:4000, $9:4000 || $4000 || Encounters || Instructions that read from the encounter table will select bank $8 for Alpha Version and bank $9 for Beta Version. Beta's table is present and unmodified in Alpha, and vice versa. | | $8:4000, $9:4000 || $4000 || Encounters || Instructions that read from the encounter table will select bank $8 for Alpha Version and bank $9 for Beta Version. Beta's table is present and unmodified in Alpha, and vice versa. |
Revision as of 18:28, 22 August 2017
Bugsite contains a virtual machine which executes all (non-IRQ) game logic. It is a stack-based virtual machine with a large number of opcodes specific to the game.
Data and Link Stacks
Two stacks are managed by the VM: a link stack and a data stack. The link stack ($C100) supports up to $3F call frames of 4 bytes each, which is manipulated entirely by the call, jump-far, and return opcodes. The data stack ($C200) supports up to $55 data items of 3 bytes each. Each data item consists of a little-endian 16-bit word followed by a tag byte, which specifies if it's...
- $3D an immediate value
- $1D a word index into the indirect memory array
- $1E a bit index into the predicate array
Data items are pushed onto the stack as immediate values and then cast to indirect or predicate offsets as necessary. Both stacks grow upwards from their base address.
Indirect & Predicate Memory
BugVM allows direct access (read and write) to indirect and predicate memory. Indirect memory covers WRAM3:$C400 to WRAM3:$D7FF, and is indexed using word offsets. Predicate memory covers WRAM3:$D800 to WRAM3:$DFFF and is indexed as a massive bitfield.
Indirect and predicate memory can be saved to and loaded from SRAM using opcodes $47 and $48, along with additional data in SRAM.
Known Indirect Memory Slots
Index | WRAM Addr. | Name | Purpose |
---|---|---|---|
$01 | $C402 | W_System_GameVersion | Stores the version of the game the user is playing.
0 is Alpha version, 1 is Beta version |
$12 | $C424 | W_BugVM_StringArena | Stores the current location of the end of the string-builder arena, used by the DB opcode to store embedded string data. |
$580 - $59F | $CF00-$CF3F | W_Battle_AttrStaging | Stores the most recently loaded RPG Attribute Table entry. |
Linkage Directory (BugFS)
Bugsite contains a filesystem which almost pervasively enumerates all resources within the game. Each file is exclusively referred to with it's 16-bit linkage identifier; there are no file names and only one directory. Almost all resource loads, except some game data tables, are mediated through BugFS. Graphics and tilemaps are loaded by ID and BugVM code can farjump/farcall to the start of another section by ID.
The directory's structure is that of an array of entry structures. The directory array starts at $A:$4000, and the ID indexes this array by 8 bytes. Directory entries appear to be stored in the same order as where their data is stored in ROM. The directory spans $1000 entries, across 2 banks; though it could be extended further if the referenced data were to be moved to a later bank. Approximately 40 entries at the end of the directory are zero-size files (pointing to ROM $7F:70FF) and may be unused filler entries.
Offset | Name | Type | |
---|---|---|---|
$0 | Bank | 8-bit bank index | |
$1 | Offset | 16-bit offset | Offset is relative to $4000, not a pointer |
$3 | Size | 16-bit size |
Each directory entry is 5 bytes long. Fields include a bank index, byte offset into that bank (0 means a pointer of $4000), and total size. Much like the directory itself, files are allowed and expected to span across bank boundaries. Native code that reads BugFS files will need to account for bank switching. Directory entries are stored with an 8-byte alignment (3 padding bytes).
RPG Attribute Tables
Certain tables of game attributes are not stored as BugFS files. These data tables include listings for monsters, items, chips, key items, and encounters. Not much is known about these tables, except for the fact that they are universally arrays of $40 bytes and often contain a name string at offset $30. Specialized BugVM instructions exist to load a single table entry into W_Battle_AttrStaging and to print the name at offset $30.
Location | Size | Contents | |
---|---|---|---|
$4:4000, $5:4000 | $4000 | Bugs | Instructions that read from the monster table will select bank $4 for Alpha Version and bank $5 for Beta Version. Beta's table is present and unmodified in Alpha, and vice versa. |
$6:4000 | $4000 | Items | |
$7:4000 | $A80 | Chips | After the entry at $7:4A40 none of the remaining items in this table appear to have valid name data and are thus likely to be something else. |
$7:6000 | $1240 | Key Items | After the entry at $7:7200 none of the remaining items in this table appear to have valid name data and are thus likely to be something else. |
$8:4000, $9:4000 | $4000 | Encounters | Instructions that read from the encounter table will select bank $8 for Alpha Version and bank $9 for Beta Version. Beta's table is present and unmodified in Alpha, and vice versa. |
Initial State
Execution of BugVM always starts from the beginning of linkage $0. Indirect and predicate memory is set to $0 upon game initialization.
Instruction Set
BugVM takes instructions as 8-bit opcodes which can optionally accept additional parameters. Most opcodes take arguments from the stack, rather than from the instruction stream. Native implementations for a particular opcode are referenced from the opcode table at $3E00, reproduced below:
x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | xA | xB | xC | xD | xE | xF | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
0x | NOP $5E9 |
ENOP $01 $5E9 |
ENOP $02 $5E9 |
??? $671 |
ENOP $04 $5E9 |
ENOP $05 $5E9 |
STR $68C |
SUML $6C0 |
ANDL $6CA |
OR $6D7 |
XOR $6E2 |
AND $6ED |
CMP_EQ $6F8 |
CMP_NEQ $705 |
CMP_LT $712 |
CMP_LEQ $723 |
1x | CMP_GT $752 |
CMP_GEQ $763 |
??? $772 |
SLA $784 |
SUB $796 |
ADD $7A1 |
MOD $7A9 |
DIV $7C3 |
MUL $7ED |
PNOP $19 $80B |
PNOP $1A $80C |
PNOP $1B $80D |
PNOP $1C $80E |
INDIR $80F |
PRED $820 |
ENOP $1F $5E9 |
2x | ENOP $20 $5E9 |
ENOP $21 $5E9 |
ENOP $22 $5E9 |
ENOP $23 $5E9 |
ENOP $24 $5E9 |
ENOP $25 $5E9 |
ENOP $26 $5E9 |
ENOP $27 $5E9 |
ENOP $28 $5E9 |
ENOP $29 $5E9 |
ENOP $2A $5E9 |
ENOP $2B $5E9 |
POPALL $831 |
ENOP $2D $5E9 |
ENOP $2E $5E9 |
PNOP $2F $835 |
3x | PNOP $30 $836 |
PNOP $31 $837 |
PNOP $32 $838 |
PNOP $33 $839 |
PNOP $34 $83A |
PNOP $35 $87B |
NPREF $87C |
JMPT $887 |
JMP $8AC |
RET $8BB |
PNOP $3A $8DB |
PNOP $3B $8DC |
PNOP $3C $8DD |
IMMED $8DE |
DB $941 |
JAL $8F0 |
4x | ||||||||||||||||
5x | ||||||||||||||||
6x | FARCALL $91B |
FARJMP $83B |
||||||||||||||
7x | TILELD $1BAC |
|||||||||||||||
8x | ||||||||||||||||
9x | PRKEY $165A | |||||||||||||||
Ax | BLKKEY $42A |
PRITEM $1668 |
BLKITEM $3FE |
PRMON $1622 | ||||||||||||
Bx | BLKMON $39C |
|||||||||||||||
Cx | ||||||||||||||||
Dx | ||||||||||||||||
Ex | BLKCHIP $456 |
PRCHIP $1661 |
||||||||||||||
Fx | BLKENC $3CD |
Boolean Logic & Comparison Operators
As convention for this table we treat zero as boolean TRUE and one as boolean FALSE. Other non-zero values are treated as FALSE, but boolean opcodes will not return nonstandard values.
Opcode | Encoding(s) | Native Impl. | Operand Args | Stack Args | Description |
---|---|---|---|---|---|
SUML (SUM Logical) |
$07 | $6C0 | None | arg1, arg2 (TOP) -> bool (TOP) | Add arg1 and arg2. Push TRUE if result is zero, FALSE if non-zero. |
ANDL (AND Logical) |
$08 | $6CA | None | arg1, arg2 (TOP) -> bool (TOP) | Bitwise-AND arg1 and arg2. Push TRUE if result is zero, FALSE if non-zero. |
CMP_EQ (CoMParison EQual) |
$0C | $6F8 | None | arg1, arg2 (TOP) -> bool (TOP) | Compare arg1 and arg2. Push TRUE if both arguments are equal, FALSE otherwise. |
CMP_NEQ (CoMParison Not EQual) |
$0D | $705 | None | arg1, arg2 (TOP) -> bool (TOP) | Compare arg1 and arg2. Push TRUE if both arguments are not equal, FALSE otherwise. |
CMP_LT (CoMParison Less Than) |
$0E | $712 | None | arg1, arg2 (TOP) -> bool (TOP) | Compare arg1 and arg2. Push TRUE if arg1 is less than arg2, FALSE otherwise. |
CMP_LEQ (CoMParison Less or EQual) |
$0F | $723 | None | arg1, arg2 (TOP) -> bool (TOP) | Compare arg1 and arg2. Push TRUE if arg1 is less than or equal to arg2, FALSE otherwise. |
CMP_GT (CoMParison Greater Than) |
$10 | $752 | None | arg1, arg2 (TOP) -> bool (TOP) | Compare arg1 and arg2. Push TRUE if arg1 is greater than arg2, FALSE otherwise. |
CMP_GEQ (CoMParison Greater or EQual) |
$11 | $763 | None | arg1, arg2 (TOP) -> bool (TOP) | Compare arg1 and arg2. Push TRUE if arg1 is greater than or equal to arg2, FALSE otherwise. |
Bitwise logic
Opcode | Encoding(s) | Native Impl. | Operand Args | Stack Args | Description |
---|---|---|---|---|---|
OR (bitwise OR) |
$09 | $6D7 | None | arg1, arg2 (TOP) -> value (TOP) | Bitwise-OR arg1 and arg2 as the return value. |
XOR (bitwise eXclusive OR) |
$0A | $6E2 | None | arg1, arg2 (TOP) -> value (TOP) | Bitwise-XOR arg1 and arg2 as the return value. |
AND (bitwise AND) |
$0B | $6ED | None | arg1, arg2 (TOP) -> value (TOP) | Bitwise-AND arg1 and arg2 as the return value. |
SLA (Shift-Left Arithmetic) |
$13 | $784 | None | bits, shift (TOP) -> value (TOP) | Shift bits left, shift times, while inserting zero bits, to produce value. |
Arithmetic
Opcode | Encoding(s) | Native Impl. | Operand Args | Stack Args | Description |
---|---|---|---|---|---|
SUB (SUBtraction) |
$14 | $796 | None | minuend, subtrahend (TOP) -> difference (TOP) | Subtract subtrahend from minuend to produce difference. |
ADD (ADDition) |
$15 | $7A1 | None | addend1, addend2 (TOP) -> sum (TOP) | Add addend1 to addend2 to produce sum. |
MOD (MODulo) |
$16 | $7A9 | None | dividend, divisor (TOP) -> remainder (TOP) | Integer-divide dividend by divisor and return only the remainder. |
DIV (DIVide) |
$17 | $7C3 | None | dividend, divisor (TOP) -> quotient (TOP) | Integer-divide dividend by divisor and return only the quotient. |
MUL (MULtiply) |
$18 | $7ED | None | multiplicand, multiplier (TOP) -> product (TOP) | Multiply multiplicand by multiplier to produce the product. |
Memory & Stack Manipulation
Opcode | Encoding(s) | Native Impl. | Operand Args | Stack Args | Description |
---|---|---|---|---|---|
STR (SToRe) |
$06 | $68C | None | &address, value (TOP) -> (TOP) | Store the value at the memory location referenced by &address. The exact memory operations performed depend on the target of *address.
If address is an indirect index, the memory location referenced by *address will be set to value. If address is a predicate index, the bit referenced by *address will be set or reset based on if value is zero or non-zero. It is illegal to STR into an immediate value, and doing so will cause the VM to halt operation. |
INDIR (INDIRect) |
$1D | $80F | None | immed (TOP) -> &address (TOP) | Cast the value immed into an indirect memory index &address. |
PRED (PREDicate) |
$1E | $820 | None | immed (TOP) -> &pred (TOP) | Cast the value immed into a predicate memory index &pred. |
POPALL (POP ALL) |
$2C | $831 | None | anything (TOP) -> (EMPTY) | Empty the stack. |
IMMED (IMMEDiate) |
$3D | $8DE | immed (16b) | (TOP) -> immed (TOP) | Push immed onto the data stack as an immediate value. |
DB (Declare Bytes) |
$3E | $941 | string (null-terminated) | (TOP) -> straddr (TOP) | Copy null-terminated string data from the instruction stream into the string-building arena referred to by $C424.
The address of the newly copied string data will be pushed onto the data stack as an immediate value. |
Execution Control
Execution Control opcodes control the address of the next instruction to execute, determined by BugVM's program counter. It consists of a bank address, base address, and offset address. The linkage directory determines what the bank and base addresses of a section are. The offset address is added to the base in order to calculate the address of the next instruction.
Caution: Parameters named "offset" for jump instructions refer to the program counter offset address, and do not imply the existence of PC-relative jumps instructions within Bugsite.
Opcode | Encoding(s) | Native Impl. | Operand Args | Stack Args | Description |
---|---|---|---|---|---|
JMPT (JuMP if True) |
$37 | $887 | offset (16b) | bool (TOP) -> (TOP) | Jump to a new offset within the current linkage section if bool is TRUE. |
JMP (JuMP) |
$38 | $8AC | offset (16b) | None | Jump to a new offset within the current linkage section. |
RET (RETurn) |
$39 | $8BB | None | None | Return to the previously linked return address. |
JAL (Jump And Link) |
$3F | $8F0 | offset (16b) | None | Jump to a new offset within the current linkage section. Store the offset of the next instruction on the link stack. |
FARCALL | $6A | $91B | None | linkage_index (TOP) -> (TOP) | Jump to the start of a new linkage section. Store the offset of the next instruction on the stack. |
FARJMP (FAR JuMP) |
$6B | $83B | None | linkage_index (TOP) -> (TOP) | Jump to the start of a new linkage section, erasing the link stack in the process.
The previous linkage section is stored for later use. |
NOP and NOP-alikes
BugVM contains a number of opcodes which do nothing, including both a single implementation of a NOP opcode used to fill in blank spots in the table as well as individual implementations which presumably did something in the past.
Opcode | Encoding(s) | Native Impl. | Operand Args | Stack Args | Description |
---|---|---|---|---|---|
NOP (Null OPeration), ENOP $nn (Effective Null OPeration) |
Too many to list | $5E9 | None | None | Does nothing.
This particular null-op implementation is used many times to fill space in the opcode table. |
PNOP $19 (Probable Null OPeration) |
$19 | $80B | None | None | Does nothing. |
PNOP $1A (Probable Null OPeration) |
$1A | $80C | None | None | Does nothing. |
PNOP $1B (Probable Null OPeration) |
$1B | $80D | None | None | Does nothing. |
PNOP $1C (Probable Null OPeration) |
$1C | $80E | None | None | Does nothing. |
PNOP $2F (Probable Null OPeration) |
$2F | $835 | None | None | Does nothing. |
PNOP $30 (Probable Null OPeration) |
$30 | $836 | None | None | Does nothing. |
PNOP $31 (Probable Null OPeration) |
$31 | $837 | None | None | Does nothing. |
PNOP $32 (Probable Null OPeration) |
$32 | $838 | None | None | Does nothing. |
PNOP $33 (Probable Null OPeration) |
$33 | $839 | None | None | Does nothing. |
PNOP $34 (Probable Null OPeration) |
$34 | $83A | None | None | Does nothing. |
PNOP $35 (Probable Null OPeration) |
$35 | $87B | None | None | Does nothing. |
NPREF (Null PREFix) |
$36 | $87C | opcode, ??? | None | Executes the next opcode as normal.
This would appear to be just another NOP, but it's native implementation actually loads and executes the next byte as an opcode. Hence, it works like a prefix byte that does nothing. Perhaps in a previous revision of the game, NPREF had a use. |
PNOP $3A (Probable Null OPeration) |
$3A | $8DB | None | None | Does nothing. |
PNOP $3B (Probable Null OPeration) |
$3B | $8DC | None | None | Does nothing. |
PNOP $3C (Probable Null OPeration) |
$3C | $8DB | None | None | Does nothing. |
Graphics Functions
Opcode | Encoding(s) | Native Impl. | Operand Args | Stack Args | Description |
---|---|---|---|---|---|
TILELD (TILE LoaD) |
$72 | $1BAC | None | base_attr, base_tile, tile_y, tile_x, linkage_index (TOP) -> (TOP) | Load a precomposed tilemap from BugFS file linkage_index into the first tilemap in VRAM ($9800).
The base_tile and base_attr parameters allow the user to add a dynamic tile index and palette index offset to the tilemap. For example, if you loaded the tilemap's graphics into slot $30 on the second VRAM tile bank, with color data starting at BG palette 3, you could set base_tile to $30 and base_attr to Bank 1, Palette 3. Tile X and Y coordinates allow you to control where the tilemap data is written. These coordinates are in tile units and are relative to the first visible tile on the screen (based on the current screen scroll). |
Attribute Table Utilities
Opcode | Encoding(s) | Native Impl. | Operand Args | Stack Args | Description |
---|---|---|---|---|---|
PRKEY (PRint KEY item) |
$9F | $165A | None | attr_index (TOP) -> (TOP) | Read the given Key Item's Attribute Table block and print it's name. |
BLKKEY (BLocK KEY item) |
$A0 | $42A | None | attr_index (TOP) -> (TOP) | Read the given Key Item's Attribute Table block into W_Battle_AttrStaging. |
PRITEM (PRint ITEM) |
$A1 | $1668 | None | attr_index (TOP) -> (TOP) | Read the given Item's Attribute Table block and print it's name. |
BLKITEM (BLocK ITEM) |
$A2 | $3FE | None | attr_index (TOP) -> (TOP) | Read the given Item's Attribute Table block into W_Battle_AttrStaging. |
PRMON (PRint MONster) |
$AF | $1622 | None | attr_index (TOP) -> (TOP) | Read the given Bug's Attribute Table block and print it's name. |
BLKMON (BLocK MONster) |
$BB | $39C | None | attr_index (TOP) -> (TOP) | Read the given Bug's Attribute Table block into W_Battle_AttrStaging.
This instruction switches between two different Attribute Tables based on the value of W_System_GameVersion. |
PRCHIP (PRint CHIP) |
$E3 | $1661 | None | attr_index (TOP) -> (TOP) | Read the given Chip's Attribute Table block and print it's name. |
BLKCHIP (BLocK ITEM) |
$E2 | $456 | None | attr_index (TOP) -> (TOP) | Read the given Chip's Attribute Table block into W_Battle_AttrStaging. |
BLKENC (BLocK ENCounter) |
$F1 | $3CD | None | attr_index (TOP) -> (TOP) | Read the given Encounter's Attribute Table block into W_Battle_AttrStaging.
There does not appear to be a PRENC instruction. This instruction switches between two different Attribute Tables based on the value of W_System_GameVersion. |
PRNAME (PRint NAME) |
$A5 | $162A | None | None | Print the name of the currently loaded Attribute Table block.
All PRint instructions that reference Attribute Table data execute this opcode. It prints data from $CF30, which is an offset into W_Battle_AttrStaging that appears to be a standard offset for this kind of data. |