[TargetLowering] Move the setBooleanContents check on (xor (setcc), (setcc)) == ...
authorCraig Topper <craig.topper@intel.com>
Fri, 1 Nov 2019 21:09:08 +0000 (14:09 -0700)
committerCraig Topper <craig.topper@intel.com>
Fri, 1 Nov 2019 21:43:17 +0000 (14:43 -0700)
commit96bb07662104f175c354ffaa2d58a8f6bb984249
tree1d8bbf665de62ab6f5161ceeb60e8d2fc2d6cf6c
parent42d77461f3298d5b7bf09208d67a3d8bb28df065
[TargetLowering] Move the setBooleanContents check on (xor (setcc), (setcc)) == / != 1 -> (setcc) != / == (setcc) to the right place

We need to be checking the value types for the inner setccs not
the outer setcc. We need to ensure those setccs produce a 0/1
value or that the xor is on the i1 type. I think at the time
this code was originally written, getBooleanContents didn't
take any arguments so this was probably correct. But now we can
have a different boolean contents for integer and floating point.

Not sure why the other combines below the xor were also checking
the boolean contents. None of them involve any setccs other than
the outer one and they only produce a new setcc.

Differential Revision: https://reviews.llvm.org/D69480
llvm/lib/CodeGen/SelectionDAG/TargetLowering.cpp