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->base-address
  35             i386:accu->base-address+n
  36             i386:accu->global
  37             i386:accu->global-address
  38             i386:accu->local
  39             i386:accu-non-zero?
  40             i386:accu-test
  41             i386:accu-zero?
  42             i386:accu+accu
  43             i386:accu+base
  44             i386:accu+value
  45             i386:accu/base
  46             i386:accu-base
  47             i386:accu-shl
  48             i386:base-sub
  49             i386:base->accu
  50             i386:base->accu-address
  51             i386:byte-accu->base-address
  52             i386:base->global
  53             i386:base->local
  54             i386:base-mem->accu
  55             i386:byte-base-sub
  56             i386:byte-base->accu-address
  57             i386:byte-base->accu-address+n
  58             i386:byte-base-mem->accu
  59             i386:local-address->accu
  60             i386:byte-local->accu
  61             i386:byte-mem->accu
  62             i386:base-mem+n->accu
  63             i386:byte-mem->base
  64             i386:byte-test-base
  65             i386:byte-sub-base
  66             i386:call
  67             i386:call-accu
  68             i386:formal
  69             i386:function-locals
  70             i386:function-preamble
  71             i386:global-add
  72             i386:global->accu
  73             i386:global->base
  74             i386:global-address->accu
  75             i386:global-address->base
  76             i386:jump
  77             i386:jump
  78             i386:jump-byte-nz
  79             i386:jump-byte-z
  80             i386:jump-c
  81             i386:jump-cz
  82             i386:jump-le
  83             i386:jump-nc
  84             i386:jump-ncz
  85             i386:jump-nz
  86             i386:jump-z
  87             i386:local->accu
  88             i386:local->base
  89             i386:local-add
  90             i386:local-address->accu
  91             i386:local-ptr->accu
  92             i386:local-ptr->base
  93             i386:local-address->base
  94             i386:local-test
  95             i386:mem->accu
  96             i386:mem+n->accu
  97             i386:pop-accu
  98             i386:push-accu
  99             i386:pop-base
 100             i386:push-base
 101             i386:push-global
 102             i386:push-global-address
 103             i386:push-local
 104             i386:push-local-de-ref
 105             i386:push-local-address
 106             i386:ret
 107             i386:ret-local
 108             i386:sub-base
 109             i386:test-base
 110             i386:test-jump-z
 111             i386:value->accu
 112             i386:value->accu-address
 113             i386:value->accu-address+n
 114             i386:value->global
 115             i386:value->local
 116             i386:value->base
 117             i386:xor-accu
 118             i386:xor-zf
 119
 120             ;; long jump
 121             i386:Xjump
 122             i386:Xjump
 123             i386:Xjump-c
 124             i386:Xjump-nc
 125             i386:Xjump-nz
 126             i386:Xjump-z
 127
 128             i386:XXjump
 129
 130             ;; libc
 131             i386:exit
 132             i386:open
 133             i386:read
 134             i386:write
 135             ))
 136
 137 (cond-expand
 138  (guile-2)
 139  (guile
 140   (use-modules (ice-9 syncase)))
 141  (mes))
 142
 143 (include-from-path "mes/libc-i386.mes")