luaur-analysis 0.1.3

Luau type checker and type inference (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

//! Source: `Analysis/src/ControlFlowGraph.cpp:135-143` (hand-ported)
//! C++ `std::unique_ptr<ControlFlowGraph> CFGBuilder::makeCFG(NotNull<CFGAllocator> allocator, AstStatBlock* block)`.
use crate::records::cfg_allocator::CfgAllocator;
use crate::records::cfg_builder::CfgBuilder;
use crate::records::control_flow_graph::ControlFlowGraph;
use luaur_ast::records::ast_stat_block::AstStatBlock;
use luaur_common::FFlag;

impl CfgBuilder {
    pub fn make_cfg(
        allocator: *mut CfgAllocator,
        block: *mut AstStatBlock,
    ) -> *mut ControlFlowGraph {
        // C++:
        //   CFGBuilder builder(allocator);
        //   builder.lower(block);
        let mut builder = CfgBuilder::new(allocator);
        // `block` is `AstStatBlock*`; C++ `lower(block)` dispatches to the
        // `AstStatBlock*` overload.
        builder.lower_ast_stat_block(block);

        // auto cfg = std::move(builder.cfg);
        let cfg = builder.cfg.take().unwrap();

        // if (FFlag::DebugLuauFreezeArena) allocator->freeze();
        if FFlag::DebugLuauFreezeArena.get() {
            unsafe { (*allocator).freeze() };
        }

        // return cfg;  (unique_ptr -> raw owning pointer)
        alloc::boxed::Box::into_raw(alloc::boxed::Box::new(cfg))
    }
}