Add mem to branch instructions. #125
Closed
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Will break artic and impala as a result of added parameters to branch and match intrinsics. There are patches for those as well that need to be merged together with this change.
This was referenced Jun 13, 2022
|
Does this change means we now have a 1:1 relationship between mem producers and mem consumers ? If so, that sounds like an interesting property to verify. |
Using recursion in these passes can lead to stack overflows if large programs are being compiled.
converted definitions.
* Avoid name collisions, generate names after args have been created. * Querry known_defs to avoid multiple instances of the same definition. * Deal with intrinsics. Limited to branch and named intrinsics for now. * Create Cmp defs.
* Run * Hlt * Store * Enter * Slot * Definite Array Type Fix runaway recursion on continuation self refference.
* Insert * Bitcast * Global * Aggregates: Closure, StructAgg, Tuple, Vector * Filter * Known * Alloc * Select * Top, Bottom * SizeOf, AlignOf * DefiniteArray, IndefiniteArray
Match, Mathop, Variant, Assembly export added. Added export for multiple previously unsupported types.
* Support named intrinsics.
* Generate filters.
* Improve support for external functions.
* Remove expected_name from defs generation.
|
This has become part of the development branch at this point. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Will break artic and impala as a result of added parameters to branch
and match intrinsics. There are patches for those as well that need to
be merged together with this change.
To this end, see AnyDSL/artic#9 and AnyDSL/impala#91