From 0d229e0c79a97679e43c5fb2218aa954f620b874 Mon Sep 17 00:00:00 2001 From: Tom Stellard Date: Fri, 21 Apr 2017 14:14:41 +0000 Subject: Merging r298604: ------------------------------------------------------------------------ r298604 | niravd | 2017-03-23 11:01:50 -0400 (Thu, 23 Mar 2017) | 14 lines [SDAG] Fix zeroExtend assertion error Move CombineTo preventing deleted node from being returned in visitZERO_EXTEND. Fixes PR32284. Reviewers: RKSimon, bogner Reviewed By: RKSimon Subscribers: llvm-commits Differential Revision: https://reviews.llvm.org/D31254 ------------------------------------------------------------------------ llvm-svn: 300979 --- llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp | 3 ++- llvm/test/CodeGen/X86/pr32284.ll | 32 +++++++++++++++++++++++++++ 2 files changed, 34 insertions(+), 1 deletion(-) create mode 100644 llvm/test/CodeGen/X86/pr32284.ll diff --git a/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp b/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp index 2c7bffe..0126b88 100644 --- a/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp +++ b/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp @@ -6677,13 +6677,14 @@ SDValue DAGCombiner::visitZERO_EXTEND(SDNode *N) { LN0->getChain(), LN0->getBasePtr(), N0.getValueType(), LN0->getMemOperand()); - CombineTo(N, ExtLoad); + SDValue Trunc = DAG.getNode(ISD::TRUNCATE, SDLoc(N0), N0.getValueType(), ExtLoad); CombineTo(N0.getNode(), Trunc, ExtLoad.getValue(1)); ExtendSetCCUses(SetCCs, Trunc, ExtLoad, SDLoc(N), ISD::ZERO_EXTEND); + CombineTo(N, ExtLoad); return SDValue(N, 0); // Return N so it doesn't get rechecked! } } diff --git a/llvm/test/CodeGen/X86/pr32284.ll b/llvm/test/CodeGen/X86/pr32284.ll new file mode 100644 index 0000000..0ead508 --- /dev/null +++ b/llvm/test/CodeGen/X86/pr32284.ll @@ -0,0 +1,32 @@ +; RUN: llc -O0 -mtriple=i686-unknown -mcpu=skx -o - %s +; RUN: llc -O0 -mtriple=x86_64-unknown -mcpu=skx -o - %s +; RUN: llc -mtriple=i686-unknown -mcpu=skx -o - %s +; RUN: llc -mtriple=x86_64-unknown -mcpu=skx -o - %s + +@c = external constant i8, align 1 + +define void @foo() { +entry: + %a = alloca i8, align 1 + %b = alloca i32, align 4 + %0 = load i8, i8* @c, align 1 + %conv = zext i8 %0 to i32 + %sub = sub nsw i32 0, %conv + %conv1 = sext i32 %sub to i64 + %sub2 = sub nsw i64 0, %conv1 + %conv3 = trunc i64 %sub2 to i8 + %tobool = icmp ne i8 %conv3, 0 + %frombool = zext i1 %tobool to i8 + store i8 %frombool, i8* %a, align 1 + %1 = load i8, i8* @c, align 1 + %tobool4 = icmp ne i8 %1, 0 + %lnot = xor i1 %tobool4, true + %lnot5 = xor i1 %lnot, true + %conv6 = zext i1 %lnot5 to i32 + %2 = load i8, i8* @c, align 1 + %conv7 = zext i8 %2 to i32 + %cmp = icmp sle i32 %conv6, %conv7 + %conv8 = zext i1 %cmp to i32 + store i32 %conv8, i32* %b, align 4 + ret void +} -- cgit v1.1