(define-module (modules tacky traverse)
  #:use-module (modules ast ir)
  #:export (prog
            func
            stmt
            unary
            const))


(define (prog srout)
  (list 'prog srout))

(define (func name instrs)
  (list 'srout name instrs))

(define (stmt val)
  (list 'instrs
        (cons 'list (append (cdr val)
                            (list (list 'ret (car val)))))))

(define (expr op val)
  (cond
   ((integer? val) (make-instruction op (imm val) '()))
   (#t (make-instruction op (car val) (cdr val)))))

(define (make-instruction op src instrs)
  (let ((dst (make-temporary)))
    (cons dst
            (append instrs
                    (list (op dst src))))))

(define make-temporary
  (let ((count 100))
    (lambda ()
      (set! count (1+ count))
      (list 'tmp count))))

(define (neg dst src)
  (list 'neg dst src))

(define (not dst src)
  (list 'not dst src))