11 commits

Author	SHA1	Message	Date
Lily Brown	551a43c424	Sync to upstream/release/593 (#1024) ... - Updated Roblox copyright to 2023 - Floor division operator `//` (implements #832) - Autocomplete now shows `end` within `do` blocks - Restore BraceType when using `Lexer::lookahead` (fixes #1019) # New typechecker - Subtyping tests between metatables and tables - Subtyping tests between string singletons and tables - Subtyping tests for class types # Native codegen - Fixed macOS test failure (wrong spill restore offset) - Fixed clobbering of non-volatile xmm registers on Windows - Fixed wrong storage location of SSA reg spills - Implemented A64 support for add/sub extended - Eliminated zextReg from A64 lowering - Remove identical table slot lookups - Propagate values from predecessor into the linear block - Disabled reuse slot optimization - Keep `LuaNode::val` check for nil when optimizing `CHECK_SLOT_MATCH` - Implemented IR translation of `table.insert` builtin - Fixed mmap error handling on macOS/Linux # Tooling - Used `|` as a column separator instead of `+` in `bench.py` - Added a `table.sort` micro-benchmark - Switched `libprotobuf-mutator` to a less problematic version	2023-09-01 10:58:27 -07:00
Andy Friesen	0b2755f964	Sync to upstream/release/589 (#1000) ... * Progress toward a diffing algorithm for types. We hope that this will be useful for writing clearer error messages. * Add a missing recursion limiter in `Unifier::tryUnifyTables`. This was causing a crash in certain situations. * Luau heap graph enumeration improvements: * Weak references are not reported * Added tag as a fallback name of non-string table links * Included top Luau function information in thread name to understand where thread might be suspended * Constant folding for `math.pi` and `math.huge` at -O2 * Optimize `string.format` and `%*` * This change makes string interpolation 1.5x-2x faster depending on the number and type of formatted components, assuming a few are using primitive types, and reduces associated GC pressure. New type checker: * Initial work toward tracking the upper and lower bounds of types accurately. Native code generation (JIT): * Add IrCmd::CHECK_TRUTHY for improved assert fast-calls * Do not compute type map for modules without types * Capture metatable+readonly state for NEW_TABLE IR instructions * Replace JUMP_CMP_ANY with CMP_ANY and existing JUMP_EQ_INT * Add support for exits to VM with reentry lock in VmExit --------- Co-authored-by: Arseny Kapoulkine <arseny.kapoulkine@gmail.com> Co-authored-by: Vyacheslav Egorov <vegorov@roblox.com>	2023-08-04 12:18:54 -07:00
Arseny Kapoulkine	59fd9de485	Sync to upstream/release/546 (#681)	2022-09-23 12:17:25 -07:00
boyned//Kampfkarren	da9d8e8c60	String interpolation (#614) ... Implements the string interpolation RFC (#165). Adds the string interpolation as per the RFC. ```lua local name = "world" print(`Hello {name}!`) -- Hello world! ``` Co-authored-by: Arseny Kapoulkine <arseny.kapoulkine@gmail.com> Co-authored-by: Alexander McCord <11488393+alexmccord@users.noreply.github.com>	2022-08-24 12:01:00 -07:00
Arseny Kapoulkine	5b2e39c922	Sync to upstream/release/536 (#592)	2022-07-14 15:52:26 -07:00
Arseny Kapoulkine	f5923aefeb	Sync to upstream/release/527 (#491)	2022-05-19 17:02:24 -07:00
Arseny Kapoulkine	a36b1eb29b	Sync to upstream/release/527 (#481)	2022-05-13 12:36:37 -07:00
Arseny Kapoulkine	e9cc76a3d5	Sync to upstream/release/526 (#477)	2022-05-05 17:03:43 -07:00
Arseny Kapoulkine	e0a6461173	Sync to upstream/release/524 (#462)	2022-04-21 14:44:27 -07:00
Arseny Kapoulkine	de1381e3f1	Sync to upstream/release/522 (#450)	2022-04-07 14:29:01 -07:00
Arseny Kapoulkine	32c39e2162	Sync to upstream/release/510 (#313)	2022-01-14 08:20:09 -08:00