Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Sync to upstream/release/593 #1024

Merged
merged 168 commits into from
Sep 1, 2023
Merged

Sync to upstream/release/593 #1024

merged 168 commits into from
Sep 1, 2023

Conversation

AmaranthineCodices
Copy link
Contributor

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

andyfriesen and others added 28 commits July 7, 2023 10:14
…ll 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 solver

* Initial work toward tracking the upper and lower bounds of types more accurately.

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
@AmaranthineCodices AmaranthineCodices merged commit 551a43c into master Sep 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

Inconsistent behaviour in interpolation string parsing with literal and identifier
5 participants