unluac 1.2.3

Multi-dialect Lua decompiler written in Rust.
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

//! 这个文件承载 HIR 初始恢复的主入口。
//!
//! 外层文件只负责声明 analyze 子模块、组织跨 proto 的递归入口，并把目录内真正的
//! lowering 能力串起来。这样 `src/hir/analyze` 和 `src/hir/simplify` 的外层形状就会
//! 保持一致，后续继续拆分实现时也更容易定位“入口”与“细节”。

mod bindings;
mod exprs;
mod helpers;
mod lower;
mod short_circuit;
mod structure;

use self::lower::{ChildAnalyses, LowerArtifacts, lower_proto};
use super::simplify::{PassDumpConfig, simplify_hir};
use crate::decompile::{DecompileContext, DecompileError, DecompileState};
use crate::hir::common::HirModule;

use self::exprs::lower_branch_cond;
use self::helpers::{assign_stmt, branch_stmt, build_label_map_for_summary, goto_block};
use self::lower::{
    ProtoBindings, ProtoLowering, is_control_terminator, lower_control_instr,
    lower_phi_materialization_with_allowed_blocks_except, lower_regular_instr,
};

/// HIR 阶段入口：消费结构事实与前序控制/数据流事实，写回 HIR 模块。
pub(crate) fn analyze_hir(
    state: &mut DecompileState,
    context: &DecompileContext<'_>,
) -> Result<(), DecompileError> {
    let lowered = state.lowered.as_ref().unwrap();
    let cfg = state.cfg.as_ref().unwrap();
    let graph_facts = state.graph_facts.as_ref().unwrap();
    let dataflow = state.dataflow.as_ref().unwrap();
    let structure_facts = state.structure_facts.as_ref().unwrap();
    let child_analyses = ChildAnalyses {
        cfg_graphs: &cfg.children,
        graph_facts: &graph_facts.children,
        dataflow: &dataflow.children,
        structure: &structure_facts.children,
    };
    let mut artifacts = LowerArtifacts::default();
    let entry = context.timings.record("lower", || {
        lower_proto(
            &lowered.main,
            &cfg.cfg,
            graph_facts,
            dataflow,
            structure_facts,
            child_analyses,
            &mut artifacts,
        )
    });

    let mut module = HirModule {
        entry,
        protos: artifacts.protos,
    };

    let dump_config = PassDumpConfig {
        pass_names: context.options.debug.dump_passes.clone(),
        filters: context.options.debug.filters,
    };

    context.timings.record("simplify", || {
        simplify_hir(
            &mut module,
            context.options.readability,
            context.timings,
            &artifacts.promotion_facts,
            context.options.generate.mode,
            context.options.dialect,
            &dump_config,
        );
    });
    state.hir = Some(module);
    Ok(())
}