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-xor-alt-defs
- Equivalent semantic definitions of XOR.
- Exec-or-alt-defs
- Equivalent semantic definitions of OR.
- Exec-and-alt-defs
- Equivalent semantic definitions of AND.
- Exec-sll-alt-defs
- Equivalent semantic definitions of SLL.
- Exec-xori-alt-defs
- Equivalent semantic definitions of XORI.
- Exec-sub-alt-defs
- Equivalent semantic definitions of SUB.
- Exec-ori-alt-defs
- Equivalent semantic definitions of ORI.
- Exec-andi-alt-defs
- Equivalent semantic definitions of ANDI.
- Exec-addi-alt-defs
- Equivalent semantic definitions of ADDI.
- Exec-add-alt-defs
- Equivalent semantic definitions of ADD.
