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

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

//! H: the hypervisor extension, and its Svinval invalidation instructions.

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

pub(crate) static HFENCE_VVMA: Opcode = Opcode {
    extra: &Extra {
        pseudo: &[
            Pseudo::new(&HFENCE_VVMA_ALL, &[Rs1Eq(reg::ZERO), Rs2Eq(reg::ZERO)]),
            Pseudo::new(&HFENCE_VVMA_RS1, &[Rs2Eq(reg::ZERO)]),
        ],
        ..Extra::NONE
    },
    ..Opcode::new("hfence.vvma", Codec::R, fmt::RS1_RS2).requires(&[Extension::H])
};
pub(crate) static HFENCE_GVMA: Opcode = Opcode {
    extra: &Extra {
        pseudo: &[
            Pseudo::new(&HFENCE_GVMA_ALL, &[Rs1Eq(reg::ZERO), Rs2Eq(reg::ZERO)]),
            Pseudo::new(&HFENCE_GVMA_RS1, &[Rs2Eq(reg::ZERO)]),
        ],
        ..Extra::NONE
    },
    ..Opcode::new("hfence.gvma", Codec::R, fmt::RS1_RS2).requires(&[Extension::H])
};
static HFENCE_VVMA_ALL: Opcode = Opcode::new("hfence.vvma", Codec::R, fmt::NONE);
static HFENCE_VVMA_RS1: Opcode = Opcode::new("hfence.vvma", Codec::R, fmt::RS1);
static HFENCE_GVMA_ALL: Opcode = Opcode::new("hfence.gvma", Codec::R, fmt::NONE);
static HFENCE_GVMA_RS1: Opcode = Opcode::new("hfence.gvma", Codec::R, fmt::RS1);

pub(crate) static HLV_B: Opcode =
    Opcode::new("hlv.b", Codec::R, fmt::RD_ADDR_RS1).requires(&[Extension::H]);
pub(crate) static HLV_BU: Opcode =
    Opcode::new("hlv.bu", Codec::R, fmt::RD_ADDR_RS1).requires(&[Extension::H]);
pub(crate) static HLV_H: Opcode =
    Opcode::new("hlv.h", Codec::R, fmt::RD_ADDR_RS1).requires(&[Extension::H]);
pub(crate) static HLV_HU: Opcode =
    Opcode::new("hlv.hu", Codec::R, fmt::RD_ADDR_RS1).requires(&[Extension::H]);
pub(crate) static HLVX_HU: Opcode =
    Opcode::new("hlvx.hu", Codec::R, fmt::RD_ADDR_RS1).requires(&[Extension::H]);
pub(crate) static HLV_W: Opcode =
    Opcode::new("hlv.w", Codec::R, fmt::RD_ADDR_RS1).requires(&[Extension::H]);
pub(crate) static HLV_WU: Opcode = Opcode::new("hlv.wu", Codec::R, fmt::RD_ADDR_RS1)
    .requires(&[Extension::H])
    .rv64();
pub(crate) static HLVX_WU: Opcode =
    Opcode::new("hlvx.wu", Codec::R, fmt::RD_ADDR_RS1).requires(&[Extension::H]);
pub(crate) static HLV_D: Opcode = Opcode::new("hlv.d", Codec::R, fmt::RD_ADDR_RS1)
    .requires(&[Extension::H])
    .rv64();
pub(crate) static HSV_B: Opcode =
    Opcode::new("hsv.b", Codec::R, fmt::RS2_ADDR_RS1).requires(&[Extension::H]);
pub(crate) static HSV_H: Opcode =
    Opcode::new("hsv.h", Codec::R, fmt::RS2_ADDR_RS1).requires(&[Extension::H]);
pub(crate) static HSV_W: Opcode =
    Opcode::new("hsv.w", Codec::R, fmt::RS2_ADDR_RS1).requires(&[Extension::H]);
pub(crate) static HSV_D: Opcode = Opcode::new("hsv.d", Codec::R, fmt::RS2_ADDR_RS1)
    .requires(&[Extension::H])
    .rv64();

pub(crate) static HINVAL_VVMA: Opcode = Opcode::new("hinval.vvma", Codec::R, fmt::RS1_RS2)
    .requires(&[Extension::H, Extension::Svinval]);
pub(crate) static HINVAL_GVMA: Opcode = Opcode::new("hinval.gvma", Codec::R, fmt::RS1_RS2)
    .requires(&[Extension::H, Extension::Svinval]);