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

next[feature]: Fast compilation #1414

Open
wants to merge 139 commits into
base: inline_lift_extension
Choose a base branch
from

Conversation

tehrengruber
Copy link
Contributor

@tehrengruber tehrengruber commented Jan 12, 2024

Very experimental! Scans are completely broken.

tehrengruber and others added 10 commits March 21, 2024 01:44
…1490)

Change NamedRange and NamedIndex from being a plain tuple to a
NamedTuple for cleaner element access.

---------

Co-authored-by: Hannes Vogt <hannes@havogt.de>
Co-authored-by: Enrique González Paredes <enriqueg@cscs.ch>
Improves constant folding in ITIR such that mimimum and maximum are eliminated in case the arguments are equal. This greatly simplifies the domain bounds expressions in ITIR that are computed by the temporary pass.
There were some operations missing in the ITIR pretty printed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants