[SDAG] Deal with deleted node in PromoteIntShiftOp
Deal with case that initial node is deleted during dag-combine leading
to an assertional failure in promoteIntShiftOp.
Fixes PR32420.
Reviewers: spatel, RKSimon
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D31403
llvm-svn: 298931
diff --git a/llvm/test/CodeGen/X86/pr32420.ll b/llvm/test/CodeGen/X86/pr32420.ll
new file mode 100644
index 0000000..bf3a472
--- /dev/null
+++ b/llvm/test/CodeGen/X86/pr32420.ll
@@ -0,0 +1,36 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc < %s | FileCheck %s
+
+target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-apple-macosx10.12.0"
+
+@a = common local_unnamed_addr global i16 0, align 4
+@b = common local_unnamed_addr global i16 0, align 4
+
+define i32 @PR32420() {
+; CHECK-LABEL: PR32420:
+; CHECK: ## BB#0:
+; CHECK-NEXT: movq _a@{{.*}}(%rip), %rax
+; CHECK-NEXT: movzwl (%rax), %eax
+; CHECK-NEXT: movl %eax, %ecx
+; CHECK-NEXT: shll $12, %ecx
+; CHECK-NEXT: sarw $12, %cx
+; CHECK-NEXT: movq _b@{{.*}}(%rip), %rdx
+; CHECK-NEXT: movw %cx, %si
+; CHECK-NEXT: orw (%rdx), %si
+; CHECK-NEXT: andl %ecx, %esi
+; CHECK-NEXT: movw %si, (%rdx)
+; CHECK-NEXT: retq
+ %load2 = load i16, i16* @a, align 4
+ %shl3 = shl i16 %load2, 12
+ %ashr4 = ashr i16 %shl3, 12
+ %t2 = load volatile i16, i16* @b, align 4
+ %conv8 = or i16 %t2, %ashr4
+ %load9 = load i16, i16* @a, align 4
+ %shl10 = shl i16 %load9, 12
+ %ashr11 = ashr i16 %shl10, 12
+ %and = and i16 %conv8, %ashr11
+ store i16 %and, i16* @b, align 4
+ %cast1629 = zext i16 %load2 to i32
+ ret i32 %cast1629
+}