luau/VM/src
aaron ae459a0197
Sync to upstream/release/616 (#1184)
# What's Changed

* Add a compiler hint to improve Luau memory allocation inlining

### New Type Solver

* Added a system for recommending explicit type annotations to users in
cases where we've inferred complex generic types with type families.
* Marked string library functions as `@checked` for use in new
non-strict mode.
* Fixed a bug with new non-strict mode where we would incorrectly report
arity mismatches when missing optional arguments.
* Implement an occurs check for unifications that would produce
self-recursive types.
* Fix bug where overload resolution would fail when applied to
non-overloaded functions.
* Fix bug that caused the subtyping to report an error whenever a
generic was instantiated in an invariant context.
* Fix crash caused by `SetPropConstraint` not blocking properly.

### Native Code Generation

* Implement optimization to eliminate dead stores
* Optimize vector ops for X64 when the source is computed (thanks,
@zeux!)
* Use more efficient lowering for UNM_* (thanks, @zeux!)

---

### 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: David Cope <dcope@roblox.com>
Co-authored-by: Lily Brown <lbrown@roblox.com>
Co-authored-by: Vyacheslav Egorov <vegorov@roblox.com>

---------

Co-authored-by: Alexander McCord <amccord@roblox.com>
Co-authored-by: Andy Friesen <afriesen@roblox.com>
Co-authored-by: Vighnesh <vvijay@roblox.com>
Co-authored-by: Aviral Goel <agoel@roblox.com>
Co-authored-by: David Cope <dcope@roblox.com>
Co-authored-by: Lily Brown <lbrown@roblox.com>
Co-authored-by: Vyacheslav Egorov <vegorov@roblox.com>
2024-03-08 16:47:53 -08:00
..
lapi.cpp Add tagged lightuserdata (#1087) 2023-12-14 15:05:51 -08:00
lapi.h Sync to upstream/release/501 (#20) 2021-11-01 14:52:34 -07:00
laux.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
lbaselib.cpp Sync to upstream/release/539 (#625) 2022-08-04 15:35:33 -07:00
lbitlib.cpp Sync to upstream/release/608 (#1145) 2024-01-12 14:25:27 -08:00
lbuffer.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
lbuffer.h Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
lbuflib.cpp Sync to upstream/release/608 (#1145) 2024-01-12 14:25:27 -08:00
lbuiltins.cpp Sync to upstream/release/602 (#1089) 2023-11-03 16:45:04 -07:00
lbuiltins.h Sync to upstream/release/551 (#727) 2022-10-28 03:37:29 -07:00
lbytecode.h Sync to upstream/release/529 (#505) 2022-05-26 15:08:16 -07:00
lcommon.h Sync to upstream/release/539 (#625) 2022-08-04 15:35:33 -07:00
lcorolib.cpp Sync to upstream/release/544 (#669) 2022-09-08 15:14:25 -07:00
ldblib.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
ldebug.cpp Sync to upstream/release/610 (#1154) 2024-01-26 19:20:56 -08:00
ldebug.h Sync to upstream/release/589 (#1000) 2023-08-04 12:18:54 -07:00
ldo.cpp Sync to upstream/release/602 (#1089) 2023-11-03 16:45:04 -07:00
ldo.h Sync to upstream/release/577 (#934) 2023-05-19 12:37:30 -07:00
lfunc.cpp Sync to upstream/release/588 (#992) 2023-07-28 08:13:53 -07:00
lfunc.h Sync to upstream/release/545 (#674) 2022-09-15 15:38:17 -07:00
lgc.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
lgc.h Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
lgcdebug.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
linit.cpp Sync to upstream/release/611 (#1160) 2024-02-02 13:32:42 -08:00
lmathlib.cpp Sync to upstream/release/595 (#1044) 2023-09-15 10:26:59 -07:00
lmem.cpp Sync to upstream/release/616 (#1184) 2024-03-08 16:47:53 -08:00
lmem.h Sync to upstream/release/521 (#443) 2022-03-31 14:01:51 -07:00
lnumprint.cpp Sync to upstream/release/615 (#1175) 2024-03-01 10:45:26 -08:00
lnumutils.h Sync to upstream/release/593 (#1024) 2023-09-01 10:58:27 -07:00
lobject.cpp Sync to upstream/release/615 (#1175) 2024-03-01 10:45:26 -08:00
lobject.h Sync to upstream/release/615 (#1175) 2024-03-01 10:45:26 -08:00
loslib.cpp Sync to upstream/release/603 (#1097) 2023-11-10 13:10:07 -08:00
lperf.cpp Sync to upstream/release/609 (#1150) 2024-01-19 10:04:46 -08:00
lstate.cpp Sync to upstream/release/609 (#1150) 2024-01-19 10:04:46 -08:00
lstate.h Sync to upstream/release/610 (#1154) 2024-01-26 19:20:56 -08:00
lstring.cpp Sync to upstream/release/611 (#1160) 2024-02-02 13:32:42 -08:00
lstring.h Sync to upstream/release/539 (#625) 2022-08-04 15:35:33 -07:00
lstrlib.cpp Sync to upstream/release/615 (#1175) 2024-03-01 10:45:26 -08:00
ltable.cpp Sync to upstream/release/572 (#899) 2023-04-14 11:06:22 -07:00
ltable.h Sync to upstream/release/538 (#616) 2022-07-28 21:24:07 -07:00
ltablib.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
ltm.cpp Sync to upstream/release/615 (#1175) 2024-03-01 10:45:26 -08:00
ltm.h Sync to upstream/release/593 (#1024) 2023-09-01 10:58:27 -07:00
ludata.cpp Add lua_getuserdatadtor (#870) 2023-04-11 12:46:55 -07:00
ludata.h Sync to upstream/release/539 (#625) 2022-08-04 15:35:33 -07:00
lutf8lib.cpp Sync to upstream/release/608 (#1145) 2024-01-12 14:25:27 -08:00
lvm.h Sync to upstream/release/581 (#958) 2023-06-16 10:35:18 -07:00
lvmexecute.cpp Sync to upstream/release/615 (#1175) 2024-03-01 10:45:26 -08:00
lvmload.cpp Sync to upstream/release/609 (#1150) 2024-01-19 10:04:46 -08:00
lvmutils.cpp Sync to upstream/release/615 (#1175) 2024-03-01 10:45:26 -08:00