Assertion: microprocessor's address | /r/HasProperty | loaded
Facets:
value: during a branch
type: TEMPORAL
value: from the instruction
type: OTHER
value: from a register
type: OTHER
Source sentences:
text: During a branch, a new address for the PC is loaded, typically from the instruction or from a register.