Skip to content

[wave2water] resolve vector shapes before export#882

Open
ftynse wants to merge 1 commit intomainfrom
users/ftynse/avoid-bad-cast
Open

[wave2water] resolve vector shapes before export#882
ftynse wants to merge 1 commit intomainfrom
users/ftynse/avoid-bad-cast

Conversation

@ftynse
Copy link
Contributor

@ftynse ftynse commented Feb 12, 2026

Contrary to what the type annotation on hardware constraint says,
vector_shapes is being used with expressions on the right-hand side. Try to
resolve those using the substitution dictionary before export to avoid
triggering cast errors when constructing MLIR that does enforce this
constraint. We can separately revisit the need to have expressions in vector
shapes.

Contrary to what the type annotation on hardware constraint says,
`vector_shapes` is being used with expressions on the right-hand side. Try to
resolve those using the substitution dictionary before export to avoid
triggering cast errors when constructing MLIR that does enforce this
constraint. We can separately revisit the need to have expressions in vector
shapes.

Signed-off-by: Alex Zinenko <git@ozinenko.com>
@ftynse ftynse requested a review from martin-luecke February 12, 2026 15:01
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.

1 participant