Appendix A
A-26 MIPS R4000 Microprocessor User's Manual
Format:
BEQL rs, rt, offset
Description:
A branch target address is computed from the sum of the address of the
instruction in the delay slot and the 16-bit offset, shifted left two bits and
sign-extended. The contents of general register rs and the contents of
general register rt are compared. If the two registers are equal, the target
address is branched to, with a delay of one instruction. If the conditional
branch is not taken, the instruction in the branch delay slot is nullified.
Operation:
Exceptions:
None
BEQL
Branch On Equal Likely
31 2526 2021 1516 0
BEQL rs rt
offset
655 16
0 1 0 1 0 0
BEQL
32 T: target ← (offset
15
)
14
|| offset || 0
2
condition ← (GPR[rs] = GPR[rt])
T+1: if condition then
PC ← PC + target
else
endif
NullifyCurrentInstruction
64 T: target ← (offset
15
)
46
|| offset || 0
2
condition ← (GPR[rs] = GPR[rt])
T+1: if condition then
PC ← PC + target
else
endif
NullifyCurrentInstruction