Skip to content

canonicalization and removal of redundant moves#6227

Draft
luisacicolini wants to merge 4 commits into
xdslproject:mainfrom
luisacicolini:luisa/canonicalize-pmov
Draft

canonicalization and removal of redundant moves#6227
luisacicolini wants to merge 4 commits into
xdslproject:mainfrom
luisacicolini:luisa/canonicalize-pmov

Conversation

@luisacicolini

Copy link
Copy Markdown
Collaborator

PR Template

Please add a short description of your changes, and the motivation behind them.

Make sure your PR title follows the guidelines

@codecov

codecov Bot commented Jun 28, 2026

Copy link
Copy Markdown

Codecov Report

❌ Patch coverage is 81.25000% with 3 lines in your changes missing coverage. Please review.
✅ Project coverage is 86.88%. Comparing base (d0a74d0) to head (1e7a10b).

Files with missing lines Patch % Lines
...sl/transforms/riscv_allocate_infinite_registers.py 0.00% 2 Missing and 1 partial ⚠️
Additional details and impacted files
@@           Coverage Diff           @@
##             main    #6227   +/-   ##
=======================================
  Coverage   86.88%   86.88%           
=======================================
  Files         431      432    +1     
  Lines       64559    64575   +16     
  Branches     7395     7396    +1     
=======================================
+ Hits        56090    56105   +15     
- Misses       6897     6898    +1     
  Partials     1572     1572           

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

PatternRewriteWalker(
GreedyRewritePatternApplier(
[
RemoveUnusedOperations(),

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

should not be necessary, does this not work without it?

RemoveRedundantFMvD(),
]
),
post_walk_func=region_dce,

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

why pass this in?

Comment on lines +52 to +54
# reuse source register type to allow redundant mv elimination
phys_reg = inner_op.rs.type
phys_reg_by_inf_reg[result_reg] = phys_reg

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The point is actually not to do this, and instead do it in a different coalescing phase that's not yet merged, so this is not a good change for this pass.

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