From c95deefcb2c2669e60a0434f5cd7283c09cfeb23 Mon Sep 17 00:00:00 2001 From: Erin Date: Wed, 21 Jun 2023 00:12:43 +0200 Subject: [PATCH] change spec --- spec.md | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/spec.md b/spec.md index 3d9ff08..b70ca58 100644 --- a/spec.md +++ b/spec.md @@ -249,12 +249,15 @@ - Program can be validaded either before execution or when executing # Traps -| Name | Parameters | Cause | -|:-------------:|:----------------:|:--------------------------:| -| LoadAccessEx | Accessed address | Loading invalid address | -| StoreAccessEx | Accessed address | Storing to invalid address | -| InvalidOpcode | Loaded opcode | Executing invalid opcode | -| Ecall | None | Ecall instruction | +Program should at least implement these traps: +- Environment call +- Invalid instruction exception +- Load address exception +- Store address exception + +and executing environment should be able to get information about them, +like the opcode of invalid instruction or attempted address to load/store. +Details about these are left as an implementation detail. # Assembly HoleyBytes assembly format is not defined, this is just a weak description