[llvm] r348800 - [InstCombine] add tests for movmsk (PR39927) NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Mon Dec 10 13:44:20 PST 2018
Author: spatel
Date: Mon Dec 10 13:44:20 2018
New Revision: 348800
URL: http://llvm.org/viewvc/llvm-project?rev=348800&view=rev
Log:
[InstCombine] add tests for movmsk (PR39927) NFC
Modified:
llvm/trunk/test/Transforms/InstCombine/X86/x86-movmsk.ll
Modified: llvm/trunk/test/Transforms/InstCombine/X86/x86-movmsk.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/X86/x86-movmsk.ll?rev=348800&r1=348799&r2=348800&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/X86/x86-movmsk.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/X86/x86-movmsk.ll Mon Dec 10 13:44:20 2018
@@ -9,7 +9,7 @@ target datalayout = "e-m:e-i64:64-f80:12
define i32 @test_upper_x86_mmx_pmovmskb(x86_mmx %a0) {
; CHECK-LABEL: @test_upper_x86_mmx_pmovmskb(
-; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.x86.mmx.pmovmskb(x86_mmx %a0)
+; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.x86.mmx.pmovmskb(x86_mmx [[A0:%.*]])
; CHECK-NEXT: ret i32 [[TMP1]]
;
%1 = call i32 @llvm.x86.mmx.pmovmskb(x86_mmx %a0)
@@ -19,7 +19,7 @@ define i32 @test_upper_x86_mmx_pmovmskb(
define i32 @test_upper_x86_sse_movmsk_ps(<4 x float> %a0) {
; CHECK-LABEL: @test_upper_x86_sse_movmsk_ps(
-; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.x86.sse.movmsk.ps(<4 x float> %a0)
+; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.x86.sse.movmsk.ps(<4 x float> [[A0:%.*]])
; CHECK-NEXT: ret i32 [[TMP1]]
;
%1 = call i32 @llvm.x86.sse.movmsk.ps(<4 x float> %a0)
@@ -29,7 +29,7 @@ define i32 @test_upper_x86_sse_movmsk_ps
define i32 @test_upper_x86_sse2_movmsk_pd(<2 x double> %a0) {
; CHECK-LABEL: @test_upper_x86_sse2_movmsk_pd(
-; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.x86.sse2.movmsk.pd(<2 x double> %a0)
+; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.x86.sse2.movmsk.pd(<2 x double> [[A0:%.*]])
; CHECK-NEXT: ret i32 [[TMP1]]
;
%1 = call i32 @llvm.x86.sse2.movmsk.pd(<2 x double> %a0)
@@ -39,7 +39,7 @@ define i32 @test_upper_x86_sse2_movmsk_p
define i32 @test_upper_x86_sse2_pmovmskb_128(<16 x i8> %a0) {
; CHECK-LABEL: @test_upper_x86_sse2_pmovmskb_128(
-; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.x86.sse2.pmovmskb.128(<16 x i8> %a0)
+; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.x86.sse2.pmovmskb.128(<16 x i8> [[A0:%.*]])
; CHECK-NEXT: ret i32 [[TMP1]]
;
%1 = call i32 @llvm.x86.sse2.pmovmskb.128(<16 x i8> %a0)
@@ -49,7 +49,7 @@ define i32 @test_upper_x86_sse2_pmovmskb
define i32 @test_upper_x86_avx_movmsk_ps_256(<8 x float> %a0) {
; CHECK-LABEL: @test_upper_x86_avx_movmsk_ps_256(
-; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.x86.avx.movmsk.ps.256(<8 x float> %a0)
+; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.x86.avx.movmsk.ps.256(<8 x float> [[A0:%.*]])
; CHECK-NEXT: ret i32 [[TMP1]]
;
%1 = call i32 @llvm.x86.avx.movmsk.ps.256(<8 x float> %a0)
@@ -59,7 +59,7 @@ define i32 @test_upper_x86_avx_movmsk_ps
define i32 @test_upper_x86_avx_movmsk_pd_256(<4 x double> %a0) {
; CHECK-LABEL: @test_upper_x86_avx_movmsk_pd_256(
-; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.x86.avx.movmsk.pd.256(<4 x double> %a0)
+; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.x86.avx.movmsk.pd.256(<4 x double> [[A0:%.*]])
; CHECK-NEXT: ret i32 [[TMP1]]
;
%1 = call i32 @llvm.x86.avx.movmsk.pd.256(<4 x double> %a0)
@@ -313,6 +313,80 @@ define i32 @fold_x86_avx2_pmovmskb() {
ret i32 %1
}
+define i32 @sext_sse_movmsk_ps(<4 x i1> %x) {
+; CHECK-LABEL: @sext_sse_movmsk_ps(
+; CHECK-NEXT: [[SEXT:%.*]] = sext <4 x i1> [[X:%.*]] to <4 x i32>
+; CHECK-NEXT: [[BC:%.*]] = bitcast <4 x i32> [[SEXT]] to <4 x float>
+; CHECK-NEXT: [[R:%.*]] = call i32 @llvm.x86.sse.movmsk.ps(<4 x float> [[BC]])
+; CHECK-NEXT: ret i32 [[R]]
+;
+ %sext = sext <4 x i1> %x to <4 x i32>
+ %bc = bitcast <4 x i32> %sext to <4 x float>
+ %r = call i32 @llvm.x86.sse.movmsk.ps(<4 x float> %bc)
+ ret i32 %r
+}
+
+define i32 @sext_sse2_movmsk_pd(<2 x i1> %x) {
+; CHECK-LABEL: @sext_sse2_movmsk_pd(
+; CHECK-NEXT: [[SEXT:%.*]] = sext <2 x i1> [[X:%.*]] to <2 x i64>
+; CHECK-NEXT: [[BC:%.*]] = bitcast <2 x i64> [[SEXT]] to <2 x double>
+; CHECK-NEXT: [[R:%.*]] = call i32 @llvm.x86.sse2.movmsk.pd(<2 x double> [[BC]])
+; CHECK-NEXT: ret i32 [[R]]
+;
+ %sext = sext <2 x i1> %x to <2 x i64>
+ %bc = bitcast <2 x i64> %sext to <2 x double>
+ %r = call i32 @llvm.x86.sse2.movmsk.pd(<2 x double> %bc)
+ ret i32 %r
+}
+
+define i32 @sext_sse2_pmovmskb_128(<16 x i1> %x) {
+; CHECK-LABEL: @sext_sse2_pmovmskb_128(
+; CHECK-NEXT: [[SEXT:%.*]] = sext <16 x i1> [[X:%.*]] to <16 x i8>
+; CHECK-NEXT: [[R:%.*]] = call i32 @llvm.x86.sse2.pmovmskb.128(<16 x i8> [[SEXT]])
+; CHECK-NEXT: ret i32 [[R]]
+;
+ %sext = sext <16 x i1> %x to <16 x i8>
+ %r = call i32 @llvm.x86.sse2.pmovmskb.128(<16 x i8> %sext)
+ ret i32 %r
+}
+
+define i32 @sext_avx_movmsk_ps_256(<8 x i1> %x) {
+; CHECK-LABEL: @sext_avx_movmsk_ps_256(
+; CHECK-NEXT: [[SEXT:%.*]] = sext <8 x i1> [[X:%.*]] to <8 x i32>
+; CHECK-NEXT: [[BC:%.*]] = bitcast <8 x i32> [[SEXT]] to <8 x float>
+; CHECK-NEXT: [[R:%.*]] = call i32 @llvm.x86.avx.movmsk.ps.256(<8 x float> [[BC]])
+; CHECK-NEXT: ret i32 [[R]]
+;
+ %sext = sext <8 x i1> %x to <8 x i32>
+ %bc = bitcast <8 x i32> %sext to <8 x float>
+ %r = call i32 @llvm.x86.avx.movmsk.ps.256(<8 x float> %bc)
+ ret i32 %r
+}
+
+define i32 @sext_avx_movmsk_pd_256(<4 x i1> %x) {
+; CHECK-LABEL: @sext_avx_movmsk_pd_256(
+; CHECK-NEXT: [[SEXT:%.*]] = sext <4 x i1> [[X:%.*]] to <4 x i64>
+; CHECK-NEXT: [[BC:%.*]] = bitcast <4 x i64> [[SEXT]] to <4 x double>
+; CHECK-NEXT: [[R:%.*]] = call i32 @llvm.x86.avx.movmsk.pd.256(<4 x double> [[BC]])
+; CHECK-NEXT: ret i32 [[R]]
+;
+ %sext = sext <4 x i1> %x to <4 x i64>
+ %bc = bitcast <4 x i64> %sext to <4 x double>
+ %r = call i32 @llvm.x86.avx.movmsk.pd.256(<4 x double> %bc)
+ ret i32 %r
+}
+
+define i32 @sext_avx2_pmovmskb(<32 x i1> %x) {
+; CHECK-LABEL: @sext_avx2_pmovmskb(
+; CHECK-NEXT: [[SEXT:%.*]] = sext <32 x i1> [[X:%.*]] to <32 x i8>
+; CHECK-NEXT: [[R:%.*]] = call i32 @llvm.x86.avx2.pmovmskb(<32 x i8> [[SEXT]])
+; CHECK-NEXT: ret i32 [[R]]
+;
+ %sext = sext <32 x i1> %x to <32 x i8>
+ %r = call i32 @llvm.x86.avx2.pmovmskb(<32 x i8> %sext)
+ ret i32 %r
+}
+
declare i32 @llvm.x86.mmx.pmovmskb(x86_mmx)
declare i32 @llvm.x86.sse.movmsk.ps(<4 x float>)
More information about the llvm-commits
mailing list