creole/README.md

Creole is a bytecode designed for microcontrollers. It's C source file
is less than 1000 lines long and does not depend on the C standard
library.

## Bytecode Format

The syntax of creole instructions are

    [1 byte opcode][2 or more byte instruction]*[1 byte all zero]

Each creole instruction consists of pseudo-UTF-8 characters. The first
byte is an unsigned number between 0 and 127 (the high bit is clear). Each
suceeding pseudo-UTF-8 character is encoded as follows:

* `110HHHHx 10xxxxxx`
* `1110HHHH 10xxxxxx 10xxxxxx`
* `11110HHH 10Hxxxxx 10xxxxxx 10xxxxxx`
* `111110HH 10HHxxxx 10xxxxxx 10xxxxxx 10xxxxxx`
* `1111110H 10HHHxxx 10xxxxxx 10xxxxxx 10xxxxxx	10xxxxxx`
* `11111110 10HHHHxx 10xxxxxx 10xxxxxx 10xxxxxx 10xxxxxx 10xxxxxx`

The first four bits determine the type. The LSB high bit determines
if the encoded value is a register (`0001`) or immediate (`00X0`).
The second bit from LSB determines if the value should be treated
as a signed 32 bit two's compliment number (`001X`) or should be
treated as an unsigned 32 bit number (`000X`). All other values for
the high bits are reserved.

The rest of the bits encode a number that is up to 32 bits long.
Overlong encodings are accepted and sometimes used.

## Assembler

The macro assembler is Python (see the asm directory). The macro
assembler supports virtual instructions and jumps with named labels.

## Design Philsophy

Creole is small but not minimal. It is easy to add instructions, and
the amount of labels, registers, and stack space can changed at runtime.
System calls can be added dynamically, but static instructions that take
at most 3 arguments should be hard-coded.