projects
/
vvhitespace
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
tags
|
clone url
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
1adfc4f
)
First batch of changes to turn Whitespace interpreter into VVhitespace interpreter...
author
Aaron Taylor
<ataylor@subgeniuskitty.com>
Tue, 2 Jul 2019 22:51:21 +0000
(15:51 -0700)
committer
Aaron Taylor
<ataylor@subgeniuskitty.com>
Tue, 2 Jul 2019 22:51:21 +0000
(15:51 -0700)
vv_interpreter.c
patch
|
blob
|
blame
|
history
diff --git
a/vv_interpreter.c
b/vv_interpreter.c
index
8f98fec
..
1c6e207
100644
(file)
--- a/
vv_interpreter.c
+++ b/
vv_interpreter.c
@@
-21,10
+21,10
@@
void
print_usage(char ** argv)
{
void
print_usage(char ** argv)
{
- printf( "
W
hitespace Interpreter v%d (www.subgeniuskitty.com)\n"
+ printf( "
VV
hitespace Interpreter v%d (www.subgeniuskitty.com)\n"
"Usage: %s -i <file>\n"
" -h Help (prints this message)\n"
"Usage: %s -i <file>\n"
" -h Help (prints this message)\n"
- " -i <file> Specify a
W
hitespace source file to interpret.\n"
+ " -i <file> Specify a
VV
hitespace source file to interpret.\n"
, VERSION, argv[0]
);
}
, VERSION, argv[0]
);
}
@@
-83,6
+83,7
@@
next_code_byte(uint8_t * code, size_t * pc)
uint16_t
parse_label(uint8_t * code, size_t * pc)
{
uint16_t
parse_label(uint8_t * code, size_t * pc)
{
+ // TODO: Check for invalid label and die.
uint16_t label = 0;
uint8_t c;
while ((c = code[(*pc)++]) != '\n') {
uint16_t label = 0;
uint8_t c;
while ((c = code[(*pc)++]) != '\n') {
@@
-92,6
+93,12
@@
parse_label(uint8_t * code, size_t * pc)
return label;
}
return label;
}
+void
+populate_labels(uint32_t * labels, uint8_t * code, size_t code_size)
+{
+ // TODO
+}
+
void
process_imp_stack(uint8_t * code, size_t * pc, int32_t ** sp)
{
void
process_imp_stack(uint8_t * code, size_t * pc, int32_t ** sp)
{
@@
-104,13
+111,14
@@
process_imp_stack(uint8_t * code, size_t * pc, int32_t ** sp)
switch (next_code_byte(code,pc)) {
case ' ' : sign = 1; break;
case '\t': sign = -1; break;
switch (next_code_byte(code,pc)) {
case ' ' : sign = 1; break;
case '\t': sign = -1; break;
-
case '\n'
: ws_die(pc, "expected sign"); break;
+
default
: ws_die(pc, "expected sign"); break;
}
/* Now, construct the number and push to TOS. */
/* I'm assuming the numbers are read MSb first. */
int32_t temp, number = 0;
while ((temp = next_code_byte(code,pc)) != '\n') {
}
/* Now, construct the number and push to TOS. */
/* I'm assuming the numbers are read MSb first. */
int32_t temp, number = 0;
while ((temp = next_code_byte(code,pc)) != '\n') {
+ if (temp == '\v') ws_die(pc, "non-binary digit in number");
number <<= 1;
if (temp == '\t') number++;
}
number <<= 1;
if (temp == '\t') number++;
}
@@
-138,10
+146,13
@@
process_imp_stack(uint8_t * code, size_t * pc, int32_t ** sp)
case '\n':
stack_pop(sp);
break;
case '\n':
stack_pop(sp);
break;
+ default:
+ ws_die(pc, "malformed stack IMP");
+ break;
}
}
break;
}
}
break;
-
case '\t'
: ws_die(pc, "malformed stack IMP"); break;
+
default
: ws_die(pc, "malformed stack IMP"); break;
}
}
}
}
@@
-166,6
+177,9
@@
process_imp_arithmetic(uint8_t * code, size_t * pc, int32_t ** sp)
/* Multiplication */
stack_push(sp, stack_pop(sp)*stack_pop(sp));
break;
/* Multiplication */
stack_push(sp, stack_pop(sp)*stack_pop(sp));
break;
+ default:
+ ws_die(pc, "malformed arithmetic IMP");
+ break;
}
}
break;
}
}
break;
@@
-182,11
+196,11
@@
process_imp_arithmetic(uint8_t * code, size_t * pc, int32_t ** sp)
temp = stack_pop(sp);
stack_push(sp, stack_pop(sp)%temp);
break;
temp = stack_pop(sp);
stack_push(sp, stack_pop(sp)%temp);
break;
-
case '\n'
: ws_die(pc, "malformed arithmetic IMP"); break;
+
default
: ws_die(pc, "malformed arithmetic IMP"); break;
}
}
break;
}
}
break;
-
case '\n'
: ws_die(pc, "malformed arithmetic IMP"); break;
+
default
: ws_die(pc, "malformed arithmetic IMP"); break;
}
}
}
}
@@
-205,6
+219,7
@@
process_imp_flowcontrol(uint8_t * code, size_t * pc, int32_t ** sp, uint32_t * l
switch (next_code_byte(code,pc)) {
case ' ':
/* Mark a location in the program. */
switch (next_code_byte(code,pc)) {
case ' ':
/* Mark a location in the program. */
+ // TODO: Verify this is a label, but do nothing else.
labels[parse_label(code, pc)] = *pc;
break;
case '\t':
labels[parse_label(code, pc)] = *pc;
break;
case '\t':
@@
-216,6
+231,9
@@
process_imp_flowcontrol(uint8_t * code, size_t * pc, int32_t ** sp, uint32_t * l
/* Jump unconditionally to a label. */
*pc = labels[parse_label(code, pc)];
break;
/* Jump unconditionally to a label. */
*pc = labels[parse_label(code, pc)];
break;
+ default:
+ ws_die(pc, "malformed flow control IMP");
+ break;
}
}
break;
}
}
break;
@@
-234,9
+252,15
@@
process_imp_flowcontrol(uint8_t * code, size_t * pc, int32_t ** sp, uint32_t * l
/* Return from subroutine. */
*pc = *(--(*rsp));
break;
/* Return from subroutine. */
*pc = *(--(*rsp));
break;
+ default:
+ ws_die(pc, "malformed flow control IMP");
+ break;
}
}
break;
}
}
break;
+ default:
+ ws_die(pc, "malformed flow control IMP");
+ break;
}
}
}
}
@@
-246,7
+270,7
@@
process_imp_heap(uint8_t * code, size_t * pc, int32_t ** sp, int32_t ** hp)
switch (next_code_byte(code,pc)) {
case ' ' : /* Store to heap */ *(*hp + *((*sp)-1)) = **sp; *sp -= 2; break;
case '\t': /* Retrieve from heap */ **sp = *(*hp + **sp); break;
switch (next_code_byte(code,pc)) {
case ' ' : /* Store to heap */ *(*hp + *((*sp)-1)) = **sp; *sp -= 2; break;
case '\t': /* Retrieve from heap */ **sp = *(*hp + **sp); break;
-
case '\n'
: ws_die(pc, "malformed heap IMP"); break;
+
default
: ws_die(pc, "malformed heap IMP"); break;
}
}
}
}
@@
-260,7
+284,7
@@
process_imp_io(uint8_t * code, size_t * pc, int32_t ** sp, int32_t ** hp)
switch (next_code_byte(code,pc)) {
case ' ' : /* Output character from TOS */ printf("%c", stack_pop(sp)); break;
case '\t': /* Output number from TOS */ printf("%d", stack_pop(sp)); break;
switch (next_code_byte(code,pc)) {
case ' ' : /* Output character from TOS */ printf("%c", stack_pop(sp)); break;
case '\t': /* Output number from TOS */ printf("%d", stack_pop(sp)); break;
-
case '\n'
: ws_die(pc, "malformed output IMP"); break;
+
default
: ws_die(pc, "malformed output IMP"); break;
}
fflush(stdout);
}
}
fflush(stdout);
}
@@
-273,16
+297,14
@@
process_imp_io(uint8_t * code, size_t * pc, int32_t ** sp, int32_t ** hp)
switch (next_code_byte(code,pc)) {
case '\t': /* Input digit */ c -= '0'; /* fallthrough */
case ' ' : /* Input character */ *(*hp + *((*sp)--)) = c; break;
switch (next_code_byte(code,pc)) {
case '\t': /* Input digit */ c -= '0'; /* fallthrough */
case ' ' : /* Input character */ *(*hp + *((*sp)--)) = c; break;
-
case '\n'
: ws_die(pc, "malformed input IMP"); break;
+
default
: ws_die(pc, "malformed input IMP"); break;
}
}
break;
}
}
break;
-
case '\n'
: ws_die(pc, "malformed i/o IMP"); break;
+
default
: ws_die(pc, "malformed i/o IMP"); break;
}
}
}
}
-/* TODO: Continue cleanup here */
-
int
main(int argc, char ** argv)
{
int
main(int argc, char ** argv)
{
@@
-307,25
+329,29
@@
main(int argc, char ** argv)
}
}
if (input == NULL) {
}
}
if (input == NULL) {
- fprintf(stderr, "ERROR: Must specify a
W
hitespace source file with -f flag.\n");
+ fprintf(stderr, "ERROR: Must specify a
VV
hitespace source file with -f flag.\n");
print_usage(argv);
exit(EXIT_FAILURE);
}
/*
print_usage(argv);
exit(EXIT_FAILURE);
}
/*
- * Read just the
W
hitespace source code into memory.
+ * Read just the
VV
hitespace source code into memory.
* We will use the array indices as addresses for the virtual PC when jumping to labels.
*/
size_t ws_code_size = 0;
uint8_t temp_byte;
while (fread(&temp_byte, 1, 1, input)) {
* We will use the array indices as addresses for the virtual PC when jumping to labels.
*/
size_t ws_code_size = 0;
uint8_t temp_byte;
while (fread(&temp_byte, 1, 1, input)) {
- if (temp_byte == ' ' || temp_byte == '\t' || temp_byte == '\n') ws_code_size++;
+ if (temp_byte == ' ' || temp_byte == '\t' || temp_byte == '\n' || temp_byte == '\v') {
+ ws_code_size++;
+ }
}
rewind(input);
uint8_t * ws_code_space = malloc(ws_code_size);
ws_code_size = 0;
while (fread(&temp_byte, 1, 1, input)) {
}
rewind(input);
uint8_t * ws_code_space = malloc(ws_code_size);
ws_code_size = 0;
while (fread(&temp_byte, 1, 1, input)) {
- if (temp_byte == ' ' || temp_byte == '\t' || temp_byte == '\n') ws_code_space[ws_code_size++] = temp_byte;
+ if (temp_byte == ' ' || temp_byte == '\t' || temp_byte == '\n' || temp_byte == '\v') {
+ ws_code_space[ws_code_size++] = temp_byte;
+ }
}
fclose(input);
}
fclose(input);
@@
-333,6
+359,7
@@
main(int argc, char ** argv)
* Setup a stack and heap.
* Assume a 32-bit word size.
*/
* Setup a stack and heap.
* Assume a 32-bit word size.
*/
+ // TODO: Make everything 64-bit.
int32_t * hp = malloc(HEAPSIZE*4);
int32_t * sp = malloc(STACKSIZE*4);
int32_t * hp = malloc(HEAPSIZE*4);
int32_t * sp = malloc(STACKSIZE*4);
@@
-340,7
+367,8
@@
main(int argc, char ** argv)
* Setup the return stack and the label array.
*/
uint32_t * rsp = malloc(RETURNSTACKSIZE*4);
* Setup the return stack and the label array.
*/
uint32_t * rsp = malloc(RETURNSTACKSIZE*4);
- uint32_t labels[65536];
+ uint32_t labels[65536] = {0};
+ populate_labels(labels, ws_code_space, ws_code_size);
/*
* Main Loop
/*
* Main Loop
@@
-349,7
+377,8
@@
main(int argc, char ** argv)
size_t pc = 0; /* Virtual program counter. Operates in the ws_code_space[] address space. */
while (1) {
if (pc >= ws_code_size) {
size_t pc = 0; /* Virtual program counter. Operates in the ws_code_space[] address space. */
while (1) {
if (pc >= ws_code_size) {
- fprintf(stderr, "SIM_ERROR: PC Overrun\n Requested PC: %lu\n Max Address: %lu\n", pc, ws_code_size-1);
+ fprintf(stderr, "SIM_ERROR: PC Overrun\n Requested PC: %lu\n Max Address: %lu\n",
+ pc, ws_code_size-1);
exit(EXIT_FAILURE);
}
exit(EXIT_FAILURE);
}
@@
-382,6
+411,7
@@
main(int argc, char ** argv)
}
}
break;
}
}
break;
+ default: ws_die(pc, "unexpected VTab"); break;
}
}
}
}