RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 11:13:28 +01:00
Code Issues Projects Releases Wiki Activity

[InstCombine] fix icmp with not op and constant to work with splat vector constant

Browse Source 
llvm-svn: 304562
This commit is contained in:
Sanjay Patel 2017-06-02 16:29:41 +00:00
parent c32b709e96
commit 952d26f408
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/Transforms/InstCombine/InstCombineCompares.cpp
View File

@ -4514,10 +4514,10 @@ Instruction *InstCombiner::visitICmpInst(ICmpInst &I) {
if (match(Op1, m_Not(m_Value(B))))
return new ICmpInst(I.getPredicate(), B, A);
// FIXME: Use m_APInt to include splat vector constants.
if (ConstantInt *RHSC = dyn_cast<ConstantInt>(Op1))
const APInt *C;
if (match(Op1, m_APInt(C)))
return new ICmpInst(I.getSwappedPredicate(), A,
ConstantExpr::getNot(RHSC));
ConstantInt::get(Op1->getType(), ~(*C)));
}
Instruction *AddI = nullptr;

3
test/Transforms/InstCombine/not.ll
View File

@ -67,8 +67,7 @@ define i1 @not_cmp_constant(i32 %a) {
define <2 x i1> @not_cmp_constant_vector(<2 x i32> %a) {
; CHECK-LABEL: @not_cmp_constant_vector(
; CHECK-NEXT: [[NOTA:%.*]] = xor <2 x i32> %a, <i32 -1, i32 -1>
; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i32> [[NOTA]], <i32 42, i32 42>
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt <2 x i32> %a, <i32 -43, i32 -43>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%nota = xor <2 x i32> %a, <i32 -1, i32 -1>