Initial revision

diff --git a/v7/src/compiler/back/asutl.scm b/v7/src/compiler/back/asutl.scm
new file mode 100644 (file)
index 0000000..83c6a03
--- /dev/null
+++ b/v7/src/compiler/back/asutl.scm
@@ -0,0 +1,65 @@
+#| -*-Scheme-*-
+
+$Id: asutl.scm,v 1.1 1992/11/18 00:46:56 gjr 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. |#
+
+;;;; Assembler Utilities
+;;; package: (compiler)
+
+(declare (usual-integrations))
+\f
+(define-integrable (back-end:= x y)
+  (= x y))
+
+(define-integrable (back-end:+ x y)
+  (+ x y))
+
+(define-integrable (back-end:- x y)
+  (- x y))
+
+(define-integrable (back-end:* x y)
+  (* x y))
+
+(define-integrable (back-end:quotient x y)
+  (quotient x y))
+
+(define make-non-pointer-literal
+  (let ((type-maximum (expt 2 scheme-type-width))
+       (type-scale-factor (expt 2 scheme-datum-width)))
+    (lambda (type datum)
+      (if (not (and (exact-nonnegative-integer? type)
+                   (< type type-maximum)))
+         (error "non-pointer type out of range" type))
+      (if (not (and (exact-nonnegative-integer? datum)
+                   (< datum type-scale-factor)))
+         (error "non-pointer datum out of range" datum))
+      (+ (* type type-scale-factor) datum))))
\ No newline at end of file