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
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
|
.set SYS_READ, 0
.set SYS_WRITE, 1
.set SYS_OPEN, 2
.set SYS_CLOSE, 3
.set SYS_BRK, 12
.set SYS_EXIT, 60
.set F_CREATE_AND_WRITE, 0x41
.set F_MODE_EXECUTABLE, 0744
.section .constants, "a"
c_elf_header:
.byte 0x7f # Magic Number
.ascii "ELF" #
.byte 0x2 # 64-Bit
.byte 0x1 # little-endian
.byte 0x1 # ELFv1
.byte 0x0 # System V ABI
.quad 0x0 #
.hword 0x02 # Executable
.hword 0x3e # AMD x86-64
.int 0x1 # ELFv1
.quad 0x401000 # Entry
.quad 0x40 # Program Header Offset
.quad 0x100 # TODO: Section Header Offset
.int 0x0 #
.hword 0x40 # ELF Header Size
.hword 0x38 # Program Header Table Entry Size
.hword 0x3 # TODO: Number Of Entries in Program Header Table
.hword 0x40 # Section Header Table Entry Size
.hword 0x3 # TODO: Number Of Entries in Section Header Table
.hword 0x2 # TODO: Index of Section Header Table Entry containing section names
c_usage_message:
.asciz "bfc [input file] [output file]\n"
.section .variables, "aw"
v_input_fd:
.int 0x0
v_output_fd:
.int 0x0
v_buffer_start:
.quad 0x0
v_buffer_end:
.quad 0x0
v_buffer_cursor:
.quad 0x0
v_input_char:
.byte 0x0
.section .code, "ax"
.global _start
_start:
mov %rsp, %rbp
call f_check_args
call f_open_files
call f_init_buffer
l_read_loop:
call f_read_next_character
cmp $0, %rax
je l_read_loop_end
mov $v_input_char, %rbx
mov (%rbx), %rax
cmp $'<', %rax
je l_compile_move_left
cmp $'>', %rax
je l_compile_move_right
cmp $'+', %rax
je l_compile_inc
cmp $'-', %rax
je l_compile_dec
cmp $'[', %rax
je l_compile_loop_start
cmp $']', %rax
je l_compile_loop_end
cmp $'.', %rax
je l_compile_write
cmp $',', %rax
je l_compile_read
jmp l_read_loop
l_compile_move_left:
mov $v_buffer_cursor, %rbx
mov (%rbx), %rsi
add $3, %rsi
call f_check_buffer
mov $v_buffer_cursor, %rbx
mov (%rbx), %rax
movl $0xc0ff48, (%rax)
add $3, %rax
mov %rax, (%rbx)
jmp l_read_loop
l_compile_move_right:
jmp l_read_loop
l_compile_inc:
jmp l_read_loop
l_compile_dec:
jmp l_read_loop
l_compile_loop_start:
jmp l_read_loop
l_compile_loop_end:
jmp l_read_loop
l_compile_write:
jmp l_read_loop
l_compile_read:
jmp l_read_loop
l_read_loop_end:
call f_close_files
mov $0, %rdi
jmp f_exit
f_exit:
mov $SYS_EXIT, %rax
syscall
f_check_args:
mov (%rbp), %rax
cmp $3, %rax
je l_check_args_success
mov $SYS_WRITE, %rax
mov $2, %rdi
mov $c_usage_message, %rsi
mov $32, %rdx
syscall
mov $-1, %rdi
jmp f_exit
l_check_args_success:
ret
f_open_files:
mov $SYS_OPEN, %rax
mov 16(%rbp), %rdi
mov $0, %rsi
mov $0, %rdx
syscall
mov $v_input_fd, %rbx
mov %eax, (%rbx)
mov $SYS_OPEN, %rax
mov 24(%rbp), %rdi
mov $F_CREATE_AND_WRITE, %rsi
mov $F_MODE_EXECUTABLE, %rdx
syscall
mov $v_output_fd, %rbx
mov %eax, (%rbx)
ret
f_close_files:
mov $SYS_CLOSE, %rax
mov %rbx, %rsi
syscall
mov $SYS_CLOSE, %rax
mov %rcx, %rsi
syscall
ret
f_init_buffer:
mov $SYS_BRK, %rax
mov $0, %rdi
syscall
mov $v_buffer_start, %rbx
mov %rax, (%rbx)
mov $v_buffer_end, %rbx
mov %rax, (%rbx)
mov $v_buffer_cursor, %rbx
mov %rax, (%rbx)
/*
* We directly skip to f_resize_buffer
* since we want to resize it to a usable amount
*/
f_resize_buffer:
mov $SYS_BRK, %rax
mov $v_buffer_end, %rbx
mov (%rbx), %rdi
add $0x400, %rdi
syscall
mov %rax, (%rbx)
ret
/* %rsi = needed end */
f_check_buffer:
mov $v_buffer_end, %rbx
mov (%rbx), %rax
cmp %rax, %rsi
jl l_check_buffer_large_enough
call f_resize_buffer
l_check_buffer_large_enough:
ret
f_read_next_character:
mov $SYS_READ, %rax
mov $v_input_fd, %rbx
mov (%rbx), %rdi
mov $v_input_char, %rsi
mov $1, %rdx
syscall
ret
|
