mirror of
https://github.com/luau-lang/luau.git
synced 2024-12-14 06:00:39 +00:00
721f6e10fb
Lots of things going on this week: * Fix a crash that could occur in the presence of a cyclic union. We shouldn't be creating cyclic unions, but we shouldn't be crashing when they arise either. * Minor cleanup of `luau_precall` * Internal change to make L->top handling slightly more uniform * Optimize SETGLOBAL & GETGLOBAL fallback C functions. * https://github.com/Roblox/luau/pull/929 * The syntax to the `luau-reduce` commandline tool has changed. It now accepts a script, a command to execute, and an error to search for. It no longer automatically passes the script to the command which makes it a lot more flexible. Also be warned that it edits the script it is passed **in place**. Do not point it at something that is not in source control! New solver * Switch to a greedier but more fallible algorithm for simplifying union and intersection types that are created as part of refinement calculation. This has much better and more predictable performance. * Fix a constraint cycle in recursive function calls. * Much improved inference of binary addition. Functions like `function add(x, y) return x + y end` can now be inferred without annotations. We also accurately typecheck calls to functions like this. * Many small bugfixes surrounding things like table indexers * Add support for indexers on class types. This was previously added to the old solver; we now add it to the new one for feature parity. JIT * https://github.com/Roblox/luau/pull/931 * Fuse key.value and key.tt loads for CEHCK_SLOT_MATCH in A64 * Implement remaining aliases of BFM for A64 * Implement new callinfo flag for A64 * Add instruction simplification for int->num->int conversion chains * Don't even load execdata for X64 calls * Treat opcode fallbacks the same as manually written fallbacks --------- Co-authored-by: Arseny Kapoulkine <arseny.kapoulkine@gmail.com> Co-authored-by: Vyacheslav Egorov <vegorov@roblox.com>
55 lines
2 KiB
C
55 lines
2 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 "lobject.h"
|
|
#include "lstate.h"
|
|
#include "luaconf.h"
|
|
#include "ldebug.h"
|
|
|
|
#define luaD_checkstack(L, n) \
|
|
if ((char*)L->stack_last - (char*)L->top <= (n) * (int)sizeof(TValue)) \
|
|
luaD_growstack(L, n); \
|
|
else \
|
|
condhardstacktests(luaD_reallocstack(L, L->stacksize - EXTRA_STACK));
|
|
|
|
#define incr_top(L) \
|
|
{ \
|
|
luaD_checkstack(L, 1); \
|
|
L->top++; \
|
|
}
|
|
|
|
#define savestack(L, p) ((char*)(p) - (char*)L->stack)
|
|
#define restorestack(L, n) ((TValue*)((char*)L->stack + (n)))
|
|
|
|
#define expandstacklimit(L, p) \
|
|
{ \
|
|
LUAU_ASSERT((p) <= (L)->stack_last); \
|
|
if ((L)->ci->top < (p)) \
|
|
(L)->ci->top = (p); \
|
|
}
|
|
|
|
#define incr_ci(L) ((L->ci == L->end_ci) ? luaD_growCI(L) : (condhardstacktests(luaD_reallocCI(L, L->size_ci)), ++L->ci))
|
|
|
|
#define saveci(L, p) ((char*)(p) - (char*)L->base_ci)
|
|
#define restoreci(L, n) ((CallInfo*)((char*)L->base_ci + (n)))
|
|
|
|
// results from luaD_precall
|
|
#define PCRLUA 0 // initiated a call to a Lua function
|
|
#define PCRC 1 // did a call to a C function
|
|
#define PCRYIELD 2 // C function yielded
|
|
|
|
// type of protected functions, to be ran by `runprotected'
|
|
typedef void (*Pfunc)(lua_State* L, void* ud);
|
|
|
|
LUAI_FUNC CallInfo* luaD_growCI(lua_State* L);
|
|
|
|
LUAI_FUNC void luaD_call(lua_State* L, StkId func, int nresults);
|
|
LUAI_FUNC int luaD_pcall(lua_State* L, Pfunc func, void* u, ptrdiff_t oldtop, ptrdiff_t ef);
|
|
LUAI_FUNC void luaD_reallocCI(lua_State* L, int newsize);
|
|
LUAI_FUNC void luaD_reallocstack(lua_State* L, int newsize);
|
|
LUAI_FUNC void luaD_growstack(lua_State* L, int n);
|
|
LUAI_FUNC void luaD_checkCstack(lua_State* L);
|
|
|
|
LUAI_FUNC l_noret luaD_throw(lua_State* L, int errcode);
|
|
LUAI_FUNC int luaD_rawrunprotected(lua_State* L, Pfunc f, void* ud);
|