aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--assembler/fvm-as.scm97
1 files changed, 97 insertions, 0 deletions
diff --git a/assembler/fvm-as.scm b/assembler/fvm-as.scm
new file mode 100644
index 0000000..9e37a30
--- /dev/null
+++ b/assembler/fvm-as.scm
@@ -0,0 +1,97 @@
+(import srfi-69)
+
+(define (make-opcode-table)
+ (define opcodes
+ '(sp ssp bp sbp pc rv srv
+ imm
+ ld8 ld16 ld32 ld
+ st8 st16 st32 st
+ dup pop swap over rot
+ add sub div mul mod
+ shr shl sar
+ and or not
+ bitand bitor xor invert
+ gt lt ge le eq neq
+ jmp jz jnz
+ ret call syscall
+ fadd fsub fmul fdiv
+ fge fgt fle flt feq fneq
+ fti itf
+ exit))
+ (define (assign-index opcodes idx ret)
+ (if (null? opcodes)
+ (reverse ret)
+ (assign-index (cdr opcodes)
+ (+ 1 idx)
+ (cons (cons (car opcodes) idx) ret))))
+ (alist->hash-table (assign-index opcodes 0 '())))
+
+(define opcode-table (make-opcode-table))
+
+(define pseudo-op-table
+ (alist->hash-table
+ '((rel . (pc add))
+ (bpick . ((imm 8) mul bp add ld))
+ (spick . ((imm 8) mul sp add ld))
+ (bput . ((imm 8) mul bp add st))
+ (sput . ((imm 8) mul bp add st)))))
+
+(define (is-pseudo-op sym)
+ (hash-table-ref/default pseudo-op-table sym #f))
+
+(define (is-op sym)
+ (hash-table-ref/default opcode-table sym #f))
+
+(define (is-tag sym tag-table)
+ (not (or (is-op sym)
+ (is-pseudo-op sym)
+ (not (hash-table-ref/default tag-table sym #f)))))
+
+(define (pseudo-op-pass prog)
+ (define (add-to-prog oplist ret)
+ (if (null? oplist)
+ ret
+ (add-to-prog (cdr oplist) (cons (car oplist) ret))))
+ (define (impl prog ret)
+ (if (null? prog)
+ ret
+ (let ((next-op (car prog)))
+ (if (is-pseudo-op next-op)
+ (impl (cdr prog) (add-to-prog
+ (hash-table-ref pseudo-op-table next-op)
+ ret))
+ (impl (cdr prog) (cons (car prog) ret))))))
+ (reverse (impl prog '())))
+
+(define (is-tag-op op)
+ (and (list? op) (eq 'tag (car op))))
+
+(define (is-imm-op op)
+ (and (list? op) (eq 'imm (car op))))
+
+(define (calculate-tag-pos prog)
+ (define (impl prog cur-pos tag-table)
+ ;; TODO
+ '())
+ (define tag-table (make-hash-table))
+ (impl prog 0 tag-table)
+ tag-table)
+
+(define (tag-pass prog)
+ ;; TODO
+ '())
+
+(define (output-prog prog port)
+ ;;
+ '())
+
+(define (main input-file output-file)
+ (define prog '())
+ ;; read s-exp from file
+ (with-input-from-file input-file
+ (lambda (port) (set! prog (read port))))
+ (set! prog (pseudo-op-pass prog))
+ (set! prog (tag-pass prog))
+ (with-output-to-file output-file
+ (lambda (port) (output-prog prog port))))
+