[llvm] r333167 - Added a testcase for PR31593. A patch (r291535) that fixed this bug didn't have a testcase.

[Ekaterina Romanova via llvm-commits]

Author: kromanova
Date: Thu May 24 01:45:15 2018
New Revision: 333167

URL: http://llvm.org/viewvc/llvm-project?rev=333167&view=rev
Log:
Added a testcase for PR31593. A patch (r291535) that fixed this bug didn't have a testcase.

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


Added:
    llvm/trunk/test/CodeGen/X86/pr31593.ll

Added: llvm/trunk/test/CodeGen/X86/pr31593.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/pr31593.ll?rev=333167&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/X86/pr31593.ll (added)
+++ llvm/trunk/test/CodeGen/X86/pr31593.ll Thu May 24 01:45:15 2018
@@ -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" }