Skip to content

Multiplication loop motion, extractor fails to find solution - #659

Closed
oflatt wants to merge 27 commits into
mainfrom
oflatt-multiply-loop-motion
Closed

oflatt wants to merge 27 commits into
mainfrom
oflatt-multiply-loop-motion

Conversation

@oflatt

@oflatt oflatt commented Nov 8, 2024

Copy link
Copy Markdown
Member

This PR implements multiplication loop motion as two rules: one that moves the multiplication into the loop using an addition, and another that consolidates loop iteration variables.

Unfortunately the extractor fails to find the solution

@oflatt
oflatt changed the base branch from main to yihozhang-ivt-dag-in-context November 8, 2024 21:01
@oflatt
oflatt marked this pull request as draft November 14, 2024 20:24
@oflatt
oflatt force-pushed the oflatt-multiply-loop-motion branch from 5bc709b to 4f696da Compare November 19, 2024 01:13
@oflatt
oflatt changed the base branch from yihozhang-ivt-dag-in-context to main November 19, 2024 01:14
@oflatt oflatt closed this Oct 9, 2025
@oflatt
oflatt deleted the oflatt-multiply-loop-motion branch October 9, 2025 16:40
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