branching (if else) added, as interpretation and compilation
This commit is contained in:
@@ -9,14 +9,17 @@
|
||||
((listp el) `(format nil ,@el))))
|
||||
lst))))
|
||||
|
||||
(defmacro defop (op-name args &body asm-strings)
|
||||
(defmacro defop (op-name (&key (indent 4) args) &body asm-strings)
|
||||
`(setf (gethash ',op-name *operations*)
|
||||
(lambda (out-stream ,@args)
|
||||
(format out-stream "~{ ~a~%~}"
|
||||
(format out-stream
|
||||
,(format nil "~~{~a~~a~~%~~}"
|
||||
(make-string indent :initial-element
|
||||
#\Space))
|
||||
,(normalize-op-list asm-strings)))))
|
||||
|
||||
|
||||
(defop push (a)
|
||||
(defop push (:args (a))
|
||||
("push ~d" a))
|
||||
|
||||
(defop + ()
|
||||
@@ -35,6 +38,38 @@
|
||||
"pop rdi"
|
||||
"call dump")
|
||||
|
||||
(defop = ()
|
||||
"mov rcx, 0"
|
||||
"mov rdx, 1"
|
||||
"pop rax"
|
||||
"pop rbx"
|
||||
"cmp rax, rbx"
|
||||
"cmove rcx, rdx"
|
||||
"push rcx")
|
||||
|
||||
(defop exit (:args (exit-code))
|
||||
"mov rax, 60"
|
||||
("mov rdi, ~a" exit-code)
|
||||
"syscall")
|
||||
|
||||
(defop ise (:args (label-num))
|
||||
"pop rax"
|
||||
"test rax, rax"
|
||||
("jz et_~a" label-num))
|
||||
|
||||
(defop yoksa (:args (yap-num ise-num) :indent 0)
|
||||
(" jmp et_~a" yap-num)
|
||||
("et_~a:" ise-num))
|
||||
|
||||
(defop yap (:args (label-num) :indent 0)
|
||||
("et_~a:" label-num))
|
||||
|
||||
(defun gen-code (op str)
|
||||
(let ((op-fn (gethash (car op) *operations*)))
|
||||
(if (null op-fn)
|
||||
(error "~s is not a valid op" op)
|
||||
(apply op-fn str (cdr op)))))
|
||||
|
||||
(defun gen-dump (str)
|
||||
(format str "~{~a~%~}"
|
||||
'("dump:"
|
||||
|
||||
Reference in New Issue
Block a user