Function jump register instruction with addr: addr
the jump register (jumpr) instruction sets the program counter to the value in memory #addr
Format:
jump register instruction with addr: addr
Input:
number addr -
Output:
boolean - None
Details:
Instructions
Memory Cells |
---|
Program Counter | Time |
---|---|
0 | 0 |
LW Computer Simulator
Conditional properties that reference this function:
- if the following are true:
- the instruction at computer c and index i = jump register instruction with addr: addr
- the PC at computer c and time t = i
then the PC at computer c and time (t + 1) = byte at ID: c, cell #addr at time t
(link) - if the following are true:
- the instruction at computer c and index i = jump register instruction with addr: addr
- the PC at computer c and time t = i
then byte at ID: c, cell #x at time (t + 1) = byte at ID: c, cell #x at time t
(link)
Comments
Please log in to add comments