mescc: Have micro-mes print argc.
[mes.git] / module / mes / libc-i386.mes
index 06e691edb744a7b2edaf4a91ae76d04a6ec47c32..be0ea9ab7a2dfad00a481a7b85987f33bd4d1fa8 100644 (file)
@@ -1,9 +1,9 @@
 ;;; -*-scheme-*-
 
 ;;; Mes --- Maxwell Equations of Software
-;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
+;;; Copyright © 2016,2017 Jan Nieuwenhuizen <janneke@gnu.org>
 ;;;
-;;; libc-i386.mes: This file is part of Mes.
+;;; This file is part of Mes.
 ;;;
 ;;; Mes is free software; you can redistribute it and/or modify it
 ;;; under the terms of the GNU General Public License as published by
 
 ;;; Code:
 
-(define (i386:puts data length)
+(define (i386:function-preamble)
+  '(#x55                                ; push   %ebp
+    #x89 #xe5))                         ; mov    %esp,%ebp
+
+(define (i386:function-locals)
+  '(#x83 #xec #x10))               ; sub    $0x10,%esp -- 4 local vars
+
+;; (define (i386:formal i n)
+;;   (case i
+;;     ((0) (list #x8b #x5d (* (- n 2) 4)))       ; mov    $00(%ebp),%ebx
+;;     ((1) (list #x8b #x4d (* (- n 3) 4)))    ; mov    $00(%ebp),%ecx
+;;     ((2) (list #x8b #x55 (* (- n 4) 4)))    ; mov    $00(%ebp),%edx
+;;     ((3) (list #x8b #x45 (* (- n 5) 4)))))  ; mov    $00(%ebp),%eax FIXME
+
+(define (i386:ref-global o)
+  `(#x68 ,@(int->bv32 o)))               ; push  $0x<o>
+
+(define (i386:ref-local n)
+  `(#xff #x75 ,(- 0 (* 4 n))))          ; pushl  0x<n>(%ebp)
+
+(define (i386:push-accu)
+  `(#x50))                              ; push %eax
+
+(define (i386:push-arg s t d)
+  (lambda (o)
+    (cond ((number? o)
+           `(#x68 ,@(int->bv32 o)))       ; push $<o>
+          ((pair? o) o)
+          ((procedure? o) (o s t d)))))
+
+(define (i386:ret . rest)
+  (lambda (s t d)
+    `(
+      ,@(cond ((null? rest) '())
+              ((number? (car rest))
+               `(#xb8                     ; mov    $<>,%eax
+                 ,@(int->bv32 (car rest))))
+              ((pair? (car rest)) (car rest))
+              ((procedure? (car rest))
+               ((car rest) s t d)))
+    #xc9                                ; leave
+    #xc3                                ; ret
+    )))
+
+(define (i386:accu->local n)
+  `(#x89 #x45 ,(- 0 (* 4 n))))          ; mov    ,%eax,-<0xn>(%ebp)
+
+(define (i386:local->accu n)
+  `(#x8b #x45 ,(- 0 (* 4 n))))          ; mov    -<0xn>(%ebp),%eax
+
+(define (i386:local->base n)
+  `(#x8b #x55 ,(- 0 (* 4 n))))          ; mov    -<0xn>(%ebp),%edx
+
+(define (i386:mem-byte->accu)
+  '(#x01 #xd0                           ; add    %edx,%eax
+         #x0f #xb6 #x00))               ; movzbl (%eax),%eax
+
+(define (i386:local-add n v)
+  `(#x83 #x45 ,(- 0 (* 4 n)) ,v))       ; addl   $<v>,0x<n>(%ebp)
+    
+(define (i386:local-assign n v)
+  `(#xc7 #x45 ,(- 0 (* 4 n))            ; movl   $<v>,0x<n>(%ebp)
+         ,@(int->bv32 v)))
+
+(define (i386:ret-local n)
+  `(
+    #x89 #x45 ,(- 0 (* 4 n))            ; mov    %eax,-0x<n>(%ebp)
+    ))
+
+(define (i386:call s t d address . arguments)
+  (let* ((pushes (append-map (i386:push-arg s t d) arguments))
+         (s (length pushes))
+         (n (length arguments)))
+   `(
+     ,@pushes                           ; push args
+     #xe8 ,@(int->bv32 (- address 5 s)) ; call relative
+     #x83 #xc4 ,(* n 4)                 ; add    $00,%esp
+     )))
+  
+(define (i386:exit s t d)
   `(
-     #xba ,@(int->bv32 length)      ;; mov    $0xe,%edx
-          #xb9 ,@(int->bv32 data)        ;; mov    $data,%ecx
-          #xbb #x01 #x00 #x00 #x00       ;; mov    $0x1,%ebx
-          #xb8 #x04 #x00 #x00 #x00       ;; mov    $0x4,%eax
-          #xcd #x80                      ;; int    $0x80
-          ))
-
-(define (i386:exit code)
+    #x5b                                ; pop    %ebx
+    #x5b                                ; pop    %ebx
+    #xb8 #x01 #x00 #x00 #x00            ; mov    $0x1,%eax
+    #xcd #x80                           ; int    $0x80
+    ))
+
+;; (define (i386:_start s t d)
+;;   (let* ((prefix
+;;           `(
+;;             #x55                         ; push   %ebp
+;;             #x89 #xe5                    ; mov    %esp,%ebp
+      
+;;             ;;#x83 #xec #x10                 ; sub    $0x10,%esp -- 4 local vars
+            
+;;             #xe8 ,@(int->bv32 (- address 5 s)) ; call relative
+
+;;             #xb8 #x04 #x00 #x00 #x00     ; mov    $0x4,%eax
+;;             #xcd #x80                    ; int    $0x80
+      
+;;             #xc9                         ; leave
+;;             #xc3                         ; ret
+;;             ))
+;;          (text-list (text->list t))
+;;          (statement-offset (- (+ (length prefix) (length text-list))))
+;;          (address (+ t (function-offset "main" s))))))
+
+(define (i386:write s t d)
   `(
-    #xbb ,@(int->bv32 code)        ;; mov    $code,%ebx
-         #xb8 #x01 #x00 #x00 #x00       ;; mov    $0x1,%eax
-         #xcd #x80                      ;; int    $0x80
-         ))
-
-(define (i386:for start test step statement)
-`(
-
-  ;;   b:
-  #x89 #xe5                    ;; mov    %esp,%ebp
-       ;;21:
-       #xc7 #x45 #xf4 ,@(int->bv32 start) ;;   movl   $start,-0xc(%ebp)
-       ;;28:
-       #xeb ,(+ (length statement) 9) ;;x14    jmp    3e <main+0x3e>
-       ;;2a:
-       ;;#x83 #xec #x0c             ;; sub    $0xc,%esp
-       
-       ;;   9:
-       #x55   ;;                       push   %ebp
-       
-       ,@statement
-       #x5d   ;;                       pop   %ebp
-       ;;2d:
- ;;;;;;#x68 #x09 #x00 #x00 #x00       ;;       push   $0x9
-       ;;32:
- ;;;;;;#xe8 #xfc #xff #xff #xff       ;;       call   33 <main+0x33>
-       ;;37:
- ;;;;;;#x83 #xc4 #x10             ;;   add    $0x10,%esp
-       ;;3a:
-       ;;;;#x83 #x45 #xf4 ,step          ;;    addl   $step,-0xc(%ebp)
-       ;;3e:
-       ;;;;#x83 #x7d #xf4 ,test          ;;    cmpl   $test,-0xc(%ebp)
-       #x81 #x45 #xf4 ,@(int->bv32 step)       ;;addl   $step,-0xc(%ebp)
-       #x81 #x7d #xf4 ,@(int->bv32 test) ;;cmpl   $0x7cff,-0xc(%ebp)
-       ;;42:
-       ;;;#x7e ,(- 0 (length statement) 18) ;;#xe6 ;;  jle    2a <main+0x2a>
-       #x75 ,(- 0 (length statement) 18) ;;#xe6 ;;     jne    2a <main+0x2a>
-))
+    #x55                                ; push   %ebp
+    #x89 #xe5                           ; mov    %esp,%ebp
+
+    #x8b #x5d #x10                      ; mov    $0x8(%ebp),%ebx
+    #x8b #x4d #x0c                      ; mov    $0xc(%ebp),%ecx
+    #x8b #x55 #x08                      ; mov    $0x4(%ebp),%edx
+
+    #xb8 #x04 #x00 #x00 #x00            ; mov    $0x4,%eax
+    #xcd #x80                           ; int    $0x80
+
+    #xc9                                ; leave
+    #xc3                                ; ret
+    ))
+
+(define (i386:jump n)
+  `(#xeb ,(if (>= n 0) n (- n 2))))     ; jmp <n>
+
+(define (i386:test-jump n)
+  `(#x84 #xc0                           ; test   %al,%al
+    #x75 ,(if (>= n 0) n (- n 4))))     ; jne <n>
+
+#!
+int
+strcmp (char const* a, char const* b)
+{
+  while (*a && *b && *a == *b) {*a++;b++;}
+  return *a == *b;
+}
+08048150 <strcmp>:
+ 8048150:      55                      push   %ebp
+ 8048151:      89 e5                   mov    %esp,%ebp
+ 8048153:      eb 0d                   jmp    8048162 <strcmp+0x12>
+
+<body>
+ 8048155:      8b 45 08                mov    0x8(%ebp),%eax
+ 8048158:      83 c0 01                add    $0x1,%eax
+ 804815b:      89 45 08                mov    %eax,0x8(%ebp)
+ 804815e:      83 45 0c 01             addl   $0x1,0xc(%ebp)
+
+<test>
+ 8048162:      8b 45 08                mov    0x8(%ebp),%eax
+ 8048165:      0f b6 00                movzbl (%eax),%eax
+ 8048168:      84 c0                   test   %al,%al
+ 804816a:      74 1a                   je     8048186 <strcmp+0x36>
+
+ 804816c:      8b 45 0c                mov    0xc(%ebp),%eax
+ 804816f:      0f b6 00                movzbl (%eax),%eax
+ 8048172:      84 c0                   test   %al,%al
+ 8048174:      74 10                   je     8048186 <strcmp+0x36>
+
+ 8048176:      8b 45 08                mov    0x8(%ebp),%eax
+ 8048179:      0f b6 10                movzbl (%eax),%edx
+ 804817c:      8b 45 0c                mov    0xc(%ebp),%eax
+ 804817f:      0f b6 00                movzbl (%eax),%eax
+ 8048182:      38 c2                   cmp    %al,%dl
+ 8048184:      74 cf                   je     8048155 <strcmp+0x5>
+
+<done>
+ 8048186:      8b 45 08                mov    0x8(%ebp),%eax
+ 8048189:      0f b6 10                movzbl (%eax),%edx
+ 804818c:      8b 45 0c                mov    0xc(%ebp),%eax
+ 804818f:      0f b6 00                movzbl (%eax),%eax
+ 8048192:      38 c2                   cmp    %al,%dl
+ 8048194:      0f 94 c0                sete   %al
+ 8048197:      0f b6 c0                movzbl %al,%eax
+ 804819a:      5d                      pop    %ebp
+ 804819b:      c3                      ret    
+!#
+