maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[X86] Improve avx512-kconstraints-att_inline_asm.c to not be easily defeated by deadcode elimination. Improve CHECK lines to check IR types used. NFC 

I plan to use this as the basis for backend IR test cases. We currently crash hard for using 32 or 64 bit mask registers without avx512bw.

llvm-svn: 358435
This commit is contained in:
Craig Topper 2019-04-15 18:39:36 +00:00
parent e46d77d1d9
commit a54a11e22a
1 changed files with 50 additions and 32 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

90
clang/test/CodeGen/avx512-kconstraints-att_inline_asm.c
View File

@ -1,59 +1,77 @@
// RUN: %clang_cc1 %s -O0 -triple=x86_64-apple-darwin -target-cpu skylake-avx512 -emit-llvm -o - -Wall -Werror |opt -instnamer -S |FileCheck %s // RUN: %clang_cc1 %s -O0 -ffreestanding -triple=x86_64-apple-darwin -target-cpu skylake-avx512 -emit-llvm -o - -Wall -Werror |opt -instnamer -S |FileCheck %s
// This test checks validity of att\gcc style inline assmebly for avx512 k and Yk constraints. // This test checks validity of att\gcc style inline assmebly for avx512 k and Yk constraints.
// Also checks mask register allows flexible type (size <= 64 bit) // Also checks mask register allows flexible type (size <= 64 bit)
void mask_Yk_i8(char msk){ #include <x86intrin.h>
//CHECK: vpaddb\09 %xmm1, %xmm0, %xmm1 {$0}\09
asm ("vpaddb\t %%xmm1, %%xmm0, %%xmm1 %{%0%}\t" __m512i mask_Yk_i8(char msk, __m512i x, __m512i y){
: //output // CHECK: <8 x i64> asm "vpaddq\09$3, $2, $0 {$1}", "=x,^Yk,x,x,~{dirflag},~{fpsr},~{flags}"(i8 %{{.*}}, <8 x i64> %{{.*}}, <8 x i64> %{{.*}})
: "Yk" (msk)); //inputs __m512i dst;
asm ("vpaddq\t%3, %2, %0 %{%1%}"
: "=x" (dst) //output
: "Yk" (msk), "x" (x), "x" (y)); //inputs
return dst;
} }
void mask_Yk_i16(short msk){ __m512i mask_Yk_i16(short msk, __m512i x, __m512i y){
//CHECK: vpaddb\09 %xmm1, %xmm0, %xmm1 {$0}\09 // CHECK: <8 x i64> asm "vpaddd\09$3, $2, $0 {$1}", "=x,^Yk,x,x,~{dirflag},~{fpsr},~{flags}"(i16 %{{.*}}, <8 x i64> %{{.*}}, <8 x i64> %{{.*}})
asm ("vpaddb\t %%xmm1, %%xmm0, %%xmm1 %{%0%}\t" __m512i dst;
: //output asm ("vpaddd\t%3, %2, %0 %{%1%}"
: "Yk" (msk)); //inputs : "=x" (dst) //output
: "Yk" (msk), "x" (x), "x" (y)); //inputs
return dst;
} }
void mask_Yk_i32(int msk){ __m512i mask_Yk_i32(int msk, __m512i x, __m512i y){
//CHECK: vpaddb\09 %xmm1, %xmm0, %xmm1 {$0}\09 // CHECK: <8 x i64> asm "vpaddw\09$3, $2, $0 {$1}", "=x,^Yk,x,x,~{dirflag},~{fpsr},~{flags}"(i32 %{{.*}}, <8 x i64> %{{.*}}, <8 x i64> %{{.*}})
asm ("vpaddb\t %%xmm1, %%xmm0, %%xmm1 %{%0%}\t" __m512i dst;
: //output asm ("vpaddw\t%3, %2, %0 %{%1%}"
: "Yk" (msk)); //inputs : "=x" (dst) //output
: "Yk" (msk), "x" (x), "x" (y)); //inputs
return dst;
} }
void mask_Yk_i64(long long msk){ __m512i mask_Yk_i64(long long msk, __m512i x, __m512i y){
//CHECK: vpaddb\09 %xmm1, %xmm0, %xmm1 {$0}\09 // CHECK: <8 x i64> asm "vpaddb\09$3, $2, $0 {$1}", "=x,^Yk,x,x,~{dirflag},~{fpsr},~{flags}"(i64 %{{.*}}, <8 x i64> %{{.*}}, <8 x i64> %{{.*}})
asm ("vpaddb\t %%xmm1, %%xmm0, %%xmm1 %{%0%}\t" __m512i dst;
: //output asm ("vpaddb\t%3, %2, %0 %{%1%}"
: "Yk" (msk)); //inputs : "=x" (dst) //output
: "Yk" (msk), "x" (x), "x" (y)); //inputs
return dst;
} }
void k_wise_op_i8(char msk_dst,char msk_src1,char msk_src2){ char k_wise_op_i8(char msk_src1,char msk_src2){
//CHECK: kandw\09$2, $1, $0 //CHECK: i8 asm "kandb\09$2, $1, $0", "=k,k,k,~{dirflag},~{fpsr},~{flags}"(i8 %{{.*}}, i8 %{{.*}})
char msk_dst;
asm ("kandb\t%2, %1, %0"
: "=k" (msk_dst)
: "k" (msk_src1), "k" (msk_src2));
return msk_dst;
}
short k_wise_op_i16(short msk_src1, short msk_src2){
//CHECK: i16 asm "kandw\09$2, $1, $0", "=k,k,k,~{dirflag},~{fpsr},~{flags}"(i16 %{{.*}}, i16 %{{.*}})
short msk_dst;
asm ("kandw\t%2, %1, %0" asm ("kandw\t%2, %1, %0"
: "=k" (msk_dst) : "=k" (msk_dst)
: "k" (msk_src1), "k" (msk_src2)); : "k" (msk_src1), "k" (msk_src2));
return msk_dst;
} }
void k_wise_op_i16(short msk_dst, short msk_src1, short msk_src2){ int k_wise_op_i32(int msk_src1, int msk_src2){
//CHECK: kandw\09$2, $1, $0 //CHECK: i32 asm "kandd\09$2, $1, $0", "=k,k,k,~{dirflag},~{fpsr},~{flags}"(i32 %{{.*}}, i32 %{{.*}})
asm ("kandw\t%2, %1, %0" int msk_dst;
asm ("kandd\t%2, %1, %0"
: "=k" (msk_dst) : "=k" (msk_dst)
: "k" (msk_src1), "k" (msk_src2)); : "k" (msk_src1), "k" (msk_src2));
return msk_dst;
} }
void k_wise_op_i32(int msk_dst, int msk_src1, int msk_src2){ long long k_wise_op_i64(long long msk_src1, long long msk_src2){
//CHECK: kandw\09$2, $1, $0 //CHECK: i64 asm "kandq\09$2, $1, $0", "=k,k,k,~{dirflag},~{fpsr},~{flags}"(i64 %{{.*}}, i64 %{{.*}})
asm ("kandw\t%2, %1, %0" long long msk_dst;
: "=k" (msk_dst) asm ("kandq\t%2, %1, %0"
: "k" (msk_src1), "k" (msk_src2));
}
void k_wise_op_i64(long long msk_dst, long long msk_src1, long long msk_src2){
//CHECK: kandw\09$2, $1, $0
asm ("kandw\t%2, %1, %0"
: "=k" (msk_dst) : "=k" (msk_dst)
: "k" (msk_src1), "k" (msk_src2)); : "k" (msk_src1), "k" (msk_src2));
return msk_dst;
} }