b78ee0a5237cea0a7897f0d92d18141c5cfbb22c
[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:_start)
83  (string-append ".byte"
84                 " 0x89 0xe8"      ; mov    %ebp,%eax
85                 " 0x83 0xc0 0x08" ; add    $0x8,%eax
86                 " 0x50"           ; push   %eax
87                 " 0x89 0xe8"      ; mov    %ebp,%eax
88                 " 0x83 0xc0 0x04" ; add    $0x4,%eax
89                 " 0x0f 0xb6 0x00" ; movzbl (%eax),%eax
90                 " 0x50"           ; push   %eax
91                 ))
92
93 (define i386:libc
94   (list
95    (cons "exit" (list i386:exit))
96    (cons "open" (list i386:open))
97    (cons "read" (list i386:read))
98    (cons "write" (list i386:write))))