[x86] Don't add nodes to the combined set (and prune subsequent
authorChandler Carruth <chandlerc@gmail.com>
Sun, 3 Aug 2014 23:10:59 +0000 (23:10 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Sun, 3 Aug 2014 23:10:59 +0000 (23:10 +0000)
commitcde4eb56fe35645dd157700e57ef6a3a07dc2b71
tree466ab9865a00a22055d34e8a44e50311f871e917
parent557023e349f16ee8da3249e92e53a96dc8633164
[x86] Don't add nodes to the combined set (and prune subsequent
combines) until they are legal.

Doing it the old way could, when the stars align *just* right, cause
a node to get into the combine set prior to being legalized. Then, when
the same node showed up as an operand to another node later on (but not
so much later on that it had been deleted as dead) we would fail to add
it back to the worklist thinking it had already been combined. This
would in turn cause it to not be legalized. Fortunately, we can also
walk the operands looking for uncombined (and thus potentially
un-legalized) nodes late. It will still ensure that we walk all operands
of all nodes and send all of them through both the legalizer without
changes and the combiner at least once. (Which was the original goal of
this).

I have a test case for this bug, but it is terribly brittle. For
example, it will stop finding the bug the moment I enable the new
shuffle lowering. I don't yet have any test case that reliably exercises
this bug, and it isn't clear that it will be possible to craft one. It
is entirely possible that with the new shuffle lowering the two forms of
doing this are precisely equivalent. That doesn't mean we shouldn't take
the more conservative approach of insisting on things in the combined
set having survived the legalizer.

llvm-svn: 214673
llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp