1bc66129e6b1409eb99625993ef228d9f3fb784f
[mes.git] / module / mes / libc-i386.mes
1 ;;; -*-scheme-*-
2
3 ;;; Mes --- Maxwell Equations of Software
4 ;;; Copyright © 2016,2017 Jan Nieuwenhuizen <janneke@gnu.org>
5 ;;;
6 ;;; This file is part of Mes.
7 ;;;
8 ;;; Mes is free software; you can redistribute it and/or modify it
9 ;;; under the terms of the GNU General Public License as published by
10 ;;; the Free Software Foundation; either version 3 of the License, or (at
11 ;;; your option) any later version.
12 ;;;
13 ;;; Mes is distributed in the hope that it will be useful, but
14 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
15 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16 ;;; GNU General Public License for more details.
17 ;;;
18 ;;; You should have received a copy of the GNU General Public License
19 ;;; along with Mes.  If not, see <http://www.gnu.org/licenses/>.
20
21 ;;; Commentary:
22
23 ;;; libc-i386.mes defines C library routines
24
25 ;;; Code:
26
27 (define (i386:exit f g ta t d)
28   '(
29     #x5b                                ; pop    %ebx
30     #x5b                                ; pop    %ebx
31     #xb8 #x01 #x00 #x00 #x00            ; mov    $0x1,%eax
32     #xcd #x80                           ; int    $0x80
33     ))
34
35 (define (i386:open f g ta t d)
36   '(
37     #x55                                ; push   %ebp
38     #x89 #xe5                           ; mov    %esp,%ebp
39
40     #x8b #x5d #x08                      ; mov    0x8(%ebp),%ebx
41     #x8b #x4d #x0c                      ; mov    0xc(%ebp),%ecx
42
43     #xb8 #x05 #x00 #x00 #x00            ; mov    $0x5,%eax
44     #xcd #x80                           ; int    $0x80
45
46     #xc9                                ; leave
47     #xc3                                ; ret
48     ))
49
50 (define (i386:read f g ta t d)
51   '(
52     #x55                                ; push   %ebp
53     #x89 #xe5                           ; mov    %esp,%ebp
54
55     #x8b #x5d #x08                      ; mov    0x8(%ebp),%ebx
56     #x8b #x4d #x0c                      ; mov    0xc(%ebp),%ecx
57     #x8b #x55 #x10                      ; mov    0x10(%ebp),%edx
58
59     #xb8 #x03 #x00 #x00 #x00            ; mov    $0x3,%eax
60     #xcd #x80                           ; int    $0x80
61
62     #xc9                                ; leave
63     #xc3                                ; ret
64     ))
65
66 (define (i386:write f g ta t d)
67   '(
68     #x55                                ; push   %ebp
69     #x89 #xe5                           ; mov    %esp,%ebp
70
71     #x8b #x5d #x08                      ; mov    0x8(%ebp),%ebx
72     #x8b #x4d #x0c                      ; mov    0xc(%ebp),%ecx
73     #x8b #x55 #x10                      ; mov    0x10(%ebp),%edx
74
75     #xb8 #x04 #x00 #x00 #x00            ; mov    $0x4,%eax
76     #xcd #x80                           ; int    $0x80
77
78     #xc9                                ; leave
79     #xc3                                ; ret
80     ))
81
82 (define (i386:brk f g ta t d)
83   '(
84     #x55                                ; push   %ebp
85     #x89 #xe5                           ; mov    %esp,%ebp
86
87     #x8b #x5d #x08                      ; mov    0x8(%ebp),%ebx
88     #xb8 #x2d #x00 #x00 #x00            ; mov    $0x2d,%eax
89     #xcd #x80                           ; int    $0x80
90
91     #xc9                                ; leave
92     #xc3                                ; ret
93     ))
94
95
96 (define (i386:_start)
97  (string-append ".byte"
98                 " 0x89 0xe8"      ; mov    %ebp,%eax
99                 " 0x83 0xc0 0x08" ; add    $0x8,%eax
100                 " 0x50"           ; push   %eax
101                 " 0x89 0xe8"      ; mov    %ebp,%eax
102                 " 0x83 0xc0 0x04" ; add    $0x4,%eax
103                 " 0x0f 0xb6 0x00" ; movzbl (%eax),%eax
104                 " 0x50"           ; push   %eax
105                 ))
106
107 (define i386:libc
108   (list
109    (cons "exit" (list i386:exit))
110    (cons "open" (list i386:open))
111    (cons "read" (list i386:read))
112    (cons "write" (list i386:write))
113    (cons "brk" (list i386:brk))))