1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
//! Frozen atomic-operation discriminants for backend intrinsic metadata.
// TAG RESERVATIONS: Add=0x01, Or=0x02, And=0x03, Xor=0x04, Min=0x05,
// Max=0x06, Exchange=0x07, CompareExchange=0x08,
// CompareExchangeWeak=0x09, FetchNand=0x0A, LruUpdate=0x0B,
// 0x0C..=0x7F reserved, Opaque=0x80.
use crate::extension::ExtensionAtomicOpId;
/// Atomic operation kind in the frozen data contract.
///
/// Stability: frozen as of v0.4.0-alpha.2. Downstream matches must include a
/// fallback arm so the data contract can grow without breaking `SemVer`.
/// Example: `AtomicOp::CompareExchange` identifies a compare-and-exchange
/// primitive without binding it to one backend's spelling.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, serde::Deserialize, serde::Serialize)]
#[non_exhaustive]
pub enum AtomicOp {
/// Atomic add.
Add,
/// Atomic bitwise OR.
Or,
/// Atomic bitwise AND.
And,
/// Atomic bitwise XOR.
Xor,
/// Atomic minimum.
Min,
/// Atomic maximum.
Max,
/// Atomic exchange.
Exchange,
/// Atomic compare-and-exchange.
CompareExchange,
/// Weak atomic compare-and-exchange.
CompareExchangeWeak,
/// Atomic fetch NAND.
FetchNand,
/// Update LRU timestamp/priority in a shared buffer.
LruUpdate,
/// Extension-declared atomic operator.
///
/// The `ExtensionAtomicOpId` resolves via the vyre-core extension
/// registry to a `&'static dyn ExtensionAtomicOp` with per-backend
/// lowerings. Wire encoding is `0x80 ++ u32 extension_id`.
Opaque(ExtensionAtomicOpId),
}
impl_builtin_wire_tag!(AtomicOp, Opaque, {
Add => 0x01,
Or => 0x02,
And => 0x03,
Xor => 0x04,
Min => 0x05,
Max => 0x06,
Exchange => 0x07,
CompareExchange => 0x08,
CompareExchangeWeak => 0x09,
FetchNand => 0x0A,
LruUpdate => 0x0B,
});