mirror of
https://github.com/luau-lang/luau.git
synced 2025-04-05 03:10:54 +01:00
c2ba1058c3
# What's changed? - Record the location of properties for table types (closes #802) - Implement stricter UTF-8 validations as per the RFC (https://github.com/luau-lang/rfcs/pull/1) - Implement `buffer` as a new type in both the old and new solvers. - Changed errors produced by some `buffer` builtins to be a bit more generic to avoid platform-dependent error messages. - Fixed a bug where `Unifier` would copy some persistent types, tripping some internal assertions. - Type checking rules on relational operators is now a little bit more lax. - Improve dead code elimination for some `if` statements with complex always-false conditions ## New type solver - Dataflow analysis now generates phi nodes on exit of branches. - Dataflow analysis avoids producing a new definition for locals or properties that are not owned by that loop. - If a function parameter has been constrained to `never`, report errors at all uses of that parameter within that function. - Switch to using the new `Luau::Set` to replace `std::unordered_set` to alleviate some poor allocation characteristics which was negatively affecting overall performance. - Subtyping can now report many failing reasons instead of just the first one that we happened to find during the test. - Subtyping now also report reasons for type pack mismatches. - When visiting `if` statements or expressions, the resulting context are the common terms in both branches. ## Native codegen - Implement support for `buffer` builtins to its IR for x64 and A64. - Optimized `table.insert` by not inserting a table barrier if it is fastcalled with a constant. ## Internal Contributors Co-authored-by: Aaron Weiss <aaronweiss@roblox.com> Co-authored-by: Alexander McCord <amccord@roblox.com> Co-authored-by: Andy Friesen <afriesen@roblox.com> Co-authored-by: Arseny Kapoulkine <arseny@roblox.com> Co-authored-by: Aviral Goel <agoel@roblox.com> Co-authored-by: Lily Brown <lbrown@roblox.com> Co-authored-by: Vyacheslav Egorov <vegorov@roblox.com>
90 lines
1.9 KiB
C
90 lines
1.9 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/Common.h"
|
|
|
|
#if defined(LUAU_BIG_ENDIAN)
|
|
#include <endian.h>
|
|
#endif
|
|
|
|
#include <string.h>
|
|
|
|
inline uint8_t* writeu8(uint8_t* target, uint8_t value)
|
|
{
|
|
*target = value;
|
|
return target + sizeof(value);
|
|
}
|
|
|
|
inline uint8_t* writeu16(uint8_t* target, uint16_t value)
|
|
{
|
|
#if defined(LUAU_BIG_ENDIAN)
|
|
value = htole16(value);
|
|
#endif
|
|
|
|
memcpy(target, &value, sizeof(value));
|
|
return target + sizeof(value);
|
|
}
|
|
|
|
inline uint8_t* writeu32(uint8_t* target, uint32_t value)
|
|
{
|
|
#if defined(LUAU_BIG_ENDIAN)
|
|
value = htole32(value);
|
|
#endif
|
|
|
|
memcpy(target, &value, sizeof(value));
|
|
return target + sizeof(value);
|
|
}
|
|
|
|
inline uint8_t* writeu64(uint8_t* target, uint64_t value)
|
|
{
|
|
#if defined(LUAU_BIG_ENDIAN)
|
|
value = htole64(value);
|
|
#endif
|
|
|
|
memcpy(target, &value, sizeof(value));
|
|
return target + sizeof(value);
|
|
}
|
|
|
|
inline uint8_t* writeuleb128(uint8_t* target, uint64_t value)
|
|
{
|
|
do
|
|
{
|
|
uint8_t byte = value & 0x7f;
|
|
value >>= 7;
|
|
|
|
if (value)
|
|
byte |= 0x80;
|
|
|
|
*target++ = byte;
|
|
} while (value);
|
|
|
|
return target;
|
|
}
|
|
|
|
inline uint8_t* writef32(uint8_t* target, float value)
|
|
{
|
|
#if defined(LUAU_BIG_ENDIAN)
|
|
static_assert(sizeof(float) == sizeof(uint32_t), "type size must match to reinterpret data");
|
|
uint32_t data;
|
|
memcpy(&data, &value, sizeof(value));
|
|
writeu32(target, data);
|
|
#else
|
|
memcpy(target, &value, sizeof(value));
|
|
#endif
|
|
|
|
return target + sizeof(value);
|
|
}
|
|
|
|
inline uint8_t* writef64(uint8_t* target, double value)
|
|
{
|
|
#if defined(LUAU_BIG_ENDIAN)
|
|
static_assert(sizeof(double) == sizeof(uint64_t), "type size must match to reinterpret data");
|
|
uint64_t data;
|
|
memcpy(&data, &value, sizeof(value));
|
|
writeu64(target, data);
|
|
#else
|
|
memcpy(target, &value, sizeof(value));
|
|
#endif
|
|
|
|
return target + sizeof(value);
|
|
}
|