As for instructions, name the errors, and have an encoding table.
Specify as before when the errors are detected (if they are), so as to make their (optional) semantics precise. In particular, address alignment should be checked before address validity; load/store instructions check validity; stack errors are raised before any part of an instruction's actions are performed.
As for instructions, name the errors, and have an encoding table.
Specify as before when the errors are detected (if they are), so as to make their (optional) semantics precise. In particular, address alignment should be checked before address validity; load/store instructions check validity; stack errors are raised before any part of an instruction's actions are performed.