if the following are true:- the PC at time 0 = 0
- instruction #0 is
load dst=7 addr=5 imm=0 - instruction #1 is
store src=7 addr=6 imm=0 - instruction #2 is
addi dst=5 src=5 imm=1 - instruction #3 is
addi dst=6 src=6 imm=1 - instruction #4 is
addi dst=4 src=4 imm=1 - instruction #5 is
beq left=3 right=4 imm=1 - instruction #6 is
jump imm=0 - value of cell 3 at time 0 = 3
- value of cell 4 at time 0 = 0
- value of cell 5 at time 0 = 8
- value of cell 6 at time 0 = 12
- value of cell 8 at time 0 = 24
- value of cell 9 at time 0 = 31
- value of cell 10 at time 0 = 45
load dst=7 addr=5 imm=0store src=7 addr=6 imm=0addi dst=5 src=5 imm=1addi dst=6 src=6 imm=1addi dst=4 src=4 imm=1beq left=3 right=4 imm=1jump imm=0then value of cell 14 at time 20 = 45
Start from the conclusion and work back up the proof. Click the arrow to show the parents.