suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

cs: fix embedded-bootfile offset for big-endian ppc32

Browse Source
This commit is contained in:
Matthew Flatt 2020-06-20 11:42:46 -06:00
parent 037cf20eb2
commit 9ad7ed82c2
1 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
racket/src/cs/c/embed-boot.rkt
View File

@ -113,11 +113,18 @@
(error 'embed-boot "cannot file boot-file offset tag"))
(define terminator-len (bytes-length terminator))
(define big-endian?
(if target
(case target
[("tppc32le") #t]
[else #f])
(system-big-endian?)))
(file-position o (cdar m))
(void (write-bytes (integer->integer-bytes pos 4 #t #f) o))
(void (write-bytes (integer->integer-bytes (+ pos (bytes-length bstr1) terminator-len) 4 #t #f) o))
(void (write-bytes (integer->integer-bytes (+ pos (bytes-length bstr1) (bytes-length bstr2) (* 2 terminator-len)) 4 #t #f) o)))
(void (write-bytes (integer->integer-bytes pos 4 #t big-endian?) o))
(void (write-bytes (integer->integer-bytes (+ pos (bytes-length bstr1) terminator-len) 4 #t big-endian?) o))
(void (write-bytes (integer->integer-bytes (+ pos (bytes-length bstr1) (bytes-length bstr2) (* 2 terminator-len)) 4 #t big-endian?) o)))
(cond
[(null? alt-dests)