[llvm] r348277 - [X86][SSE] Add MOVMSK demandedbits/elts tests

[Simon Pilgrim via llvm-commits]

Author: rksimon
Date: Tue Dec  4 08:01:25 2018
New Revision: 348277

URL: http://llvm.org/viewvc/llvm-project?rev=348277&view=rev
Log:
[X86][SSE] Add MOVMSK demandedbits/elts tests

Modified:
    llvm/trunk/test/CodeGen/X86/movmsk.ll

Modified: llvm/trunk/test/CodeGen/X86/movmsk.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/movmsk.ll?rev=348277&r1=348276&r2=348277&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/X86/movmsk.ll (original)
+++ llvm/trunk/test/CodeGen/X86/movmsk.ll Tue Dec  4 08:01:25 2018
@@ -112,6 +112,41 @@ entry:
 }
 declare void @float_call_signbit_callee(i1 zeroext)
 
+; Known zeros
+define i32 @knownbits_v2f64(<2 x double> %x) {
+; CHECK-LABEL: knownbits_v2f64:
+; CHECK:       ## %bb.0:
+; CHECK-NEXT:    movmskpd %xmm0, %eax
+; CHECK-NEXT:    retq
+  %1 = tail call i32 @llvm.x86.sse2.movmsk.pd(<2 x double> %x)
+  %2 = and i32 %1, 3
+  ret i32 %2
+}
+
+; Don't demand any movmsk signbits -> zero
+define i32 @demandedbits_v16i8(<16 x i8> %x) {
+; CHECK-LABEL: demandedbits_v16i8:
+; CHECK:       ## %bb.0:
+; CHECK-NEXT:    xorl %eax, %eax
+; CHECK-NEXT:    retq
+  %1 = tail call i32 @llvm.x86.sse2.pmovmskb.128(<16 x i8> %x)
+  %2 = and i32 %1, 65536
+  ret i32 %2
+}
+
+; TODO: Simplify demanded vector elts
+define i32 @demandedelts_v4f32(<4 x float> %x) {
+; CHECK-LABEL: demandedelts_v4f32:
+; CHECK:       ## %bb.0:
+; CHECK-NEXT:    shufps {{.*#+}} xmm0 = xmm0[0,0,0,0]
+; CHECK-NEXT:    movmskps %xmm0, %eax
+; CHECK-NEXT:    andl $1, %eax
+; CHECK-NEXT:    retq
+  %1 = shufflevector <4 x float> %x, <4 x float> undef, <4 x i32> zeroinitializer
+  %2 = tail call i32 @llvm.x86.sse.movmsk.ps(<4 x float> %1)
+  %3 = and i32 %2, 1
+  ret i32 %3
+}
 
 ; rdar://10247336
 ; movmskp{s|d} only set low 4/2 bits, high bits are known zero
@@ -145,5 +180,6 @@ entry:
   ret i32 %2
 }
 
+declare i32 @llvm.x86.sse2.pmovmskb.128(<16 x i8>) nounwind readnone
 declare i32 @llvm.x86.sse2.movmsk.pd(<2 x double>) nounwind readnone
 declare i32 @llvm.x86.sse.movmsk.ps(<4 x float>) nounwind readnone