Function Branch-On-Equal Instruction

the branch-on-equal (beq) instruction compares the values in left and right. If the values are the same, then the program counter is increased by 1 + imm

Format:

instruction #i is beq left=left right=right imm=imm

Input:

Output:

Details:

Conditional properties that reference this function:

• 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

  (link)
• if the following are true:
  • instruction #i is beq left=left right=right imm=imm
  • the PC at time t = i
  • value of cell left at time t = value of cell right at time t

  then the PC at time (t + 1) = (i + 1) + imm

  (link)
• if the following are true:
  • instruction #i is beq left=left right=right imm=imm
  • the PC at time t = i
  • not (value of cell left at time t = value of cell right at time t)

  then the PC at time (t + 1) = i + 1

  (link)

Comments

Please log in to add comments