[X86] Pre-commit test case showing bug in combineOr (X86ISelLowering.cpp)
authorBjorn Pettersson <bjorn.a.pettersson@ericsson.com>
Thu, 29 Sep 2022 16:14:15 +0000 (18:14 +0200)
committerBjorn Pettersson <bjorn.a.pettersson@ericsson.com>
Thu, 29 Sep 2022 19:24:31 +0000 (21:24 +0200)
commite4fcbf3950092a78852e09f7cd8fe1d703967516
treeab0673e703fce49942b14d7d112ca2c6ca4e9e6f
parent3a79f1caa9bd1e43f4e0e9187b87c978105c40b1
[X86] Pre-commit test case showing bug in combineOr (X86ISelLowering.cpp)

In combineOr (X86ISelLowering.cpp) there is a DAG combine that rewrite
a "(0 - SetCC) | C" pattern into something simpler given that a LEA
can be used. Another requirement is that C has some specific value,
for example 1 or 7. When doing that check it is using a 32-bit
unsigned variable to store the value of C. So for a 64-bit OR this
could miscompile in case any of the 32 most significant bits in C
are set.

This patch adds a test case to show this miscompile bug.

Differential Revision: https://reviews.llvm.org/D134890
llvm/test/CodeGen/X86/or-lea.ll