CS295: interp-x86

interp-R1.rkt

;;; ......


(define (interp-x86 e)
  (define (interp* ss env)
    (match ss
     ['((retq)) (lookup '(reg rax) env)]
     [`(,instr . ,instr*) (interp* instr* (cons (interp-instr instr env) env))]))

  (define (interp-instr instr env)
    (match instr
      ['(callq read_int) `((reg rax) . ,(read))]
      [`(negq ,e) `(,e . ,(- (interp-arg e env)))]
      [`(movq ,e₁ ,e₂) `(,e₂ . ,(interp-arg e₁ env))]
      [`(addq ,e₁ ,e₂) `(,e₂ . ,(+ (interp-arg e₁ env) (interp-arg e₂ env)))]))

  (define (interp-arg arg env)
    (match arg
      [`(int ,n) n]
      [`(var ,x) (lookup `(var ,x) env)]
      [`(reg ,r) (lookup `(reg ,r) env)]))

  (match e
    (`(program ,_ ((start ,ss ...))) (interp* ss '()))))