User:Zarutian/Smallcaps
From Erights
(Difference between revisions)
m (Adding to the notes) |
m (Still adding notes) |
||
| Line 5: | Line 5: | ||
The opcodes are: | The opcodes are: | ||
| - | Hex Memnomic | + | Hex Memnomic Effects/Description |
| - | + | 0x01 OP_DUP [x],[] => OP_DUP => [x, x],[] | |
| - | + | 0x02 OP_POP [x],[] => OP_POP => [],[] | |
| - | + | 0x03 OP_SWAP [x, y],[] => OP_SWAP => [y, x],[] | |
| - | + | 0x04 OP_ROT [x, y, z],[] => OP_ROT => [y, z, x],[] | |
| - | + | 0x05 OP_RETURN [x],[] => OP_RETURN | |
| - | + | 0x08 OP_JUMP [],[] => OP_JUMP(label) => [],[] | |
| - | + | label := ?Waterken Wholenum? | |
| - | + | 0x09 OP_BRANCH [ootEjector, flag],[] => OP_BRANCH => [],[] | |
| - | + | 0x0A OP_CALL_ONLY [recip, args...],[] => OP_CALL_ONLY(verb, arity) => [],[] | |
| - | + | 0x0B OP_CALL [recip, args...],[] => OP_CALL(verb, arity) => [result],[] | |
| + | verb := ?Waterken UTF8 string? | ||
| + | arity := ?Waterken Wholenum? | ||
| + | |||
| + | 0x0E OP_EJECTOR_ONLY [],[] => OP_EJECTOR_ONLY(label) => [ejector],[handler] | ||
| + | when ejector is invoked: [...],[...] => ejector(_) => [],[] | ||
| + | 0x0F OP_EJECTOR [],[] => OP_EJECTOR(label) => [ejector],[handler] | ||
| + | when ejector is invoked: [...],[...] => ejector(result) => [result],[] | ||
| + | 0x10 OP_TRY [],[] => OP_TRY(label) => [],[handler] | ||
| + | when handler is invoked: [...],[...] => handler(arg) => [arg],[] | ||
| + | when handler is dropped: [...],[...] => handler.drop(_) => [...],[...] | ||
Revision as of 17:09, 30 January 2010
Notes of what I have cleaned from the incomplete spefication and implementation of Smallcaps.
Smallcaps is a bytecode based format of executable code.
The opcodes are:
Hex Memnomic Effects/Description
0x01 OP_DUP [x],[] => OP_DUP => [x, x],[]
0x02 OP_POP [x],[] => OP_POP => [],[]
0x03 OP_SWAP [x, y],[] => OP_SWAP => [y, x],[]
0x04 OP_ROT [x, y, z],[] => OP_ROT => [y, z, x],[]
0x05 OP_RETURN [x],[] => OP_RETURN
0x08 OP_JUMP [],[] => OP_JUMP(label) => [],[]
label := ?Waterken Wholenum?
0x09 OP_BRANCH [ootEjector, flag],[] => OP_BRANCH => [],[]
0x0A OP_CALL_ONLY [recip, args...],[] => OP_CALL_ONLY(verb, arity) => [],[]
0x0B OP_CALL [recip, args...],[] => OP_CALL(verb, arity) => [result],[]
verb := ?Waterken UTF8 string?
arity := ?Waterken Wholenum?
0x0E OP_EJECTOR_ONLY [],[] => OP_EJECTOR_ONLY(label) => [ejector],[handler]
when ejector is invoked: [...],[...] => ejector(_) => [],[]
0x0F OP_EJECTOR [],[] => OP_EJECTOR(label) => [ejector],[handler]
when ejector is invoked: [...],[...] => ejector(result) => [result],[]
0x10 OP_TRY [],[] => OP_TRY(label) => [],[handler]
when handler is invoked: [...],[...] => handler(arg) => [arg],[]
when handler is dropped: [...],[...] => handler.drop(_) => [...],[...]
