unluac 1.0.0

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

use crate::hir::{
    HirAssign, HirBlock, HirExpr, HirIf, HirLValue, HirProto, HirProtoRef, HirReturn, HirStmt,
    HirUnresolvedExpr, TempId,
};
use crate::parser::{ProtoLineRange, ProtoSignature};

use super::remove_dead_unresolved_temp_materializations_in_proto;

#[test]
fn drops_dead_unresolved_temp_assignments() {
    let mut proto = empty_proto(vec![
        HirStmt::Assign(Box::new(HirAssign {
            targets: vec![HirLValue::Temp(TempId(0))],
            values: vec![HirExpr::Unresolved(Box::new(HirUnresolvedExpr {
                summary: "phi block=#1 reg=r0".into(),
            }))],
        })),
        HirStmt::Return(Box::new(HirReturn { values: Vec::new() })),
    ]);

    assert!(remove_dead_unresolved_temp_materializations_in_proto(
        &mut proto
    ));
    assert!(matches!(proto.body.stmts.as_slice(), [HirStmt::Return(_)]));
}

#[test]
fn keeps_unresolved_temp_assignments_that_are_still_read() {
    let mut proto = empty_proto(vec![
        HirStmt::Assign(Box::new(HirAssign {
            targets: vec![HirLValue::Temp(TempId(0))],
            values: vec![HirExpr::Unresolved(Box::new(HirUnresolvedExpr {
                summary: "phi block=#1 reg=r0".into(),
            }))],
        })),
        HirStmt::If(Box::new(HirIf {
            cond: HirExpr::TempRef(TempId(0)),
            then_block: HirBlock { stmts: Vec::new() },
            else_block: None,
        })),
    ]);

    assert!(!remove_dead_unresolved_temp_materializations_in_proto(
        &mut proto
    ));
    assert_eq!(proto.body.stmts.len(), 2);
}

fn empty_proto(stmts: Vec<HirStmt>) -> HirProto {
    HirProto {
        id: HirProtoRef(0),
        source: None,
        line_range: ProtoLineRange {
            defined_start: 0,
            defined_end: 0,
        },
        signature: ProtoSignature {
            num_params: 0,
            is_vararg: false,
            has_vararg_param_reg: false,
            named_vararg_table: false,
        },
        params: Vec::new(),
        locals: Vec::new(),
        local_debug_hints: Vec::new(),
        upvalues: Vec::new(),
        temps: Vec::new(),
        temp_debug_locals: Vec::new(),
        body: HirBlock { stmts },
        children: Vec::new(),
    }
}