disc-v 0.1.3

A RISC-V disassembler
Documentation 
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
61
62
63
64
65
66
67
68
69
70
71
72
73
74

// Copyright (c) 2026 Christopher Swenson
// Licensed under the Apache-2.0 license.

//! Byte and halfword atomics (Zabha) and compare-and-swap (Zacas).

use super::Constraint::*;
use super::{Codec, Extra, Opcode, fmt};
use crate::Extension;

pub(crate) static AMOSWAP_B: Opcode =
    Opcode::new("amoswap.b", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOSWAP_H: Opcode =
    Opcode::new("amoswap.h", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOADD_B: Opcode =
    Opcode::new("amoadd.b", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOADD_H: Opcode =
    Opcode::new("amoadd.h", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOXOR_B: Opcode =
    Opcode::new("amoxor.b", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOXOR_H: Opcode =
    Opcode::new("amoxor.h", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOAND_B: Opcode =
    Opcode::new("amoand.b", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOAND_H: Opcode =
    Opcode::new("amoand.h", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOOR_B: Opcode =
    Opcode::new("amoor.b", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOOR_H: Opcode =
    Opcode::new("amoor.h", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOMIN_B: Opcode =
    Opcode::new("amomin.b", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOMIN_H: Opcode =
    Opcode::new("amomin.h", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOMAX_B: Opcode =
    Opcode::new("amomax.b", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOMAX_H: Opcode =
    Opcode::new("amomax.h", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOMINU_B: Opcode =
    Opcode::new("amominu.b", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOMINU_H: Opcode =
    Opcode::new("amominu.h", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOMAXU_B: Opcode =
    Opcode::new("amomaxu.b", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOMAXU_H: Opcode =
    Opcode::new("amomaxu.h", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zabha]);
pub(crate) static AMOCAS_W: Opcode =
    Opcode::new("amocas.w", Codec::RA, fmt::RD_RS2_ADDR_RS1).requires(&[Extension::Zacas]);
pub(crate) static AMOCAS_D: Opcode = Opcode::new("amocas.d", Codec::RA, fmt::RD_RS2_ADDR_RS1)
    .requires(&[Extension::Zacas])
    .rv64();
/// On RV32, `amocas.d` operates on even-odd register pairs.
pub(crate) static AMOCAS_D_RV32: Opcode = Opcode {
    extra: &Extra {
        illegal_if: &[RdOdd, Rs2Odd],
        ..Extra::NONE
    },
    ..Opcode::new("amocas.d", Codec::RA, fmt::RD_RS2_ADDR_RS1)
        .requires(&[Extension::Zacas])
        .rv32_only()
};
/// `amocas.q` operates on even-odd register pairs.
pub(crate) static AMOCAS_Q: Opcode = Opcode {
    extra: &Extra {
        illegal_if: &[RdOdd, Rs2Odd],
        ..Extra::NONE
    },
    ..Opcode::new("amocas.q", Codec::RA, fmt::RD_RS2_ADDR_RS1)
        .requires(&[Extension::Zacas])
        .rv64_only()
};
pub(crate) static AMOCAS_B: Opcode = Opcode::new("amocas.b", Codec::RA, fmt::RD_RS2_ADDR_RS1)
    .requires(&[Extension::Zabha, Extension::Zacas]);
pub(crate) static AMOCAS_H: Opcode = Opcode::new("amocas.h", Codec::RA, fmt::RD_RS2_ADDR_RS1)
    .requires(&[Extension::Zabha, Extension::Zacas]);