neo-decompiler 0.6.2

Minimal tooling for inspecting Neo N3 NEF bytecode
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

use super::super::super::HighLevelEmitter;

mod analysis;
mod rewrite;
mod util;

#[derive(Debug, Clone)]
struct InlineCandidate {
    name: String,
    def_line: usize,
    rhs: String,
}

impl HighLevelEmitter {
    /// Inline single-use temporary variables.
    ///
    /// This pass identifies variables that are:
    /// 1. Defined with `let var = expr;`
    /// 2. Used exactly once in subsequent code
    /// 3. Not reassigned
    ///
    /// Such variables are inlined at their use site and the definition is removed.
    ///
    /// Note: This pass is available but disabled by default as it can be too
    /// aggressive for some use cases. Enable selectively when needed.
    pub(in super::super::super) fn inline_single_use_temps(statements: &mut [String]) {
        let candidates = analysis::collect_candidates(statements);
        rewrite::apply_inlining(statements, candidates);
    }
}

#[cfg(test)]
mod tests;