1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
|
/* Copyright (C) 2023 Aryadev Chavali
* You may distribute and modify this code under the terms of the
* GPLv2 license. You should have received a copy of the GPLv2
* license with this file. If not, please write to:
* aryadev@aryadevchavali.com.
* Created: 2023-10-15
* Author: Aryadev Chavali
* Description: Implementation of bytecode for instructions
*/
#include <stdbool.h>
#include <string.h>
#include "./inst.h"
data_type_t get_opcode_data_type(opcode_t opcode)
{
data_type_t type = DATA_TYPE_NIL;
if (OPCODE_IS_TYPE(opcode, OP_TYPE_PUSH))
type = opcode >> 1;
else if (OPCODE_IS_TYPE(opcode, OP_TYPE_PUSH_REGISTER))
type = opcode >> 2;
else if (OPCODE_IS_TYPE(opcode, OP_TYPE_POP))
type = opcode >> 3;
else if (OPCODE_IS_TYPE(opcode, OP_TYPE_MOV))
type = opcode >> 4;
return type;
}
size_t inst_bytecode_size(inst_t inst)
{
size_t size = 1; // for opcode
if (OPCODE_IS_TYPE(inst.opcode, OP_TYPE_PUSH))
{
if (inst.opcode == OP_PUSH_BYTE)
++size;
else if (inst.opcode == OP_PUSH_WORD)
size += sizeof(word);
else if (inst.opcode == OP_PUSH_FLOAT)
size += sizeof(f64);
}
else if (OPCODE_IS_TYPE(inst.opcode, OP_TYPE_PUSH_REGISTER))
++size;
else if (OPCODE_IS_TYPE(inst.opcode, OP_TYPE_POP))
{
// No operand or register so leave as is
}
else if (OPCODE_IS_TYPE(inst.opcode, OP_TYPE_MOV))
{
if (inst.opcode == OP_MOV_BYTE)
++size;
else if (inst.opcode == OP_MOV_WORD)
size += sizeof(word);
else if (inst.opcode == OP_MOV_FLOAT)
size += sizeof(f64);
// For the register
++size;
}
return size;
}
void inst_write_bytecode(inst_t inst, darr_t *darr)
{
// Append opcode
darr_append_byte(darr, inst.opcode);
// Then append 0 or more operands
data_type_t to_append = DATA_TYPE_NIL;
if (OPCODE_IS_TYPE(inst.opcode, OP_TYPE_PUSH))
to_append = (data_type_t)inst.opcode;
else if (OPCODE_IS_TYPE(inst.opcode, OP_TYPE_PUSH_REGISTER) ||
OPCODE_IS_TYPE(inst.opcode, OP_TYPE_MOV))
to_append = DATA_TYPE_BYTE;
switch (to_append)
{
case DATA_TYPE_NIL:
break;
case DATA_TYPE_BYTE:
darr_append_byte(darr, inst.operand.as_byte);
break;
case DATA_TYPE_WORD:
darr_append_bytes(darr, (byte *)&inst.operand.as_word, sizeof(word));
break;
case DATA_TYPE_FLOAT:
darr_append_bytes(darr, (byte *)&inst.operand.as_float, sizeof(f64));
break;
}
}
data_t read_type_from_darr(darr_t *darr, data_type_t type)
{
switch (type)
{
case DATA_TYPE_NIL:
break;
case DATA_TYPE_BYTE:
if (darr->used >= darr->available)
// TODO: Error (darr has no space left)
return DBYTE(0);
return DBYTE(darr->data[darr->used++]);
break;
case DATA_TYPE_WORD:
if (darr->used + sizeof(word) >= darr->available)
// TODO: Error (darr has no space left)
return DWORD(0);
word w = 0;
memcpy(&w, darr->data + darr->used, sizeof(w));
darr->used += sizeof(w);
return DWORD(w);
break;
case DATA_TYPE_FLOAT:
if (darr->used + sizeof(word) >= darr->available)
// TODO: Error (darr has no space left)
return DWORD(0);
f64 f = 0;
memcpy(&f, darr->data + darr->used, sizeof(f));
darr->used += sizeof(f);
return DFLOAT(f);
break;
}
// TODO: Error (unrecognised type)
return DBYTE(0);
}
inst_t inst_read_bytecode(darr_t *darr)
{
if (darr->used >= darr->available)
return (inst_t){0};
inst_t inst = {0};
opcode_t opcode = darr->data[darr->used++];
if (opcode > OP_HALT)
// Translate to NOOP
return inst;
// Read operands
if (OPCODE_IS_TYPE(opcode, OP_TYPE_PUSH))
inst.operand = read_type_from_darr(darr, get_opcode_data_type(opcode));
// Read register (as a byte)
if (OPCODE_IS_TYPE(opcode, OP_TYPE_PUSH_REGISTER) ||
OPCODE_IS_TYPE(opcode, OP_TYPE_MOV))
inst.operand = read_type_from_darr(darr, DATA_TYPE_BYTE);
// Otherwise opcode doesn't take operands
inst.opcode = opcode;
return inst;
}
|
