cs-bootstrap: repair relevant to arm32le

This commit is contained in:
Matthew Flatt 2020-06-05 13:06:20 -06:00
parent 9315112df2
commit 110c580d97
3 changed files with 8 additions and 2 deletions

View File

@ -25,5 +25,5 @@
;; Dynamic, so that environment variables are visible to
;; compile-time instantiation of `make-boot`:
(define-runtime-module-path make-boot "make-boot.rkt")
(define-runtime-path make-boot "make-boot.rkt")
(dynamic-require make-boot #f)

View File

@ -119,6 +119,7 @@
(namespace-require ''nanopass ns)
(namespace-require scheme-lang-mod ns)
(reset-toplevels '(run-cp0
errorf
$oops

View File

@ -119,7 +119,6 @@
[mpair? binding?]
[fx+ r6rs:fx+]
[fx- r6rs:fx-]
[< $fxu<]
[add1 fx1+]
[sub1 fx1-]
[add1 1+]
@ -179,6 +178,7 @@
[logbit1 fxlogbit1]
[logbit0 fxlogbit0]
[logtest fxlogtest])
$fxu<
fxsrl
fxbit-field
fxpopcount
@ -806,6 +806,11 @@
(define (logtest a b)
(not (eqv? 0 (bitwise-and a b))))
(define ($fxu< a b)
(if (< a 0)
#f
(< a b)))
(define (fxsrl v amt)
(if (and (v . fx< . 0)
(amt . fx> . 0))