path: root/Master/texmf-dist/tex/context/base/util-lua.lua

if not modules then modules = { } end modules ['util-lua'] = {
    version   = 1.001,
    comment   = "companion to luat-lib.mkiv",
    author    = "Hans Hagen, PRAGMA-ADE, Hasselt NL",
    comment   = "the strip code is written by Peter Cawley",
    copyright = "PRAGMA ADE / ConTeXt Development Team",
    license   = "see context related readme files"
}

-- we will remove the 5.1 code some day soon

local rep, sub, byte, dump, format = string.rep, string.sub, string.byte, string.dump, string.format
local load, loadfile, type = load, loadfile, type

utilities          = utilities or {}
utilities.lua      = utilities.lua or { }
local luautilities = utilities.lua

local report_lua = logs.reporter("system","lua")

local tracestripping           = false
local forcestupidcompile       = true  -- use internal bytecode compiler
luautilities.stripcode         = true  -- support stripping when asked for
luautilities.alwaysstripcode   = false -- saves 1 meg on 7 meg compressed format file (2012.08.12)
luautilities.nofstrippedchunks = 0
luautilities.nofstrippedbytes  = 0
local strippedchunks           = { } -- allocate()
luautilities.strippedchunks    = strippedchunks

luautilities.suffixes = {
    tma = "tma",
    tmc = jit and "tmb" or "tmc",
    lua = "lua",
    luc = jit and "lub" or "luc",
    lui = "lui",
    luv = "luv",
    luj = "luj",
    tua = "tua",
    tuc = "tuc",
}

-- environment.loadpreprocessedfile can be set to a preprocessor

if jit or status.luatex_version >= 74 then

    local function register(name)
        if tracestripping then
            report_lua("stripped bytecode from %a",name or "unknown")
        end
        strippedchunks[#strippedchunks+1] = name
        luautilities.nofstrippedchunks = luautilities.nofstrippedchunks + 1
    end

    local function stupidcompile(luafile,lucfile,strip)
        local code = io.loaddata(luafile)
        if code and code ~= "" then
            code = load(code)
            if code then
                code = dump(code,strip and luautilities.stripcode or luautilities.alwaysstripcode)
                if code and code ~= "" then
                    register(name)
                    io.savedata(lucfile,code)
                    return true, 0
                end
            else
                report_lua("fatal error %a in file %a",1,luafile)
            end
        else
            report_lua("fatal error %a in file %a",2,luafile)
        end
        return false, 0
    end

    -- quite subtle ... doing this wrong incidentally can give more bytes

    function luautilities.loadedluacode(fullname,forcestrip,name)
        -- quite subtle ... doing this wrong incidentally can give more bytes
        name = name or fullname
        local code = environment.loadpreprocessedfile and environment.loadpreprocessedfile(fullname) or loadfile(fullname)
        if code then
            code()
        end
        if forcestrip and luautilities.stripcode then
            if type(forcestrip) == "function" then
                forcestrip = forcestrip(fullname)
            end
            if forcestrip or luautilities.alwaysstripcode then
                register(name)
                return load(dump(code,true)), 0
            else
                return code, 0
            end
        elseif luautilities.alwaysstripcode then
            register(name)
            return load(dump(code,true)), 0
        else
            return code, 0
        end
    end

    function luautilities.strippedloadstring(code,forcestrip,name) -- not executed
        if forcestrip and luautilities.stripcode or luautilities.alwaysstripcode then
            code = load(code)
            if not code then
                report_lua("fatal error %a in file %a",3,name)
            end
            register(name)
            code = dump(code,true)
        end
        return load(code), 0
    end

    function luautilities.compile(luafile,lucfile,cleanup,strip,fallback) -- defaults: cleanup=false strip=true
        report_lua("compiling %a into %a",luafile,lucfile)
        os.remove(lucfile)
        local done = stupidcompile(luafile,lucfile,strip ~= false)
        if done then
            report_lua("dumping %a into %a stripped",luafile,lucfile)
            if cleanup == true and lfs.isfile(lucfile) and lfs.isfile(luafile) then
                report_lua("removing %a",luafile)
                os.remove(luafile)
            end
        end
        return done
    end

    function luautilities.loadstripped(...)
        local l = load(...)
        if l then
            return load(dump(l,true))
        end
    end

else

    -- The next function was posted by Peter Cawley on the lua list and strips line
    -- number information etc. from the bytecode data blob. We only apply this trick
    -- when we store data tables. Stripping makes the compressed format file about
    -- 1MB smaller (and uncompressed we save at least 6MB).
    --
    -- You can consider this feature an experiment, so it might disappear. There is
    -- no noticeable gain in runtime although the memory footprint should be somewhat
    -- smaller (and the file system has a bit less to deal with).
    --
    -- Begin of borrowed code ... works for Lua 5.1 which LuaTeX currently uses ...

    local function register(name,before,after)
        local delta = before - after
        if tracestripping then
            report_lua("bytecodes stripped from %a, # before %s, # after %s, delta %s",name,before,after,delta)
        end
        strippedchunks[#strippedchunks+1] = name
        luautilities.nofstrippedchunks = luautilities.nofstrippedchunks + 1
        luautilities.nofstrippedbytes  = luautilities.nofstrippedbytes  + delta
        return delta
    end

    local strip_code_pc

    if _MAJORVERSION == 5 and _MINORVERSION == 1 then

        strip_code_pc = function(dump,name)
            local before = #dump
            local version, format, endian, int, size, ins, num = byte(dump,5,11)
            local subint
            if endian == 1 then
                subint = function(dump, i, l)
                    local val = 0
                    for n = l, 1, -1 do
                        val = val * 256 + byte(dump,i + n - 1)
                    end
                    return val, i + l
                end
            else
                subint = function(dump, i, l)
                    local val = 0
                    for n = 1, l, 1 do
                        val = val * 256 + byte(dump,i + n - 1)
                    end
                    return val, i + l
                end
            end
            local strip_function
            strip_function = function(dump)
                local count, offset = subint(dump, 1, size)
                local stripped, dirty = rep("\0", size), offset + count
                offset = offset + count + int * 2 + 4
                offset = offset + int + subint(dump, offset, int) * ins
                count, offset = subint(dump, offset, int)
                for n = 1, count do
                    local t
                    t, offset = subint(dump, offset, 1)
                    if t == 1 then
                        offset = offset + 1
                    elseif t == 4 then
                        offset = offset + size + subint(dump, offset, size)
                    elseif t == 3 then
                        offset = offset + num
                    end
                end
                count, offset = subint(dump, offset, int)
                stripped = stripped .. sub(dump,dirty, offset - 1)
                for n = 1, count do
                    local proto, off = strip_function(sub(dump,offset, -1))
                    stripped, offset = stripped .. proto, offset + off - 1
                end
                offset = offset + subint(dump, offset, int) * int + int
                count, offset = subint(dump, offset, int)
                for n = 1, count do
                    offset = offset + subint(dump, offset, size) + size + int * 2
                end
                count, offset = subint(dump, offset, int)
                for n = 1, count do
                    offset = offset + subint(dump, offset, size) + size
                end
                stripped = stripped .. rep("\0", int * 3)
                return stripped, offset
            end
            dump = sub(dump,1,12) .. strip_function(sub(dump,13,-1))
            local after = #dump
            local delta = register(name,before,after)
            return dump, delta
        end

    else

        strip_code_pc = function(dump,name)
            return dump, 0
        end

    end

    -- ... end of borrowed code.

    -- quite subtle ... doing this wrong incidentally can give more bytes

    function luautilities.loadedluacode(fullname,forcestrip,name)
        -- quite subtle ... doing this wrong incidentally can give more bytes
        local code = environment.loadpreprocessedfile and environment.preprocessedloadfile(fullname) or loadfile(fullname)
        if code then
            code()
        end
        if forcestrip and luautilities.stripcode then
            if type(forcestrip) == "function" then
                forcestrip = forcestrip(fullname)
            end
            if forcestrip then
                local code, n = strip_code_pc(dump(code),name)
                return load(code), n
            elseif luautilities.alwaysstripcode then
                return load(strip_code_pc(dump(code),name))
            else
                return code, 0
            end
        elseif luautilities.alwaysstripcode then
            return load(strip_code_pc(dump(code),name))
        else
            return code, 0
        end
    end

    function luautilities.strippedloadstring(code,forcestrip,name) -- not executed
        local n = 0
        if (forcestrip and luautilities.stripcode) or luautilities.alwaysstripcode then
            code = load(code)
            if not code then
                report_lua("fatal error in file %a",name)
            end
            code, n = strip_code_pc(dump(code),name)
        end
        return load(code), n
    end

    local function stupidcompile(luafile,lucfile,strip)
        local code = io.loaddata(luafile)
        local n = 0
        if code and code ~= "" then
            code = load(code)
            if not code then
                report_lua("fatal error in file %a",luafile)
            end
            code = dump(code)
            if strip then
                code, n = strip_code_pc(code,luautilities.stripcode or luautilities.alwaysstripcode,luafile) -- last one is reported
            end
            if code and code ~= "" then
                io.savedata(lucfile,code)
            end
        end
        return n
    end

    local luac_normal = "texluac -o %q %q"
    local luac_strip  = "texluac -s -o %q %q"

    function luautilities.compile(luafile,lucfile,cleanup,strip,fallback) -- defaults: cleanup=false strip=true
        report_lua("compiling %a into %a",luafile,lucfile)
        os.remove(lucfile)
        local done = false
        if strip ~= false then
            strip = true
        end
        if forcestupidcompile then
            fallback = true
        elseif strip then
            done = os.spawn(format(luac_strip, lucfile,luafile)) == 0
        else
            done = os.spawn(format(luac_normal,lucfile,luafile)) == 0
        end
        if not done and fallback then
            local n = stupidcompile(luafile,lucfile,strip)
            if n > 0 then
                report_lua("%a dumped into %a (%i bytes stripped)",luafile,lucfile,n)
            else
                report_lua("%a dumped into %a (unstripped)",luafile,lucfile)
            end
            cleanup = false -- better see how bad it is
            done = true -- hm
        end
        if done and cleanup == true and lfs.isfile(lucfile) and lfs.isfile(luafile) then
            report_lua("removing %a",luafile)
            os.remove(luafile)
        end
        return done
    end

    luautilities.loadstripped = loadstring

end

-- local getmetatable, type = getmetatable, type
--
-- local types = { }
--
-- function luautilities.registerdatatype(d,name)
--     types[getmetatable(d)] = name
-- end
--
-- function luautilities.datatype(d)
--     local t = type(d)
--     if t == "userdata" then
--         local m = getmetatable(d)
--         return m and types[m] or "userdata"
--     else
--         return t
--     end
-- end
--
-- luautilities.registerdatatype(lpeg.P("!"),"lpeg")
--
-- print(luautilities.datatype(lpeg.P("oeps")))