Save non-volatile regs; add exact-integer? in Outlaw.

Author: dvanhorn

langs/outlaw/compile.rkt

@@ -22,12 +22,22 @@
             (map (lambda (i) (Extern (symbol->label i))) stdlib-ids)
             (Global 'entry)
             (Label 'entry)
+
+            (Push rbx) ; save non-volatile registers
+            (Push r12)
+            (Push r15)
+
             (Mov rbx rdi) ; recv heap pointer
             (init-symbol-table p)
             (init-lib)
 
             (compile-defines ds gs)
             (compile-variable (last-define-id ds) '() gs)
+
+            (Pop r15) ; restore non-volatile registers
+            (Pop r12)
+            (Pop rbx)
+
             (Ret)
             (compile-lambda-defines (lambdas p) gs)
             (Global 'raise_error_align)
@@ -82,7 +92,7 @@
          symbol->string string->symbol symbol?
          string->uninterned-symbol
          open-input-file
-         write-char error integer? procedure?
+         write-char error integer? exact-integer? procedure?
          eq-hash-code char-alphabetic? char-whitespace? displayln write-string
          ;; Op2
          + - < = cons eq? make-vector vector-ref

langs/outlaw/stdlib.rkt

@@ -28,7 +28,7 @@
          vector? vector-length string? string-length
          symbol->string string->symbol symbol?
          string->uninterned-symbol open-input-file
-         write-char error integer? procedure?
+         write-char error integer? exact-integer? procedure?
          eq-hash-code
          ;; Op2
          + - < = cons eq? make-vector vector-ref
@@ -90,6 +90,7 @@
 (define (open-input-file x) (%open-input-file x))
 (define (error . x) (%error (car x))) ;; drops other args
 (define (integer? x) (%integer? x))
+(define (exact-integer? x) (%integer? x)) ;; only kind we have
 (define (procedure? x) (%procedure? x))
 (define (eq-hash-code x) (%eq-hash-code x))