luaur-code-gen 0.1.3

Native (A64/X64) code generation for Luau (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

use crate::functions::mark_dead_stores_in_inst::mark_dead_stores_in_inst;
use crate::macros::codegen_assert::CODEGEN_ASSERT;
use crate::records::ir_block::IrBlock;
use crate::records::ir_builder::IrBuilder;
use crate::records::ir_function::IrFunction;
use crate::records::ir_inst::IrInst;
use crate::records::remove_dead_store_state::RemoveDeadStoreState;

// IrData.h: `inline constexpr uint8_t kBlockFlagSafeEnvCheck = 1 << 0;`
const K_BLOCK_FLAG_SAFE_ENV_CHECK: u8 = 1 << 0;

pub fn mark_dead_stores_in_block(
    build: &mut IrBuilder,
    block: &mut IrBlock,
    state: &mut RemoveDeadStoreState,
) {
    let function: *mut IrFunction = &mut build.function;

    // Block might establish a safe environment right at the start and might take a VM exit
    if (block.flags & K_BLOCK_FLAG_SAFE_ENV_CHECK) != 0 {
        state.read_all_regs();
    }

    let start = block.start;
    let finish = block.finish;

    let mut index = start;
    while index <= finish {
        CODEGEN_ASSERT!((index as usize) < unsafe { (*function).instructions.len() });

        let inst_ptr: *mut IrInst = unsafe { &mut (&mut (*function).instructions)[index as usize] };

        mark_dead_stores_in_inst(
            state,
            build,
            unsafe { &mut *function },
            block,
            unsafe { &mut *inst_ptr },
            index,
        );

        index += 1;
    }
}