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/589 #1000

Merged
merged 155 commits into from
Aug 4, 2023
Merged

Sync to upstream/release/589 #1000

merged 155 commits into from
Aug 4, 2023

Conversation

andyfriesen
Copy link
Collaborator

  • 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

andyfriesen and others added 27 commits June 2, 2023 11:17
…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
@andyfriesen andyfriesen merged commit 0b2755f into master Aug 4, 2023
6 checks passed
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.

None yet

3 participants