From fcf61a556c507631b17884a23fdf2e69c0adbdbb Mon Sep 17 00:00:00 2001 From: "Guillermo J. Rozas" Date: Sat, 8 Feb 1992 02:45:05 +0000 Subject: [PATCH] Initial revision --- v7/src/compiler/machines/i386/insmac.scm | 175 +++++++++++++++++++++++ 1 file changed, 175 insertions(+) create mode 100644 v7/src/compiler/machines/i386/insmac.scm diff --git a/v7/src/compiler/machines/i386/insmac.scm b/v7/src/compiler/machines/i386/insmac.scm new file mode 100644 index 000000000..b85e2e1d9 --- /dev/null +++ b/v7/src/compiler/machines/i386/insmac.scm @@ -0,0 +1,175 @@ +#| -*-Scheme-*- + +$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/compiler/machines/i386/insmac.scm,v 1.1 1992/02/08 02:45:05 jinx Exp $ +$Vax-Header: insmac.scm,v 1.12 89/05/17 20:29:15 GMT jinx Exp $ + +Copyright (c) 1992 Massachusetts Institute of Technology + +This material was developed by the Scheme project at the Massachusetts +Institute of Technology, Department of Electrical Engineering and +Computer Science. Permission to copy this software, to redistribute +it, and to use it for any purpose is granted, subject to the following +restrictions and understandings. + +1. Any copy made of this software must include this copyright notice +in full. + +2. Users of this software agree to make their best efforts (a) to +return to the MIT Scheme project any improvements or extensions that +they make, so that these may be included in future releases; and (b) +to inform MIT of noteworthy uses of this software. + +3. All materials developed as a consequence of the use of this +software shall duly acknowledge such use, in accordance with the usual +standards of acknowledging credit in academic research. + +4. MIT has made no warrantee or representation that the operation of +this software will be error-free, and MIT is under no obligation to +provide any services, by way of maintenance, update, or otherwise. + +5. In conjunction with products arising from the use of this material, +there shall be no use of the name of the Massachusetts Institute of +Technology nor of any adaptation thereof in any advertising, +promotional, or sales literature without prior written consent from +MIT in each case. |# + +;;;; Intel 386 Instruction Set Macros + +(declare (usual-integrations)) + +;;;; Effective addressing + +(define ea-database-name + 'EA-DATABASE) + +(syntax-table-define assembler-syntax-table 'DEFINE-EA-DATABASE + (macro rules + `(DEFINE ,ea-database-name + ,(compile-database rules + (lambda (pattern value) + (let ((keyword (car pattern))) + (declare (integrate keyword value)) + `(MAKE-EFFECTIVE-ADDRESS + ',keyword + ,(process-fields value false)))))))) + +(syntax-table-define assembler-syntax-table 'DEFINE-SYMBOL-TRANSFORMER + (macro (name . alist) + `(begin + (declare (integrate-operator ,name)) + (define (,name symbol) + (declare (integrate symbol)) + (let ((place (assq symbol ',alist))) + (if (null? place) + #F + (cdr place))))))) + +;; **** Are these useful/necessary? **** + +(syntax-table-define assembler-syntax-table 'DEFINE-EA-TRANSFORMER + (macro (name category type) + `(define (,name expression) + (let ((ea (process-ea expression ',type))) + (and ea + (memq ',category (ea-categories ea)) + ea))))) + +(syntax-table-define assembler-syntax-table 'DEFINE-TRANSFORMER + (macro (name value) + `(define ,name ,value))) + +(define (parse-instruction opcode tail early?) + (process-fields (cons opcode tail) early?)) + +(define (process-fields fields early?) + (if (and (null? (cdr fields)) + (eq? (caar fields) 'VARIABLE-WIDTH)) + (expand-variable-width (car fields) early?) + (expand-fields fields + early? + (lambda (code size) + (if (not (zero? (remainder size 8))) + (error "process-fields: bad syllable size" size)) + code)))) + +(define (expand-variable-width field early?) + (let ((binding (cadr field)) + (clauses (cddr field))) + `(LIST + ,(variable-width-expression-syntaxer + (car binding) ; name + (cadr binding) ; expression + (map (lambda (clause) + (expand-fields + (cdr clause) + early? + (lambda (code size) + (if (not (zero? (remainder size 8))) + (error "expand-variable-width: bad clause size" size)) + `(,code ,size ,@(car clause))))) + clauses))))) + +(define (collect-byte components tail receiver) + (define (inner components receiver) + (if (null? components) + (receiver tail 0) + (inner (cdr components) + (lambda (byte-tail byte-size) + (let ((size (caar components)) + (expression (cadar components)) + (type (if (null? (cddar components)) + 'UNSIGNED + (caddar components)))) + (receiver + `(CONS-SYNTAX + ,(integer-syntaxer expression type size) + ,byte-tail) + (+ size byte-size))))))) + (inner components receiver)) + +(define (expand-fields fields early? receiver) + (if (null? fields) + (receiver ''() 0) + (expand-fields (cdr fields) early? + (lambda (tail tail-size) + (case (caar fields) + ;; For opcodes and fixed fields of the instruction + ((BYTE) + (collect-byte (cdar fields) + tail + (lambda (code size) + (receiver code (+ size tail-size))))) + ;; For addressing modes + ;; **** On the 386 this should become r/m, /digit, etc. **** + ((OPERAND) + (receiver + `(APPEND-SYNTAX! + ,(if early? + `(EA-VALUE-EARLY ',(cadar fields) ,(caddar fields)) + `(EA-VALUE ,(caddar fields))) + ,tail) + tail-size)) + ;; For jmp/call displacements + ;; Displacements are like signed bytes. They are a different + ;; keyword to allow the disassembler to do its thing correctly. + ((DISPLACEMENT) + (let* ((desc (cadar fields)) + (size (car desc))) + (receiver + `(CONS-SYNTAX ,(integer-syntaxer (cadr desc) 'SIGNED size) + ,tail) + (+ size tail-size)))) + ;; For immediate operands whose size depends on the operand + ;; size for the instruction (byte vs. halfword vs. longword) + ((IMMEDIATE) + (receiver + `(CONS-SYNTAX + (COERCE-TO-TYPE ,(cadar fields) + *IMMEDIATE-TYPE* + ,(and (cddar fields) + (eq? (caddar fields) + 'UNSIGNED))) + ,tail) + tail-size)) + (else + (error "expand-fields: Unknown field kind" (caar fields)))))))) \ No newline at end of file -- 2.25.1