Jordan Earls / MbedConsole Featured

A project to implement a console using the Mbed using VGA for video output and a PS/2 keyboard for the input. The eventual goal is to also include tools for managing SD cards, and a semi-self-hosting programming environment.

Dependencies:   PS2_MbedConsole fastlib SDFileSystem vga640x480g_mbedconsole lightvm mbed

MbedConsole is a cool little project to have a self-contained computer all on an Mbed. So far it has VGA and PS/2 support and can stand alone without a computer powering it. Next planned features are SD card support and a lightweight programmable VM complete with a file editor and self-hosted assembler.

You can view additional details about it at http://earlz.net/tags/mbedconsole

forth_machine.cpp@7:2ac6752d47d2, 2012-09-22 (annotated)

Committer:
earlz
Date:
Sat Sep 22 03:00:55 2012 +0000
Revision:
7:2ac6752d47d2
Parent:
6:a4dff59ef214
Child:
8:f356684767ef
fuck pointers

Who changed what in which revision?

UserRevisionLine numberNew contents of line
earlz 6:a4dff59ef214 1 #include "mbedconsole.h"
earlz 6:a4dff59ef214 2 #include "plEarlz.h"
earlz 6:a4dff59ef214 3 #include <stdint.h>
earlz 6:a4dff59ef214 4 #include <stdarg.h>
earlz 6:a4dff59ef214 5
earlz 6:a4dff59ef214 6
earlz 6:a4dff59ef214 7 //An extremely simple virtual machine to make this implementation about 10 times easier and probably a bit faster
earlz 6:a4dff59ef214 8
earlz 6:a4dff59ef214 9
earlz 6:a4dff59ef214 10
earlz 6:a4dff59ef214 11
earlz 6:a4dff59ef214 12
earlz 6:a4dff59ef214 13 int pl_stackpos=0;
earlz 6:a4dff59ef214 14 int pl_stack[MAXSTACK];
earlz 6:a4dff59ef214 15
earlz 6:a4dff59ef214 16
earlz 6:a4dff59ef214 17
earlz 6:a4dff59ef214 18
earlz 6:a4dff59ef214 19 int pl_dictionary_count=0;
earlz 6:a4dff59ef214 20 int pl_dictionary_size=0;
earlz 6:a4dff59ef214 21 WordKey *pl_dictionary; //todo: a hash table would be much faster
earlz 6:a4dff59ef214 22
earlz 6:a4dff59ef214 23 void pl_push(int val)
earlz 6:a4dff59ef214 24 {
earlz 6:a4dff59ef214 25 if(pl_stackpos>=MAXSTACK)
earlz 6:a4dff59ef214 26 {
earlz 6:a4dff59ef214 27 vputs("Stack overflow!");
earlz 6:a4dff59ef214 28 pl_error=StackOverflow;
earlz 6:a4dff59ef214 29 return;
earlz 6:a4dff59ef214 30 }
earlz 6:a4dff59ef214 31 pl_stack[pl_stackpos]=val;
earlz 6:a4dff59ef214 32 pl_stackpos++;
earlz 6:a4dff59ef214 33 }
earlz 6:a4dff59ef214 34 int pl_pop()
earlz 6:a4dff59ef214 35 {
earlz 6:a4dff59ef214 36 if(pl_stackpos<=0)
earlz 6:a4dff59ef214 37 {
earlz 6:a4dff59ef214 38 vputs("Stack underflow!");
earlz 6:a4dff59ef214 39 pl_error=StackUnderflow;
earlz 6:a4dff59ef214 40 return 0;
earlz 6:a4dff59ef214 41 }
earlz 6:a4dff59ef214 42 pl_stackpos--;
earlz 6:a4dff59ef214 43 return pl_stack[pl_stackpos];
earlz 6:a4dff59ef214 44 }
earlz 6:a4dff59ef214 45
earlz 6:a4dff59ef214 46 WordKey *pl_lookup(char* name)
earlz 6:a4dff59ef214 47 {
earlz 6:a4dff59ef214 48 for(int i=0;i<pl_dictionary_count;i++)
earlz 6:a4dff59ef214 49 {
earlz 6:a4dff59ef214 50 if(strlcmp(name, pl_dictionary[i].name, 12)==0)
earlz 6:a4dff59ef214 51 {
earlz 6:a4dff59ef214 52 return &pl_dictionary[i];
earlz 6:a4dff59ef214 53 }
earlz 6:a4dff59ef214 54 }
earlz 6:a4dff59ef214 55 return NULL;
earlz 6:a4dff59ef214 56 }
earlz 6:a4dff59ef214 57
earlz 6:a4dff59ef214 58 int pl_addword()
earlz 6:a4dff59ef214 59 {
earlz 6:a4dff59ef214 60 if(pl_dictionary_size==0){
earlz 6:a4dff59ef214 61 pl_dictionary=(WordKey*)malloc(sizeof(WordKey)*12);
earlz 6:a4dff59ef214 62 pl_dictionary_size=12;
earlz 6:a4dff59ef214 63 return 0;
earlz 6:a4dff59ef214 64 }
earlz 6:a4dff59ef214 65 if(pl_dictionary_size<=pl_dictionary_count)
earlz 6:a4dff59ef214 66 {
earlz 6:a4dff59ef214 67 void* tmp=realloc(pl_dictionary, pl_dictionary_size+sizeof(WordKey)*DICTIONARYSTEP);
earlz 6:a4dff59ef214 68 if(tmp==NULL)
earlz 6:a4dff59ef214 69 {
earlz 6:a4dff59ef214 70 vputs("Out of memory!! Epic Fail!!");
earlz 6:a4dff59ef214 71 return -1;
earlz 6:a4dff59ef214 72 }
earlz 6:a4dff59ef214 73 pl_dictionary=(WordKey*)tmp;
earlz 6:a4dff59ef214 74 pl_dictionary_size+=sizeof(WordKey)*DICTIONARYSTEP;
earlz 6:a4dff59ef214 75 }
earlz 6:a4dff59ef214 76 return pl_dictionary_count++;
earlz 6:a4dff59ef214 77 }
earlz 6:a4dff59ef214 78
earlz 6:a4dff59ef214 79
earlz 6:a4dff59ef214 80
earlz 6:a4dff59ef214 81 int forth_execute(uint8_t* block, int length)
earlz 6:a4dff59ef214 82 {
earlz 7:2ac6752d47d2 83 uint16_t pos=0;
earlz 6:a4dff59ef214 84 while(pos<length)
earlz 6:a4dff59ef214 85 {
earlz 7:2ac6752d47d2 86 serial.getc();
earlz 6:a4dff59ef214 87 Opcode op=(Opcode)block[pos];
earlz 7:2ac6752d47d2 88 printf("opcode: %x\r\n",(int)op);
earlz 6:a4dff59ef214 89 switch(op)
earlz 6:a4dff59ef214 90 {
earlz 6:a4dff59ef214 91 case BranchTrue:
earlz 6:a4dff59ef214 92 if(pl_pop()){
earlz 6:a4dff59ef214 93 pos++;
earlz 6:a4dff59ef214 94 pos=*((uint16_t*)&block[pos]);
earlz 7:2ac6752d47d2 95
earlz 6:a4dff59ef214 96 }else{
earlz 6:a4dff59ef214 97 pos+=3;
earlz 6:a4dff59ef214 98 }
earlz 6:a4dff59ef214 99 break;
earlz 6:a4dff59ef214 100 case BranchFalse:
earlz 6:a4dff59ef214 101 if(!pl_pop()){
earlz 6:a4dff59ef214 102 pos++;
earlz 6:a4dff59ef214 103 pos=*((uint16_t*)&block[pos]);
earlz 7:2ac6752d47d2 104 serial.printf("branch false %x\r\n",(int)pos);
earlz 6:a4dff59ef214 105 }else{
earlz 6:a4dff59ef214 106 pos+=3;
earlz 7:2ac6752d47d2 107 serial.printf("branch false skip %x\r\n", (int)pos);
earlz 6:a4dff59ef214 108 }
earlz 6:a4dff59ef214 109 break;
earlz 6:a4dff59ef214 110 case Branch:
earlz 6:a4dff59ef214 111 pos++;
earlz 6:a4dff59ef214 112 pos=*((uint16_t*)&block[pos]);
earlz 6:a4dff59ef214 113 break;
earlz 6:a4dff59ef214 114 case Push:
earlz 6:a4dff59ef214 115 pos++;
earlz 6:a4dff59ef214 116 pl_push(*(uint32_t*)&block[pos]);
earlz 6:a4dff59ef214 117 pos+=4;
earlz 6:a4dff59ef214 118 break;
earlz 6:a4dff59ef214 119 case Pop:
earlz 6:a4dff59ef214 120 pos++;
earlz 6:a4dff59ef214 121 pl_pop();
earlz 6:a4dff59ef214 122 break;
earlz 6:a4dff59ef214 123 case Add:
earlz 6:a4dff59ef214 124 pos++;
earlz 6:a4dff59ef214 125 pl_push(pl_pop()+pl_pop());
earlz 6:a4dff59ef214 126 break;
earlz 6:a4dff59ef214 127 case Sub:
earlz 6:a4dff59ef214 128 pos++;
earlz 6:a4dff59ef214 129 pl_push(pl_pop()-pl_pop());
earlz 6:a4dff59ef214 130 break;
earlz 6:a4dff59ef214 131 case Mul:
earlz 6:a4dff59ef214 132 pos++;
earlz 6:a4dff59ef214 133 pl_push(pl_pop()*pl_pop());
earlz 6:a4dff59ef214 134 break;
earlz 6:a4dff59ef214 135 case Div:
earlz 6:a4dff59ef214 136 pos++;
earlz 6:a4dff59ef214 137 pl_push(pl_pop()/pl_pop());
earlz 6:a4dff59ef214 138 break;
earlz 6:a4dff59ef214 139 case Mod:
earlz 6:a4dff59ef214 140 pos++;
earlz 6:a4dff59ef214 141 pl_push(pl_pop()%pl_pop());
earlz 6:a4dff59ef214 142 break;
earlz 6:a4dff59ef214 143 case CallInt:
earlz 6:a4dff59ef214 144 pos++;
earlz 6:a4dff59ef214 145 uint32_t tmp=*(uint32_t*)&block[pos];
earlz 6:a4dff59ef214 146 ((BuiltinFunction)tmp)();
earlz 6:a4dff59ef214 147 pos+=4;
earlz 6:a4dff59ef214 148 break;
earlz 7:2ac6752d47d2 149 case Ret:
earlz 7:2ac6752d47d2 150 return;
earlz 6:a4dff59ef214 151
earlz 6:a4dff59ef214 152
earlz 6:a4dff59ef214 153 default:
earlz 6:a4dff59ef214 154 vputs("Unknown opcode!!");
earlz 6:a4dff59ef214 155 return;
earlz 6:a4dff59ef214 156 }
earlz 6:a4dff59ef214 157 }
earlz 6:a4dff59ef214 158 return 0;
earlz 6:a4dff59ef214 159 }