maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[LegalizeDAG] Fix legalization of SETCC 

Summary:
Currently when expanding a SETCC node into a SELECT_CC, LLVM uses
an incorrect type for determining BooleanContent of the result. This
patch fixes the issue.

Fixes PR36079.

Reviewers: rogfer01, javed.absar, efriedma

Reviewed By: efriedma

Subscribers: llvm-commits

Differential Revision: https://reviews.llvm.org/D43282

llvm-svn: 325325
This commit is contained in:
Mikhail Maltsev 2018-02-16 09:35:16 +00:00
parent 686b27b55a
commit 0a7e107e77
2 changed files with 24 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp
View File

@ -3766,7 +3766,7 @@ bool SelectionDAGLegalize::ExpandNode(SDNode *Node) {
// illegal; expand it into a SELECT_CC.
EVT VT = Node->getValueType(0);
int TrueValue;
switch (TLI.getBooleanContents(Tmp1->getValueType(0))) {
switch (TLI.getBooleanContents(Tmp1.getValueType())) {
case TargetLowering::ZeroOrOneBooleanContent:
case TargetLowering::UndefinedBooleanContent:
TrueValue = 1;

23
llvm/test/CodeGen/ARM/2018-02-13-PR36079.ll Normal file
View File

@ -0,0 +1,23 @@
; RUN: llc -mtriple=arm-eabi -mattr=+neon < %s -o - | FileCheck %s
@c = global [4 x i32] [i32 3, i32 3, i32 3, i32 3], align 4
@d = common global i32 0, align 4
define void @foo() local_unnamed_addr nounwind norecurse {
entry:
%0 = load <4 x i32>, <4 x i32>* bitcast ([4 x i32]* @c to <4 x i32>*), align 4
%1 = and <4 x i32> %0,
<i32 1,
i32 zext (i1 icmp ne (i32* getelementptr inbounds ([4 x i32], [4 x i32]* @c, i32 0, i32 1), i32* @d) to i32),
i32 zext (i1 icmp ne (i32* getelementptr inbounds ([4 x i32], [4 x i32]* @c, i32 0, i32 2), i32* @d) to i32),
i32 zext (i1 icmp ne (i32* getelementptr inbounds ([4 x i32], [4 x i32]* @c, i32 0, i32 3), i32* @d) to i32)>
store <4 x i32> %1, <4 x i32>* bitcast ([4 x i32]* @c to <4 x i32>*), align 4
ret void
; CHECK-NOT: mvnne
; CHECK: movne r{{[0-9]+}}, #1
; CHECK-NOT: mvnne
; CHECK: movne r{{[0-9]+}}, #1
; CHECK-NOT: mvnne
; CHECK: movne r{{[0-9]+}}, #1
; CHECK-NOT: mvnne
}