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
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101

// Copyright (c) 2026 Christopher Swenson
// Licensed under the Apache-2.0 license.
//
// Derived from riscv-disassembler, Copyright (c) 2016-2017 Michael Clark
// and Copyright (c) 2017-2018 SiFive, Inc., under the MIT license; see NOTICE.

//! "D" extension: double-precision floating point.

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

pub(crate) static FLD: Opcode = Opcode::new("fld", Codec::I, fmt::FRD_OFFSET_RS1)
    .requires(&[Extension::D])
    .f_registers();
pub(crate) static FSD: Opcode = Opcode::new("fsd", Codec::S, fmt::FRS2_OFFSET_RS1)
    .requires(&[Extension::D])
    .f_registers();
pub(crate) static FMADD_D: Opcode =
    Opcode::new("fmadd.d", Codec::R4M, fmt::RM_FRD_FRS1_FRS2_FRS3).requires(&[Extension::D]);
pub(crate) static FMSUB_D: Opcode =
    Opcode::new("fmsub.d", Codec::R4M, fmt::RM_FRD_FRS1_FRS2_FRS3).requires(&[Extension::D]);
pub(crate) static FNMSUB_D: Opcode =
    Opcode::new("fnmsub.d", Codec::R4M, fmt::RM_FRD_FRS1_FRS2_FRS3).requires(&[Extension::D]);
pub(crate) static FNMADD_D: Opcode =
    Opcode::new("fnmadd.d", Codec::R4M, fmt::RM_FRD_FRS1_FRS2_FRS3).requires(&[Extension::D]);
pub(crate) static FADD_D: Opcode =
    Opcode::new("fadd.d", Codec::RM, fmt::RM_FRD_FRS1_FRS2).requires(&[Extension::D]);
pub(crate) static FSUB_D: Opcode =
    Opcode::new("fsub.d", Codec::RM, fmt::RM_FRD_FRS1_FRS2).requires(&[Extension::D]);
pub(crate) static FMUL_D: Opcode =
    Opcode::new("fmul.d", Codec::RM, fmt::RM_FRD_FRS1_FRS2).requires(&[Extension::D]);
pub(crate) static FDIV_D: Opcode =
    Opcode::new("fdiv.d", Codec::RM, fmt::RM_FRD_FRS1_FRS2).requires(&[Extension::D]);
pub(crate) static FSGNJ_D: Opcode = Opcode {
    extra: &Extra {
        pseudo: &[Pseudo::new(&pseudo::FMV_D, &[Rs2EqRs1])],
        ..Extra::NONE
    },
    ..Opcode::new("fsgnj.d", Codec::R, fmt::FRD_FRS1_FRS2).requires(&[Extension::D])
};
pub(crate) static FSGNJN_D: Opcode = Opcode {
    extra: &Extra {
        pseudo: &[Pseudo::new(&pseudo::FNEG_D, &[Rs2EqRs1])],
        ..Extra::NONE
    },
    ..Opcode::new("fsgnjn.d", Codec::R, fmt::FRD_FRS1_FRS2).requires(&[Extension::D])
};
pub(crate) static FSGNJX_D: Opcode = Opcode {
    extra: &Extra {
        pseudo: &[Pseudo::new(&pseudo::FABS_D, &[Rs2EqRs1])],
        ..Extra::NONE
    },
    ..Opcode::new("fsgnjx.d", Codec::R, fmt::FRD_FRS1_FRS2).requires(&[Extension::D])
};
pub(crate) static FMIN_D: Opcode =
    Opcode::new("fmin.d", Codec::R, fmt::FRD_FRS1_FRS2).requires(&[Extension::D]);
pub(crate) static FMAX_D: Opcode =
    Opcode::new("fmax.d", Codec::R, fmt::FRD_FRS1_FRS2).requires(&[Extension::D]);
pub(crate) static FCVT_S_D: Opcode =
    Opcode::new("fcvt.s.d", Codec::RM, fmt::RM_FRD_FRS1).requires(&[Extension::D]);
pub(crate) static FCVT_D_S: Opcode =
    Opcode::new("fcvt.d.s", Codec::RM, fmt::WIDEN_FRD_FRS1).requires(&[Extension::D]);
pub(crate) static FSQRT_D: Opcode =
    Opcode::new("fsqrt.d", Codec::RM, fmt::RM_FRD_FRS1).requires(&[Extension::D]);
pub(crate) static FLE_D: Opcode =
    Opcode::new("fle.d", Codec::R, fmt::RD_FRS1_FRS2).requires(&[Extension::D]);
pub(crate) static FLT_D: Opcode =
    Opcode::new("flt.d", Codec::R, fmt::RD_FRS1_FRS2).requires(&[Extension::D]);
pub(crate) static FEQ_D: Opcode =
    Opcode::new("feq.d", Codec::R, fmt::RD_FRS1_FRS2).requires(&[Extension::D]);
pub(crate) static FCVT_W_D: Opcode =
    Opcode::new("fcvt.w.d", Codec::RM, fmt::RM_RD_FRS1).requires(&[Extension::D]);
pub(crate) static FCVT_WU_D: Opcode =
    Opcode::new("fcvt.wu.d", Codec::RM, fmt::RM_RD_FRS1).requires(&[Extension::D]);
pub(crate) static FCVT_D_W: Opcode =
    Opcode::new("fcvt.d.w", Codec::RM, fmt::WIDEN_FRD_RS1).requires(&[Extension::D]);
pub(crate) static FCVT_D_WU: Opcode =
    Opcode::new("fcvt.d.wu", Codec::RM, fmt::WIDEN_FRD_RS1).requires(&[Extension::D]);
pub(crate) static FCLASS_D: Opcode =
    Opcode::new("fclass.d", Codec::R, fmt::RD_FRS1).requires(&[Extension::D]);
pub(crate) static FCVT_L_D: Opcode = Opcode::new("fcvt.l.d", Codec::RM, fmt::RM_RD_FRS1)
    .requires(&[Extension::D])
    .rv64();
pub(crate) static FCVT_LU_D: Opcode = Opcode::new("fcvt.lu.d", Codec::RM, fmt::RM_RD_FRS1)
    .requires(&[Extension::D])
    .rv64();
pub(crate) static FMV_X_D: Opcode = Opcode::new("fmv.x.d", Codec::R, fmt::RD_FRS1)
    .requires(&[Extension::D])
    .rv64()
    .f_registers();
pub(crate) static FCVT_D_L: Opcode = Opcode::new("fcvt.d.l", Codec::RM, fmt::RM_FRD_RS1)
    .requires(&[Extension::D])
    .rv64();
pub(crate) static FCVT_D_LU: Opcode = Opcode::new("fcvt.d.lu", Codec::RM, fmt::RM_FRD_RS1)
    .requires(&[Extension::D])
    .rv64();
pub(crate) static FMV_D_X: Opcode = Opcode::new("fmv.d.x", Codec::R, fmt::FRD_RS1)
    .requires(&[Extension::D])
    .rv64()
    .f_registers();