neo-decompiler 0.7.0

Neo N3 NEF decompiler: parse, disassemble, lift bytecode to high-level pseudocode and C# skeletons, with a CLI, JSON reports, and optional WebAssembly bindings.
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

//! Expression simplification pass.
//!
//! Applies algebraic simplifications to reduce expression complexity:
//! - Arithmetic identities (x + 0 → x, x * 1 → x, etc.)
//! - Boolean simplifications (x == true → x, !!x → x, etc.)
//! - Constant folding for simple cases

use super::expression::Expr;

mod arithmetic;
mod bitwise;
mod boolean;
mod dispatch;
mod helpers;
mod walk;

#[cfg(test)]
mod tests;

/// Simplify an expression by applying algebraic rules.
///
/// This function recursively simplifies subexpressions and then applies
/// simplification rules to the result.
#[must_use]
pub fn simplify(expr: Expr) -> Expr {
    // First, recursively simplify subexpressions
    let expr = walk::simplify_children(expr);

    // Then apply simplification rules
    match expr {
        Expr::Binary { op, left, right } => dispatch::simplify_binary(op, *left, *right),
        Expr::Unary { op, operand } => dispatch::simplify_unary(op, *operand),
        other => other,
    }
}