summaryrefslogtreecommitdiff
path: root/twasm/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'twasm/README.md')
-rw-r--r--twasm/README.md163
1 files changed, 89 insertions, 74 deletions
diff --git a/twasm/README.md b/twasm/README.md
index dfb198d..72ec2e3 100644
--- a/twasm/README.md
+++ b/twasm/README.md
@@ -210,11 +210,32 @@ type metadata for the different types is as follows:
entries are as follows:
```
-+-----------------+-----------------+----------+
-| 31 24 | 23 16 | 15 0 |
-+-----------------+-----------------+----------+
-| dest=reg opcode | dest=r/m opcode | token ID |
-+-----------------+-----------------+----------+
++------------------------------+
+| 0 operand operators |
++----------+--------+----------+
+| 31 24 | 23 16 | 15 0 |
++----------+--------+----------+
+| reserved | opcode | token ID |
++----------+--------+----------+
+
++-------+----------+---------+----------+
+| 1 operand operators |
++-------+----------+---------+----------+
+| 31 27 | 26 24 | 23 16 | 15 0 |
++-------+----------+---------+----------+
+| zeros | reg bits | opcode | token ID |
+| | | dst=r/m | |
++-------+----------+---------+----------+
+
++------------------------------+
+| 2 operand operators |
++---------+---------+----------+
+| 31 24 | 23 16 | 15 0 |
++---------+---------+----------+
+| opcode | opcode | token ID |
+| dst=reg | dst=r/m | |
+| src=r/m | src=reg | |
++---------+---------+----------+
```
note the lack of support for multiple-byte opcodes or multiple opcodes for one token ID; these features will likely be added at some point after the parser accumulates too much jank.
@@ -233,14 +254,14 @@ supported tokens are listed below
| rdi | 0x0005 | |
| rsp | 0x0006 | |
| rbp | 0x0007 | |
-| r8 | 0x0008 | |
-| r9 | 0x0009 | |
-| r10 | 0x000A | |
-| r11 | 0x000B | |
-| r12 | 0x000C | |
-| r13 | 0x000D | |
-| r14 | 0x000E | |
-| r15 | 0x000F | |
+| r8 | 0x0008 | unimplemented |
+| r9 | 0x0009 | unimplemented |
+| r10 | 0x000A | unimplemented |
+| r11 | 0x000B | unimplemented |
+| r12 | 0x000C | unimplemented |
+| r13 | 0x000D | unimplemented |
+| r14 | 0x000E | unimplemented |
+| r15 | 0x000F | unimplemented |
| eax | 0x0010 | |
| ebx | 0x0011 | |
| ecx | 0x0012 | |
@@ -249,61 +270,61 @@ supported tokens are listed below
| edi | 0x0015 | |
| esp | 0x0016 | |
| ebp | 0x0017 | |
-| r8d | 0x0018 | |
-| r9d | 0x0019 | |
-| r10d | 0x001A | |
-| r11d | 0x001B | |
-| r12d | 0x001C | |
-| r13d | 0x001D | |
-| r14d | 0x001E | |
-| r15d | 0x001F | |
-| ax | 0x0020 | |
-| bx | 0x0021 | |
-| cx | 0x0022 | |
-| dx | 0x0023 | |
-| si | 0x0024 | |
-| di | 0x0025 | |
-| sp | 0x0026 | |
-| bp | 0x0027 | |
-| r8w | 0x0028 | |
-| r9w | 0x0029 | |
-| r10w | 0x002A | |
-| r11w | 0x002B | |
-| r12w | 0x002C | |
-| r13w | 0x002D | |
-| r14w | 0x002E | |
-| r15w | 0x002F | |
-| al | 0x0030 | |
-| bl | 0x0031 | |
-| cl | 0x0032 | |
-| dl | 0x0033 | |
-| sil | 0x0034 | |
-| dil | 0x0035 | |
-| spl | 0x0036 | |
-| bpl | 0x0037 | |
-| r8b | 0x0038 | |
-| r9b | 0x0039 | |
-| r10b | 0x003A | |
-| r11b | 0x003B | |
-| r12b | 0x003C | |
-| r13b | 0x003D | |
-| r14b | 0x003E | |
-| r15b | 0x003F | |
-| ah | 0x0040 | |
-| bh | 0x0041 | |
-| ch | 0x0042 | |
-| dh | 0x0043 | |
-| cs | 0x0044 | |
-| ds | 0x0045 | |
-| es | 0x0046 | |
-| fs | 0x0047 | |
-| gs | 0x0048 | |
-| ss | 0x0049 | |
-| cr0 | 0x004A | |
-| cr2 | 0x004B | |
-| cr3 | 0x004C | |
-| cr4 | 0x004D | |
-| cr8 | 0x004E | |
+| r8d | 0x0018 | unimplemented |
+| r9d | 0x0019 | unimplemented |
+| r10d | 0x001A | unimplemented |
+| r11d | 0x001B | unimplemented |
+| r12d | 0x001C | unimplemented |
+| r13d | 0x001D | unimplemented |
+| r14d | 0x001E | unimplemented |
+| r15d | 0x001F | unimplemented |
+| ax | 0x0020 | unimplemented |
+| bx | 0x0021 | unimplemented |
+| cx | 0x0022 | unimplemented |
+| dx | 0x0023 | unimplemented |
+| si | 0x0024 | unimplemented |
+| di | 0x0025 | unimplemented |
+| sp | 0x0026 | unimplemented |
+| bp | 0x0027 | unimplemented |
+| r8w | 0x0028 | unimplemented |
+| r9w | 0x0029 | unimplemented |
+| r10w | 0x002A | unimplemented |
+| r11w | 0x002B | unimplemented |
+| r12w | 0x002C | unimplemented |
+| r13w | 0x002D | unimplemented |
+| r14w | 0x002E | unimplemented |
+| r15w | 0x002F | unimplemented |
+| al | 0x0030 | unimplemented |
+| bl | 0x0031 | unimplemented |
+| cl | 0x0032 | unimplemented |
+| dl | 0x0033 | unimplemented |
+| sil | 0x0034 | unimplemented |
+| dil | 0x0035 | unimplemented |
+| spl | 0x0036 | unimplemented |
+| bpl | 0x0037 | unimplemented |
+| r8b | 0x0038 | unimplemented |
+| r9b | 0x0039 | unimplemented |
+| r10b | 0x003A | unimplemented |
+| r11b | 0x003B | unimplemented |
+| r12b | 0x003C | unimplemented |
+| r13b | 0x003D | unimplemented |
+| r14b | 0x003E | unimplemented |
+| r15b | 0x003F | unimplemented |
+| ah | 0x0040 | unimplemented |
+| bh | 0x0041 | unimplemented |
+| ch | 0x0042 | unimplemented |
+| dh | 0x0043 | unimplemented |
+| cs | 0x0044 | unimplemented |
+| ds | 0x0045 | unimplemented |
+| es | 0x0046 | unimplemented |
+| fs | 0x0047 | unimplemented |
+| gs | 0x0048 | unimplemented |
+| ss | 0x0049 | unimplemented |
+| cr0 | 0x004A | unimplemented |
+| cr2 | 0x004B | unimplemented |
+| cr3 | 0x004C | unimplemented |
+| cr4 | 0x004D | unimplemented |
+| cr8 | 0x004E | unimplemented |
| hlt | 0x004F | |
| int3 | 0x0050 | |
| | 0x0051 | deprecated; formerly `[`. Now `0x10XX` is used. |
@@ -317,12 +338,6 @@ supported tokens are listed below
| call | 0x0059 | |
| ret | 0x005A | |
| cmp | 0x005B | |
-| je | 0x005C | |
-| jne | 0x005D | |
-| jge | 0x005E | |
-| jg | 0x005F | |
-| jle | 0x0060 | |
-| jl | 0x0061 | |
| | 0x10XX | some memory address; `XX` is as specified below |
| | 0xFFFF | unrecognised token |