23695330ef
* Handle 5 to 8 args. Generate a test file with all instructions for asm/disasm. * Add ops to test 7 and 8 arguments. * Make sure rebar builds sources before trying to build. * Make CI use rebar to build to make sure it works on top level without make.
aebytecode
An library and stand alone assembler for aeternity bytecode.
This version supports Aevm bytecode and Fate bytecode.
Build
$ make
Fate Code
Fate code exists in 3 formats:
- Fate byte code. This format is under consensus.
- Fate assembler. This is a text represenation of fate code. This is not under consensus and other implemenation and toolchains could have their own format.
- Internal. This is an Erlang representation of fate code Used by this particular engin implementation.
This library handles all tree representations. The byte code format is described in a separate document. The internal format is described in a separate document. The text representation is described below.
Fate Assembler Code
Assembler code can be read from a file. The assembler has the following format:
Comments start with 2 semicolons and runs till end of line
;; This is a comment
Opcode mnemonics start with an upper case letter.
DUP
Identifiers start with a lower case letter
an_identifier
References to function arguments start with arg followed by an integer
arg0
References to variables/registers start with var followed by an integer
var0
References to stack postions is either a (for stack 0)
or start with stack followed by an integer
stack1
a
Immediate values can be of 9 types:
-
Integers as decimals: {Digits} or -{Digits}
42-2374683271468723648732648736498712634876147And integers as Hexadecimals:: 0x{Hexdigits}0x0deadbeef0 -
addresses, a base58 encoded string starting with # followed by a number of base58chars
#nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv -
Boolean true or false
truefalse -
Strings "{Characters}"
"Hello" -
Map { Key => Value }
{}{ 1 => { "foo" => true, "bar" => false} -
Lists [ Elements ]
[][1, 2] -
Bit field < Bits > or !< Bits >
<000><1010 1010><>!<> -
Tuples ( Elements )
()(1, "foo") -
Variants: (| Size | Tag | ( Elements ) |)
(| 42 | 12 | ( "foo", 12) |)
Where
Digits: [0123456789]
Hexdigits: [0123456789abcdef]
base58char: [123456789ABCDEFGHJKLMNPQRSTUVWXYZabcdefghijkmnopqrstuvwxyz]
Characters: any printable ascii character 0..255 (except " no quoting yet)
Key: any value except for a map
Bits: 01 or space
Elements: Nothing or Value , Elements
Size: Digits (0 < Size < 256)
Tag: Digits (0 =< Tag < Size)