import random
import string
import base64
import json
import hashlib
import re
from .parser import Lexer, Parser

class LuauVMObfuscator:
    def __init__(self):
        self.opcodes = [
            "MOVE", "LOADK", "LOADBOOL", "LOADNIL", "GETGLOBAL", "SETGLOBAL",
            "GETTABLE", "SETTABLE", "NEWTABLE", "SELF", "ADD", "SUB", "MUL",
            "DIV", "MOD", "POW", "UNM", "NOT", "LEN", "CONCAT", "JMP", "EQ",
            "LT", "LE", "TEST", "TESTSET", "CALL", "TAILCALL", "RETURN",
            "FORLOOP", "FORPREP", "TFORLOOP", "SETLIST", "CLOSE", "CLOSURE", "VARARG"
        ]
        
        self.k1, self.k2, self.k3 = random.randint(500, 2000), random.randint(500, 2000), random.randint(500, 2000)
        self.op_to_id = {name: ((self.opcodes.index(name) + self.k1) ^ self.k2) + self.k3 for name in self.opcodes}
        self.var_map, self.used_vars = {}, set()

    def get_var(self, hint="var"):
        if hint in self.var_map: return self.var_map[hint]
        c = "Il1"; l = random.randint(24, 32)
        v = "_" + "".join(random.choice(c) for _ in range(l))
        while v in self.used_vars: v = "_" + "".join(random.choice(c) for _ in range(l))
        self.used_vars.add(v); self.var_map[hint] = v
        return v

    def to_expr(self, n):
        r = random.randint(1, 1000)
        ch = random.choice(['add', 'sub', 'xor'])
        if ch == 'add': return f"({n-r}+{r})"
        if ch == 'sub': return f"({n+r}-{r})"
        return f"bit32.bxor({n^r},{r})"

    def encrypt_string(self, s, key):
        res, last = [], key % 256
        for i, c in enumerate(s):
            k = (key + i + last) % 256
            last = ord(c)
            res.append(chr(ord(c) ^ k))
        return "".join(res)

    def minify(self, code):
        code = re.sub(r'--.*', '', code)
        code = re.sub(r'\s+', ' ', code)
        for op in ['==', '~=', '<=', '>=', '=', r'\+', r'\*', '/', '>', '<', ',', ';', ':', '-']:
            code = re.sub(r'\s*' + op + r'\s*', op.replace('\\', ''), code)
        return code.strip()

    def generate_vm_source(self, bytecode):
        raw_ins = bytecode['instructions']
        indices = list(range(len(raw_ins)))
        random.shuffle(indices); pos_map = {orig: i for i, orig in enumerate(indices)}
        final_insts = []
        for orig_idx in indices:
            inst = raw_ins[orig_idx]
            next_sh = pos_map[orig_idx + 1] if orig_idx + 1 < len(raw_ins) else 0
            final_insts.append([inst[0]&0xFF,(inst[0]>>8)&0xFF,inst[1]&0xFF,inst[2]&0xFF,inst[3]&0xFF,next_sh&0xFF,(next_sh>>8)&0xFF])
        inst_str = "".join(chr(i) for inst in final_insts for i in inst)
        inst_b64 = base64.b64encode(inst_str.encode('latin-1')).decode()
        
        consts = []
        salt = random.randint(100000, 999999)
        for i, c in enumerate(bytecode['constants']):
            if c['type'] == 'string':
                k = (i * 149 + salt) % 256; enc = self.encrypt_string(c['value'], k)
                consts.append({"t": 1, "v": base64.b64encode(enc.encode('latin-1')).decode()})
            elif c['type'] == 'number': consts.append({"t": 2, "v": c['value']})
            else: consts.append({"t": 3, "v": str(c['value'])})
        
        v = {
            "BIT": "bit32", "ENV": self.get_var("env"), "DEC": self.get_var("dec"),
            "INST": self.get_var("inst"), "CONSTS": self.get_var("consts"), "SALT": self.to_expr(salt),
            "EXEC": self.get_var("exec"), "REGS": self.get_var("regs"), "CURR": self.get_var("curr"),
            "PTR": self.get_var("ptr"), "OP": self.get_var("op"), "A": self.get_var("a"),
            "B": self.get_var("b"), "C": self.get_var("c"), "UNP": "unpack or table.unpack",
            "SPW": "task and task.spawn or spawn", "JSON": "game:GetService('HttpService')",
            "CHARS": self.get_var("chars"), "LOOKUP": self.get_var("lookup"), "GETC": self.get_var("getc")
        }

        vm_lua = f'''local {v['ENV']}=setmetatable({{}},{{__index=getfenv()}});
local {v['CHARS']}='ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/';
local {v['LOOKUP']}={{}};
for i=1,64 do {v['LOOKUP']}[{v['CHARS']}:sub(i,i)]=i-1 end;
local function {v['DEC']}(data)
    data=data:gsub('[^%a%d%+/]','');
    local res={{}};
    for i=1,#data,4 do
        local a,b,c,d={v['LOOKUP']}[data:sub(i,i)],{v['LOOKUP']}[data:sub(i+1,i+1)],{v['LOOKUP']}[data:sub(i+2,i+2)],{v['LOOKUP']}[data:sub(i+3,i+3)];
        local n={v['BIT']}.lshift(a or 0,18)+{v['BIT']}.lshift(b or 0,12)+{v['BIT']}.lshift(c or 0,6)+(d or 0);
        res[#res+1]=string.char({v['BIT']}.extract(n,16,8));
        if c then res[#res+1]=string.char({v['BIT']}.extract(n,8,8)) end;
        if d then res[#res+1]=string.char({v['BIT']}.extract(n,0,8)) end;
    end;
    return table.concat(res);
end;
local {v['INST']}={v['DEC']}('{inst_b64}');
local {v['CONSTS']}={v['JSON']}:JSONDecode([=[{json.dumps(consts)}]=]);
local {v['EXEC']}=function()
    local {v['REGS']}={{}};
    local {v['CURR']}={self.to_expr(pos_map[0])};
    local function {v['GETC']}(idx)
        local c={v['CONSTS']}[idx+1];
        if not c then return end;
        if c.t==1 then
            local r,k={v['DEC']}(c.v),(idx*149+{v['SALT']})%256;
            local res,lst={{}},k%256;
            for i=1,#r do
                local char={v['BIT']}.bxor(string.byte(r,i),(k+i+lst-1)%256);
                res[i]=string.char(char);
                lst=char;
            end;
            return table.concat(res);
        elseif c.t==3 then return c.v=='true' and true or (c.v=='false' and false or nil) end;
        return c.v;
    end;
    while true do
        local {v['PTR']}={v['CURR']}*7+1;
        local b1,b2,b3,b4,b5,b6,b7=string.byte({v['INST']},{v['PTR']},{v['PTR']}+6);
        if not b1 then break end;
        {v['CURR']}=b6+({v['BIT']}.lshift(b7,8));
        local {v['OP']}={v['BIT']}.bxor(b1+{v['BIT']}.lshift(b2,8),{self.to_expr(self.k2)})-{self.to_expr(self.k1)};
        local {v['A']},{v['B']},{v['C']}=b3,b4,b5;
        if {v['OP']}=={self.opcodes.index('MOVE')} then {v['REGS']}[{v['A']}]={v['REGS']}[{v['B']}]
        elseif {v['OP']}=={self.opcodes.index('LOADK')} then {v['REGS']}[{v['A']}]={v['GETC']}({v['B']})
        elseif {v['OP']}=={self.opcodes.index('GETGLOBAL')} then {v['REGS']}[{v['A']}]={v['ENV']}[{v['GETC']}({v['B']})]
        elseif {v['OP']}=={self.opcodes.index('SETGLOBAL')} then {v['ENV']}[{v['GETC']}({v['B']})]={v['REGS']}[{v['A']}]
        elseif {v['OP']}=={self.opcodes.index('GETTABLE')} then 
            local b={v['REGS']}[{v['B']}];
            if b then {v['REGS']}[{v['A']}]=b[{v['REGS']}[{v['C']}] or {v['GETC']}({v['C']})] end
        elseif {v['OP']}=={self.opcodes.index('SETTABLE')} then
            local a={v['REGS']}[{v['A']}];
            if a then a[{v['REGS']}[{v['B']}] or {v['GETC']}({v['B']})]={v['REGS']}[{v['C']}] end
        elseif {v['OP']}=={self.opcodes.index('SELF')} then
            local b={v['REGS']}[{v['B']}];
            if b then
                {v['REGS']}[{v['A']}+1]=b;
                {v['REGS']}[{v['A']}]=b[{v['GETC']}({v['C']})];
            end
        elseif {v['OP']}=={self.opcodes.index('ADD')} then {v['REGS']}[{v['A']}]=({v['REGS']}[{v['B']}] or 0)+({v['REGS']}[{v['C']}] or 0)
        elseif {v['OP']}=={self.opcodes.index('SUB')} then {v['REGS']}[{v['A']}]=({v['REGS']}[{v['B']}] or 0)-({v['REGS']}[{v['C']}] or 0)
        elseif {v['OP']}=={self.opcodes.index('MUL')} then {v['REGS']}[{v['A']}]=({v['REGS']}[{v['B']}] or 0)*({v['REGS']}[{v['C']}] or 0)
        elseif {v['OP']}=={self.opcodes.index('DIV')} then {v['REGS']}[{v['A']}]=({v['REGS']}[{v['B']}] or 0)/({v['REGS']}[{v['C']}] or 1)
        elseif {v['OP']}=={self.opcodes.index('UNM')} then {v['REGS']}[{v['A']}]=-({v['REGS']}[{v['B']}] or 0)
        elseif {v['OP']}=={self.opcodes.index('NOT')} then {v['REGS']}[{v['A']}]=not {v['REGS']}[{v['B']}]
        elseif {v['OP']}=={self.opcodes.index('LEN')} then {v['REGS']}[{v['A']}]=#{v['REGS']}[{v['B']}] or 0
        elseif {v['OP']}=={self.opcodes.index('CALL')} then
            local f={v['REGS']}[{v['A']}];
            if f then
                local args={{}};
                if {v['B']}>1 then for i=1,{v['B']}-1 do args[i]={v['REGS']}[{v['A']} + i] end end;
                local res={{f(({v['UNP']})(args))}};
                if {v['C']}>1 then for i=1,{v['C']}-1 do {v['REGS']}[{v['A']} + i - 1]=res[i] end end;
            end
        elseif {v['OP']}=={self.opcodes.index('RETURN')} then break end;
    end;
end;
({v['SPW']})({v['EXEC']});'''
        return self.minify(vm_lua)

    def compile_to_bytecode(self, ast):
        constants, instructions, locals_map = [], [], {}
        self.next_reg = 0
        def add_const(val):
            if isinstance(val, str) and ((val.startswith("'" ) and val.endswith("'" )) or (val.startswith('"') and val.endswith('"'))): val = val[1:-1]
            for i, c in enumerate(constants):
                if c['value'] == val: return i
            t = 'string' if isinstance(val, str) else 'number'
            if val in ['true', 'false', 'nil']: t = 'keyword'
            constants.append({'type': t, 'value': val})
            return len(constants) - 1
        def emit(op, a=0, b=0, c=0): instructions.append([self.op_to_id[op], a, b, c])
        def gen_expr(expr, target):
            if not expr: return
            if expr['type'] == 'NUMBER': emit("LOADK", target, add_const(float(expr['value'])))
            elif expr['type'] == 'STRING': emit("LOADK", target, add_const(expr['value']))
            elif expr['type'] == 'KEYWORD': emit("LOADK", target, add_const(expr['value']))
            elif expr['type'] == 'variable':
                if expr['name'] in locals_map: emit("MOVE", target, locals_map[expr['name']])
                else: emit("GETGLOBAL", target, add_const(expr['name']))
            elif expr['type'] == 'index':
                br = self.next_reg; self.next_reg += 1; gen_expr(expr['base'], br)
                if expr['key']['type'] == 'STRING':
                    emit("GETTABLE", target, br, add_const(expr['key']['value']))
                else:
                    kr = self.next_reg; self.next_reg += 1; gen_expr(expr['key'], kr)
                    emit("GETTABLE", target, br, kr); self.next_reg -= 1
                self.next_reg -= 1
            elif expr['type'] == 'binary':
                lr = self.next_reg; self.next_reg += 1; gen_expr(expr['left'], lr)
                rr = self.next_reg; self.next_reg += 1; gen_expr(expr['right'], rr)
                op_m = {'+': 'ADD', '-': 'SUB', '*': 'MUL', '/': 'DIV'}
                emit(op_m.get(expr['op'], 'ADD'), target, lr, rr); self.next_reg -= 2
            elif expr['type'] == 'unary':
                or_reg = self.next_reg; self.next_reg += 1; gen_expr(expr['operand'], or_reg)
                op_m = {'-': 'UNM', '#': 'LEN', 'not': 'NOT'}
                emit(op_m.get(expr['op'], 'UNM'), target, or_reg); self.next_reg -= 1
            elif expr['type'] == 'call': gen_call(expr, target)
            elif expr['type'] == 'method_call': gen_method_call(expr, target)
        def gen_call(node, target):
            fr = self.next_reg; self.next_reg += 1
            gen_expr(node['func'], fr)
            for i, arg in enumerate(node['args']):
                ar = self.next_reg; self.next_reg += 1; gen_expr(arg, ar)
            emit("CALL", fr, len(node['args']) + 1, 2)
            if target != fr: emit("MOVE", target, fr)
            self.next_reg = fr
        def gen_method_call(node, target):
            fr = self.next_reg; self.next_reg += 1
            br = self.next_reg; self.next_reg += 1
            gen_expr(node['base'], br)
            emit("SELF", fr, br, add_const(node['method']))
            self.next_reg = fr + 2
            for i, arg in enumerate(node['args']):
                ar = self.next_reg; self.next_reg += 1; gen_expr(arg, ar)
            emit("CALL", fr, len(node['args']) + 2, 2)
            if target != fr: emit("MOVE", target, fr)
            self.next_reg = fr
        for node in ast:
            if node['type'] == 'assign':
                vr = self.next_reg; self.next_reg += 1; gen_expr(node['value'], vr)
                if node.get('local'): locals_map[node['name']] = vr
                elif 'target' in node:
                    t = node['target']
                    if t['type'] == 'index':
                        br = self.next_reg; self.next_reg += 1; gen_expr(t['base'], br)
                        if t['key']['type'] == 'STRING':
                            emit("SETTABLE", br, add_const(t['key']['value']), vr)
                        else:
                            kr = self.next_reg; self.next_reg += 1; gen_expr(t['key'], kr)
                            emit("SETTABLE", br, kr, vr); self.next_reg -= 1
                        self.next_reg -= 1
                    elif t['type'] == 'variable':
                        emit("SETGLOBAL", vr, add_const(t['name']))
                else: emit("SETGLOBAL", vr, add_const(node['name']))
            elif node['type'] == 'call': gen_call(node, self.next_reg)
            elif node['type'] == 'method_call': gen_method_call(node, self.next_reg)
            elif node['type'] == 'return':
                vr = self.next_reg; self.next_reg += 1; gen_expr(node['value'], vr)
                emit("RETURN", vr, 2)
                self.next_reg -= 1
        emit("RETURN")
        return {"instructions": instructions, "constants": constants}

    def obfuscate(self, code):
        if not code.strip(): return ""
        try:
            lexer = Lexer(code)
            tokens = lexer.tokenize()
            parser = Parser(tokens)
            ast = parser.parse()
            if not ast: return ""
            bytecode = self.compile_to_bytecode(ast)
            return self.generate_vm_source(bytecode)
        except Exception:
            import traceback
            return f"-- Obfuscation Error: {traceback.format_exc()}"

def obfuscate(code):
    return LuauVMObfuscator().obfuscate(code)