From 4f6111191f61d6341f4177eaa78eea3622b474a6 Mon Sep 17 00:00:00 2001
From: Ekaterina Romanova <katya_romanova@playstation.sony.com>
Date: Thu, 24 May 2018 08:45:15 +0000
Subject: [PATCH] Added a testcase for PR31593. A patch (r291535) that fixed
 this bug didn't have a testcase.

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

llvm-svn: 333167
---
 test/CodeGen/X86/pr31593.ll | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 test/CodeGen/X86/pr31593.ll

diff --git a/test/CodeGen/X86/pr31593.ll b/test/CodeGen/X86/pr31593.ll
new file mode 100644
index 00000000000..670a477ee9b
--- /dev/null
+++ b/test/CodeGen/X86/pr31593.ll
@@ -0,0 +1,33 @@
+; RUN: llc < %s -mtriple=x86_64-unknown -mattr=sse4.1 -o /dev/null
+
+; Testcase for PR31593.
+; Revision r291120 introduced a regression and this test started failing
+; because of a 'fatal error in the backend':
+; Cannot select: t14: v2i64 = zero_extend_vector_inreg t18
+; t18: v4i32 = bitcast t17
+;   t17: v2i64,ch = load<LD16[%0](dereferenceable)> t0, FrameIndex:i64<1>, undef:i64
+;     t1: i64 = FrameIndex<1>
+;     t3: i64 = undef
+; In function: _Z3foov
+; This regression was fixed in r291535.
+
+%struct.S = type { <2 x i64> }
+
+declare <4 x i32> @llvm.x86.sse2.pslli.d(<4 x i32>, i32) 
+define void @_Z3foov() local_unnamed_addr #2 {
+entry:
+  %zero = alloca %struct.S, align 16
+  %e = alloca %struct.S, align 16
+  %s = alloca %struct.S, align 16
+  %0 = bitcast %struct.S* %zero to i8*
+  %1 = bitcast %struct.S* %e to i8*
+  %2 = bitcast %struct.S* %e to <4 x i32>*
+  %3 = load <4 x i32>, <4 x i32>* %2, align 16
+  %vecext.i = extractelement <4 x i32> %3, i32 0
+  %4 = bitcast %struct.S* %s to i8*
+  %5 = bitcast %struct.S* %s to <4 x i32>*
+  %6 = call <4 x i32> @llvm.x86.sse2.pslli.d(<4 x i32> undef, i32 %vecext.i)
+  store <4 x i32> %6, <4 x i32>* %5, align 16
+  ret void
+}
+attributes #2 = { "target-features"="+sse4.1" }