mirror of
https://github.com/luau-lang/luau.git
synced 2024-11-15 14:25:44 +08:00
e5ec0cdff3
## What's changed - `bit32.byteswap` added ([RFC](4f543ec23b/docs/function-bit32-byteswap.md
)) - Buffer library implementation ([RFC](4f543ec23b/docs/type-byte-buffer.md
)) - Fixed a missing `stdint.h` include - Fixed parser limiter for recursive type annotations being kind of weird (fixes #645) ### Native Codegen - Fixed a pair of issues when lowering `bit32.extract` - Fixed a narrow edge case that could result in an infinite loop without an interruption - Fixed a negative array out-of-bounds access issue - Temporarily reverted linear block predecessor value propagation ### New type solver - We now type check assignments to annotated variables - Fixed some test cases under local type inference - Moved `isPending` checks for type families to improve performance - Optimized our process for testing if a free type is sufficiently solved - Removed "none ptr" from lea instruction disassembly logging ### Build system & tooling - CMake configuration now validates dependencies to maintain separation between components - Improvements to the fuzzer coverage - Deduplicator for fuzzed callstacks --------- Co-authored-by: Arseny Kapoulkine <arseny.kapoulkine@gmail.com> Co-authored-by: Vyacheslav Egorov <vegorov@roblox.com> Co-authored-by: Andy Friesen <afriesen@roblox.com> Co-authored-by: Aaron Weiss <aaronweiss@roblox.com> Co-authored-by: Vighnesh Vijay <vvijay@roblox.com>
145 lines
5.7 KiB
C
145 lines
5.7 KiB
C
// This file is part of the Luau programming language and is licensed under MIT License; see LICENSE.txt for details
|
|
// This code is based on Lua 5.x implementation licensed under MIT License; see lua_LICENSE.txt for details
|
|
#pragma once
|
|
|
|
#include "lua.h"
|
|
|
|
#define luaL_error(L, fmt, ...) luaL_errorL(L, fmt, ##__VA_ARGS__)
|
|
#define luaL_typeerror(L, narg, tname) luaL_typeerrorL(L, narg, tname)
|
|
#define luaL_argerror(L, narg, extramsg) luaL_argerrorL(L, narg, extramsg)
|
|
|
|
struct luaL_Reg
|
|
{
|
|
const char* name;
|
|
lua_CFunction func;
|
|
};
|
|
typedef struct luaL_Reg luaL_Reg;
|
|
|
|
LUALIB_API void luaL_register(lua_State* L, const char* libname, const luaL_Reg* l);
|
|
LUALIB_API int luaL_getmetafield(lua_State* L, int obj, const char* e);
|
|
LUALIB_API int luaL_callmeta(lua_State* L, int obj, const char* e);
|
|
LUALIB_API l_noret luaL_typeerrorL(lua_State* L, int narg, const char* tname);
|
|
LUALIB_API l_noret luaL_argerrorL(lua_State* L, int narg, const char* extramsg);
|
|
LUALIB_API const char* luaL_checklstring(lua_State* L, int numArg, size_t* l);
|
|
LUALIB_API const char* luaL_optlstring(lua_State* L, int numArg, const char* def, size_t* l);
|
|
LUALIB_API double luaL_checknumber(lua_State* L, int numArg);
|
|
LUALIB_API double luaL_optnumber(lua_State* L, int nArg, double def);
|
|
|
|
LUALIB_API int luaL_checkboolean(lua_State* L, int narg);
|
|
LUALIB_API int luaL_optboolean(lua_State* L, int narg, int def);
|
|
|
|
LUALIB_API int luaL_checkinteger(lua_State* L, int numArg);
|
|
LUALIB_API int luaL_optinteger(lua_State* L, int nArg, int def);
|
|
LUALIB_API unsigned luaL_checkunsigned(lua_State* L, int numArg);
|
|
LUALIB_API unsigned luaL_optunsigned(lua_State* L, int numArg, unsigned def);
|
|
|
|
LUALIB_API const float* luaL_checkvector(lua_State* L, int narg);
|
|
LUALIB_API const float* luaL_optvector(lua_State* L, int narg, const float* def);
|
|
|
|
LUALIB_API void luaL_checkstack(lua_State* L, int sz, const char* msg);
|
|
LUALIB_API void luaL_checktype(lua_State* L, int narg, int t);
|
|
LUALIB_API void luaL_checkany(lua_State* L, int narg);
|
|
|
|
LUALIB_API int luaL_newmetatable(lua_State* L, const char* tname);
|
|
LUALIB_API void* luaL_checkudata(lua_State* L, int ud, const char* tname);
|
|
|
|
LUALIB_API void* luaL_checkbuffer(lua_State* L, int narg, size_t* len);
|
|
|
|
LUALIB_API void luaL_where(lua_State* L, int lvl);
|
|
LUALIB_API LUA_PRINTF_ATTR(2, 3) l_noret luaL_errorL(lua_State* L, const char* fmt, ...);
|
|
|
|
LUALIB_API int luaL_checkoption(lua_State* L, int narg, const char* def, const char* const lst[]);
|
|
|
|
LUALIB_API const char* luaL_tolstring(lua_State* L, int idx, size_t* len);
|
|
|
|
LUALIB_API lua_State* luaL_newstate(void);
|
|
|
|
LUALIB_API const char* luaL_findtable(lua_State* L, int idx, const char* fname, int szhint);
|
|
|
|
LUALIB_API const char* luaL_typename(lua_State* L, int idx);
|
|
|
|
/*
|
|
** ===============================================================
|
|
** some useful macros
|
|
** ===============================================================
|
|
*/
|
|
|
|
#define luaL_argcheck(L, cond, arg, extramsg) ((void)((cond) ? (void)0 : luaL_argerror(L, arg, extramsg)))
|
|
#define luaL_argexpected(L, cond, arg, tname) ((void)((cond) ? (void)0 : luaL_typeerror(L, arg, tname)))
|
|
|
|
#define luaL_checkstring(L, n) (luaL_checklstring(L, (n), NULL))
|
|
#define luaL_optstring(L, n, d) (luaL_optlstring(L, (n), (d), NULL))
|
|
|
|
#define luaL_getmetatable(L, n) (lua_getfield(L, LUA_REGISTRYINDEX, (n)))
|
|
|
|
#define luaL_opt(L, f, n, d) (lua_isnoneornil(L, (n)) ? (d) : f(L, (n)))
|
|
|
|
// generic buffer manipulation
|
|
|
|
struct luaL_Strbuf
|
|
{
|
|
char* p; // current position in buffer
|
|
char* end; // end of the current buffer
|
|
lua_State* L;
|
|
struct TString* storage;
|
|
char buffer[LUA_BUFFERSIZE];
|
|
};
|
|
typedef struct luaL_Strbuf luaL_Strbuf;
|
|
|
|
// compatibility typedef: this type is called luaL_Buffer in Lua headers
|
|
// renamed to luaL_Strbuf to reduce confusion with internal VM buffer type
|
|
typedef struct luaL_Strbuf luaL_Buffer;
|
|
|
|
// when internal buffer storage is exhausted, a mutable string value 'storage' will be placed on the stack
|
|
// in general, functions expect the mutable string buffer to be placed on top of the stack (top-1)
|
|
// with the exception of luaL_addvalue that expects the value at the top and string buffer further away (top-2)
|
|
|
|
#define luaL_addchar(B, c) ((void)((B)->p < (B)->end || luaL_prepbuffsize(B, 1)), (*(B)->p++ = (char)(c)))
|
|
#define luaL_addstring(B, s) luaL_addlstring(B, s, strlen(s))
|
|
|
|
LUALIB_API void luaL_buffinit(lua_State* L, luaL_Strbuf* B);
|
|
LUALIB_API char* luaL_buffinitsize(lua_State* L, luaL_Strbuf* B, size_t size);
|
|
LUALIB_API char* luaL_prepbuffsize(luaL_Buffer* B, size_t size);
|
|
LUALIB_API void luaL_addlstring(luaL_Strbuf* B, const char* s, size_t l);
|
|
LUALIB_API void luaL_addvalue(luaL_Strbuf* B);
|
|
LUALIB_API void luaL_addvalueany(luaL_Strbuf* B, int idx);
|
|
LUALIB_API void luaL_pushresult(luaL_Strbuf* B);
|
|
LUALIB_API void luaL_pushresultsize(luaL_Strbuf* B, size_t size);
|
|
|
|
// builtin libraries
|
|
LUALIB_API int luaopen_base(lua_State* L);
|
|
|
|
#define LUA_COLIBNAME "coroutine"
|
|
LUALIB_API int luaopen_coroutine(lua_State* L);
|
|
|
|
#define LUA_TABLIBNAME "table"
|
|
LUALIB_API int luaopen_table(lua_State* L);
|
|
|
|
#define LUA_OSLIBNAME "os"
|
|
LUALIB_API int luaopen_os(lua_State* L);
|
|
|
|
#define LUA_STRLIBNAME "string"
|
|
LUALIB_API int luaopen_string(lua_State* L);
|
|
|
|
#define LUA_BITLIBNAME "bit32"
|
|
LUALIB_API int luaopen_bit32(lua_State* L);
|
|
|
|
#define LUA_BUFFERLIBNAME "buffer"
|
|
LUALIB_API int luaopen_buffer(lua_State* L);
|
|
|
|
#define LUA_UTF8LIBNAME "utf8"
|
|
LUALIB_API int luaopen_utf8(lua_State* L);
|
|
|
|
#define LUA_MATHLIBNAME "math"
|
|
LUALIB_API int luaopen_math(lua_State* L);
|
|
|
|
#define LUA_DBLIBNAME "debug"
|
|
LUALIB_API int luaopen_debug(lua_State* L);
|
|
|
|
// open all builtin libraries
|
|
LUALIB_API void luaL_openlibs(lua_State* L);
|
|
|
|
// sandbox libraries and globals
|
|
LUALIB_API void luaL_sandbox(lua_State* L);
|
|
LUALIB_API void luaL_sandboxthread(lua_State* L);
|