luaur-code-gen 0.1.0

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
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

use crate::enums::builtin_impl_type::BuiltinImplType;
use crate::enums::ir_cmd::IrCmd;
use crate::enums::ir_condition::IrCondition;
use crate::functions::builtin_check_int_64::builtin_check_int_64;
use crate::functions::builtin_load_int_64::builtin_load_int_64;
use crate::functions::vm_reg_op::vm_reg_op;
use crate::records::builtin_impl_result::BuiltinImplResult;
use crate::records::ir_builder::IrBuilder;
use crate::records::ir_op::IrOp;
use luaur_common::FFlag;
use luaur_vm::enums::lua_type::lua_Type;

pub fn translate_builtin_int_64_clamp(
    build: &mut IrBuilder,
    nparams: i32,
    ra: i32,
    arg: i32,
    args: IrOp,
    arg3: IrOp,
    nresults: i32,
    pcpos: i32,
) -> BuiltinImplResult {
    if nparams < 3 || nresults > 1 {
        return BuiltinImplResult {
            r#type: BuiltinImplType::None,
            actual_result_count: -1,
        };
    }

    let vm_reg_arg = build.vm_reg(arg as u8);
    builtin_check_int_64(build, vm_reg_arg, pcpos);
    builtin_check_int_64(build, args, pcpos);
    let third_arg = if FFlag::LuauCodegenIntegerArg3Fix.get() {
        arg3
    } else {
        let vm_reg_op_args = vm_reg_op(args);
        build.vm_reg((vm_reg_op_args + 1) as u8)
    };
    builtin_check_int_64(build, third_arg, pcpos);

    let val = builtin_load_int_64(build, vm_reg_arg);
    let mi = builtin_load_int_64(build, args);
    let mx = builtin_load_int_64(build, third_arg);

    // guard: min <= max
    let cond_op = build.cond(IrCondition::LessEqual);
    let vm_exit_op = build.vm_exit(pcpos as u32);
    build
        .inst_ir_cmd_initializer_list_ir_op(IrCmd::CHECK_CMP_INT64, &[mi, mx, cond_op, vm_exit_op]);

    // clamp: if val < min, use min; then if result > max, use max
    let cond_less = build.cond(IrCondition::Less);
    let clamped = build
        .inst_ir_cmd_initializer_list_ir_op(IrCmd::SELECT_INT64, &[val, mi, val, mi, cond_less]);

    let cond_greater = build.cond(IrCondition::Greater);
    let result = build.inst_ir_cmd_initializer_list_ir_op(
        IrCmd::SELECT_INT64,
        &[clamped, mx, clamped, mx, cond_greater],
    );

    let vm_reg_ra = build.vm_reg(ra as u8);
    build.inst_ir_cmd_initializer_list_ir_op(IrCmd::STORE_INT64, &[vm_reg_ra, result]);
    let tag_op = build.const_tag(lua_Type::LUA_TINTEGER as u8);
    build.inst_ir_cmd_initializer_list_ir_op(IrCmd::STORE_TAG, &[vm_reg_ra, tag_op]);

    BuiltinImplResult {
        r#type: BuiltinImplType::Full,
        actual_result_count: 1,
    }
}