Команды test, branch и goto

Make-test обрабатывает команду test похожим образом. Эта процедура извлекает выражение, которое определяет подлежащее проверке условие, и порождает для него исполнительную процедуру. Во время работы модели эта процедура для условия вызывается, результат ее сохраняется в регистре flag, и pc передвигается на шаг:

(define (make-test inst machine labels operations flag pc) (let ((condition (test-condition inst))) (if (operation-exp? condition) (let ((condition-proc

(make-operation-exp

condition machine labels operations))) (lambda ()

(set-contents! flag (condition-proc)) (advance-pc pc))) (error "Плохая команда TEST - ASSEMBLE" inst))))

(define (test-condition test-instruction) (cdr test-instruction))

Исполнительная процедура для команды branch проверяет содержимое регистра flag и либо записывает в содержимое pc целевой адрес (если переход происходит), либо просто продвигает pc (если переход не происходит). Заметим, что указанная точка назначения для команды branch обязана быть меткой, и процедура make-branch это проверяет. Заметим также, что поиск метки происходит во время ассемблирования, а не при каждом исполнении команды branch.

(define (make-branch inst machine labels flag pc) (let ((dest (branch-dest inst)))

(if (label-exp? dest)

(let ((insts

(lookup-label labels (label-exp-label dest)))) (lambda ()

(if (get-contents flag)

(set-contents! pc insts) (advance-pc pc)))) (error "Плохая команда BRANCH - ASSEMBLE" inst))))

(define (branch-dest branch-instruction) (cadr branch-instruction))

Команда goto подобна branch, но только здесь в качестве целевого адреса может быть указана либо метка, либо регистр, и не надо проверять никакого условия - в pc всегда записывается новый адрес.

(define (make-goto inst machine labels pc) (let ((dest (goto-dest inst))) (cond ((label-exp? dest) (let ((insts

(lookup-label labels

(label-exp-label dest))))

(lambda () (set-contents! pc insts)))) ((register-exp? dest) (let ((reg

(get-register machine

(register-exp-reg dest))))

(lambda ()

(set-contents! pc (get-contents reg))))) (else (error "Плохая команда GOTO - ASSEMBLE"

inst)))))

(define (goto-dest goto-instruction) (cadr goto-instruction))

Остальные команды

Команды работы со стеком save и restore просто используют стек и указанный регистр, а затем продвигают pc:

(define (make-save inst machine stack pc)

(let ((reg (get-register machine

(stack-inst-reg-name inst))))

(lambda ()

(push stack (get-contents reg)) (advance-pc pc))))

(define (make-restore inst machine stack pc) (let ((reg (get-register machine

(stack-inst-reg-name inst))))

(lambda ()

(set-contents! reg (pop stack)) (advance-pc pc))))

(define (stack-inst-reg-name stack-instruction) (cadr stack-instruction))

Последний тип команды, обрабатываемый процедурой make-perform, порождает исполнительную процедуру для требуемого действия. Во время работы имитатора действие выполняется и продвигается pc.

(define (make-perform inst machine labels operations pc) (let ((action (perform-action inst))) (if (operation-exp? action) (let ((action-proc

(make-operation-exp

action machine labels operations))) (lambda ()

(action-proc) (advance-pc pc))) (error "Плохая команда PERFORM - ASSEMBLE" inst))))

(define (perform-action inst) (cdr inst))

Исполнительные процедуры для подвыражений

Значение выражения reg, label или const может потребоваться для присваивания регистру (make-assign) или как аргумент операции (make-operation-exp, далее). Следующая процедура порождает исполнительные процедуры, которые вычисляют во время выполнения значения этих выражений:

(define (make-primitive-exp exp machine labels) (cond ((constant-exp? exp)

(let ((c (constant-exp-value exp)))

(lambda () c)))

((label-exp? exp) (let ((insts

(lookup-label labels

(label-exp-label exp))))

(lambda () insts))) ((register-exp? exp) (let ((r (get-register machine

(register-exp-reg exp)))) (lambda () (get-contents r)))) (else

(error "Неизвестный тип выражения -- ASSEMBLE" exp))))

Синтаксис выражений reg, label и const определяется так:

(define (register-exp? exp) (tagged-list? exp reg))

(define (register-exp-reg exp) (cadr exp))

(define (constant-exp? exp) (tagged-list? exp const))

(define (constant-exp-value exp) (cadr exp))

(define (label-exp? exp) (tagged-list? exp label))

(define (label-exp-label exp) (cadr exp))

Команды assign, test и perform могут включать в себя применение машинной операции (определяемой выражением op) к нескольким операндам (определяемым выражениями reg или const). Следующая процедура порождает исполнительную процедуру для «выражения-операции» - списка, состоящего из выражений внутри команды, обозначающих операцию и операнды.

(define (make-operation-exp exp machine labels operations) (let ((op (lookup-prim (operation-exp-op exp) operations)) (aprocs (map (lambda (e)

(make-primitive-exp e machine labels)) (operation-exp-operands exp))))

(lambda ()

(apply op (map (lambda (p) (p)) aprocs)))))

Синтаксис выражений-операций определяется через