[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / pr31593.ll
blob670a477ee9bc1af5501a904c0d8f93e59d6860b3
1 ; RUN: llc < %s -mtriple=x86_64-unknown -mattr=sse4.1 -o /dev/null
3 ; Testcase for PR31593.
4 ; Revision r291120 introduced a regression and this test started failing
5 ; because of a 'fatal error in the backend':
6 ; Cannot select: t14: v2i64 = zero_extend_vector_inreg t18
7 ; t18: v4i32 = bitcast t17
8 ;   t17: v2i64,ch = load<LD16[%0](dereferenceable)> t0, FrameIndex:i64<1>, undef:i64
9 ;     t1: i64 = FrameIndex<1>
10 ;     t3: i64 = undef
11 ; In function: _Z3foov
12 ; This regression was fixed in r291535.
14 %struct.S = type { <2 x i64> }
16 declare <4 x i32> @llvm.x86.sse2.pslli.d(<4 x i32>, i32) 
17 define void @_Z3foov() local_unnamed_addr #2 {
18 entry:
19   %zero = alloca %struct.S, align 16
20   %e = alloca %struct.S, align 16
21   %s = alloca %struct.S, align 16
22   %0 = bitcast %struct.S* %zero to i8*
23   %1 = bitcast %struct.S* %e to i8*
24   %2 = bitcast %struct.S* %e to <4 x i32>*
25   %3 = load <4 x i32>, <4 x i32>* %2, align 16
26   %vecext.i = extractelement <4 x i32> %3, i32 0
27   %4 = bitcast %struct.S* %s to i8*
28   %5 = bitcast %struct.S* %s to <4 x i32>*
29   %6 = call <4 x i32> @llvm.x86.sse2.pslli.d(<4 x i32> undef, i32 %vecext.i)
30   store <4 x i32> %6, <4 x i32>* %5, align 16
31   ret void
33 attributes #2 = { "target-features"="+sse4.1" }