diff options
author | Andy Wingo <wingo@pobox.com> | 2018-06-27 09:19:36 +0200 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2018-06-27 09:47:31 +0200 |
commit | 6eb473514966c4cbb61bbbf27bde5c9ca5fed850 (patch) | |
tree | 1659249e372cfea1c3c276c153305c96d388fe0c /libguile/vm-engine.c | |
parent | 0ce9a1f870d8e5d20c4f89bc0e5959fc0aa6fe03 (diff) | |
download | guile-6eb473514966c4cbb61bbbf27bde5c9ca5fed850.tar.gz |
Add intrinsics for error conditions (wrong num args etc)
* libguile/intrinsics.c (error_wrong_num_args, error_no_values)
(error_not_enough_values, error_wrong_number_of_values): New
intrinsics.
* libguile/intrinsics.h: Add new intrinsics.
* libguile/vm-engine.c: Signal errors using the new intrinsics.
* libguile/vm.c (vm_error): Remove, now that it's unused.
(vm_error_bad_instruction): Abort instead of throwing an exception.
If we get a bad instruction, nothing good will ever happen!
(compose_continuation): Use wrong-type-arg for unrewindable
continuations.
(scm_bootstrap_vm): No need to make "vm-run" or "vm-error" symbols.
Diffstat (limited to 'libguile/vm-engine.c')
-rw-r--r-- | libguile/vm-engine.c | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/libguile/vm-engine.c b/libguile/vm-engine.c index 18ae5a638..0cf1a0c30 100644 --- a/libguile/vm-engine.c +++ b/libguile/vm-engine.c @@ -521,7 +521,8 @@ VM_NAME (scm_thread *thread, jmp_buf *registers, int resume) uint32_t nlocals; UNPACK_12_12 (op, dst, proc); UNPACK_24 (ip[1], nlocals); - VM_ASSERT (FRAME_LOCALS_COUNT () > proc + 1, vm_error_no_values ()); + VM_ASSERT (FRAME_LOCALS_COUNT () > proc + 1, + scm_vm_intrinsics.error_no_values ()); FP_SET (dst, FP_REF (proc + 1)); RESET_FRAME (nlocals); NEXT (2); @@ -542,10 +543,10 @@ VM_NAME (scm_thread *thread, jmp_buf *registers, int resume) UNPACK_24 (ip[1], nvalues); if (ip[1] & 0x1) VM_ASSERT (FRAME_LOCALS_COUNT () > proc + nvalues, - vm_error_not_enough_values ()); + scm_vm_intrinsics.error_not_enough_values ()); else VM_ASSERT (FRAME_LOCALS_COUNT () == proc + 1 + nvalues, - vm_error_wrong_number_of_values (nvalues)); + scm_vm_intrinsics.error_wrong_number_of_values (nvalues)); NEXT (2); } @@ -907,7 +908,7 @@ VM_NAME (scm_thread *thread, jmp_buf *registers, int resume) uint32_t expected; UNPACK_24 (op, expected); VM_ASSERT (FRAME_LOCALS_COUNT () == expected, - vm_error_wrong_num_args (FP_REF (0))); + scm_vm_intrinsics.error_wrong_num_args (FP_REF (0))); NEXT (1); } VM_DEFINE_OP (22, assert_nargs_ge, "assert-nargs-ge", OP1 (X8_C24)) @@ -915,7 +916,7 @@ VM_NAME (scm_thread *thread, jmp_buf *registers, int resume) uint32_t expected; UNPACK_24 (op, expected); VM_ASSERT (FRAME_LOCALS_COUNT () >= expected, - vm_error_wrong_num_args (FP_REF (0))); + scm_vm_intrinsics.error_wrong_num_args (FP_REF (0))); NEXT (1); } VM_DEFINE_OP (23, assert_nargs_le, "assert-nargs-le", OP1 (X8_C24)) @@ -923,7 +924,7 @@ VM_NAME (scm_thread *thread, jmp_buf *registers, int resume) uint32_t expected; UNPACK_24 (op, expected); VM_ASSERT (FRAME_LOCALS_COUNT () <= expected, - vm_error_wrong_num_args (FP_REF (0))); + scm_vm_intrinsics.error_wrong_num_args (FP_REF (0))); NEXT (1); } @@ -1023,7 +1024,7 @@ VM_NAME (scm_thread *thread, jmp_buf *registers, int resume) uint16_t expected, nlocals; UNPACK_12_12 (op, expected, nlocals); VM_ASSERT (FRAME_LOCALS_COUNT () == expected, - vm_error_wrong_num_args (FP_REF (0))); + scm_vm_intrinsics.error_wrong_num_args (FP_REF (0))); ALLOC_FRAME (expected + nlocals); while (nlocals--) SP_SET (nlocals, SCM_UNDEFINED); |