blob: 4a1e7e3d1a41e04dee862ee1f7b606f43df0b735 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
; declaration:
; global <type> <name>
; local <type> <name>
; :<label>
; statement:
; <declaration>
; if <term> <==/</>/>=/<=/!=> <term> goto <label> NOTE: this uses signed comparisons
; goto <label>
; <lvalue> = <rvalue>
; <lvalue> += <rvalue>
; <lvalue> -= <rvalue>
; <function>(<term>, <term>, ...)
; syscall <term> <term> ...
; return <rvalue>
; byte <number>
; term:
; <var>
; <number>
; number:
; 'c
; 12345
; 0xabc
; lvalue:
; <var>
; *<var>
; <var>[<term>]
; rvalue:
; `<string>`
; <var>
; &<var>
; *1 <var> / *2 <var> / *4 <var> / *8 <var>
; <var>[<term>]
; ~<var>
; <function>(<term>, <term>, ...)
; syscall <term>, <term>, ...
; <term> + <term>
; <term> - <term>
; NOTE: *, /, % are signed (imul and idiv)
; <term> * <term>
; <term> / <term>
; <term> % <term>
; <term> & <term>
; <term> | <term>
; <term> ^ <term>
; <term> < <term> (left shift)
; <term> > <term> (unsigned right shift)
main() ; hello
global x
global y ;123
global z
:strlen
function
argument s
local len
local c
local p
len = 0
:strlen_loop
p = s + len
c = *1 p
if c == 0 goto strlen_loop_end
len += 1
goto strlen_loop
:strlen_loop_end
return len
:putc
function
argument c
local p
p = &c
syscall 1 1 p 1 0 0 0 0
return
:puts
function
argument s
local len
len = strlen(s)
syscall 1 1 s len 0 0 0 0
return
:main
function
local hello
hello = `Hello, world!
`
puts(hello)
syscall 0x3c 0 0 0 0 0 0 0
:f
function
argument x
argument y
local v
local p
v = *4x
p = *8y
*4p = v
if v == 0 goto something
*1p = v + 1
return *2p
:something
return *4p
|
