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