1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
|
;;; Compilation targets
;; Copyright (C) 2011-2014,2017-2018 Free Software Foundation, Inc.
;; This library is free software; you can redistribute it and/or
;; modify it under the terms of the GNU Lesser General Public
;; License as published by the Free Software Foundation; either
;; version 3 of the License, or (at your option) any later version.
;;
;; This library is distributed in the hope that it will be useful,
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
;; Lesser General Public License for more details.
;;
;; You should have received a copy of the GNU Lesser General Public
;; License along with this library; if not, write to the Free Software
;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
;; 02110-1301 USA
;;; Code:
(define-module (system base target)
#:use-module (rnrs bytevectors)
#:use-module (ice-9 regex)
#:export (target-type with-target with-native-target
target-cpu target-vendor target-os
target-endianness target-word-size
target-max-size-t
target-max-size-t/scm
target-max-vector-length
target-most-negative-fixnum
target-most-positive-fixnum
target-fixnum?))
;;;
;;; Target types
;;;
(define %native-word-size
((@ (system foreign) sizeof) '*))
(define %target-type (make-fluid %host-type))
(define %target-endianness (make-fluid (native-endianness)))
(define %target-word-size (make-fluid %native-word-size))
(define (validate-target target)
(if (or (not (string? target))
(let ((parts (string-split target #\-)))
(or (< (length parts) 3)
(let ((cpu (list-ref parts 0))
(os (list-ref parts 2)))
(or (string-null? cpu)
;; vendor (parts[1]) may be empty
(string-null? os)
;; optional components (ABI) should be nonempty if
;; specified
(or-map string-null? (list-tail parts 3)))))))
(error "invalid target" target)))
(define (with-target target thunk)
(validate-target target)
(let ((cpu (triplet-cpu target)))
(with-fluids ((%target-type target)
(%target-endianness (cpu-endianness cpu))
(%target-word-size (triplet-pointer-size target)))
(thunk))))
(define (with-native-target thunk)
(with-fluids ((%target-type %host-type)
(%target-endianness (native-endianness))
(%target-word-size %native-word-size))
(thunk)))
(define (cpu-endianness cpu)
"Return the endianness for CPU."
(if (string=? cpu (triplet-cpu %host-type))
(native-endianness)
(cond ((string-match "^i[0-9]86$" cpu)
(endianness little))
((member cpu '("x86_64" "ia64"
"powerpcle" "powerpc64le" "mipsel" "mips64el" "nios2" "sh3" "sh4" "alpha" "arc"))
(endianness little))
((member cpu '("sparc" "sparc64" "powerpc" "powerpc64" "spu"
"mips" "mips64" "m68k" "s390x"))
(endianness big))
((string-match "^arm.*el" cpu)
(endianness little))
((string-match "^arm.*eb" cpu)
(endianness big))
((string-prefix? "arm" cpu) ;ARMs are LE by default
(endianness little))
((string-match "^aarch64.*be" cpu)
(endianness big))
((string=? "aarch64" cpu)
(endianness little))
((string-match "riscv[1-9][0-9]*" cpu)
(endianness little))
(else
(error "unknown CPU endianness" cpu)))))
(define (triplet-pointer-size triplet)
"Return the size of pointers in bytes for TRIPLET."
(let ((cpu (triplet-cpu triplet)))
(cond ((and (string=? cpu (triplet-cpu %host-type))
(string=? (triplet-os triplet) (triplet-os %host-type)))
%native-word-size)
((string-match "^i[0-9]86$" cpu) 4)
;; Although GNU config.guess doesn't yet recognize them,
;; Debian (ab)uses the OS part to denote the specific ABI
;; being used: <http://wiki.debian.org/Multiarch/Tuples>.
;; See <http://www.linux-mips.org/wiki/WhatsWrongWithO32N32N64>
;; for details on the MIPS ABIs.
((string-match "^mips64.*-gnuabi64" triplet) 8) ; n64 ABI
((string-match "^mips64" cpu) 4) ; n32 or o32
((string-match "^x86_64-.*-gnux32" triplet) 4) ; x32
((string-match "32$" cpu) 4)
((string-match "64$" cpu) 8)
((string-match "64_?[lbe][lbe]$" cpu) 8)
((member cpu '("sparc" "powerpc" "mips" "mipsel" "nios2" "m68k" "sh3" "sh4" "arc")) 4)
((member cpu '("s390x" "alpha")) 8)
((string-match "^arm.*" cpu) 4)
(else (error "unknown CPU word size" cpu)))))
(define (triplet-cpu t)
(substring t 0 (string-index t #\-)))
(define (triplet-vendor t)
(let ((start (1+ (string-index t #\-))))
(substring t start (string-index t #\- start))))
(define (triplet-os t)
(let ((start (1+ (string-index t #\- (1+ (string-index t #\-))))))
(substring t start)))
(define (target-type)
"Return the GNU configuration triplet of the target platform."
(fluid-ref %target-type))
(define (target-cpu)
"Return the CPU name of the target platform."
(triplet-cpu (target-type)))
(define (target-vendor)
"Return the vendor name of the target platform."
(triplet-vendor (target-type)))
(define (target-os)
"Return the operating system name of the target platform."
(triplet-os (target-type)))
(define (target-endianness)
"Return the endianness object of the target platform."
(fluid-ref %target-endianness))
(define (target-word-size)
"Return the word size, in bytes, of the target platform."
(fluid-ref %target-word-size))
(define (target-max-size-t)
"Return the maximum size_t value of the target platform, in bytes."
;; Apply the currently-universal restriction of a maximum 48-bit
;; address space.
(1- (ash 1 (min (* (target-word-size) 8) 48))))
(define (target-max-size-t/scm)
"Return the maximum size_t value of the target platform, in units of
SCM words."
;; Apply the currently-universal restriction of a maximum 48-bit
;; address space.
(/ (target-max-size-t) (target-word-size)))
(define (target-max-vector-length)
"Return the maximum vector length of the target platform, in units of
SCM words."
;; Vector size fits in first word; the low 8 bits are taken by the
;; type tag. Additionally, restrict to 48-bit address space.
(1- (ash 1 (min (- (* (target-word-size) 8) 8) 48))))
(define (target-most-negative-fixnum)
"Return the most negative integer representable as a fixnum on the
target platform."
(- (ash 1 (- (* (target-word-size) 8) 3))))
(define (target-most-positive-fixnum)
"Return the most positive integer representable as a fixnum on the
target platform."
(1- (ash 1 (- (* (target-word-size) 8) 3))))
(define (target-fixnum? n)
(and (exact-integer? n)
(<= (target-most-negative-fixnum)
n
(target-most-positive-fixnum))))
|
