2017-07-02 14:25:14 +00:00
|
|
|
### Mes --- Maxwell Equations of Software
|
2017-11-21 18:22:26 +00:00
|
|
|
### Copyright © 2017 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
|
2017-07-02 14:25:14 +00:00
|
|
|
###
|
|
|
|
### 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
|
|
|
|
### the Free Software Foundation# either version 3 of the License, or (at
|
|
|
|
### your option) any later version.
|
|
|
|
###
|
|
|
|
### Mes is distributed in the hope that it will be useful, but
|
|
|
|
### WITHOUT ANY WARRANTY# without even the implied warranty of
|
|
|
|
### MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
### GNU General Public License for more details.
|
|
|
|
###
|
|
|
|
### You should have received a copy of the GNU General Public License
|
|
|
|
### along with Mes. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
|
|
|
|
DEFINE add____$i32,%eax 05
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE add____$i32,%ecx 81c1
|
|
|
|
DEFINE add____$i32,%edx 81c2
|
|
|
|
DEFINE add____$i32,(%eax) 8100
|
|
|
|
DEFINE add____$i32,0x32(%eax) 8180
|
|
|
|
DEFINE add____$i32,0x32(%ebp) 8185
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE add____$i8,%eax 83c0
|
|
|
|
DEFINE add____$i8,%edx 83c2
|
|
|
|
DEFINE add____$i8,%esp 83c4
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE add____$i8,(%eax) 8300
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE add____$i8,0x32 8305
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE add____$i8,0x32(%eax) 8380
|
|
|
|
DEFINE add____$i8,0x32(%eax) 8380
|
|
|
|
DEFINE add____$i8,0x32(%ebp) 8385
|
|
|
|
DEFINE add____$i8,0x8(%eax) 8340
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE add____$i8,0x8(%ebp) 8345
|
|
|
|
DEFINE add____%eax,%eax 01c0
|
|
|
|
DEFINE add____%ebp,%eax 01e8
|
|
|
|
DEFINE add____%edx,%eax 01d0
|
|
|
|
DEFINE add____%edx,%eax 01d0
|
2018-05-13 15:05:28 +00:00
|
|
|
DEFINE and____$i32,%eax 25
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE and____%edx,%eax 21d0
|
2018-05-13 15:05:28 +00:00
|
|
|
DEFINE and____(%edx),%eax 2302
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE call32 e8
|
|
|
|
DEFINE call___*%eax ffd0
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE cmp____$0x32,%eax 3d
|
|
|
|
DEFINE cmp____$i32,%eax 3d
|
|
|
|
DEFINE cmp____$i32,0x32(%ebp) 81bd
|
|
|
|
DEFINE cmp____$i32,0x8(%ebp) 817d
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE cmp____$i8,%eax 83f8
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE cmp____$i8,0x32(%ebp) 83bd
|
|
|
|
DEFINE cmp____$i8,0x8(%ebp) 837d
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE cmp____%al,%dl 38c2
|
|
|
|
DEFINE cmp____%edx,%eax 39d0
|
2017-09-03 06:18:18 +00:00
|
|
|
DEFINE hlt f4
|
2017-07-28 18:36:21 +00:00
|
|
|
DEFINE idiv___%ebx f7fb
|
2017-09-10 14:59:43 +00:00
|
|
|
DEFINE int cd
|
2017-11-26 12:10:46 +00:00
|
|
|
DEFINE int____$0x80 cd80
|
2018-05-19 09:41:53 +00:00
|
|
|
DEFINE ja32 0f87
|
|
|
|
DEFINE jae32 0f83
|
|
|
|
DEFINE jb32 0f82
|
|
|
|
DEFINE jbe32 0f86
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE je32 0f84
|
2017-07-29 18:46:16 +00:00
|
|
|
DEFINE je8 74
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE jg32 0f8f
|
|
|
|
DEFINE jge32 0f8d
|
2017-07-29 18:46:16 +00:00
|
|
|
DEFINE jl32 0f8c
|
|
|
|
DEFINE jle32 0f8e
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE jmp32 e9
|
2017-11-26 12:10:46 +00:00
|
|
|
DEFINE jmp____*%ebx ffe3
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE jne32 0f85
|
|
|
|
DEFINE lahf 9f
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE lea____0x32(%ebp),%eax 8d85
|
|
|
|
DEFINE lea____0x32(%ebp),%edx 8d95
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE lea____0x8(%ebp),%eax 8d45
|
|
|
|
DEFINE lea____0x8(%ebp),%edx 8d55
|
|
|
|
DEFINE leave c9
|
|
|
|
DEFINE mov____$i32,%eax b8
|
|
|
|
DEFINE mov____$i32,%ebx bb
|
|
|
|
DEFINE mov____$i32,%ecx b9
|
|
|
|
DEFINE mov____$i32,%edx ba
|
|
|
|
DEFINE mov____$i32,(%eax) c700
|
|
|
|
DEFINE mov____$i32,0x32 c705
|
|
|
|
DEFINE mov____$i32,0x8(%eax) c740
|
|
|
|
DEFINE mov____$i32,0x8(%ebp) c745
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE mov____%al,(%edx) 8802
|
2017-08-06 10:27:16 +00:00
|
|
|
DEFINE mov____%al,0x8(%edx) 8842
|
|
|
|
DEFINE mov____%ax,(%edx) 668902
|
|
|
|
DEFINE mov____%ax,0x32(%edx) 668982
|
|
|
|
DEFINE mov____%ax,0x8(%edx) 668942
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE mov____%dl,(%eax) 8810
|
|
|
|
DEFINE mov____%dl,0x8(%eax) 8850
|
|
|
|
DEFINE mov____%eax,%ebx 89c3
|
|
|
|
DEFINE mov____%eax,%edx 89c2
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE mov____%eax,(%ecx) 8901
|
|
|
|
DEFINE mov____%eax,(%edx) 8902
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE mov____%eax,0x32 a3
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE mov____%eax,0x32(%ebp) 8985
|
|
|
|
DEFINE mov____%eax,0x32(%edx) 8982
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE mov____%eax,0x8(%ebp) 8945
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE mov____%eax,0x8(%edx) 8942
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE mov____%ebp,%eax 89e8
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE mov____%ebp,%ecx 89e9
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE mov____%ebp,%edx 89ea
|
2017-08-06 16:49:19 +00:00
|
|
|
DEFINE mov____%ebx,0x32 891d
|
|
|
|
DEFINE mov____%ebx,0x32(%ebp) 899d
|
|
|
|
DEFINE mov____%ebx,0x8(%ebp) 895d
|
|
|
|
DEFINE mov____%ebx,0x8(%edx) 895a
|
2017-07-28 13:27:25 +00:00
|
|
|
DEFINE mov____%ecx,(%eax) 8908
|
2017-07-28 20:45:32 +00:00
|
|
|
DEFINE mov____%ecx,(%edx) 890a
|
2017-08-06 16:49:19 +00:00
|
|
|
DEFINE mov____%ecx,0x32(%ebp) 898d
|
|
|
|
DEFINE mov____%ecx,0x8(%ebp) 894d
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE mov____%edx,%eax 89d0
|
2017-07-28 18:36:21 +00:00
|
|
|
DEFINE mov____%edx,%ebx 89d3
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE mov____%edx,%ecx 89d1
|
2017-07-28 13:27:25 +00:00
|
|
|
DEFINE mov____%edx,(%eax) 8910
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE mov____%edx,0x32(%ebp) 8995
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE mov____%edx,0x8(%ebp) 8955
|
|
|
|
DEFINE mov____%esp,%ebp 89e5
|
|
|
|
DEFINE mov____(%eax),%eax 8b00
|
2017-07-28 20:45:32 +00:00
|
|
|
DEFINE mov____(%eax),%ecx 8b08
|
2018-05-13 15:05:28 +00:00
|
|
|
DEFINE mov____(%edx),%eax 8b02
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE mov____(%edx),%ecx 8b0a
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE mov____(%edx),%edx 8b12
|
|
|
|
DEFINE mov____0x32(%eax),%eax 8b80
|
2017-08-06 16:49:19 +00:00
|
|
|
DEFINE mov____0x32(%eax),%ebx 8b98
|
|
|
|
DEFINE mov____0x32(%eax),%ecx 8b88
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE mov____0x32(%ebp),%eax 8b85
|
|
|
|
DEFINE mov____0x32(%ebp),%eax 8b85
|
|
|
|
DEFINE mov____0x32(%ebp),%ebx 8b9d
|
|
|
|
DEFINE mov____0x32(%ebp),%ecx 8b8d
|
|
|
|
DEFINE mov____0x32(%ebp),%edx 8b95
|
|
|
|
DEFINE mov____0x32(%ebp),%edx 8b95
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE mov____0x32,%eax a1
|
|
|
|
DEFINE mov____0x32,%edx 8b15
|
|
|
|
DEFINE mov____0x8(%eax),%eax 8b40
|
2017-08-06 16:49:19 +00:00
|
|
|
DEFINE mov____0x8(%eax),%ebx 8b58
|
|
|
|
DEFINE mov____0x8(%eax),%ecx 8b48
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE mov____0x8(%ebp),%eax 8b45
|
2017-11-26 12:10:46 +00:00
|
|
|
DEFINE mov____0x8(%ebp),%ebp 8b6d
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE mov____0x8(%ebp),%ebx 8b5d
|
|
|
|
DEFINE mov____0x8(%ebp),%ecx 8b4d
|
|
|
|
DEFINE mov____0x8(%ebp),%edx 8b55
|
2017-11-26 12:10:46 +00:00
|
|
|
DEFINE mov____0x8(%ebp),%esp 8b65
|
mescc: Tinycc support: Char and short sign extend.
* module/mes/as-i386.mes (i386:accu*n->local, i386:byte-accu->local+n,
i386:word-accu->local+n): Remove.
(i386:byte-accu, i386:signed-byte-accu, i386:word-accu,
i386:signed-word-accu): New function.
* module/mes/as-i386.scm: Export them.
* module/language/c99/compiler.mes (accu->local+n-text): Simplify.
(mem->accu, convert-accu): New function.
(expr->accu): Use them.
* stage0/x86.M1 (mov____%al,0x32(%ebp), mov____%al,0x8(%ebp),
mov____%ax,0x32(%ebp), mov____%ax,0x8(%ebp), movzbl_0x32(%ebp),%eax,
movzbl_0x8(%ebp),%eax, movzwl_0x32(%ebp),%eax,
movzwl_0x8(%ebp),%eax): Deprecate.
* scaffold/tests/7r-sign-extend.c: Test it.
* build-aux/check-mescc.sh (tests): Run it.
2018-05-18 21:58:10 +00:00
|
|
|
DEFINE movsbl_%al,%eax 0fbec0
|
|
|
|
DEFINE movswl_%ax,%eax 0fbfc0
|
|
|
|
DEFINE movzbl_%al,%eax 0fb6c0
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE movzbl_%al,%eax 0fb6c0
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE movzbl_%dl,%edx 0fb6d2
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE movzbl_(%eax),%eax 0fb600
|
|
|
|
DEFINE movzbl_(%eax),%edx 0fb610
|
2017-07-20 08:05:48 +00:00
|
|
|
DEFINE movzbl_(%edx),%edx 0fb612
|
2017-08-06 10:27:16 +00:00
|
|
|
DEFINE movzbl_0x32(%eax),%eax 0fb680
|
|
|
|
DEFINE movzbl_0x8(%eax),%eax 0fb640
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE movzbl_0x8(%ebp),%eax 0fb645
|
mescc: Tinycc support: Char and short sign extend.
* module/mes/as-i386.mes (i386:accu*n->local, i386:byte-accu->local+n,
i386:word-accu->local+n): Remove.
(i386:byte-accu, i386:signed-byte-accu, i386:word-accu,
i386:signed-word-accu): New function.
* module/mes/as-i386.scm: Export them.
* module/language/c99/compiler.mes (accu->local+n-text): Simplify.
(mem->accu, convert-accu): New function.
(expr->accu): Use them.
* stage0/x86.M1 (mov____%al,0x32(%ebp), mov____%al,0x8(%ebp),
mov____%ax,0x32(%ebp), mov____%ax,0x8(%ebp), movzbl_0x32(%ebp),%eax,
movzbl_0x8(%ebp),%eax, movzwl_0x32(%ebp),%eax,
movzwl_0x8(%ebp),%eax): Deprecate.
* scaffold/tests/7r-sign-extend.c: Test it.
* build-aux/check-mescc.sh (tests): Run it.
2018-05-18 21:58:10 +00:00
|
|
|
DEFINE movzwl_%ax,%eax 0fb7c0
|
2017-08-08 08:00:13 +00:00
|
|
|
DEFINE movzwl_(%eax),%eax 0fb700
|
2017-08-06 10:27:16 +00:00
|
|
|
DEFINE movzwl_0x32(%eax),%eax 0fb780
|
2017-12-03 15:33:35 +00:00
|
|
|
DEFINE movzwl_0x32(%ebp),%eax 0fb785
|
2017-08-06 10:27:16 +00:00
|
|
|
DEFINE movzwl_0x8(%eax),%eax 0fb740
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE mul____%edx f7e2
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE nop 90
|
|
|
|
DEFINE not____%eax f7d0
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE or_____%edx,%eax 09d0
|
2018-05-13 15:05:28 +00:00
|
|
|
DEFINE or_____(%edx),%eax 0b02
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE pop____%eax 58
|
|
|
|
DEFINE pop____%edx 5a
|
|
|
|
DEFINE push___$i32 68
|
|
|
|
DEFINE push___%eax 50
|
|
|
|
DEFINE push___%ebp 55
|
2017-07-24 06:36:43 +00:00
|
|
|
DEFINE push___%edx 52
|
|
|
|
DEFINE push___(%eax) ff30
|
|
|
|
DEFINE push___0x32(%ebp) ffb5
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE push___0x8(%ebp) ff75
|
|
|
|
DEFINE ret c3
|
|
|
|
DEFINE sahf 9e
|
2018-05-19 09:41:53 +00:00
|
|
|
DEFINE seta___%al 0f97c0
|
|
|
|
DEFINE setae__%al 0f93c0
|
|
|
|
DEFINE setb___%al 0f92c0
|
|
|
|
DEFINE setbe__%al 0f96c0
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE sete___%al 0f94c0
|
2017-07-29 18:46:16 +00:00
|
|
|
DEFINE setg___%al 0f9fc0
|
|
|
|
DEFINE setge__%al 0f9dc0
|
|
|
|
DEFINE setl___%al 0f9cc0
|
|
|
|
DEFINE setle__%al 0f9ec0
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE setne__%al 0f95c0
|
|
|
|
DEFINE shl____$i8,%eax c1e0
|
|
|
|
DEFINE shl____%cl,%eax d3e0
|
|
|
|
DEFINE shr____%cl,%eax d3e8
|
|
|
|
DEFINE sub____%al,%dl 28d0
|
|
|
|
DEFINE sub____%dl,%al 28c2
|
|
|
|
DEFINE sub____%eax,%edx 29c2
|
|
|
|
DEFINE sub____%edx,%eax 29d0
|
|
|
|
DEFINE sub____%edx,%eax 29d0
|
2017-07-25 08:01:12 +00:00
|
|
|
DEFINE sub____%esp,$i32 81ec
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE sub____%esp,$i8 83ec
|
|
|
|
DEFINE test___%al,%al 84c0
|
|
|
|
DEFINE test___%eax,%eax 85c0
|
|
|
|
DEFINE xchg___%eax,(%esp) 870424
|
|
|
|
DEFINE xor____$i32,%eax 35
|
|
|
|
DEFINE xor____$i8,%ah 80f4
|
|
|
|
DEFINE xor____%eax,%eax 31c0
|
|
|
|
DEFINE xor____%ebx,%ebx 31db
|
|
|
|
DEFINE xor____%ecx,%ecx 31c9
|
|
|
|
DEFINE xor____%edx,%eax 31d0
|
|
|
|
DEFINE xor____%edx,%edx 31d2
|
|
|
|
|
mescc: Tinycc support: Char and short sign extend.
* module/mes/as-i386.mes (i386:accu*n->local, i386:byte-accu->local+n,
i386:word-accu->local+n): Remove.
(i386:byte-accu, i386:signed-byte-accu, i386:word-accu,
i386:signed-word-accu): New function.
* module/mes/as-i386.scm: Export them.
* module/language/c99/compiler.mes (accu->local+n-text): Simplify.
(mem->accu, convert-accu): New function.
(expr->accu): Use them.
* stage0/x86.M1 (mov____%al,0x32(%ebp), mov____%al,0x8(%ebp),
mov____%ax,0x32(%ebp), mov____%ax,0x8(%ebp), movzbl_0x32(%ebp),%eax,
movzbl_0x8(%ebp),%eax, movzwl_0x32(%ebp),%eax,
movzwl_0x8(%ebp),%eax): Deprecate.
* scaffold/tests/7r-sign-extend.c: Test it.
* build-aux/check-mescc.sh (tests): Run it.
2018-05-18 21:58:10 +00:00
|
|
|
# Deprecated. Remove after 0.14 release.
|
|
|
|
DEFINE mov____%al,0x32(%ebp) 8885
|
|
|
|
DEFINE mov____%al,0x8(%ebp) 8845
|
|
|
|
DEFINE mov____%ax,0x32(%ebp) 668985
|
|
|
|
DEFINE mov____%ax,0x8(%ebp) 668945
|
|
|
|
DEFINE movzbl_0x32(%ebp),%eax 0fb685
|
|
|
|
DEFINE movzbl_0x8(%ebp),%edx 0fb655
|
|
|
|
DEFINE movzwl_0x8(%ebp),%eax 0fb745
|
|
|
|
DEFINE movzwl_0x8(%ebp),%eax 0fb745
|
|
|
|
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE SYS_exit 01000000
|
|
|
|
DEFINE SYS_read 03000000
|
|
|
|
DEFINE SYS_write 04000000
|
|
|
|
DEFINE SYS_open 05000000
|
2017-07-24 10:21:24 +00:00
|
|
|
DEFINE SYS_close 06000000
|
2017-07-24 15:09:33 +00:00
|
|
|
DEFINE SYS_unlink 0a000000
|
2017-11-26 17:45:10 +00:00
|
|
|
DEFINE SYS_chmod 0f000000
|
2017-07-24 15:33:33 +00:00
|
|
|
DEFINE SYS_lseek 13000000
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE SYS_access 21000000
|
|
|
|
DEFINE SYS_brk 2d000000
|
2018-04-22 09:42:47 +00:00
|
|
|
DEFINE SYS_ioctl 36000000
|
2017-07-02 14:25:14 +00:00
|
|
|
DEFINE SYS_fsync 76000000
|
2017-07-24 11:49:17 +00:00
|
|
|
DEFINE SYS_getcwd b7000000
|