BEQ Instruction Property 3

When the branch-on-equal (BEQ) instruction is executed, memory cell values stay the same. The BEQ instruction affects the Program Counter (PC) but not memory. More formally:

if the following are true:
  • instruction #i is beq left=l right=r imm=imm
  • the PC at time t = i

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

In this example, the BEQ instruction is executed, and we can see that the memory values do not change.
Instructions
Memory Cells
Program Counter Time
0 0
LW Computer Simulator

This example can be expressed as:

if the following are true:

  • instruction #0 is beq left=1 right=2 imm=2
  • the PC at time 0 = 0

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


Comments

Please log in to add comments