luau/tests
Vighnesh 906a00d498 Sync to upstream/release/655
* General
- Fix the benchmark require wrapper function to work in Lua
- Fix memory leak in the new Luau C API test

* New Solver
- Luau: type functions should be able to signal whether or not irreducibility is due to an error
- Do not generate extra expansion constraint for uninvoked user-defined type functions
- Print in a user-defined type function should be reported as an error
instead of logging to stdout
- Many e-graphs bugfixes and performance improvements
- Many general bugfixes and improvements to the new solver as a whole
- Fixed issue with Luau used-defined type functions not having all environments initialized
- Infer types of globals under new type solver

* Fragment Autocomplete
- Miscellaneous fixes to make interop with the old solver better

* Runtime
- Support disabling specific Luau built-in functions from being
fast-called or constant-evaluated
- Added constant folding for vector arithmetic
- Added constant propagation and type inference for Vector3 globals

----------------------------------------------------------
9 contributors:

Co-authored-by: Aaron Weiss <aaronweiss@roblox.com>
Co-authored-by: Andy Friesen <afriesen@roblox.com>
Co-authored-by: Aviral Goel <agoel@roblox.com>
Co-authored-by: Daniel Angel <danielangel@roblox.com>
Co-authored-by: Jonathan Kelaty <jkelaty@roblox.com>
Co-authored-by: Hunter Goldstein <hgoldstein@roblox.com>
Co-authored-by: Varun Saini <vsaini@roblox.com>
Co-authored-by: Vighnesh Vijay <vvijay@roblox.com>
Co-authored-by: Vyacheslav Egorov <vegorov@roblox.com>
2024-12-13 11:20:43 -08:00
..
conformance Sync to upstream/release/654 2024-12-02 15:02:24 -08:00
require Sync to upstream/release/652 2024-11-15 11:37:29 -08:00
AnyTypeSummary.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
AssemblyBuilderA64.test.cpp Sync to upstream/release/653 2024-11-22 12:37:17 -08:00
AssemblyBuilderX64.test.cpp Sync to upstream/release/653 2024-11-22 12:37:17 -08:00
AstJsonEncoder.test.cpp Sync to version/652 2024-11-08 11:01:20 -08:00
AstQuery.test.cpp Sync to upstream/release/650 2024-11-01 09:47:10 -07:00
AstQueryDsl.cpp Sync to upstream/release/549 2022-10-14 01:59:53 +03:00
AstQueryDsl.h Sync to upstream/release/549 2022-10-14 01:59:53 +03:00
AstVisitor.test.cpp Sync to upstream/release/501 (#20) 2021-11-03 10:15:50 -07:00
Autocomplete.test.cpp Sync to version/652 2024-11-08 11:01:20 -08:00
BuiltinDefinitions.test.cpp Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
ClassFixture.cpp Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
ClassFixture.h Sync to upstream/release/600 2023-10-20 13:36:26 -07:00
CodeAllocator.test.cpp Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
Compiler.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
Config.test.cpp Sync to version/652 2024-11-08 11:01:20 -08:00
Conformance.test.cpp Sync to upstream/release/653 2024-11-22 12:37:17 -08:00
ConformanceIrHooks.h Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
ConstraintGeneratorFixture.cpp Sync to version/652 2024-11-08 11:01:20 -08:00
ConstraintGeneratorFixture.h Sync to version/652 2024-11-08 11:01:20 -08:00
ConstraintSolver.test.cpp Sync release to upstream/release/641 2024-08-30 12:28:44 -07:00
CostModel.test.cpp Sync to upstream/release/591 2023-08-18 10:06:29 -07:00
DataFlowGraph.test.cpp Sync release to upstream/release/641 2024-08-30 12:28:44 -07:00
DenseHash.test.cpp Sync to upstream/release/562 2023-02-03 14:34:12 +02:00
DiffAsserts.cpp Sync to upstream/release/600 2023-10-20 13:36:26 -07:00
DiffAsserts.h Sync to upstream/release/613 2024-02-16 03:25:31 +02:00
Differ.test.cpp Sync to upstream/release/650 2024-11-01 09:47:10 -07:00
EqSat.language.test.cpp Sync to version/652 2024-11-08 11:01:20 -08:00
EqSat.propositional.test.cpp Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
EqSat.slice.test.cpp Sync to upstream/release/635 2024-07-19 10:21:40 -07:00
EqSatSimplification.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
Error.test.cpp Sync release to upstream/release/641 2024-08-30 12:28:44 -07:00
Fixture.cpp Sync to upstream/release/653 2024-11-22 12:37:17 -08:00
Fixture.h Sync to upstream/release/654 2024-12-02 15:02:24 -08:00
FragmentAutocomplete.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
Frontend.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
Generalization.test.cpp Sync release to upstream/release/641 2024-08-30 12:28:44 -07:00
InsertionOrderedMap.test.cpp Sync to upstream/release/580 2023-06-09 15:20:36 +03:00
Instantiation2.test.cpp Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
IostreamOptional.h Sync to upstream/release/603 2023-11-10 10:05:48 -08:00
IrBuilder.test.cpp Sync to upstream/release/654 2024-12-02 15:02:24 -08:00
IrCallWrapperX64.test.cpp Sync to upstream/release/601 2023-10-27 12:33:36 -07:00
IrLowering.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
IrRegAllocX64.test.cpp Sync to upstream/release/595 2023-09-15 09:27:45 -07:00
JsonEmitter.test.cpp Sync to upstream/release/543 2022-09-01 16:00:14 -07:00
Lexer.test.cpp Sync to upstream/release/629 2024-06-07 10:09:03 -07:00
Linter.test.cpp Sync to upstream/release/653 2024-11-22 12:37:17 -08:00
LValue.test.cpp Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
main.cpp Sync to upstream/release/652 2024-11-15 11:37:29 -08:00
Module.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
NonstrictMode.test.cpp Sync to upstream/release/650 2024-11-01 09:47:10 -07:00
NonStrictTypeChecker.test.cpp Sync to upstream/release/652 2024-11-15 11:37:29 -08:00
Normalize.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
NotNull.test.cpp Sync to upstream/release/555 2022-12-02 12:46:05 +02:00
Parser.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
RegisterCallbacks.cpp Sync to upstream/release/594 2023-09-07 16:28:45 -07:00
RegisterCallbacks.h Sync to upstream/release/594 2023-09-07 16:28:45 -07:00
Repl.test.cpp Sync to upstream/release/648 2024-10-18 18:08:01 +03:00
RequireByString.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
RequireTracer.test.cpp Sync to upstream/release/515 2022-02-17 16:41:20 -08:00
RuntimeLimits.test.cpp Sync to upstream/release/650 2024-11-01 09:47:10 -07:00
ScopedFlags.h Sync to upstream/release/616 2024-03-08 15:57:12 -08:00
Set.test.cpp Sync to upstream/release/625 2024-05-10 09:17:09 -07:00
SharedCodeAllocator.test.cpp Sync to upstream/release/648 2024-10-18 18:08:01 +03:00
Simplify.test.cpp Sync release to upstream/release/641 2024-08-30 12:28:44 -07:00
StringUtils.test.cpp Sync to upstream/release/588 2023-07-28 14:37:00 +03:00
Subtyping.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
Symbol.test.cpp Sync release to upstream/release/641 2024-08-30 12:28:44 -07:00
ToDot.test.cpp Sync to upstream/release/653 2024-11-22 12:37:17 -08:00
TopoSort.test.cpp Sync to upstream/release/523 2022-04-14 14:57:15 -07:00
ToString.test.cpp Sync to upstream/release/653 2024-11-22 12:37:17 -08:00
Transpiler.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
TxnLog.test.cpp Sync release to upstream/release/641 2024-08-30 12:28:44 -07:00
TypeFunction.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
TypeFunction.user.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
TypeInfer.aliases.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
TypeInfer.annotations.test.cpp Sync release to upstream/release/641 2024-08-30 12:28:44 -07:00
TypeInfer.anyerror.test.cpp Sync release to upstream/release/641 2024-08-30 12:28:44 -07:00
TypeInfer.builtins.test.cpp Sync to upstream/release/652 2024-11-15 11:37:29 -08:00
TypeInfer.cfa.test.cpp Sync to upstream/release/636 2024-07-25 17:10:42 -07:00
TypeInfer.classes.test.cpp Sync to upstream/release/650 2024-11-01 09:47:10 -07:00
TypeInfer.definitions.test.cpp Sync to upstream/release/650 2024-11-01 09:47:10 -07:00
TypeInfer.functions.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
TypeInfer.generics.test.cpp Sync to upstream/release/650 2024-11-01 09:47:10 -07:00
TypeInfer.intersectionTypes.test.cpp Sync to upstream/release/650 2024-11-01 09:47:10 -07:00
TypeInfer.loops.test.cpp Sync to upstream/release/650 2024-11-01 09:47:10 -07:00
TypeInfer.modules.test.cpp Sync to upstream/release/654 2024-12-02 15:02:24 -08:00
TypeInfer.negations.test.cpp Sync release to upstream/release/641 2024-08-30 12:28:44 -07:00
TypeInfer.oop.test.cpp Sync to upstream/release/650 2024-11-01 09:47:10 -07:00
TypeInfer.operators.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
TypeInfer.primitives.test.cpp Sync to upstream/release/654 2024-12-02 15:02:24 -08:00
TypeInfer.provisional.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
TypeInfer.refinements.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
TypeInfer.singletons.test.cpp Sync to upstream/release/650 2024-11-01 09:47:10 -07:00
TypeInfer.tables.test.cpp Sync to upstream/release/653 2024-11-22 12:37:17 -08:00
TypeInfer.test.cpp Sync to upstream/release/655 2024-12-13 11:20:43 -08:00
TypeInfer.tryUnify.test.cpp Sync to upstream/release/650 2024-11-01 09:47:10 -07:00
TypeInfer.typePacks.test.cpp Sync to upstream/release/650 2024-11-01 09:47:10 -07:00
TypeInfer.typestates.test.cpp Sync release to upstream/release/641 2024-08-30 12:28:44 -07:00
TypeInfer.unionTypes.test.cpp Sync to upstream/release/652 2024-11-15 11:37:29 -08:00
TypeInfer.unknownnever.test.cpp Sync release to upstream/release/641 2024-08-30 12:28:44 -07:00
TypePack.test.cpp Sync to upstream/release/653 2024-11-22 12:37:17 -08:00
TypePath.test.cpp Sync to upstream/release/650 2024-11-01 09:47:10 -07:00
TypeVar.test.cpp Sync release to upstream/release/641 2024-08-30 12:28:44 -07:00
Unifier2.test.cpp Sync release to upstream/release/641 2024-08-30 12:28:44 -07:00
Variant.test.cpp Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
VecDeque.test.cpp Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
VisitType.test.cpp Sync release to upstream/release/641 2024-08-30 12:28:44 -07:00