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

[sc-484] Optimize pre-reduce pass #77

Merged
merged 7 commits into from
Mar 5, 2024

Conversation

FranchuFranchu
Copy link
Contributor

This is done by visiting each definition from dependency to dependent and reducing them, then overriding the Def in the host with the pre-reduced verison. This avoids repeated work.

Also added tests for the pre-reduction pass.

Copy link

This pull request has been linked to Shortcut Story #484: Optimize hvm-core pre-reduce pass.

@FranchuFranchu FranchuFranchu changed the base branch from main to feature/sc-481/add-transformation-passes March 1, 2024 14:35
src/stdlib.rs Outdated Show resolved Hide resolved
src/stdlib.rs Outdated Show resolved Hide resolved
src/transform/pre_reduce.rs Outdated Show resolved Hide resolved
src/transform/pre_reduce.rs Outdated Show resolved Hide resolved
src/transform/pre_reduce.rs Outdated Show resolved Hide resolved
src/transform/pre_reduce.rs Outdated Show resolved Hide resolved
@tjjfvi tjjfvi marked this pull request as draft March 4, 2024 13:48
@tjjfvi
Copy link
Contributor

tjjfvi commented Mar 4, 2024

(marking this as draft since it's based on another PR)

src/transform/pre_reduce.rs Outdated Show resolved Hide resolved
@FranchuFranchu FranchuFranchu force-pushed the feature/sc-481/add-transformation-passes branch 3 times, most recently from 6e57884 to 51ba02f Compare March 4, 2024 15:15
Base automatically changed from feature/sc-481/add-transformation-passes to main March 4, 2024 15:26
@FranchuFranchu FranchuFranchu force-pushed the chore/sc-484/optimize-pre-reduce-pass branch 2 times, most recently from 660dbf1 to 13d5636 Compare March 4, 2024 20:21
src/host/encode_def.rs Outdated Show resolved Hide resolved
src/run.rs Outdated Show resolved Hide resolved
src/transform/pre_reduce.rs Outdated Show resolved Hide resolved
src/transform/pre_reduce.rs Outdated Show resolved Hide resolved
src/transform/pre_reduce.rs Outdated Show resolved Hide resolved
@FranchuFranchu FranchuFranchu marked this pull request as ready for review March 5, 2024 13:57
@FranchuFranchu FranchuFranchu requested a review from tjjfvi March 5, 2024 13:57
src/stdlib.rs Outdated Show resolved Hide resolved
@FranchuFranchu FranchuFranchu enabled auto-merge March 5, 2024 14:22
@FranchuFranchu FranchuFranchu force-pushed the chore/sc-484/optimize-pre-reduce-pass branch 3 times, most recently from 4d57125 to c6872dd Compare March 5, 2024 14:39
FranchuFranchu and others added 6 commits March 5, 2024 11:51
This is done by visiting each definition from dependency to dependent and reducing them, then overriding the `Def` in the host with the pre-reduced verison. This avoids repeated work.

Add tests for pre-reduce.
Don't take into account rwts.dref in pre reduce until #73 is merged.
@FranchuFranchu FranchuFranchu force-pushed the chore/sc-484/optimize-pre-reduce-pass branch from 258d383 to d73b2ae Compare March 5, 2024 17:06
@FranchuFranchu FranchuFranchu added this pull request to the merge queue Mar 5, 2024
Merged via the queue into main with commit 1060d20 Mar 5, 2024
5 checks passed
@FranchuFranchu FranchuFranchu deleted the chore/sc-484/optimize-pre-reduce-pass branch March 5, 2024 17:37
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.

2 participants