diff options
| author | Mikhail Maltsev <mikhail.maltsev@arm.com> | 2018-02-16 09:35:16 +0000 |
|---|---|---|
| committer | Mikhail Maltsev <mikhail.maltsev@arm.com> | 2018-02-16 09:35:16 +0000 |
| commit | 0a7e107e779e048418533895bc8d6d23912a1566 (patch) | |
| tree | 5549a35cad421e65a65302d33ade802806b4a004 /llvm | |
| parent | 686b27b55adc6f458883b1601b6acb674083b2ae (diff) | |
| download | bcm5719-llvm-0a7e107e779e048418533895bc8d6d23912a1566.tar.gz bcm5719-llvm-0a7e107e779e048418533895bc8d6d23912a1566.zip | |
[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
Diffstat (limited to 'llvm')
| -rw-r--r-- | llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp | 2 | ||||
| -rw-r--r-- | llvm/test/CodeGen/ARM/2018-02-13-PR36079.ll | 23 |
2 files changed, 24 insertions, 1 deletions
diff --git a/llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp b/llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp index bb8b81a42fc..d83faa1c74d 100644 --- a/llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp +++ b/llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp @@ -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; diff --git a/llvm/test/CodeGen/ARM/2018-02-13-PR36079.ll b/llvm/test/CodeGen/ARM/2018-02-13-PR36079.ll new file mode 100644 index 00000000000..04585b194dd --- /dev/null +++ b/llvm/test/CodeGen/ARM/2018-02-13-PR36079.ll @@ -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 +} |
