Convert Yosys fork into Yosys plugin plus other cleanup #4
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
Going to see if just ADDing files more intelligently clears up caching issue.
Specifically, add an overridable YOSYS environment variable.
gussmith23
changed the title
gussmith23
added a commit
that referenced
this pull request
Feb 19, 2024
gussmith23
added a commit
that referenced
this pull request
Feb 19, 2024
* Add lakeroad-egglog * Add test infra and test * Add widths * Change arg order * Add permuter example * Add simple typing * Update permuter * Add typing test * Add ZeroExtend * Fix bug * Add eq judgement * Make mux an Op3 * Add more typing judgements * Update permuter test * Comment * Add commented code for producing SVGs * Change comment * Make Ops expensive to extract * Add LUTs; add a bunch of rewrites * Upgrade tests * Do more rewrites/extract in test * Move code * Put everything in one ruleset * Simplify nested extracts * Simplify concats of nested extracts * Add more simplification rewrites * Add check for regression * Split back into rulesets * Begin an egglog->verilator compiler * More work on Verilog compiler * More work * Add Yosys submodule w/ Lakeroad Egglog backend * Add agilex_alm skeleton and diagram * Finish initial impl of ALM model * Whoops, get rid of copilot bug * Rewrite to explicitly use shift and cast; avoids * Update Yosys * fmt * Add Shr and Xor * Add agilex ALM test (doesn't do anything for now) * begin structuring rewrite generation * More work * more work * Add more typing rules (wire, xor, shr) + test (#379) * Cleanup * Add new lakeroad-egglog tests to main test script * Fork new version of Lakeroad egglog definition for AU experiments * WIP * Add 'debruijnify', which converts a list of expressions into potential de bruijn indices * Adds initial module-enumeration rewrites * Add anotehr rule * Add another rewrite * More rewrites * Add commented out svg code * Move lakeroad import stuff into its own function * Update yosys * Add new permuter test * Run enumeration rewrites * Add function to generate rewrites * Generate rewrites programmatically * run til saturation * Add typing rules * Just run to saturation without checking * Add module enumeration rewrite for Var * Rewrite to split up concats * run expansion rewrites * Add Var_ to prevent loops in `apply`s * Add Cargo.lock * Move new LR syntax to main lakeroad.egg file * Add revision for egglog * Add test for finding loop * Remove lockfile to see if it fixes CI * Add old churchroad content * Lots of deleting and moving * Update workflow * Cut down Dockerfile * Fix command * Run workflow on GitHub runners * Move lakeroad-egglog files to top level * Fix test script; dump README * undo * Remove Yosys submodule after #4 * Fixes after merge * Rename symbol * remove lexpr * Comment changes, renamings * `cargo update` --------- Co-authored-by: Thanawat Techaumnuaiwit <[email protected]>
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.
Simplifies Yosys integration down to a plugin. Keeps existing testing infrastructure.
Plus other cleanup:
cc @thiskappaisgrey.