unluac 1.1.1

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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99

//! 这个文件承载 `short_circuit` 模块的局部不变量测试。
//!
//! 我们把测试和实现分开存放，避免主实现文件被大段 `#[cfg(test)]` 代码淹没。

use super::*;
use crate::structure::{
    ShortCircuitCandidate, ShortCircuitExit, ShortCircuitNode, ShortCircuitTarget,
};

#[test]
fn conditional_reassign_picks_shallowest_changed_only_region() {
    let short = ShortCircuitCandidate {
        header: BlockRef(12),
        blocks: BTreeSet::from([
            BlockRef(12),
            BlockRef(13),
            BlockRef(14),
            BlockRef(15),
            BlockRef(16),
            BlockRef(17),
            BlockRef(18),
            BlockRef(19),
            BlockRef(20),
            BlockRef(21),
            BlockRef(22),
        ]),
        entry: ShortCircuitNodeRef(0),
        nodes: vec![
            ShortCircuitNode {
                id: ShortCircuitNodeRef(0),
                header: BlockRef(12),
                truthy: ShortCircuitTarget::Node(ShortCircuitNodeRef(1)),
                falsy: ShortCircuitTarget::Node(ShortCircuitNodeRef(6)),
            },
            ShortCircuitNode {
                id: ShortCircuitNodeRef(1),
                header: BlockRef(13),
                truthy: ShortCircuitTarget::Node(ShortCircuitNodeRef(2)),
                falsy: ShortCircuitTarget::Node(ShortCircuitNodeRef(6)),
            },
            ShortCircuitNode {
                id: ShortCircuitNodeRef(2),
                header: BlockRef(16),
                truthy: ShortCircuitTarget::Node(ShortCircuitNodeRef(3)),
                falsy: ShortCircuitTarget::Node(ShortCircuitNodeRef(4)),
            },
            ShortCircuitNode {
                id: ShortCircuitNodeRef(3),
                header: BlockRef(17),
                truthy: ShortCircuitTarget::Value(BlockRef(18)),
                falsy: ShortCircuitTarget::Node(ShortCircuitNodeRef(4)),
            },
            ShortCircuitNode {
                id: ShortCircuitNodeRef(4),
                header: BlockRef(19),
                truthy: ShortCircuitTarget::Node(ShortCircuitNodeRef(5)),
                falsy: ShortCircuitTarget::Value(BlockRef(22)),
            },
            ShortCircuitNode {
                id: ShortCircuitNodeRef(5),
                header: BlockRef(20),
                truthy: ShortCircuitTarget::Value(BlockRef(21)),
                falsy: ShortCircuitTarget::Value(BlockRef(22)),
            },
            ShortCircuitNode {
                id: ShortCircuitNodeRef(6),
                header: BlockRef(14),
                truthy: ShortCircuitTarget::Value(BlockRef(14)),
                falsy: ShortCircuitTarget::Node(ShortCircuitNodeRef(7)),
            },
            ShortCircuitNode {
                id: ShortCircuitNodeRef(7),
                header: BlockRef(15),
                truthy: ShortCircuitTarget::Node(ShortCircuitNodeRef(2)),
                falsy: ShortCircuitTarget::Value(BlockRef(15)),
            },
        ],
        exit: ShortCircuitExit::ValueMerge(BlockRef(23)),
        result_reg: None,
        result_phi_id: None,
        entry_defs: BTreeSet::new(),
        value_incomings: Vec::new(),
        reducible: true,
    };
    let leaf_kinds = BTreeMap::from([
        (BlockRef(14), ValueLeafKind::Preserved),
        (BlockRef(15), ValueLeafKind::Preserved),
        (BlockRef(18), ValueLeafKind::Changed),
        (BlockRef(21), ValueLeafKind::Changed),
        (BlockRef(22), ValueLeafKind::Changed),
    ]);

    let region = find_changed_region_entry(&short, &leaf_kinds);

    assert_eq!(
        region,
        Some(ChangedRegionEntry::Node(ShortCircuitNodeRef(2)))
    );
}