User:Zarutian/Smallcaps - Revision history

Zarutian: edit 5 in editstream

2010-09-09T12:14:10Z

edit 5 in editstream

New page

Notes of what I have gleaned 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(_) => [...],[...]
0x11 OP_UNWIND [],[] => OP_UNWIND(label) => [],[handler]
when handler is invoked: [...],[...] => handler(arg) => [rethrower(arg)],[]
when handler is dropped: [...],[...] => handler.drop(pc) => [returner(pc)],[]
0x12 OP_END_HANDLER [],[handler] => OP_END_HANDLER => [],[]

0x16 OP_WHOLE_NUM [],[] => OP_WHOLE_NUM(wholeNum) => [wholeNum],[]
0x17 OP_NEG_INT [],[] => OP_NEG_INT(wholeNum) => [-wholeNum],[]
0x18 OP_FLOAT64 [],[] => OP_FLOAT64(float64) => [float64],[]
0x19 OP_CHAR [],[] => OP_CHAR(chr) => [chr],[]
0x1A OP_STRING [],[] => OP_STRING(str) => [str],[]
0x1B OP_TWINE [],[] => OP_TWINE(twine) => [twine],[]
0x1C OP_TRUE [],[] => OP_TRUE => [true],[]
0x1D OP_FALSE [],[] => OP_FALSE => [false],[]
0x1E OP_NULL [],[] => OP_NULL => [null],[]
0x1F OP_SCOPE [],[] => OP_SCOPE => [scope],[]
0x20 OP_OBJECT [ivars..., auditors...],[] => OP_OBJECT(wholeNum numOfFields, wholeNum scriptIndex) => [object],[]
metanote: hypothesis: OP_OBJECT takes these immitiate args:
wholenum of ivarAuditorpairs to pop of the stack
some sort of reference to code that handles calls and sends to the object
0x21 OP_LIST_PATT [optEjector, specimen],[] => OP_LIST_PATT(n) => [optEjector, specimen[n-1]..., optEjector, specimen[0]]
metanote: is n a wholenum?
0x22 OP_CDR_PATT

0x28 OP_NOUN
+addrMode
0x30 OP_SLOT
+addrMode
0x38 OP_ASSIGN
+addrMode
0x40 OP_BIND
+addrMode
0x48 OP_BIND_SLOT
+addrMode

[[User:dash|dash]] pointed me to http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head:/doc/smallcaps.txt which is also a bit stale and to http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head:/esrc/com/twistedmatrix/ecru/compiler.emaker

http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head%3A/src/vm.c

See also http://epan.cvs.sourceforge.net/viewvc/epan/epan/lib/smallcaps/org/erights/e/elang/smallcaps/SmallcapsEncoder.java?view=markup

And http://epan.cvs.sourceforge.net/viewvc/epan/epan/lib/smallcaps/org/erights/e/elang/smallcaps/SmallcapsOps.java?view=markup

<pre><nowiki>
# A Tcl procedure that decodes smallcaps bytecode stream
proc decode_smallcaps {input} {
set output [list]
set op [read_byte]
switch -exact -- $op {
"\x01" { lappend output [list OP_DUP] }
"\x02" { lappend output [list OP_POP] }
"\x03" { lappend output [list OP_SWAP] }
"\x04" { lappend output [list OP_ROT] }
"\x05" { lappend output [list [list OP_UNDERDUP OP_RETURN]] }
"\x06" { lappend output [list [list OP_RETURN {}]] }
"\x07" { lappend output [list unused_bytecode 1] }
"\x08" { lappend output [list OP_JUMP [read_wholeNum]] }
"\x09" { lappend output [list OP_BRANCH] }
"\x0a" { lappend output [list OP_CALL_ONLY [read_string] [read_wholeNum]] }
"\x0b" { lappend output [list OP_CALL [read_string] [read_wholeNum]] }
"\x0c" { lappend output [list OP_SEND_ONLY [read_string] [read_wholeNum]] }
"\x0d" { lappend output [list OP_SEND [read_string] [read_wholeNum]] }
"\x0e" { lappend output [list OP_EJECTOR_ONLY [read_wholeNum]] }
"\x0f" { lappend output [list OP_EJECTOR [read_wholeNum]] }
"\x10" { lappend output [list OP_TRY [read_wholeNum]] }
"\x11" { lappend output [list OP_UNWIND [read_wholeNum]] }
"\x12" { lappend output [list OP_ENDHANDLER] }
"\x13" { lappend output [list unused_bytecode 2] }
"\x14" { lappend output [list unused_bytecode 3] }
"\x15" { lappend output [list unused_bytecode 4] }
"\x16" { lappend output [list OP_WHOLENUM [read_wholeNum]] }
"\x17" { lappend output [list OP_NEG_INT [read_wholeNum]] }
"\x18" { lappend output [list OP_FLOAT64 [read_float64]] }
"\x19" { lappend output [list OP_CHAR [read_char]] }
"\x1a" { lappend output [list OP_STRING [read_string]] }
"\x1b" { lappend output [list OP_TWINE ???unknown_arity???]] }
"\x1c" { lappend output [list OP_TRUE]] }
"\x1d" { lappend output [list OP_FALSE]] }
"\x1e" { lappend output [list OP_NULL]] }
"\x1f" { lappend output [list OP_SCOPE]] }
"\x20" { lappend output [list OP_OBJECT [read_wholeNum] [read_wholeNum]] }
"\x21" { lappend output [list OP_LIST_PATT [read_wholeNum]] }
"\x22" { lappend output [list OP_LIST_PATT_ONLY [read_wholeNum]] }
"\x23" { lappend output [list OP_CDR_PATT [read_wholeNum]] }
"\x24" { lappend output [list OP_CDR_PATT_ONLY [read_wholeNum]] }
"\x25" { lappend output [list unused_bytecode 5]] }
"\x26" { lappend output [list unused_bytecode 6]] }
"\x27" { lappend output [list unused_bytecide 7]] }
}

return $output
}

</nowiki></pre>

Zarutian: edit 4 in editstream

2010-09-09T11:53:56Z

edit 4 in editstream

←Older revision		Revision as of 11:53, 9 September 2010
Line 70:		Line 70:
	And http://epan.cvs.sourceforge.net/viewvc/epan/epan/lib/smallcaps/org/erights/e/elang/smallcaps/SmallcapsOps.java?view=markup		And http://epan.cvs.sourceforge.net/viewvc/epan/epan/lib/smallcaps/org/erights/e/elang/smallcaps/SmallcapsOps.java?view=markup

-	<nowiki>	+	<nowiki><pre>
	# A Tcl procedure that decodes smallcaps bytecode stream		# A Tcl procedure that decodes smallcaps bytecode stream
	proc decode_smallcaps {input} {		proc decode_smallcaps {input} {
Line 94:		Line 94:
	"\x11" { lappend output [list OP_UNWIND [read_wholeNum]] }		"\x11" { lappend output [list OP_UNWIND [read_wholeNum]] }
	"\x12" { lappend output [list OP_ENDHANDLER] }		"\x12" { lappend output [list OP_ENDHANDLER] }
-	"	+	"\x13" { lappend output [list unused_bytecode 2] }
		+	"\x14" { lappend output [list unused_bytecode 3] }
		+	"\x15" { lappend output [list unused_bytecode 4] }
	}		}

Line 100:		Line 102:
	}		}

-	</nowiki>	+	</pre></nowiki>

Zarutian: edit 3 in editstream

2010-09-09T11:50:34Z

edit 3 in editstream

←Older revision		Revision as of 11:50, 9 September 2010
Line 84:		Line 84:
	"\x07" { lappend output [list unused_bytecode 1] }		"\x07" { lappend output [list unused_bytecode 1] }
	"\x08" { lappend output [list OP_JUMP [read_wholeNum]] }		"\x08" { lappend output [list OP_JUMP [read_wholeNum]] }
		+	"\x09" { lappend output [list OP_BRANCH] }
		+	"\x0a" { lappend output [list OP_CALL_ONLY [read_string] [read_wholeNum]] }
		+	"\x0b" { lappend output [list OP_CALL [read_string] [read_wholeNum]] }
		+	"\x0c" { lappend output [list OP_SEND_ONLY [read_string] [read_wholeNum]] }
		+	"\x0d" { lappend output [list OP_SEND [read_string] [read_wholeNum]] }
		+	"\x0e" { lappend output [list OP_EJECTOR_ONLY [read_wholeNum]] }
		+	"\x0f" { lappend output [list OP_EJECTOR [read_wholeNum]] }
		+	"\x10" { lappend output [list OP_TRY [read_wholeNum]] }
		+	"\x11" { lappend output [list OP_UNWIND [read_wholeNum]] }
		+	"\x12" { lappend output [list OP_ENDHANDLER] }
		+	"
	}		}

Zarutian: edit 2 in editstream

2010-09-09T11:38:07Z

edit 2 in editstream

←Older revision		Revision as of 11:38, 9 September 2010
Line 43:		Line 43:
	0x1E OP_NULL [],[] => OP_NULL => [null],[]		0x1E OP_NULL [],[] => OP_NULL => [null],[]
	0x1F OP_SCOPE [],[] => OP_SCOPE => [scope],[]		0x1F OP_SCOPE [],[] => OP_SCOPE => [scope],[]
-	0x20 OP_OBJECT [ivars..., auditors...],[] => OP_OBJECT(~~<metanote: missing>~~) => [object],[]	+	0x20 OP_OBJECT [ivars..., auditors...],[] => OP_OBJECT(wholeNum numOfFields, wholeNum scriptIndex) => [object],[]
	metanote: hypothesis: OP_OBJECT takes these immitiate args:		metanote: hypothesis: OP_OBJECT takes these immitiate args:
	wholenum of ivarAuditorpairs to pop of the stack		wholenum of ivarAuditorpairs to pop of the stack
Line 67:		Line 67:

	See also http://epan.cvs.sourceforge.net/viewvc/epan/epan/lib/smallcaps/org/erights/e/elang/smallcaps/SmallcapsEncoder.java?view=markup		See also http://epan.cvs.sourceforge.net/viewvc/epan/epan/lib/smallcaps/org/erights/e/elang/smallcaps/SmallcapsEncoder.java?view=markup
		+
		+	And http://epan.cvs.sourceforge.net/viewvc/epan/epan/lib/smallcaps/org/erights/e/elang/smallcaps/SmallcapsOps.java?view=markup
		+
		+	<nowiki>
		+	# A Tcl procedure that decodes smallcaps bytecode stream
		+	proc decode_smallcaps {input} {
		+	set output [list]
		+	set op [read_byte]
		+	switch -exact -- $op {
		+	"\x01" { lappend output [list OP_DUP] }
		+	"\x02" { lappend output [list OP_POP] }
		+	"\x03" { lappend output [list OP_SWAP] }
		+	"\x04" { lappend output [list OP_ROT] }
		+	"\x05" { lappend output [list [list OP_UNDERDUP OP_RETURN]] }
		+	"\x06" { lappend output [list [list OP_RETURN {}]] }
		+	"\x07" { lappend output [list unused_bytecode 1] }
		+	"\x08" { lappend output [list OP_JUMP [read_wholeNum]] }
		+	}
		+
		+	return $output
		+	}
		+
		+	</nowiki>

Zarutian: Starting edits stream

2010-09-09T11:20:20Z

Starting edits stream

←Older revision		Revision as of 11:20, 9 September 2010
Line 65:		Line 65:

	http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head%3A/src/vm.c		http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head%3A/src/vm.c
		+
		+	See also http://epan.cvs.sourceforge.net/viewvc/epan/epan/lib/smallcaps/org/erights/e/elang/smallcaps/SmallcapsEncoder.java?view=markup

Zarutian at 13:08, 9 March 2010

2010-03-09T13:08:34Z

←Older revision		Revision as of 13:08, 9 March 2010
Line 62:		Line 62:
	+addrMode		+addrMode

-	[[User:dash]] pointed me to http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head:/doc/smallcaps.txt which is also a bit stale and to http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head:/esrc/com/twistedmatrix/ecru/compiler.emaker	+	[[User:dash\|dash]] pointed me to http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head:/doc/smallcaps.txt which is also a bit stale and to http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head:/esrc/com/twistedmatrix/ecru/compiler.emaker

	http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head%3A/src/vm.c		http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head%3A/src/vm.c
-	~~--[[User:Zarutian\|Zarutian]] 07:07, 9 March 2010 (CST)~~

Zarutian at 13:07, 9 March 2010

2010-03-09T13:07:38Z

←Older revision		Revision as of 13:07, 9 March 2010
Line 65:		Line 65:

	http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head%3A/src/vm.c		http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head%3A/src/vm.c
		+	--[[User:Zarutian\|Zarutian]] 07:07, 9 March 2010 (CST)

Zarutian at 16:43, 5 March 2010

2010-03-05T16:43:33Z

←Older revision		Revision as of 16:43, 5 March 2010
Line 63:		Line 63:

	[[User:dash]] pointed me to http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head:/doc/smallcaps.txt which is also a bit stale and to http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head:/esrc/com/twistedmatrix/ecru/compiler.emaker		[[User:dash]] pointed me to http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head:/doc/smallcaps.txt which is also a bit stale and to http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head:/esrc/com/twistedmatrix/ecru/compiler.emaker
		+
		+	http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head%3A/src/vm.c

Zarutian at 16:32, 5 March 2010

2010-03-05T16:32:15Z

←Older revision		Revision as of 16:32, 5 March 2010
Line 62:		Line 62:
	+addrMode		+addrMode

-	[[User:dash]] pointed me to http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head:/doc/smallcaps.txt which is also a bit stale	+	[[User:dash]] pointed me to http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head:/doc/smallcaps.txt which is also a bit stale and to http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head:/esrc/com/twistedmatrix/ecru/compiler.emaker

Zarutian at 16:29, 5 March 2010

2010-03-05T16:29:01Z

←Older revision		Revision as of 16:29, 5 March 2010
Line 61:		Line 61:
	0x48 OP_BIND_SLOT		0x48 OP_BIND_SLOT
	+addrMode		+addrMode
		+
		+	[[User:dash]] pointed me to http://bazaar.launchpad.net/~washort/ecru/trunk/annotate/head:/doc/smallcaps.txt which is also a bit stale