wazabin-qcode 0.4.0

Typed SSA-style p-code IR for binary analysis, modelled after Ghidra's p-code
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

use super::mnemonic::{Args, MnemonicKind};
use crate::value::LocalValueId;
use serde::{Deserialize, Serialize};
use smallvec::SmallVec;

pub use pcode_types::PCodeOpId;

/// The reserved user op that stops the machine so the environment can act.
///
/// `vm.interrupt(code, args...) -> value?` retires everything before it,
/// runs nothing after it, and surfaces as a typed exit from the VM. The
/// environment supplies the op's result, if it declares one, and resumes.
/// It is how an injected hook hands control to the host from inside a block,
/// whether that block is interpreted or compiled. See `qcode_vm`.
pub const VM_INTERRUPT: &str = "vm.interrupt";

#[derive(Debug, Clone, PartialEq, Eq, Hash, Serialize, Deserialize)]
pub struct PCodeOp {
    pub id: PCodeOpId,
    pub args: Vec<LocalValueId>,
    pub dst: Option<LocalValueId>,
}

impl MnemonicKind for PCodeOp {
    fn opcode(&self) -> &'static str {
        "pcode_op"
    }

    fn args(&self) -> Args {
        SmallVec::from_vec(self.args.clone())
    }
}