-
Notifications
You must be signed in to change notification settings - Fork 83
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
transformations: Handle affine.apply in lower-affine #2849
Conversation
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #2849 +/- ##
==========================================
- Coverage 89.87% 89.87% -0.01%
==========================================
Files 399 399
Lines 49776 49822 +46
Branches 7662 7671 +9
==========================================
+ Hits 44737 44778 +41
- Misses 3834 3836 +2
- Partials 1205 1208 +3 ☔ View full report in Codecov by Sentry. |
// CHECK-NEXT: %apply_res_1 = arith.muli %apply_dim, %apply_res : index | ||
// CHECK-NEXT: %apply_res_2 = arith.addi %apply_sym, %apply_res_1 : index |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This seems to be a bug. apply_dim
and apply_sym
should be switched since s0
binds to apply_sym
and d0
to apply_dim
.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
nice catch! I'll take a look
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM!
(Side note. Unless we get variables in filecheck, I am starting to think it is much much better to hardode SSA values... The %{{.*}}
everywhere makes it hard to review tests and would not have cought errors like the one in the first commit)
Co-authored-by: Markus Böck <markus.boeck02@gmail.com>
Co-authored-by: Markus Böck <markus.boeck02@gmail.com>
I agree completely, I think the key here might be name hints, I'll look into it a bit more in subsequent PRs |
5b7cc5c
to
5a18a3a
Compare
We need this in the generic to loops lowering when not all the arguments are streamed