wazabin-qcode 0.2.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

//! Built-in pure intrinsics.
//!
//! Each submodule defines one family of intrinsics (their evaluators,
//! recognizers, simplifiers) and self-registers them with the global registry
//! via [`register_intrinsic!`](crate::register_intrinsic). The registry
//! machinery, the [`IntrinsicId`](crate::value::insn::intrinsic::IntrinsicId) handle and the [`Intrinsic`](crate::value::insn::intrinsic::Intrinsic) mnemonic itself
//! live in [`crate::value::insn`]; this module is purely the catalogue of
//! concrete intrinsics.
//!
//! # Adding an intrinsic
//!
//! Add a new `mod` here (e.g. `rotate`), implement its `eval` (and optionally
//! `recognize` / `simplify`) functions, then `register_intrinsic! { … }` for
//! each name. The `inventory`-based registry picks it up automatically — no
//! central table to edit.

mod at;
mod concat;
mod enumerate;
mod insert;
mod iota;
mod len;
mod rotate;
mod singleton;
mod splat;
mod take_while;