Page MenuHomePhabricator

[SLP] Allow reordering of vectorization trees with reused instructions.
Needs ReviewPublic

Authored by ABataev on Apr 4 2018, 8:59 AM.

Details

Summary

If some leaves have the same instructions to be vectorized, we may
incorrectly evaluate the best order for the root node (it is built for the
vector of instructions without repeated instructions and, thus, has less
elements than the root node). In this case we just can not try to reorder
the tree + we may calculate the wrong number of nodes that requre the
same reordering.
For example, if the root node is \<a+b, a+c, a+d, f+e\>, then the leaves
are \<a, a, a, f\> and \<b, c, d, e\>. When we try to vectorize the first
leaf, it will be shrink to \<a, b\>. If instructions in this leaf should
be reordered, the best order will be \<1, 0\>. We need to extend this
order for the root node. For the root node this order should look like
\<3, 0, 1, 2\>. This patch allows extension of the orders of the nodes
with the reused instructions.

Diff Detail

Event Timeline

ABataev created this revision.Apr 4 2018, 8:59 AM

Would it be possible to increase test coverage?

lib/Transforms/Vectorize/SLPVectorizer.cpp
6425

This assert doesn't seem to tally with the TODO just above?

Would it be possible to increase test coverage?

Yes, I will try to add some more tests.

lib/Transforms/Vectorize/SLPVectorizer.cpp
6425

Actually, it does, I just need to remove this TODO. This patch fixes this TODO.

ABataev updated this revision to Diff 141713.Apr 9 2018, 12:24 PM

Updated tests check + fixed building of the root order.

RKSimon added inline comments.Apr 14 2018, 4:36 AM
lib/Transforms/Vectorize/SLPVectorizer.cpp
488

Set default value in the resize?

ABataev marked an inline comment as done.Apr 16 2018, 11:05 AM
ABataev updated this revision to Diff 142667.Apr 16 2018, 11:22 AM

Update after review

ABataev updated this revision to Diff 144170.Apr 26 2018, 11:32 AM

Rebase against latest version.

Herald added a project: Restricted Project. · View Herald TranscriptSep 4 2019, 9:17 AM