luaur_code_gen/functions/
translate_builtin_bit_32_replace.rs

1use crate::enums::builtin_impl_type::BuiltinImplType;
2use crate::enums::ir_cmd::IrCmd;
3use crate::enums::ir_condition::IrCondition;
4use crate::functions::builtin_check_double::builtin_check_double;
5use crate::functions::builtin_load_double::builtin_load_double;
6use crate::functions::vm_reg_op::vm_reg_op;
7use crate::records::builtin_impl_result::BuiltinImplResult;
8use crate::records::ir_builder::IrBuilder;
9use crate::records::ir_op::IrOp;
10use luaur_vm::enums::lua_type::lua_Type;
11
12pub fn translate_builtin_bit_32_replace(
13    build: &mut IrBuilder,
14    nparams: i32,
15    ra: i32,
16    arg: i32,
17    args: IrOp,
18    arg3: IrOp,
19    nresults: i32,
20    pcpos: i32,
21) -> BuiltinImplResult {
22    if nparams < 3 || nresults > 1 {
23        return BuiltinImplResult {
24            r#type: BuiltinImplType::None,
25            actual_result_count: -1,
26        };
27    }
28
29    let arg_reg = build.vm_reg(arg as u8);
30    builtin_check_double(build, arg_reg, pcpos);
31    builtin_check_double(build, args, pcpos);
32    builtin_check_double(build, arg3, pcpos);
33
34    let arg_reg = build.vm_reg(arg as u8);
35    let va = builtin_load_double(build, arg_reg);
36    let vb = builtin_load_double(build, args);
37    let vc = builtin_load_double(build, arg3);
38
39    let n = build.inst_ir_cmd_ir_op(IrCmd::NUM_TO_UINT, va);
40    let v = build.inst_ir_cmd_ir_op(IrCmd::NUM_TO_UINT, vb);
41    let f = build.inst_ir_cmd_ir_op(IrCmd::NUM_TO_INT, vc);
42
43    let value = if nparams == 3 {
44        let c32 = build.const_int(32);
45        let cond = build.cond(IrCondition::UnsignedLess);
46        let exit = build.vm_exit(pcpos as u32);
47        build.inst_ir_cmd_ir_op_ir_op_ir_op_ir_op(IrCmd::CHECK_CMP_INT, f, c32, cond, exit);
48
49        let m = build.const_int(1);
50        let shift = build.inst_ir_cmd_ir_op_ir_op(IrCmd::BITLSHIFT_UINT, m, f);
51        let not_ = build.inst_ir_cmd_ir_op(IrCmd::BITNOT_UINT, shift);
52        let lhs = build.inst_ir_cmd_ir_op_ir_op(IrCmd::BITAND_UINT, n, not_);
53
54        let vm = build.inst_ir_cmd_ir_op_ir_op(IrCmd::BITAND_UINT, v, m);
55        let rhs = build.inst_ir_cmd_ir_op_ir_op(IrCmd::BITLSHIFT_UINT, vm, f);
56        build.inst_ir_cmd_ir_op_ir_op(IrCmd::BITOR_UINT, lhs, rhs)
57    } else {
58        let reg = build.vm_reg((vm_reg_op(args) + 2) as u8);
59        builtin_check_double(build, reg, pcpos);
60        let reg = build.vm_reg((vm_reg_op(args) + 2) as u8);
61        let vd = builtin_load_double(build, reg);
62
63        let w = build.inst_ir_cmd_ir_op(IrCmd::NUM_TO_INT, vd);
64        let fw = build.inst_ir_cmd_ir_op_ir_op(IrCmd::ADD_INT, f, w);
65
66        let zero = build.const_int(0);
67        let ge = build.cond(IrCondition::GreaterEqual);
68        let exit = build.vm_exit(pcpos as u32);
69        build.inst_ir_cmd_ir_op_ir_op_ir_op_ir_op(IrCmd::CHECK_CMP_INT, f, zero, ge, exit);
70
71        let zero = build.const_int(0);
72        let gt = build.cond(IrCondition::Greater);
73        let exit = build.vm_exit(pcpos as u32);
74        build.inst_ir_cmd_ir_op_ir_op_ir_op_ir_op(IrCmd::CHECK_CMP_INT, w, zero, gt, exit);
75
76        let c32 = build.const_int(32);
77        let le = build.cond(IrCondition::LessEqual);
78        let exit = build.vm_exit(pcpos as u32);
79        build.inst_ir_cmd_ir_op_ir_op_ir_op_ir_op(IrCmd::CHECK_CMP_INT, fw, c32, le, exit);
80
81        let one = build.const_int(1);
82        let w_minus_1 = build.inst_ir_cmd_ir_op_ir_op(IrCmd::SUB_INT, w, one);
83        let base = build.const_int(0xfffffffeu32 as i32);
84        let shift1 = build.inst_ir_cmd_ir_op_ir_op(IrCmd::BITLSHIFT_UINT, base, w_minus_1);
85        let m = build.inst_ir_cmd_ir_op(IrCmd::BITNOT_UINT, shift1);
86
87        let shift2 = build.inst_ir_cmd_ir_op_ir_op(IrCmd::BITLSHIFT_UINT, m, f);
88        let not_ = build.inst_ir_cmd_ir_op(IrCmd::BITNOT_UINT, shift2);
89        let lhs = build.inst_ir_cmd_ir_op_ir_op(IrCmd::BITAND_UINT, n, not_);
90
91        let vm = build.inst_ir_cmd_ir_op_ir_op(IrCmd::BITAND_UINT, v, m);
92        let rhs = build.inst_ir_cmd_ir_op_ir_op(IrCmd::BITLSHIFT_UINT, vm, f);
93        build.inst_ir_cmd_ir_op_ir_op(IrCmd::BITOR_UINT, lhs, rhs)
94    };
95
96    let num = build.inst_ir_cmd_ir_op(IrCmd::UINT_TO_NUM, value);
97    let ra_reg = build.vm_reg(ra as u8);
98    build.inst_ir_cmd_ir_op_ir_op(IrCmd::STORE_DOUBLE, ra_reg, num);
99
100    if ra != arg {
101        let ra_reg = build.vm_reg(ra as u8);
102        let tag = build.const_tag(lua_Type::LUA_TNUMBER as u8);
103        build.inst_ir_cmd_ir_op_ir_op(IrCmd::STORE_TAG, ra_reg, tag);
104    }
105
106    BuiltinImplResult {
107        r#type: BuiltinImplType::Full,
108        actual_result_count: 1,
109    }
110}
luaur_code_gen/functions/translate_builtin_bit_32_replace.rs

luaur_code_gen/functions/
translate_builtin_bit_32_replace.rs
