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     ))