JAL Instruction Property 3

When the jump-and-link (JAL) instruction executes, memory cell values stay the same except memory cell #2 (where the current PC + 1 is stored). More formally:

if the following are true:

  • instruction #i is a JAL instruction with jump to: jump_to
  • the PC at time t = i
  • not (x = 2)

then value of cell x at time (t + 1) = value of cell x at time t

Here is an example where instruction #5 is a JAL instruction:
Instructions
Memory Cells
Program Counter Time
0 0
LW Computer Simulator

After the JAL instruction is executed, the memory cell values remain unchanged.

if the following are true:

  • instruction #5 is a JAL instruction with jump to: 1
  • the PC at time 2 = 5
  • not (x = 2)

then value of cell x at time (2 + 1) = value of cell x at time 2


Comments

Please log in to add comments