--- /dev/null
+#| -*-Scheme-*-
+
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/compiler/machines/bobcat/flinstr1.scm,v 1.1 1989/07/25 12:26:41 arthur Rel $
+
+Copyright (c) 1988, 1989 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. |#
+
+;;;; Instruction set description for 68881 floating point processor
+;;; Originally provided courtesy of BBN ACI.
+
+;;; These instructions are not handled: FDBcc FMOVECR FMOVEM FNOP FRESTORE FSAVE
+;;; FScc FSINCOS FTRAPcc
+
+(declare (usual-integrations))
+\f
+(define FPC #b001) ; Floating point chip identifier for
+ ; coprocessor instructions.
+(define-symbol-transformer
+ float-source-format
+ (L . 0) ; long word integer
+ (S . 1) ; single precision real
+ (X . 2) ; extended precision real
+ (P . 3) ; packed decimal real
+ (W . 4) ; word integer
+ (D . 5) ; double precision real
+ (B . 6)) ; byte integer
+
+(define-symbol-transformer
+ float-destination-format
+ (L . 0) ; long word integer
+ (S . 1) ; single precision real
+ (X . 2) ; extended precision real
+ (W . 4) ; word integer
+ (D . 5) ; double precision real
+ (B . 6)) ; byte integer
+
+(define-symbol-transformer float-reg
+ (FP0 . 0) (FP1 . 1) (FP2 . 2) (FP3 . 3)
+ (FP4 . 4) (FP5 . 5) (FP6 . 6) (FP7 . 7))
+
+(define-symbol-transformer float-ctl-reg
+ (FPCR . 4) (FPSR . 2) (FPIAR 1))
+
+(define-symbol-transformer float-cc
+ (EQ . 1) (NE . 14) (GT . 2) (NGT . 13)
+ (GE . 3) (NGE . 12) (LT . 4) (NLT . 11)
+ (LE . 5) (NLE . 10) (GL . 6) (NGL . 9)
+ (MI . 4) (PL . 3)
+ (GLE . 7) (NGLE . 8) (F . 0) (T . 15))
+\f
+(define-instruction FMOVE
+
+ (((? type float-source-format) (? source ea-d) (? destination float-reg))
+ (WORD (4 #b1111)
+ (3 FPC)
+ (3 #b000)
+ (6 source SOURCE-EA 'L))
+ (EXTENSION-WORD (3 #b010)
+ (3 type)
+ (3 destination)
+ (7 #b0000000)))
+
+ (((? source float-reg) (? destination float-reg))
+ (WORD (4 #b1111)
+ (3 FPC)
+ (3 #b000)
+ (6 #b000000))
+ (EXTENSION-WORD (3 #b000)
+ (3 source)
+ (3 destination)
+ (7 #b0000000)))
+
+ (((? type float-destination-format)
+ (? source float-reg)
+ (? destination ea-d&a))
+ (WORD (4 #b1111)
+ (3 FPC)
+ (3 #b000)
+ (6 destination DESTINATION-EA 'L))
+ (EXTENSION-WORD (3 #b011)
+ (3 type)
+ (3 source)
+ (7 #b0000000)))
+
+ (((P (? k-factor)) (? source float-reg) (? destination ea-d&a))
+ (WORD (4 #b1111)
+ (3 FPC)
+ (3 #b000)
+ (6 destination DESTINATION-EA 'L))
+ (EXTENSION-WORD (3 #b011)
+ (3 #b011)
+ (3 source)
+ (7 k-factor)))
+
+ (((PD (? k-reg)) (? source float-reg) (? destination ea-d&a))
+ (WORD (4 #b1111)
+ (3 FPC)
+ (3 #b000)
+ (6 destination DESTINATION-EA 'L))
+ (EXTENSION-WORD (3 #b011)
+ (3 #b111)
+ (3 source)
+ (3 k-reg)
+ (4 #b0000)))
+
+ ((L (? source ea-d) (? destination float-ctl-reg))
+ (WORD (4 #b1111)
+ (3 FPC)
+ (3 #b000)
+ (6 source SOURCE-EA 'L))
+ (EXTENSION-WORD (3 #b100)
+ (3 destination)
+ (10 #b0000000000)))
+
+ ((L (? source float-ctl-reg) (? destination ea-d))
+ (WORD (4 #b1111)
+ (3 FPC)
+ (3 #b000)
+ (6 destination DESTINATION-EA 'L))
+ (EXTENSION-WORD (3 #b101)
+ (3 source)
+ (10 #b0000000000))))
+\f
+(let-syntax
+ ((define-unary-flop
+ (macro (name bits)
+ `(define-instruction ,name
+
+ (((? type float-source-format)
+ (? source ea-d)
+ (? destination float-reg))
+ (WORD (4 #b1111)
+ (3 FPC)
+ (3 #b000)
+ (6 source SOURCE-EA 'L))
+ (EXTENSION-WORD (3 #b010)
+ (3 type)
+ (3 destination)
+ (7 ,bits)))
+
+ (((? source float-reg) (? destination float-reg))
+ (WORD (4 #b1111)
+ (3 FPC)
+ (3 #b000)
+ (6 #b000000))
+ (EXTENSION-WORD (3 #b000)
+ (3 source)
+ (3 destination)
+ (7 ,bits)))
+
+ (((? reg float-reg))
+ (WORD (4 #b1111)
+ (3 FPC)
+ (3 #b000)
+ (6 #b000000))
+ (EXTENSION-WORD (3 #b000)
+ (3 reg)
+ (3 reg)
+ (7 ,bits)))))))
+
+ (define-unary-flop FABS #b0011000)
+ (define-unary-flop FACOS #b0011100)
+ (define-unary-flop FASIN #b0001100)
+ (define-unary-flop FATAN #b0001010)
+ (define-unary-flop FATANH #b0001101)
+ (define-unary-flop FCOS #b0011101)
+ (define-unary-flop FCOSH #b0011001)
+ (define-unary-flop FETOX #b0010000)
+ (define-unary-flop FETOXM1 #b0001000)
+ (define-unary-flop FGETEXP #b0011110)
+ (define-unary-flop FGETMAN #b0011111)
+ (define-unary-flop FINT #b0000001)
+ (define-unary-flop FINTRZ #b0000011)
+ (define-unary-flop FLOG10 #b0010101)
+ (define-unary-flop FLOG2 #b0010110)
+ (define-unary-flop FLOGN #b0010100)
+ (define-unary-flop FLOGNP1 #b0000110)
+ (define-unary-flop FNEG #b0011010)
+ (define-unary-flop FSIN #b0001110)
+ (define-unary-flop FSINH #b0000010)
+ (define-unary-flop FSQRT #b0000100)
+ (define-unary-flop FTAN #b0001111)
+ (define-unary-flop FTANH #b0001001)
+ (define-unary-flop FTENTOX #b0010010)
+ (define-unary-flop FTWOTOX #b0010001))
\ No newline at end of file
--- /dev/null
+#| -*-Scheme-*-
+
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/compiler/machines/bobcat/flinstr2.scm,v 1.1 1989/07/25 12:26:27 arthur Rel $
+
+Copyright (c) 1988, 1989 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. |#
+
+;;;; Instruction set description for 68881 floating point processor
+;;; Originally provided courtesy of BBN ACI.
+
+(declare (usual-integrations))
+\f
+(let-syntax
+ ((define-binary-flop
+ (macro (name bits)
+ `(define-instruction ,name
+
+ (((? type float-source-format)
+ (? source ea-d)
+ (? destination float-reg))
+ (WORD (4 #b1111)
+ (3 FPC)
+ (3 #b000)
+ (6 source SOURCE-EA 'L))
+ (EXTENSION-WORD (3 #b010)
+ (3 type)
+ (3 destination)
+ (7 ,bits)))
+
+ (((? source float-reg) (? destination float-reg))
+ (WORD (4 #b1111)
+ (3 FPC)
+ (3 #b000)
+ (6 #b000000))
+ (EXTENSION-WORD (3 #b000)
+ (3 source)
+ (3 destination)
+ (7 ,bits)))))))
+
+ (define-binary-flop FADD #b0100010)
+ (define-binary-flop FCMP #b0111000)
+ (define-binary-flop FDIV #b0100000)
+ (define-binary-flop FMOD #b0100001)
+ (define-binary-flop FMUL #b0100011)
+ (define-binary-flop FREM #b0100101)
+ (define-binary-flop FSCALE #b0100110)
+ (define-binary-flop FSGLDIV #b0100100)
+ (define-binary-flop FSGLMUL #b0100111)
+ (define-binary-flop FSUB #b0101000))
+
+(define-instruction FTST
+
+ (((? type float-source-format) (? ea ea-d))
+ (WORD (4 #b1111)
+ (3 FPC)
+ (3 #b000)
+ (6 ea SOURCE-EA 'L))
+ (EXTENSION-WORD (3 #b010)
+ (3 type)
+ (3 #b000)
+ (7 #b0111010)))
+
+ (((? source float-reg))
+ (WORD (4 #b1111)
+ (3 FPC)
+ (3 #b000)
+ (6 #b000000))
+ (EXTENSION-WORD (3 #b000)
+ (3 source)
+ (3 #b000)
+ (7 #b0111010))))
+
+(define-instruction FB
+
+ (((? cc float-cc) (@PCR (? target)))
+ (GROWING-WORD (disp `(- ,target (+ *PC* 2)))
+ ((-32768 32767)
+ (WORD (4 #b1111)
+ (3 FPC)
+ (3 #b010)
+ (6 cc)
+ (16 disp SIGNED)))
+ ((() ())
+ (WORD (4 #b1111)
+ (3 FPC)
+ (3 #b011)
+ (6 cc)
+ (32 disp SIGNED))))))
\ No newline at end of file
projects / mit-scheme.git / commitdiff