rcwal

Read Check Write (Acquire-Release)

RCWAL <Xt>, <Xt+1>, [<Xn>]

Read Check Write with Acquire and Release semantics.

Details

The Read Check Write instruction read Check Write with Acquire and Release semantics.

Pseudocode Operation

// Read Check Write with Acquire and Release semantics

Example

RCWAL x3, Xt+1, [x1]

Encoding

Binary Layout
00111000
001
11111
10100
Rn
Rt
 
Format Atomic
Opcode 0x38A04000
Extension FEAT_THE (Hardening)

Operands

  • Xt
    Data/Status
  • Xn
    Address