4.2.4 Load Memory Data into Integer Register Locked
Format:
LDx_L | Ra.wq,disp.ab(Rb.ab) | !Memory format |
Operation:
va ← {Rbv + SEXT(disp)}
CASE | va’ ← va XOR 0002 |
|
big_endian_data: | ! LDQ_L | |
big_endian_data: | va’ ← va XOR 1002 | ! LDL_L |
little_endian_data: va’ ← va | ! LDL_L |
ENDCASE
lock_flag ← 1
locked_physical_address ← PHYSICAL_ADDRESS(va)
Ra | ← SEXT((va’)<31:0>) | ! | LDL_L |
Ra | ← (va)<63:0> | ! | LDQ_L |
Exceptions:
Access Violation
Alignment
Fault on Read
Translation Not Valid
Instruction mnemonics:
LDL_L | Load |
| Locked |
LDQ_L | Load Quadword from Memory to Register Locked |
Qualifiers:
None
Description:
The virtual address is computed by adding register Rb to the
Instruction Descriptions