178ab98e9da9b32c2a93c96a67ab00a41bc53de4
[mes.git] / module / mescc / i386 / as.scm
1 ;;; GNU Mes --- Maxwell Equations of Software
2 ;;; Copyright © 2016,2017,2018 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
3 ;;;
4 ;;; This file is part of GNU Mes.
5 ;;;
6 ;;; GNU Mes is free software; you can redistribute it and/or modify it
7 ;;; under the terms of the GNU General Public License as published by
8 ;;; the Free Software Foundation; either version 3 of the License, or (at
9 ;;; your option) any later version.
10 ;;;
11 ;;; GNU Mes is distributed in the hope that it will be useful, but
12 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
13 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14 ;;; GNU General Public License for more details.
15 ;;;
16 ;;; You should have received a copy of the GNU General Public License
17 ;;; along with GNU Mes.  If not, see <http://www.gnu.org/licenses/>.
18
19 ;;; Commentary:
20
21 ;;; define i386 assembly
22
23 ;;; Code:
24
25 (define-module (mescc i386 as)
26   #:use-module (mes guile)
27   #:use-module (mescc as)
28   #:use-module (mescc info)
29   #:export (
30             i386:instructions
31             ))
32
33 (define (e->x o)
34   (string-drop o 1))
35
36 (define (e->l o)
37   (string-append (string-drop-right (string-drop o 1) 1) "l"))
38
39
40 (define (i386:function-preamble . rest)
41   '(("push___%ebp")
42     ("mov____%esp,%ebp")))
43
44 (define (i386:function-locals . rest)
45   `(("sub____$i32,%esp" (#:immediate ,(+ (* 4 1025) (* 20 4)))))) ; 4*1024 buf, 20 local vars
46
47 (define (i386:r->local info n)
48   (or n (error "invalid value: i386:r->local: " n))
49   (let ((r (get-r info))
50         (n (- 0 (* 4 n))))
51     `(,(if (< (abs n) #x80) `(,(string-append "mov____%" r ",0x8(%ebp)") (#:immediate1 ,n))
52            `(,(string-append "mov____%" r ",0x32(%ebp)") (#:immediate ,n))))))
53
54 (define (i386:value->r info v)
55   (let ((r (get-r info)))
56     `((,(string-append "mov____$i32,%" r) (#:immediate ,v)))))
57
58 (define (i386:ret . rest)
59   '(("leave")
60     ("ret")))
61
62 (define (i386:r-zero? info)
63   (let ((r (get-r info)))
64     `((,(string-append "test___%" r "," "%" r)))))
65
66 (define (i386:local->r info n)
67   (let ((r (get-r info))
68         (n (- 0 (* 4 n))))
69     `(,(if (< (abs n) #x80) `(,(string-append "mov____0x8(%ebp),%" r) (#:immediate1 ,n))
70            `(,(string-append "mov____0x32(%ebp),%" r) (#:immediate ,n))))))
71
72 (define (i386:r0+r1 info)
73   (let ((r0 (get-r0 info))
74         (r1 (get-r1 info)))
75     `((,(string-append "add____%" r1 ",%" r0)))))
76
77 (define (i386:call-label info label n)
78   `((call32 (#:offset ,label))
79     ("add____$i8,%esp" (#:immediate1 ,(* n 4)))))
80
81 (define (i386:r->arg info i)
82   (let ((r (get-r info)))
83     `((,(string-append "push___%" r)))))
84
85 (define (i386:label->arg info label i)
86   `(("push___$i32" (#:address ,label))))
87
88 (define (i386:r-negate info)
89   (let* ((r (get-r info))
90          (l (e->l r)))
91     `((,(string-append "sete___%" l))
92       (,(string-append "movzbl_%" l ",%" r)))))
93
94 (define (i386:r0-r1 info)
95   (let ((r0 (get-r0 info))
96         (r1 (get-r1 info)))
97     `((,(string-append "sub____%" r1 ",%" r0)))))
98
99 (define (i386:zf->r info)
100   (let* ((r (get-r info))
101          (l (e->l r)))
102     `((,(string-append "sete___%" l))
103       (,(string-append "movzbl_%" l ",%" r)))))
104
105 (define (i386:xor-zf info)
106   '(("lahf")
107     ("xor____$i8,%ah" (#:immediate1 #x40))
108     ("sahf")))
109
110 (define (i386:r->local+n info id n)
111   (let ((n (+ (- 0 (* 4 id)) n))
112         (r (get-r info)))
113     `(,(if (< (abs n) #x80) `(,(string-append "mov____%" r ",0x8(%ebp)") (#:immediate1 ,n))
114            `(,(string-append "mov____%" r ",0x32(%ebp)") (#:immediate ,n))))))
115
116 (define (i386:r-mem-add info v)
117   (let ((r (get-r info)))
118     `(,(if (< (abs v) #x80) `(,(string-append "add____$i8,(%" r ")") (#:immediate1 ,v))
119            `(,(string-append "add____$i32,(%" r ")") (#:immediate ,v))))))
120
121 (define (i386:r-byte-mem-add info v)
122   (let ((r (get-r info)))
123     `((,(string-append "addb___$i8,(%" r ")") (#:immediate1 ,v)))))
124
125 (define (i386:r-word-mem-add info v)
126   (let ((r (get-r info)))
127     `((,(string-append "addw___$i8,(%" r ")") (#:immediate2 ,v)))))
128
129 (define (i386:local-ptr->r info n)
130   (let ((r (get-r info)))
131     (let ((n (- 0 (* 4 n))))
132       `((,(string-append "mov____%ebp,%" r))
133         ,(if (< (abs n) #x80) `(,(string-append "add____$i8,%" r) (#:immediate1 ,n))
134              `(,(string-append "add____$i32,%" r)  (#:immediate ,n)))))))
135
136 (define (i386:label->r info label)
137   (let ((r (get-r info)))
138     `((,(string-append "mov____$i32,%" r) (#:address ,label)))))
139
140 (define (i386:r0->r1 info)
141   (let ((r0 (get-r0 info))
142         (r1 (get-r1 info)))
143     `((,(string-append  "mov____%" r0 ",%" r1)))))
144
145 (define (i386:byte-mem->r info)
146   (let ((r (get-r info)))
147     `((,(string-append "movzbl_(%" r "),%" r)))))
148
149 (define (i386:byte-r info)
150   (let* ((r (get-r info))
151          (l (e->l r)))
152     `((,(string-append "movzbl_%" l ",%" r)))))
153
154 (define (i386:byte-signed-r info)
155   (let* ((r (get-r info))
156          (l (e->l r)))
157     `((,(string-append "movsbl_%" l ",%" r)))))
158
159 (define (i386:word-r info)
160   (let* ((r (get-r info))
161          (x (e->x r)))
162     `((,(string-append "movzwl_%" x ",%" r)))))
163
164 (define (i386:word-signed-r info)
165   (let* ((r (get-r info))
166          (x (e->x r)))
167     `((,(string-append "movswl_%" x ",%" r)))))
168
169 (define (i386:jump info label)
170   `(("jmp32 " (#:offset ,label))))
171
172 (define (i386:jump-z info label)
173   `(("je32  " (#:offset ,label))))
174
175 (define (i386:jump-nz info label)
176   `(("jne32 " (#:offset ,label))))
177
178 (define (i386:jump-byte-z info label)
179   `(("test___%al,%al")
180     ("je32  " (#:offset ,label))))
181
182 ;; signed
183 (define (i386:jump-g info label)
184   `(("jg32  " (#:offset ,label))))
185
186 (define (i386:jump-ge info label)
187   `(("jge32 " (#:offset ,label))))
188
189 (define (i386:jump-l info label)
190   `(("jl32  " (#:offset ,label))))
191
192 (define (i386:jump-le info label)
193   `(("jle32 " (#:offset ,label))))
194
195 ;; unsigned
196 (define (i386:jump-a info label)
197   `(("ja32  " (#:offset ,label))))
198
199 (define (i386:jump-ae info label)
200   `(("jae32 " (#:offset ,label))))
201
202 (define (i386:jump-b info label)
203   `(("jb32  " (#:offset ,label))))
204
205 (define (i386:jump-be info label)
206   `(("jbe32 " (#:offset ,label))))
207
208 (define (i386:byte-r0->r1-mem info)
209   (let* ((r0 (get-r0 info))
210          (r1 (get-r1 info))
211          (l0 (e->l r0)))
212     `((,(string-append "mov____%" l0 ",(%" r1 ")")))))
213
214 (define (i386:label-mem->r info label)
215   (let ((r (get-r info)))
216     `((,(string-append "mov____0x32,%" r) (#:address ,label)))))
217
218 (define (i386:word-mem->r info)
219   (let ((r (get-r info)))
220     `((,(string-append "movzwl_(%" r "),%" r)))))
221
222 (define (i386:mem->r info)
223   (let ((r (get-r info)))
224     `((,(string-append "mov____(%" r "),%" r)))))
225
226 (define (i386:local-add info n v)
227   (let ((n (- 0 (* 4 n))))
228     `(,(if (and (< (abs n) #x80)
229                 (< (abs v) #x80)) `("add____$i8,0x8(%ebp)" (#:immediate1 ,n) (#:immediate1 ,v))
230                 `("add____$i32,0x32(%ebp)" (#:immediate ,n) (#:immediate ,v))))))
231
232 (define (i386:label-mem-add info label v)
233   `(,(if (< (abs v) #x80) `("add____$i8,0x32" (#:address ,label) (#:immediate1 ,v))
234          `("add____$i32,0x32" (#:address ,label) (#:immediate ,v)))))
235
236 (define (i386:nop info)
237   '(("nop")))
238
239 (define (i386:swap-r0-r1 info)
240   (let ((r0 (get-r0 info))
241         (r1 (get-r1 info)))
242     `((,(string-append "xchg___%" r0 ",%" r1)))))
243
244 ;; signed
245 (define (i386:g?->r info)
246   (let* ((r (get-r info))
247          (l (e->l r)))
248     `((,(string-append "setg___%" l))
249       (,(string-append "movzbl_%" l ",%" r)))))
250
251 (define (i386:ge?->r info)
252   (let* ((r (get-r info))
253          (l (e->l r)))
254     `((,(string-append "setge__%" l))
255       (,(string-append "movzbl_%" l ",%" r)))))
256
257 (define (i386:l?->r info)
258   (let* ((r (get-r info))
259          (l (e->l r)))
260     `((,(string-append "setl___%" l))
261       (,(string-append "movzbl_%" l ",%" r)))))
262
263 (define (i386:le?->r info)
264   (let* ((r (get-r info))
265          (l (e->l r)))
266     `((,(string-append "setle__%" l))
267       (,(string-append "movzbl_%" l ",%" r)))))
268
269 ;; unsigned
270 (define (i386:a?->r info)
271   (let* ((r (get-r info))
272          (l (e->l r)))
273     `((,(string-append "seta___%" l))
274       (,(string-append "movzbl_%" l ",%" r)))))
275
276 (define (i386:ae?->r info)
277   (let* ((r (get-r info))
278          (l (e->l r)))
279     `((,(string-append "setae__%" l))
280       (,(string-append "movzbl_%" l ",%" r)))))
281
282 (define (i386:b?->r info)
283   (let* ((r (get-r info))
284          (l (e->l r)))
285     `((,(string-append "setb___%" l))
286       (,(string-append "movzbl_%" l ",%" r)))))
287
288 (define (i386:be?->r info)
289   (let* ((r (get-r info))
290          (l (e->l r)))
291     `((,(string-append "setbe__%" l))
292       (,(string-append "movzbl_%" l ",%" r)))))
293
294 (define (i386:test-r info)
295   (let ((r (get-r info)))
296     `((,(string-append "test___%" r ",%" r)))))
297
298 (define (i386:r->label info label)
299   (let ((r (get-r info)))
300     `((,(string-append "mov____%" r ",0x32") (#:address ,label)))))
301
302 (define (i386:r->byte-label info label)
303   (let* ((r (get-r info))
304          (l (e->l r)))
305     `((,(string-append "movb___%" l ",0x32") (#:address ,label)))))
306
307 (define (i386:r->word-label info label)
308   (let* ((r (get-r info))
309         (x (e->x r)))
310     `((,(string-append "movw___%" x ",0x32") (#:address ,label)))))
311
312 (define (i386:call-r info n)
313   (let ((r (get-r info)))
314     `((,(string-append "call___*%" r))
315       ("add____$i8,%esp" (#:immediate1  ,(* n 4))))))
316
317 (define (i386:r0*r1 info)
318   (let ((allocated (.allocated info))
319         (r0 (get-r0 info))
320         (r1 (get-r1 info)))
321     (if (not (member "edx" allocated))
322         `(,@(if (equal? r0 "eax") '()
323                 `(("push___%eax")
324                   (,(string-append "mov____%" r0 ",%eax"))))
325           (,(string-append "mul____%" r1))
326           ,@(if (equal? r0 "eax") '()
327                 `((,(string-append "mov____%eax,%" r0))
328                   ("pop____%eax"))))
329         `(("push___%eax")
330           ("push___%ebx")
331           ("push___%edx")
332           (,(string-append "mov____%" r1 ",%ebx"))
333           (,(string-append "mov____%" r0 ",%eax"))
334           (,(string-append "mul____%" r1))
335           ("pop____%edx")
336           ("pop____%ebx")
337           (,(string-append "mov____%eax,%" r0))
338           ("pop____%eax")))))
339
340 (define (i386:r0<<r1 info)
341   (let ((r0 (get-r0 info))
342         (r1 (get-r1 info)))
343     `((,(string-append "mov____%" r1 ",%ecx"))
344       (,(string-append "shl____%cl,%" r0)))))
345
346 (define (i386:r0>>r1 info)
347   (let ((r0 (get-r0 info))
348         (r1 (get-r1 info)))
349     `((,(string-append "mov____%" r1 ",%ecx"))
350       (,(string-append "shr____%cl,%" r0)))))
351
352 (define (i386:r0-and-r1 info)
353   (let ((r0 (get-r0 info))
354         (r1 (get-r1 info)))
355     `((,(string-append "and____%" r1 ",%" r0)))))
356
357 (define (i386:r0/r1 info signed?)
358   (let ((allocated (.allocated info))
359         (r0 (get-r0 info))
360         (r1 (get-r1 info)))
361     (if (not (member "edx" allocated))
362         `(,@(if (equal? r0 "eax") '()
363                 `(("push___%eax")
364                   (,(string-append "mov____%" r0 ",%eax"))))
365           ,(if signed? '("cltd") '("xor____%edx,%edx"))
366           (,(string-append "idiv___%" r1))
367           ,@(if (equal? r0 "eax") '()
368                 `((,(string-append "mov____%eax,%" r0))
369                   ("pop____%eax"))))
370         `(("push___%eax")
371           ("push___%ebx")
372           ("push___%edx")
373           (,(string-append "mov____%" r1 ",%ebx"))
374           (,(string-append "mov____%" r0 ",%eax"))
375           ,(if signed? '("cltd") '("xor____%edx,%edx"))
376           (,(string-append "idiv___%ebx"))
377           ("pop____%edx")
378           ("pop____%ebx")
379           (,(string-append "mov____%eax,%" r0))
380           ("pop____%eax")))))
381
382 (define (i386:r0%r1 info signed?)
383   (let ((allocated (.allocated info))
384         (r0 (get-r0 info))
385         (r1 (get-r1 info)))
386     (if (not (member "edx" allocated))
387         `(,@(if (equal? r0 "eax") '()
388                 `(("push___%eax")
389                   (,(string-append "mov____%" r0 ",%eax"))))
390           ,(if signed? '("cltd") '("xor____%edx,%edx"))
391           (,(string-append "idiv___%" r1))
392           (,(string-append "mov____%edx,%" r0)))
393         `(("push___%eax")
394           ("push___%ebx")
395           ("push___%edx")
396           (,(string-append "mov____%" r1 ",%ebx"))
397           (,(string-append "mov____%" r0 ",%eax"))
398           ,(if signed? '("cltd") '("xor____%edx,%edx"))
399           (,(string-append "idiv___%ebx"))
400           ("pop____%edx")
401           ("pop____%ebx")
402           (,(string-append "mov____%edx,%" r0))
403           ("pop____%eax")))))
404
405 (define (i386:r+value info v)
406   (let ((r (get-r info)))
407     `(,(if (< (abs v) #x80) `(,(string-append "add____$i8,%" r) (#:immediate1 ,v))
408            `(,(string-append "add____$i32,%" r) (#:immediate ,v))))))
409
410 (define (i386:r0->r1-mem info)
411   (let ((r0 (get-r0 info))
412          (r1 (get-r1 info)))
413     `((,(string-append "mov____%" r0 ",(%" r1 ")")))))
414
415 (define (i386:byte-r0->r1-mem info)
416   (let* ((r0 (get-r0 info))
417          (r1 (get-r1 info))
418          (l0 (e->l r0)))
419     `((,(string-append "mov____%" l0 ",(%" r1 ")")))))
420
421 (define (i386:word-r0->r1-mem info)
422   (let* ((r0 (get-r0 info))
423          (r1 (get-r1 info))
424          (x0 (e->x r0)))
425     `((,(string-append "mov____%" x0 ",(%" r1 ")")))))
426
427 (define (i386:r-cmp-value info v)
428   (let ((r (get-r info)))
429     `(,(if (< (abs v) #x80) `(,(string-append "cmp____$i8,%" r) (#:immediate1 ,v))
430            `(,(string-append "cmp____$i32,%" r) (#:immediate ,v))))))
431
432 (define (i386:push-register info r)
433   `((,(string-append "push___%" r))))
434
435 (define (i386:pop-register info r)
436   `((,(string-append "pop____%" r))))
437
438 (define (i386:return->r info)
439   (let ((r (get-r info)))
440     (if (equal? r "eax") '()
441         `((,(string-append "mov____%eax,%" r))))))
442
443 (define (i386:r0-or-r1 info)
444   (let ((r0 (get-r0 info))
445         (r1 (get-r1 info)))
446     `((,(string-append "or_____%" r1 ",%" r0)))))
447
448 (define (i386:shl-r info n)
449   (let ((r (get-r info)))
450     `((,(string-append "shl____$i8,%" r) (#:immediate1 ,n)))))
451
452 (define (i386:r+r info)
453   (let ((r (get-r info)))
454     `((,(string-append "add____%" r ",%" r)))))
455
456 (define (i386:not-r info)
457   (let ((r (get-r info)))
458     `((,(string-append "not____%" r)))))
459
460 (define (i386:r0-xor-r1 info)
461   (let ((r0 (get-r0 info))
462         (r1 (get-r1 info)))
463     `((,(string-append "xor____%" r1 ",%" r0)))))
464
465 (define (i386:r0-mem->r1-mem info)
466   (let* ((registers (.registers info))
467          (r0 (get-r0 info))
468          (r1 (get-r1 info))
469          (r2 (car registers)))
470     `((,(string-append "mov____(%" r0 "),%" r2))
471       (,(string-append "mov____%" r2 ",(%" r1 ")")))))
472
473 (define (i386:byte-r0-mem->r1-mem info)
474   (let* ((registers (.registers info))
475          (r0 (get-r0 info))
476          (r1 (get-r1 info))
477          (r2 (car registers))
478          (l2 (e->l r2)))
479     `((,(string-append "mov____(%" r0 "),%" l2))
480       (,(string-append "mov____%" l2 ",(%" r1 ")")))))
481
482 (define (i386:word-r0-mem->r1-mem info)
483   (let* ((registers (.registers info))
484          (r0 (get-r0 info))
485          (r1 (get-r1 info))
486          (r2 (car registers))
487          (x2 (e->x r2)))
488     `((,(string-append "mov____(%" r0 "),%" x2))
489       (,(string-append "mov____%" x2 ",(%" r1 ")")))))
490
491 (define (i386:r0+value info v)
492   (let ((r0 (get-r0 info)))
493     `(,(if (< (abs v) #x80) `(,(string-append "add____$i8,%" r0) (#:immediate1 ,v))
494            `(,(string-append "add____$i32,%" r0) (#:immediate ,v))))))
495
496 (define (i386:value->r0 info v)
497   (let ((r0 (get-r0 info)))
498     `((,(string-append "mov____$i32,%" r0) (#:immediate ,v)))))
499
500 (define (i386:byte-r->local+n info id n)
501   (let* ((n (+ (- 0 (* 4 id)) n))
502          (r (get-r info))
503          (l (e->l r) ))
504     `(,(if (< (abs n) #x80) `(,(string-append "mov____%" l ",0x8(%ebp)") (#:immediate1 ,n))
505            `(,(string-append "mov____%" l ",0x32(%ebp)") (#:immediate ,n))))))
506
507 (define (i386:word-r->local+n info id n)
508   (let* ((n (+ (- 0 (* 4 id)) n))
509          (r (get-r info))
510          (x (e->x r)))
511     `(,(if (< (abs n) #x80) `(,(string-append "mov____%" x ",0x8(%ebp)") (#:immediate1 ,n))
512            `(,(string-append "mov____%" x ",0x32(%ebp)") (#:immediate ,n))))))
513
514 (define (i386:r-and info v)
515   (let ((r (get-r info)))
516     `((,(string-append "and____$i32,%" r) (#:immediate ,v)))))
517
518 (define (i386:push-r0 info)
519   (let ((r0 (get-r0 info)))
520     `((,(string-append "push___%" r0)))))
521
522 (define (i386:r1->r0 info)
523   (let ((r0 (get-r0 info))
524         (r1 (get-r1 info)))
525     `((,(string-append  "mov____%" r1 ",%" r0)))))
526
527 (define (i386:pop-r0 info)
528   (let ((r0 (get-r0 info)))
529     `((,(string-append "pop____%" r0)))))
530
531 (define (i386:swap-r-stack info)
532   (let ((r (get-r info)))
533     `((,(string-append "xchg___%" r ",(%esp)")))))
534
535 (define (i386:swap-r1-stack info)
536   (let ((r0 (get-r0 info)))
537     `((,(string-append "xchg___%" r0 ",(%esp)")))))
538
539 (define (i386:r2->r0 info)
540   (let ((r0 (get-r0 info))
541         (allocated (.allocated info)))
542     (if (> (length allocated) 2)
543         (let ((r2 (cadddr allocated)))
544           `((,(string-append  "mov____%" r2 ",%" r1))))
545         `((,(string-append  "pop____%" r0))
546           (,(string-append  "push___%" r0))))))
547
548 (define i386:instructions
549   `(
550     (a?->r . ,i386:a?->r)
551     (ae?->r . ,i386:ae?->r)
552     (b?->r . ,i386:b?->r)
553     (be?->r . ,i386:be?->r)
554     (byte-mem->r . ,i386:byte-mem->r)
555     (byte-r . ,i386:byte-r)
556     (byte-r->local+n . ,i386:byte-r->local+n)
557     (byte-r0->r1-mem . ,i386:byte-r0->r1-mem)
558     (byte-r0->r1-mem . ,i386:byte-r0->r1-mem)
559     (byte-r0-mem->r1-mem . ,i386:byte-r0-mem->r1-mem)
560     (byte-signed-r . ,i386:byte-signed-r)
561     (call-label . ,i386:call-label)
562     (call-r . ,i386:call-r)
563     (function-locals . ,i386:function-locals)
564     (function-preamble . ,i386:function-preamble)
565     (g?->r . ,i386:g?->r)
566     (ge?->r . ,i386:ge?->r)
567     (jump . ,i386:jump)
568     (jump-a . ,i386:jump-a)
569     (jump-ae . ,i386:jump-ae)
570     (jump-b . ,i386:jump-b)
571     (jump-be . ,i386:jump-be)
572     (jump-byte-z . ,i386:jump-byte-z)
573     (jump-g . , i386:jump-g)
574     (jump-ge . , i386:jump-ge)
575     (jump-l . ,i386:jump-l)
576     (jump-le . ,i386:jump-le)
577     (jump-nz . ,i386:jump-nz)
578     (jump-z . ,i386:jump-z)
579     (l?->r . ,i386:l?->r)
580     (label->arg . ,i386:label->arg)
581     (label->r . ,i386:label->r)
582     (label-mem->r . ,i386:label-mem->r)
583     (label-mem-add . ,i386:label-mem-add)
584     (le?->r . ,i386:le?->r)
585     (local->r . ,i386:local->r)
586     (local-add . ,i386:local-add)
587     (local-ptr->r . ,i386:local-ptr->r)
588     (long-r0->r1-mem . ,i386:r0->r1-mem)
589     (long-r0-mem->r1-mem . ,i386:r0-mem->r1-mem)
590     (mem->r . ,i386:mem->r)
591     (nop . ,i386:nop)
592     (not-r . ,i386:not-r)
593     (pop-r0 . ,i386:pop-r0)
594     (pop-register . ,i386:pop-register)
595     (push-r0 . ,i386:push-r0)
596     (push-register . ,i386:push-register)
597     (r+r . ,i386:r+r)
598     (r+value . ,i386:r+value)
599     (r->arg . ,i386:r->arg)
600     (r->byte-label . ,i386:r->byte-label)
601     (r->label . ,i386:r->label)
602     (r->local . ,i386:r->local)
603     (r->local+n . ,i386:r->local+n)
604     (r->word-label . ,i386:r->word-label)
605     (r-and . ,i386:r-and)
606     (r-byte-mem-add . ,i386:r-byte-mem-add)
607     (r-cmp-value . ,i386:r-cmp-value)
608     (r-mem-add . ,i386:r-mem-add)
609     (r-negate . ,i386:r-negate)
610     (r-word-mem-add . ,i386:r-word-mem-add)
611     (r-zero? . ,i386:r-zero?)
612     (r0%r1 . ,i386:r0%r1)
613     (r0*r1 . ,i386:r0*r1)
614     (r0+r1 . ,i386:r0+r1)
615     (r0+value . ,i386:r0+value)
616     (r0->r1 . ,i386:r0->r1)
617     (r0->r1-mem . ,i386:r0->r1-mem)
618     (r0-and-r1 . ,i386:r0-and-r1)
619     (r0-mem->r1-mem . ,i386:r0-mem->r1-mem)
620     (r0-or-r1 . ,i386:r0-or-r1)
621     (r0-r1 . ,i386:r0-r1)
622     (r0-xor-r1 . ,i386:r0-xor-r1)
623     (r0/r1 . ,i386:r0/r1)
624     (r0<<r1 . ,i386:r0<<r1)
625     (r0>>r1 . ,i386:r0>>r1)
626     (r1->r0 . ,i386:r1->r0)
627     (r2->r0 . ,i386:r2->r0)
628     (ret . ,i386:ret)
629     (return->r . ,i386:return->r)
630     (shl-r . ,i386:shl-r)
631     (swap-r-stack . ,i386:swap-r-stack)
632     (swap-r0-r1 . ,i386:swap-r0-r1)
633     (swap-r1-stack . ,i386:swap-r1-stack)
634     (test-r . ,i386:test-r)
635     (value->r . ,i386:value->r)
636     (value->r0 . ,i386:value->r0)
637     (word-mem->r . ,i386:word-mem->r)
638     (word-r . ,i386:word-r)
639     (word-r->local+n . ,i386:word-r->local+n)
640     (word-r0->r1-mem . ,i386:word-r0->r1-mem)
641     (word-r0-mem->r1-mem . ,i386:word-r0-mem->r1-mem)
642     (word-signed-r . ,i386:word-signed-r)
643     (xor-zf . ,i386:xor-zf)
644     (zf->r . ,i386:zf->r)
645     ))