Commit Graph

1556 Commits

Author SHA1 Message Date
Jan Nieuwenhuizen 759888cec6
Revert "gash: WIP"
This reverts commit fc31c2b8d79d78d47260b96201894bc00fc6a60b.
2018-11-18 14:51:28 +01:00
Jan Nieuwenhuizen d71a0b6052
gash: WIP 2018-11-18 14:51:27 +01:00
Jan Nieuwenhuizen b9d90be4f5
doc: Release update. WIP.
* AUTHORS: Update.
* HACKING: Update.
* NEWS: Update.
* doc/mes.guix: Update.
2018-11-18 14:51:27 +01:00
Jan Nieuwenhuizen 742264c6c1
mescc: vsnprintf: Compliant implementation.
* lib/stdio/vsnprintf.c (vsnprintf): New, complient implementation,
replacing vsnprint.
* lib/stdio/vsprintf.c (vsnprint): Forward to vsnprint.
* lib/stdio/snprintf.c (snprintf): Likewise.
* scaffold/tests/9a-snprintf.c: Test it.
* build-aux/check-mescc.sh (tests): Run it.
2018-11-18 14:51:27 +01:00
Jan Nieuwenhuizen 60a9357e4c
test: Add performance test.
* module/mes/test.scm (pass-if-timeout): New macro.
* tests/perform.test: New test.
* build-aux/check-mes.sh (tests): Run it.
2018-11-18 14:51:27 +01:00
Jan Nieuwenhuizen f8b8b8a5d1
mes: Add ceil, floor, round, inexact->exact.
* mes/module/mes/scm.mes (ceil, floor, round, inexact->exact,
exact->inexact): New function.
2018-11-18 14:51:27 +01:00
Jan Nieuwenhuizen 99ec582c74
mes: read-string: Take optional port argument.
* src/posix.c (read_string): Take optional port argument.
* mes/module/mes/guile.mes (read-string): Remove.
2018-11-18 14:51:27 +01:00
Jan Nieuwenhuizen 79adcfc61e
core: eval_apply: Order gotos according to frequency.
* src/mes.c (eval_apply): Order gotos according to frequency.
2018-11-18 14:51:27 +01:00
Jan Nieuwenhuizen f602f3d845
Revert "core: eval_apply profile."
This reverts commit d61e6be0b18459a8e3c262eab448b428dc81937a.
2018-11-18 14:51:26 +01:00
Jan Nieuwenhuizen 40c1166013
core: eval_apply profile.
* src/mes.c: Poor man's eval_apply profile.
2018-11-18 14:51:26 +01:00
Jan Nieuwenhuizen 297fdb7026
core: Fix displaying of closure.
* src/lib.c (display_helper): Fix displaying of closure.
2018-11-18 14:51:26 +01:00
Jan Nieuwenhuizen 0720990023
mes: Print backtrace upon exception.
* mes/module/mes/catch.mes (display-backtrace,
frame-function): New function.
(%eh): Use them.
2018-11-18 14:51:14 +01:00
Jan Nieuwenhuizen 615b1e97a2
core: Set procedure in stack frame.
* src/mes.c (eval_apply): Set procedure in stack frame.
2018-11-18 14:51:14 +01:00
Jan Nieuwenhuizen b7819a3c7d
core: Implement stack and frame.
* src/lib.c (frame_printer make_frame_type, make_frame,
make_stack_type, make_stack, stack_length, stack_ref): New function.
2018-11-18 14:51:14 +01:00
Jan Nieuwenhuizen 46ce2c71cd
core: Support time functions.
* lib/linux/clock_gettime.c: New file, move from gnu.c.
* lib/linux/gettimeofday.c: New file, move from tcc.c.
* lib/linux/time.c: New file, move from tcc.c.
* lib/linux/libc.c: Include them.
* lib/linux/gnu.c (clock_gettime): Remove.
* lib/linux/tcc.c (time, gettimeofday): Remove.
* include/time.h (CLOCK_PROCESS_CPUTIME_ID): New define.
* src/posix.c (init_time, current_time, gettimeofday_,
seconds_and_nanoseconds_to_long, get_internal_run_time): New function.
* src/mes.c (scm_symbol_internal_time_units_per_second): New symbol.
(main): Call init_time.
2018-11-18 14:51:14 +01:00
Jan Nieuwenhuizen 6e00070b28
core: Use hash table for symbols.
* src/mes.c (mes_symbols): Use hash table for symbols.  Update users.
2018-11-18 14:51:14 +01:00
Jan Nieuwenhuizen 65d0d866bb
core: Use assert before failure exit.
* src/mes.c (error): Use assert before failure exit.  Helps debugging.
2018-11-18 14:51:13 +01:00
Jan Nieuwenhuizen b0e552ac0c
core: Add hashq_get_handle, hash, hash_ref, hash_set_x.
* src/mes.c (scm_symbol_hashq_table, scm_symbol_record_type,
scm_symbol_module, scm_symbol_buckets, scm_symbol_size): New symbols.
Update users.
* src/hash.c (hash_list_of_char): Rename from hashq_.  Respect size,
update callers.
(hashq_, hash_ hash, hashq_get_handle, hash_ref, hash_set_x_,
hash_set_x): New function.
(hashq_ref): Do not return handle.  Update callers.
2018-11-18 14:51:13 +01:00
Jan Nieuwenhuizen 5a8024ca82
mes: Move pair? to core.
* src/lib.c (pair_p): New function.  Gains 8% performance on MesCC.
2018-11-18 14:51:13 +01:00
Jan Nieuwenhuizen f660d149a5
mes: Move assoc to core.
* mes/mes.c (assoc_string, assoc): New function.
* mes/module/mes/scm.mes (assoc): Remove.  Gains 12% performance for
MesCC.
2018-11-18 14:51:13 +01:00
Jan Nieuwenhuizen 509ebb038a
Revert "core: Add gc-debug for stack array."
This reverts commit f35084d1dbea889d107824e7596da1701c6b90ad.
2018-11-18 14:51:13 +01:00
Jan Nieuwenhuizen 7838df8d6c
core: Add gc-debug for stack array.
* src/gc.c (gc_debug): New function.
2018-11-18 14:51:13 +01:00
Jan Nieuwenhuizen 613ce2b12a
scaffold: Resurrect mini-mes.
* src/mini-mes.c: Resurrect.
2018-11-18 14:51:13 +01:00
Jan Nieuwenhuizen 75b2590017
core: Use array-based stack.
* src/mes.c (STACK_SIZE)[MES_ARRAY_STACK]: New variable.
(g_stack_array): New variable.
(g_stack): Change type to SCM*.
(gc_push_frame)[MES_ARRAY_STACK]: Use g_stack_array, g_stack.
(gc_peek_frame): Likewise.
(gc_pop_frame): Likewise.
* src/gc.c (gc_check): Likewise.
(gc): Likewise.
2018-11-18 14:51:12 +01:00
Jan Nieuwenhuizen 5427af9754
mes: Resurrect Guile-1.8 support.
* module/mes/mes-0.scm: Resurrect Guile-1.8 support.
2018-11-18 14:51:12 +01:00
Jan Nieuwenhuizen c8c03c19dd
core: expand_variable: Remove weird exceptions: begin, if.
* src/mes.c (expand_variable_): Remove weird exceptions: begin, if.
2018-11-18 14:51:12 +01:00
Jan Nieuwenhuizen cfae3ed7fe
mes: Switch to srfi-9 based on structs.
* mes/module/srfi/srfi-9.mes: Swap symlink to srfi-9-struct.mes.
* mes/module/srfi/srfi-9/gnu.mes: Swap symlink to gnu-struct.mes.
* src/module.c (make_module_type): Update to match srfi-9-struct
records.  Update users.
* src/hash.c (make_hashq_type): Likewise.
2018-11-18 14:51:12 +01:00
Jan Nieuwenhuizen faeab8353e
mes: srfi-9: Add implementation based on struct.
* mes/module/srfi/srfi-9-struct.mes: New file.
* mes/module/srfi/srfi-9-vector.mes: Rename from srfi-9.mes
* mes/module/srfi/srfi-9.mes: Symlink to srfi-9-vector.mes.
* mes/module/srfi/srfi-9/gnu-struct.mes: Add srfi-9-struct
implementation.
* mes/module/srfi/srfi-9/gnu-vector.mes: Rename from gnu.mes.
* mes/module/srfi/srfi-9/gnu.mes: Symlink to gnu-vector.mes.
2018-11-18 14:51:12 +01:00
Jan Nieuwenhuizen c4b74ae9e3
core: hashq-table: Refactor to be a record-like struct.
* src/hash.c (hash_table_printer): New function.
(make_hashq_type): New function.
* src/module.c (module_printer): Use it.
(make_module_type): New function.
(make_initial_module): Use them.
2018-11-18 14:51:12 +01:00
Jan Nieuwenhuizen 79383565aa
mescc: Mes C Library: oputs: New function.
* lib/mes/oputc.c: New file.
* lib/libmes.c: Include it.
* include/libmes.h: Declare it.
2018-11-18 14:51:12 +01:00
Jan Nieuwenhuizen 6a720e2323
core: Use hashq-table for macros.
* src/mes.c (lookup_macro_): Remove.
(macro_ref, get_macro, macro_set_x): New function.  Update callers.
2018-11-18 14:51:11 +01:00
Jan Nieuwenhuizen 5144032050
core: Add hashq-table type.
src/hash.c: New file.
src/module.c (char_hash, module_hash): Remove.
* src/module.c (make_initial_module): Use hash primitives.
(module_define_x): Likewise.
(module_variable): Likewise.
* build-aux/snarf.sh: Snarf it.
* src/mes.c: Include it.
2018-11-18 14:51:11 +01:00
Jan Nieuwenhuizen 2e5d757aba
core: Add boot-module.
* src/mes.c (scm_symbol_boot_module): New symbol.
(eval_apply): Handle it.
(mes_symbols): Initialize it.
2018-11-18 14:51:11 +01:00
Jan Nieuwenhuizen 64b9eee1bc
core: Add module-define!
* src/module.c (module_define_x, module_printer): New function.
(make_initial_module): Use them.
* tests/srfi-0.test: Test it.
* src/mes.c (display_m0): Remove.  Update callers.
* mes/module/mes/fluids.mes (make-fluid): Rewrite.
* tests/macro.test: Test it.
* mes/module/mes/boot-0.scm.in (module-define!): Remove.
* mes/module/mes/boot-02.scm: Likewise.
* module/mes/misc.scm (pk, warn): New function.
* build-aux/check-mes.sh (tests): Run tests.
2018-11-18 14:51:11 +01:00
Jan Nieuwenhuizen 5d2a6c7347
core: Add module indirection for variable lookup.
* src/module.c (module_ref, module_variable): New function.
* src/mes.c: Thoughout: Use them.
(assq_ref_env): Remove.
* mes/module/mes/boot-0.scm.in (defined?): Use module-variable.
* mes/module/mes/boot-00.scm (defined?): Likewise.
* mes/module/mes/boot-01.scm (defined?): Likewise.
* mes/module/mes/boot-02.scm (defined?): Likewise.
* scaffold/boot/53-closure-display.scm: Likewise.
2018-11-18 14:51:11 +01:00
Jan Nieuwenhuizen f14d63b621
core: Add module type.
* src/module.c: New file.
* build-aux/snarf.sh: Snarf it.
* src/mes.c: Include it.
2018-11-18 14:51:11 +01:00
Jan Nieuwenhuizen 83b0d35f5c
core: Add cstring_to_symbol.
* src/mes.c (make_symbol): Rename from lookup_symbol_.  Update
callers.
(cstring_to_symbol): New function.
* src/reader.c (reader_read_identifier_or_number): Use it.
2018-11-18 14:51:11 +01:00
Jan Nieuwenhuizen ba6c091549
core: Add struct type.
* src/struct.c: New file.
* build-aux/snarf.sh: Snarf it.
* src/mes.c: Include it.
2018-11-18 14:51:10 +01:00
Jan Nieuwenhuizen 24cf9eb4e7
build: factor-out snarfing.
* build-aux/snarf.sh: New file.
* build-aux/build-cc.sh: Use it.
* build-aux/build-cc32.sh: Likewise.
* build-aux/build-cc64.sh: Likewise.
* build-aux/build-mes.sh: Likewise.
* build-aux/build-x86_64-mes.sh: Likewise.
* build-aux/snarf.sh: Likewise.
2018-11-18 14:51:10 +01:00
Jan Nieuwenhuizen 0b4a22c4f7
core: core:cdr: Support port type.
* src/mes.c (cdr_): Support port type.
* mes/module/mes/display.mes (display): Add space between fields.
2018-11-18 14:51:10 +01:00
Jan Nieuwenhuizen 8a48e22231
mes: with-fluids: Fix reset.
* mes/module/mes/fluids.mes (with-fluids): Fix reset.
* tests/fluids.test (report): Remove Mes failure expectation.
2018-11-18 14:51:10 +01:00
Jan Nieuwenhuizen fc1e39a505
mescc: Recognize U integer suffix.
* module/mescc/compile.scm (cstring->int): Recognize U integer
suffix.  Thanks, Peter de Wachter!
2018-11-18 14:51:10 +01:00
Peter De Wachter bb5ad2e6f7
mescc: Add INTn_MIN/MAX defines to stdint.h.
* include/stdint.h: Add INTn_MIN/MAX defines.  Move integere size
defines from limits.h
* include/limits.h: Include it.
2018-11-18 14:51:10 +01:00
Peter De Wachter b88d0121c6
mescc: Allow superfluous parentheses in function declarations.
E.g.:  int (f)();
This is obscure but valid C.  It occurs in the csmith headers (thanks
to macro shenanigans).

* module/mescc/compile.scm (fctn-defn:get-name,
fctn-defn:get-statement): Allow superfluous parentheses in function declarations.
2018-11-18 14:51:10 +01:00
Peter De Wachter 29e88ebece
mescc: Implement unary plus operator.
* module/mescc/compile.scm (ast->type, expr->register,
try-expr->number):): Implement unary plus operator.
2018-11-18 14:51:09 +01:00
Peter De Wachter 014712a995
mescc: Add missing assembly defines.
* lib/x86-mes/x86.M1: Add missing assembly defines.
* lib/x86_64-mes/x86_64.M1: Likewise.
2018-11-18 14:51:09 +01:00
Peter De Wachter 93a2d13e7a
mescc: Delete duplicate assembly defines.
* lib/x86-mes/x86.M1: Delete duplicate assembly defines.
* lib/x86_64-mes/x86_64.M1: Likewise.
2018-11-18 14:51:09 +01:00
Peter De Wachter 5ea7d8b6bb
mescc: Exit with non-zero exit code when subprocess fails.
system* returns the result of waitpid. So, suppose that a subprocess
fails with exit code 1. Then the waitpid return value will be 256.
And exit(256) is equivalent to exit(0).

Modified-by: Jan Nieuwenhuizen <janneke@gnu.org>

* mes/module/mes/posix.mes (status:exit-val): New function.
* module/mescc/mescc.scm (assert-system*): Use it.
2018-11-18 14:51:09 +01:00
Jan Nieuwenhuizen 2036a9de0c
mescc: Oops typo.
* module/mescc/M1.scm (hex2:immediate8): Typo.
2018-11-18 14:51:04 +01:00
Jan Nieuwenhuizen 3c9274ce2d
build: configure: Make dot optional.
* configure: Make dot optional.
2018-11-18 14:30:47 +01:00