commit e6b09df3d75df0a67618bef38be2a64d430a9411 Author: Juhani Krekelä Date: Wed May 12 17:05:52 2021 +0300 First commit diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..c3d1228 --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +minibfc +bf diff --git a/CC0 b/CC0 new file mode 100644 index 0000000..670154e --- /dev/null +++ b/CC0 @@ -0,0 +1,116 @@ +CC0 1.0 Universal + +Statement of Purpose + +The laws of most jurisdictions throughout the world automatically confer +exclusive Copyright and Related Rights (defined below) upon the creator and +subsequent owner(s) (each and all, an "owner") of an original work of +authorship and/or a database (each, a "Work"). + +Certain owners wish to permanently relinquish those rights to a Work for the +purpose of contributing to a commons of creative, cultural and scientific +works ("Commons") that the public can reliably and without fear of later +claims of infringement build upon, modify, incorporate in other works, reuse +and redistribute as freely as possible in any form whatsoever and for any +purposes, including without limitation commercial purposes. These owners may +contribute to the Commons to promote the ideal of a free culture and the +further production of creative, cultural and scientific works, or to gain +reputation or greater distribution for their Work in part through the use and +efforts of others. + +For these and/or other purposes and motivations, and without any expectation +of additional consideration or compensation, the person associating CC0 with a +Work (the "Affirmer"), to the extent that he or she is an owner of Copyright +and Related Rights in the Work, voluntarily elects to apply CC0 to the Work +and publicly distribute the Work under its terms, with knowledge of his or her +Copyright and Related Rights in the Work and the meaning and intended legal +effect of CC0 on those rights. + +1. Copyright and Related Rights. A Work made available under CC0 may be +protected by copyright and related or neighboring rights ("Copyright and +Related Rights"). Copyright and Related Rights include, but are not limited +to, the following: + + i. the right to reproduce, adapt, distribute, perform, display, communicate, + and translate a Work; + + ii. moral rights retained by the original author(s) and/or performer(s); + + iii. publicity and privacy rights pertaining to a person's image or likeness + depicted in a Work; + + iv. rights protecting against unfair competition in regards to a Work, + subject to the limitations in paragraph 4(a), below; + + v. rights protecting the extraction, dissemination, use and reuse of data in + a Work; + + vi. database rights (such as those arising under Directive 96/9/EC of the + European Parliament and of the Council of 11 March 1996 on the legal + protection of databases, and under any national implementation thereof, + including any amended or successor version of such directive); and + + vii. other similar, equivalent or corresponding rights throughout the world + based on applicable law or treaty, and any national implementations thereof. + +2. Waiver. To the greatest extent permitted by, but not in contravention of, +applicable law, Affirmer hereby overtly, fully, permanently, irrevocably and +unconditionally waives, abandons, and surrenders all of Affirmer's Copyright +and Related Rights and associated claims and causes of action, whether now +known or unknown (including existing as well as future claims and causes of +action), in the Work (i) in all territories worldwide, (ii) for the maximum +duration provided by applicable law or treaty (including future time +extensions), (iii) in any current or future medium and for any number of +copies, and (iv) for any purpose whatsoever, including without limitation +commercial, advertising or promotional purposes (the "Waiver"). Affirmer makes +the Waiver for the benefit of each member of the public at large and to the +detriment of Affirmer's heirs and successors, fully intending that such Waiver +shall not be subject to revocation, rescission, cancellation, termination, or +any other legal or equitable action to disrupt the quiet enjoyment of the Work +by the public as contemplated by Affirmer's express Statement of Purpose. + +3. Public License Fallback. Should any part of the Waiver for any reason be +judged legally invalid or ineffective under applicable law, then the Waiver +shall be preserved to the maximum extent permitted taking into account +Affirmer's express Statement of Purpose. In addition, to the extent the Waiver +is so judged Affirmer hereby grants to each affected person a royalty-free, +non transferable, non sublicensable, non exclusive, irrevocable and +unconditional license to exercise Affirmer's Copyright and Related Rights in +the Work (i) in all territories worldwide, (ii) for the maximum duration +provided by applicable law or treaty (including future time extensions), (iii) +in any current or future medium and for any number of copies, and (iv) for any +purpose whatsoever, including without limitation commercial, advertising or +promotional purposes (the "License"). The License shall be deemed effective as +of the date CC0 was applied by Affirmer to the Work. Should any part of the +License for any reason be judged legally invalid or ineffective under +applicable law, such partial invalidity or ineffectiveness shall not +invalidate the remainder of the License, and in such case Affirmer hereby +affirms that he or she will not (i) exercise any of his or her remaining +Copyright and Related Rights in the Work or (ii) assert any associated claims +and causes of action with respect to the Work, in either case contrary to +Affirmer's express Statement of Purpose. + +4. Limitations and Disclaimers. + + a. No trademark or patent rights held by Affirmer are waived, abandoned, + surrendered, licensed or otherwise affected by this document. + + b. Affirmer offers the Work as-is and makes no representations or warranties + of any kind concerning the Work, express, implied, statutory or otherwise, + including without limitation warranties of title, merchantability, fitness + for a particular purpose, non infringement, or the absence of latent or + other defects, accuracy, or the present or absence of errors, whether or not + discoverable, all to the greatest extent permissible under applicable law. + + c. Affirmer disclaims responsibility for clearing rights of other persons + that may apply to the Work or any use thereof, including without limitation + any person's Copyright and Related Rights in the Work. Further, Affirmer + disclaims responsibility for obtaining any necessary consents, permissions + or other rights required for any use of the Work. + + d. Affirmer understands and acknowledges that Creative Commons is not a + party to this document and has no duty or obligation with respect to this + CC0 or use of the Work. + +For more information, please see + diff --git a/minibfc.asm b/minibfc.asm new file mode 100644 index 0000000..9c3c400 --- /dev/null +++ b/minibfc.asm @@ -0,0 +1,237 @@ +BITS 64 + +org 0x400000 + +elf_header: + db 0x7f, "ELF" + db 2 ; 64 bit + db 1 ; little-endian + db 1 ; header version 1 + db 0 ; SysV ABI + times 8 db 0 ; padding + dw 2 ; executable + dw 0x3e ; amd64 + dd 1 ; ELF version 1 + dq _start ; entry point + dq program_headers - $$ ; program header table offset + dq 0 ; section header table offset, not needed in executables + dd 0 ; flags, unsused on x86 + dw elf_header_length ; header length + dw program_header_size ; size of one entry in program header table + dw 1 ; 1 entry + dw 0 ; size of one entry in section header table + dw 0 ; number of entries in the section header table + dw 0 ; section name index in section header table + + elf_header_length equ $ - elf_header + +program_headers: + dd 1 ; loadable segment + dd 4 + 1 ; readable + executable + dq 0 ; offset of contents + dq $$ ; location in virtual memory + dq 0 ; undefined + fsize_offset equ $ - $$ + dq _end - $$ ; size of segment in file + msize_offset equ $ - $$ + dq _end - $$ ; size of segment in memory + dq 0x1000 ; 4KiB alignment + + program_header_size equ $ - program_headers + +headers_length equ $ - elf_header + +_start: + sub rsp, 0x10000 ; 64KiB of scratch space + mov rdi, rsp + + .copy_header: + mov rsi, $$ + mov rcx, headers_length + rep movsb + + .copy_init: + mov rsi, init_code + mov rcx, init_code_length + rep movsb + + mov rbp, rdi + +mainloop: + ; Read one byte + mov rax, 0 + mov rdi, 0 + mov rsi, rbp + mov rdx, 1 + syscall + + .was_eof: + test rax, rax + jz end + + mov al, [rbp] + + mov rcx, 8 + mov rbx, command_table + xor rdx, rdx + + .table_find: + mov dl, [rbx+1] + cmp al, [rbx] + je .table_found + add dl, 2 + add rbx, rdx + loop .table_find + xor rdx, rdx + + .table_found: + lea rsi, [rbx + 2] + + mov rdi, rbp + mov rcx, rdx + rep movsb + mov rbp, rdi + + jmp mainloop + +end: + .copy_end_code: + mov rsi, end_code + mov rdi, rbp + mov rcx, end_code_length + rep movsb + mov rbp, rdi + + .adjust_header_sizes: + mov rcx, rdi + sub rcx, rsp + mov [rsp + fsize_offset], rcx + mov [rsp + msize_offset], rcx + + mov rsi, rsp + add rsi, headers_length + .fixup_loop: + cmp rsi, rbp + je .fixup_done + + lodsb + cmp al, 0xe9 ; Relative jump + jne .fixup_loop + + lodsb + .is_forwards: + test al, al + jnz .is_backwards + + ; Push our current location (one byte after the start of the displacement) + push rsi + jmp .fixup_loop + + .is_backwards: + cmp al, 1 + jnz .fixup_loop + + ; Get matching ['s location + pop rdi + + ; Distance between the locations = distance between jumps = displacement when jumping forwards + mov rax, rsi + sub rax, rdi + + ; Store in ['s displacement field + dec rdi + stosd + + ; Jumping backwards, we need to invert the displacement and then account for the size of the [ + neg rax + xor rbx, rbx + mov byte bl, [while_length] + sub rax, rbx + + ; Store in our displacement field + mov rdi, rsi + dec rdi + stosd + + ; Move to next instruction + mov rsi, rdi + jmp .fixup_loop + + .fixup_done: + + xor rbx, rbx + .output_loop: + mov rsi, rsp + add rsi, rbx + cmp rsi, rbp + + je .exit + mov rax, 1 + mov rdi, 1 + mov rdx, 1 + syscall + + inc rbx + jmp .output_loop + + .exit: + mov rax, 60 + xor rdi, rdi + syscall + +command_table: + plus: db '+', minus - $ - 2 + inc byte [rbx] + minus: db '-', right - $ - 2 + dec byte [rbx] + right: db '>', left - $ - 2 + inc rbx + left: db '<', while - $ - 2 + dec rbx + while: db '[' + while_length: db wend - $ - 1 + + cmp byte [rbx], 0 + jne .skip + ; Reserve space for jump forwards, tag with 0x00000000 + db 0xe9 + times 4 db 0 + .skip: + wend: db ']', getc - $ - 2 + ; Reserve space for jump backwards, tag with 0x01000000 + db 0xe9 + db 1 + times 3 db 0 + getc: db ',', putc - $ - 2 + mov byte [rbx], 0 + mov rax, 0 + mov rdi, 0 + mov rsi, rbx + mov rdx, 1 + syscall + putc: db '.', ._end - $ - 2 + mov rax, 1 + mov rdi, 0 + mov rsi, rbx + mov rdx, 1 + syscall + ._end: + +init_code: + mov rcx, 0x10000 ; 64KiB of memory + sub rsp, rcx + mov rdi, rsp + mov rbx, rdi + xor al, al + rep stosb + + init_code_length equ $ - init_code + +end_code: + mov rax, 60 + xor rdi, rdi + syscall + + end_code_length equ $ - end_code + +_end: