mescc: Remove jump calculation, use labels: remove offset-jumps.
[mes.git] / module / mes / as-i386.mes
index 0de8c92b210bc2ee3a53ed2a443e21d24da155dd..dbffb710404529a78045b1d06ce5e8c257f1a537 100644 (file)
@@ -20,7 +20,7 @@
 
 ;;; Commentary:
 
-;;; libc-i386.mes defines i386 assembly
+;;; as-i386.mes defines i386 assembly
 
 ;;; Code:
 
@@ -28,7 +28,7 @@
  (guile-2)
  (guile)
  (mes
-  (mes-use-module (mes elf))))
+  (mes-use-module (mes elf-util))))
 
 (define (i386:function-preamble)
   '(#x55                                ; push   %ebp
 (define (i386:function-locals)
   '(#x83 #xec #x40))              ; sub    $0x10,%esp -- 16 local vars
 
-(define (i386:push-global-address o)
-  (or o (error "invalid value: push-global-address: " o))
-  `(#x68 ,@(int->bv32 o)))              ; push  $0x<o>
+(define (i386:push-label label)
+  `(#x68 ,label #f #f #F))              ; push  $0x<o>
 
-(define (i386:push-global o)
-  (or o (error "invalid value: push-global: " o))
-  `(#xa1 ,@(int->bv32 o)                ; mov    0x804a000,%eax
+(define (i386:push-label-mem label)
+  `(#xa1 ,label #f #f #f                ; mov    0x804a000,%eax
          #x50))                         ; push  %eax
 
 (define (i386:push-local n)
   (or n (error "invalid value: base->local: " n))
   `(#x89 #x55 ,(- 0 (* 4 n))))          ; mov    %edx,-<0xn>(%ebp)
 
-(define (i386:base->global n)
-  (or n (error "invalid value: base->global: " n))
-  `(#x89 #x15 ,@(int->bv32 n)))         ; mov    %edx,0x0
-
-(define (i386:accu->global n)
-  (or n (error "invalid value: accu->global: " n))
-  `(#xa3 ,@(int->bv32 n)))              ; mov    %eax,0x0
-
-(define (i386:accu->global-address n)
-  (or n (error "invalid value: accu->global-address: " n))
-  `(#x8b #x15 ,@(int->bv32 n)           ; mov    0x<n>,%edx
-         #x89 #x02 ))                   ; mov    %eax,(%edx)
+(define (i386:accu->label label)
+  `(#xa3 ,label #f #f #f))
 
 (define (i386:accu-zero?)
   '(#x85 #xc0))                         ; cmpl   %eax,%eax
   `(#x89 #xea                           ; mov    %ebp,%edx
          #x83 #xc2 ,(- 0 (* 4 n))))     ; add    $0x<n>,%edx
 
-(define (i386:global->base n)
-  (or n (error "invalid value: global->base: " n))
-  `(#xba ,@(int->bv32 n)))              ; mov   $<n>,%edx
+(define (i386:label->accu label)
+  `(#xb8 ,label #f #f #f))              ; mov    $<>,%eax
+
+(define (i386:label->base label)
+  `(#xba ,label #f #f #f))              ; mov   $<n>,%edx
 
-(define (i386:global-address->accu n)
-  (or n (error "invalid value: global-address->accu: " n))
-  `(#xa1 ,@(int->bv32 n)))              ; mov    0x<n>,%eax
+(define (i386:label-mem->accu label)
+  `(#xa1 ,label #f #f #f))              ; mov    0x<n>,%eax
 
-(define (i386:global-address->base n)
-  (or n (error "invalid value: global-address->base: " n))
-  `(#x8b #x15 ,@(int->bv32 n)))         ; mov    0x<n>,%edx
+(define (i386:label-mem->base label)
+  `(#x8b #x15 ,label #f #f #f))         ; mov    0x<n>,%edx
+
+(define (i386:label-mem-add label v)
+  `(#x83 #x05 ,label #f #f #f ,v))      ; addl   $<v>,0x<n>
 
 (define (i386:byte-base-mem->accu)
   '(#x01 #xd0                           ; add    %edx,%eax
 (define (i386:accu-mem-add v)
   `(#x83 #x00 ,v))                      ; addl   $<v>,(%eax)
 
-(define (i386:global-add n v)
-  (or n (error "invalid value: i386:global-add: " n))
-  `(#x83 #x05 ,@(int->bv32 n) ,v))      ; addl   $<v>,0x<n>
-
-(define (i386:global->accu o)
-  (or o (error "invalid value: i386:global->accu: " o))
-  `(#xb8 ,@(int->bv32 o)))              ; mov    $<>,%eax
-
-(define (i386:value->global n v)
-  (or n (error "invalid value: value->global: " n))
-  `(#xc7 #x05 ,@(int->bv32 n)           ; movl   $<v>,(<n>)
+(define (i386:value->label label v)
+  (or v (error "invalid value: value->label: " v))
+  `(#xc7 #x05 ,label #f #f #f           ; movl   $<v>,(<n>)
          ,@(int->bv32 v)))
 
 (define (i386:value->local n v)
   (or n (error "invalid value: local-test: " n))
   `(#x83 #x7d ,(- 0 (* 4 n)) ,v))       ; cmpl   $<v>,0x<n>(%ebp)
 
-(define (i386:call f g ta t d address n)
-  (or address (error "invalid value: i386:call: " address))
-  `(#xe8 ,@(int->bv32 (- address 5))    ; call   relative $00
+(define (i386:call-label label n)
+  `(#xe8 ,label #f #f #f                ; call   relative $00
          #x83 #xc4 ,(* n 4)))           ; add    $00,%esp
 
-(define (i386:call-accu f g ta t d n)
+(define (i386:call-accu n)
   `(,@(i386:push-accu)
     ,@(i386:pop-accu)
     #xff #xd0                           ; call   *%eax
 (define (i386:accu-test)
   '(#x85 #xc0))                         ; test   %eax,%eax
 
-(define (i386:Xjump n)
-  (or n (error "invalid value: i386:Xjump: n: " n))
-  `(#xe9 ,@(int->bv32 (if (>= n 0) n (- n 5))))) ; jmp . + <n>
-
-(define (i386:XXjump n)
-  (or n (error "invalid value: i386:XXjump: n: " n))
-  `(#xe9 ,@(int->bv32 n)))              ; jmp . + <n>
-
-(define (i386:Xjump-nz n)
-  (or n (error "invalid value: i386:Xjump-nz: n: " n))
-  `(#x0f #x85 ,@(int->bv32 n)))         ; jnz . + <n>
-
-(define (i386:Xjump-z n)
-  (or n (error "invalid value: i386:Xjump-z: n: " n))
-  `(#x0f #x84 ,@(int->bv32 n)))         ; jz . + <n>
-
-(define (i386:jump n) ;;FIXME: NEED THIS WEIRDNESS for t.c
-  (when (or (> n #x80) (< n #x-80))
-    (error "JUMP n=" n))
-  `(#xeb ,(if (>= n 0) (- n 2) (- n 2)))) ; jmp <n>
-
-(define (i386:jump-c n)
-  (when (or (> n #x80) (< n #x-80))
-    (error "JUMP n=" n))
-  `(#x72 ,(if (>= n 0) n (- n 2))))     ; jc <n>
-
-(define (i386:jump-cz n)
-  (when (or (> n #x80) (< n #x-80))
-    (error "JUMP n=" n))
-  `(#x76 ,(if (>= n 0) n (- n 2))))     ; jbe <n>
-
-(define (i386:jump-ncz n)
-  (when (or (> n #x80) (< n #x-80))
-    (error "JUMP-ncz n=" n))
-  `(#x77 ,(if (>= n 0) n (- n 2))))     ; ja <n>
-
-(define (i386:jump-nc n)
-  (when (or (> n #x80) (< n #x-80))
-    (error "JUMP-nc n=" n))
-  `(#x73 ,(if (>= n 0) n (- n 2))))     ; jnc <n>
-
-;; unsigned
-(define (i386:Xjump-nc n)
-  (or n (error "invalid value i386:Xjump-nc: " n))
-  `(#x0f #x83 ,@(int->bv32 n)))         ; jnc <n>
-
-;; unsigned
-(define (i386:Xjump-ncz n)
-  (or n (error "invalid value: i386:Xjump-ncz" n))
-  `(#x0f #x87 ,@(int->bv32 n)))         ; ja <n>
-
-;; unsigned
-;; (define (i386:Xjump-c n)
-;;   (or n urg:Xjump-c)
-;;   `(#x0f #x82 ,@(int->bv32 n)))     ; jc <n>
-
-;; unsigned
-;; (define (i386:Xjump-cz n)
-;;   (or n urg:Xjump-cz)
-;;   `(#x0f #x86 ,@(int->bv32 n)))         ; jbe <n>
+(define (i386:jump-label label)
+  `(#xe9 ,label #f #f #f))              ; jmp . + <n>
+
+(define (i386:jump-label-z label)
+  `(#x0f #x84 ,label #f #f #f))         ; jz . + <n>
+
+(define (i386:jump-label-byte-z label)
+  `(#x84 #xc0                           ; test   %al,%al
+    #x74 ,label))                       ; jne <n>
 
 ;; signed
-(define (i386:Xjump-g n)
-  (or n (error "invalid value: i386:Xjump-g: " n))
-  `(#x0f #x8f ,@(int->bv32 n)))         ; jg/jnle <n>
+(define (i386:jump-label-g label)
+  `(#x0f #x8f ,label #f #f #f))         ; jg/jnle <n>
 
 ;; signed
-(define (i386:Xjump-ge n)
-  (or n (error "invalid value: Xjump-ge: " n))
-  `(#x0f #x8d ,@(int->bv32 n)))         ; jge/jnl <n>
-
-;; ;; signed
-;; (define (i386:Xjump-l n)
-;;   (or n urg:Xjump-l)
-;;   `(#x0f #x8c ,@(int->bv32 n)))         ; jl/jnge <n>
-
-;; ;; signed
-;; (define (i386:Xjump-le n)
-;;   (or n urg:Xjump-le)
-;;   `(#x0f #x8e ,@(int->bv32 n)))         ; jle/jgn <n>
-
-(define (i386:jump-z n)
-  (when (or (> n #x80) (< n #x-80))
-    (error "JUMP-z n=" n))
-  `(#x74 ,(if (>= n 0) n (- n 2))))     ; jz <n>
-
-(define (i386:jump-nz n)
-  (when (or (> n #x80) (< n #x-80))
-    (error "JUMP-nz n=" n))
-  `(#x75 ,(if (>= n 0) n (- n 2))))     ; jnz <n>
-
-(define (i386:test-jump-z n)
-  (when (or (> n #x80) (< n #x-80))
-    (error "JUMP-z n=" n))
-  `(#x85 #xc0                           ; test   %eax,%eax
-    #x74 ,(if (>= n 0) n (- n 4))))     ; jz <n>
-
-(define (i386:jump-byte-nz n)
-  (when (or (> n #x80) (< n #x-80))
-    (error "JUMP-byte-nz n=" n))
-  `(#x84 #xc0                           ; test   %al,%al
-    #x75 ,(if (>= n 0) n (- n 4))))     ; jne <n>
+(define (i386:jump-label-ge label)
+  `(#x0f #x8d ,label #f #f #f))         ; jge/jnl <n>
 
-(define (i386:jump-byte-z n)
-  (when (or (> n #x80) (< n #x-80))
-    (error "JUMP-byte-z n=" n))
-  `(#x84 #xc0                           ; test   %al,%al
-    #x74 ,(if (>= n 0) n (- n 4))))     ; jne <n>
+(define (i386:jump-label-nz label)
+  `(#x0f #x85 ,label #f #f #f))         ; jnz . + <n>
+
+(define (i386:jump-label-z label)
+  `(#x0f #x84 ,label #f #f #f))         ; jz . + <n>
 
 (define (i386:byte-test-base)
   `(#x38 #xc2))                         ; cmp    %al,%dl