Enum HExpr 

pub enum HExpr {
    Var(VarId),
    Opaque {
        op: &'static str,
        args: Vec<VarId>,
    },
}

HLIR is a higher-level intermediate representation intended to be “decompile-friendly”.

In this initial implementation, HLIR is deliberately conservative:

• It preserves basic blocks, φ-nodes, and explicit side-effects.
• It does not attempt structured control-flow reconstruction.
• It only folds a subset of simple unary/binary register operations.

The goal is to provide a stable foundation for later passes (SSA cleanup, DCE, type info, control-flow structuring, and finally TJS pretty-printing).

Variants

Var(VarId)

Opaque

Fields

op: &'static str

args: Vec<VarId>

Trait Implementations

impl Clone for HExpr

fn clone(&self) -> HExpr

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for HExpr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.