mescc: Read and display sexp dumped by mes.
[mes.git] / module / mes / libc-i386.scm
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-module (mes libc-i386)
28   #:use-module (srfi srfi-1)
29   #:use-module (mes elf)
30   #:export (
31             i386:accu-not
32             i386:accu-cmp-value
33             i386:accu->base
34             i386:accu->global
35             i386:accu->local
36             i386:accu-non-zero?
37             i386:accu-test
38             i386:accu-zero?
39             i386:accu+accu
40             i386:accu+base
41             i386:accu-shl
42             i386:base-sub
43             i386:base->accu
44             i386:base->accu-ref
45             i386:base-mem->accu
46             i386:byte-base-sub
47             i386:byte-base->accu-ref
48             i386:byte-base-mem->accu
49             i386:byte-local->accu
50             i386:byte-mem->accu
51             i386:base-mem+n->accu
52             i386:byte-mem->base
53             i386:byte-test-base
54             i386:byte-sub-base
55             i386:call
56             i386:formal
57             i386:function-locals
58             i386:function-preamble
59             i386:global->accu
60             i386:global->base
61             i386:jump
62             i386:jump
63             i386:jump-byte-nz
64             i386:jump-byte-z
65             i386:jump-c
66             i386:jump-cz
67             i386:jump-le
68             i386:jump-nc
69             i386:jump-ncz
70             i386:jump-nz
71             i386:jump-z
72             i386:local->accu
73             i386:local->base
74             i386:local-add
75             i386:local-address->accu
76             i386:local-ref->base
77             i386:local-test
78             i386:mem->accu
79             i386:mem+n->accu
80             i386:push-accu
81             i386:push-global
82             i386:push-global-ref
83             i386:push-local
84             i386:push-local-de-ref
85             i386:push-local-ref
86             i386:ret
87             i386:ret-local
88             i386:sub-base
89             i386:test-base
90             i386:test-jump-z
91             i386:value->accu
92             i386:value->accu-ref
93             i386:value->accu-ref+n
94             i386:value->global
95             i386:value->local
96             i386:value->base
97             i386:xor-accu
98             i386:xor-zf
99
100             i386:Xjump
101             i386:Xjump-nz
102
103             ;; libc
104             i386:exit
105             i386:open
106             i386:read
107             i386:write
108             ))
109
110 (cond-expand
111  (guile-2)
112  (guile
113   (use-modules (ice-9 syncase)))
114  (mes))
115
116 (include-from-path "mes/libc-i386.mes")