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

Eliminate tuples from IR and use datatypes instead #329

Open
jasoncarr0 opened this issue Aug 15, 2019 · 0 comments
Open

Eliminate tuples from IR and use datatypes instead #329

jasoncarr0 opened this issue Aug 15, 2019 · 0 comments
Labels

Comments

@jasoncarr0
Copy link
Contributor

With the split types pass, non-interfering usages of datatypes become distinct datatypes. Code was added for #288 that performs an analysis of datatype size, and such code is often quite cheap to run (since the set of datatypes is so small) in practice.

As such, it would be beneficial to remove Tuples from the representations. This has a couple benefits:

  • Simplifies SSA and SSA2 representations and passes
  • Enables optimizations on de-facto tuples and other small datatypes that were previously only performed for bona fide tuple types.
  • Globalizes and names information about tuple structures, improving the speed of datatype analysis, as well as reading, writing and type-checking the IR.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants