mirror of
https://github.com/luau-lang/luau.git
synced 2025-05-04 10:33:46 +01:00
e25b0a6275
* Fix a use-after-free bug in the new type cloning algorithm
* Tighten up the type of `coroutine.wrap`. It is now `<A..., R...>(f:
(A...) -> R...) -> ((A...) -> R...)`
* Break `.luaurc` out into a separate library target `Luau.Config`. This
makes it easier for applications to reason about config files without
also depending on the type inference engine.
* Move typechecking limits into `FrontendOptions`. This allows embedders
more finely-grained control over autocomplete's internal time limits.
* Fix stability issue with debugger onprotectederror callback allowing
break in non-yieldable contexts
New solver:
* Initial work toward [Local Type
Inference](0e1082108f/rfcs/local-type-inference.md)
* Introduce a new subtyping test. This will be much nicer than the old
test because it is completely separate both from actual type inference
and from error reporting.
Native code generation:
* Added function to compute iterated dominance frontier
* Optimize barriers in SET_UPVALUE when tag is known
* Cache lua_State::global in a register on A64
* Optimize constant stores in A64 lowering
* Track table array size state to optimize array size checks
* Add split tag/value store into a VM register
* Check that spills can outlive the block only in specific conditions
---------
Co-authored-by: Arseny Kapoulkine <arseny.kapoulkine@gmail.com>
Co-authored-by: Vyacheslav Egorov <vegorov@roblox.com>
91 lines
2.1 KiB
C++
91 lines
2.1 KiB
C++
// This file is part of the Luau programming language and is licensed under MIT License; see LICENSE.txt for details
|
|
#pragma once
|
|
|
|
#include "Luau/AssemblyBuilderX64.h"
|
|
#include "Luau/DenseHash.h"
|
|
#include "Luau/IrData.h"
|
|
#include "Luau/IrRegAllocX64.h"
|
|
|
|
#include "IrValueLocationTracking.h"
|
|
|
|
#include <vector>
|
|
|
|
struct Proto;
|
|
|
|
namespace Luau
|
|
{
|
|
namespace CodeGen
|
|
{
|
|
|
|
struct ModuleHelpers;
|
|
struct AssemblyOptions;
|
|
|
|
namespace X64
|
|
{
|
|
|
|
struct IrLoweringX64
|
|
{
|
|
IrLoweringX64(AssemblyBuilderX64& build, ModuleHelpers& helpers, IrFunction& function);
|
|
|
|
void lowerInst(IrInst& inst, uint32_t index, const IrBlock& next);
|
|
void finishBlock(const IrBlock& curr, const IrBlock& next);
|
|
void finishFunction();
|
|
|
|
bool hasError() const;
|
|
|
|
bool isFallthroughBlock(const IrBlock& target, const IrBlock& next);
|
|
void jumpOrFallthrough(IrBlock& target, const IrBlock& next);
|
|
|
|
Label& getTargetLabel(IrOp op, Label& fresh);
|
|
void finalizeTargetLabel(IrOp op, Label& fresh);
|
|
|
|
void jumpOrAbortOnUndef(ConditionX64 cond, IrOp target, const IrBlock& next);
|
|
void jumpOrAbortOnUndef(IrOp target, const IrBlock& next);
|
|
|
|
void storeDoubleAsFloat(OperandX64 dst, IrOp src);
|
|
|
|
// Operand data lookup helpers
|
|
OperandX64 memRegDoubleOp(IrOp op);
|
|
OperandX64 memRegUintOp(IrOp op);
|
|
OperandX64 memRegTagOp(IrOp op);
|
|
RegisterX64 regOp(IrOp op);
|
|
|
|
IrConst constOp(IrOp op) const;
|
|
uint8_t tagOp(IrOp op) const;
|
|
int intOp(IrOp op) const;
|
|
unsigned uintOp(IrOp op) const;
|
|
double doubleOp(IrOp op) const;
|
|
|
|
IrBlock& blockOp(IrOp op) const;
|
|
Label& labelOp(IrOp op) const;
|
|
|
|
struct InterruptHandler
|
|
{
|
|
Label self;
|
|
unsigned int pcpos;
|
|
Label next;
|
|
};
|
|
|
|
struct ExitHandler
|
|
{
|
|
Label self;
|
|
unsigned int pcpos;
|
|
};
|
|
|
|
AssemblyBuilderX64& build;
|
|
ModuleHelpers& helpers;
|
|
|
|
IrFunction& function;
|
|
|
|
IrRegAllocX64 regs;
|
|
|
|
IrValueLocationTracking valueTracker;
|
|
|
|
std::vector<InterruptHandler> interruptHandlers;
|
|
std::vector<ExitHandler> exitHandlers;
|
|
DenseHashMap<uint32_t, uint32_t> exitHandlerMap;
|
|
};
|
|
|
|
} // namespace X64
|
|
} // namespace CodeGen
|
|
} // namespace Luau
|