LOAD Instruction Property 2

The load (LOAD) instruction updates memory cell #dst. Other memory cells remain unchanged during instruction execution. More formally:

if the following are true:

  • instruction #i is load dst=dst addr=addr imm=imm
  • the PC at time t = i
  • not (other = dst)

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

In the example below, memory cell #5 changes to 9, but other memory cells are unaffected.:

Instructions
Memory Cells
Program Counter Time
0 0
LW Computer Simulator

This behavior can be stated as:

if the following are true:

  • instruction #0 is load dst=5 addr=1 imm=1
  • the PC at time 0 = 0
  • not (2 = 5)

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


Comments

Please log in to add comments