Semantics-equivalences
Equivalent semantic definitions for instructions.
For some integer instructions, like SLT and SLTU,
it is important whether the operands are read as signed or unsigned.
For other instructions, like ADD, it does not matter.
For the latter kinds of instructions, here we prove
equivalent definitions that read signed operands.
Subtopics
- Exec-addi-alt-defs
- Equivalent semantic definitions of ADDI.
