blob: df93ddf7bbb9d079a6bf0df5f9a4a3015d3df5e3 [file] [log] [blame]
Michael Zuckermanb3147e82016-10-31 18:40:17 +00001// RUN: %clang_cc1 %s -O0 -triple=x86_64-apple-darwin -target-cpu skylake-avx512 -emit-llvm -o - -Wall -Werror |opt -instnamer -S |FileCheck %s
Michael Zuckerman849a6a52016-10-31 17:23:52 +00002// This test checks validity of att\gcc style inline assmebly for avx512 k and Yk constraints.
3// Also checks mask register allows flexible type (size <= 64 bit)
4
5void mask_Yk_i8(char msk){
Michael Zuckermanb3147e82016-10-31 18:40:17 +00006//CHECK: vpaddb\09 %xmm1, %xmm0, %xmm1 {$0}\09
Michael Zuckerman849a6a52016-10-31 17:23:52 +00007 asm ("vpaddb\t %%xmm1, %%xmm0, %%xmm1 %{%0%}\t"
8 : //output
9 : "Yk" (msk)); //inputs
10}
11
12void mask_Yk_i16(short msk){
Michael Zuckermanb3147e82016-10-31 18:40:17 +000013//CHECK: vpaddb\09 %xmm1, %xmm0, %xmm1 {$0}\09
Michael Zuckerman849a6a52016-10-31 17:23:52 +000014 asm ("vpaddb\t %%xmm1, %%xmm0, %%xmm1 %{%0%}\t"
15 : //output
16 : "Yk" (msk)); //inputs
17}
18
19void mask_Yk_i32(int msk){
Michael Zuckermanb3147e82016-10-31 18:40:17 +000020//CHECK: vpaddb\09 %xmm1, %xmm0, %xmm1 {$0}\09
Michael Zuckerman849a6a52016-10-31 17:23:52 +000021 asm ("vpaddb\t %%xmm1, %%xmm0, %%xmm1 %{%0%}\t"
22 : //output
23 : "Yk" (msk)); //inputs
24}
25
26void mask_Yk_i64(long long msk){
Michael Zuckermanb3147e82016-10-31 18:40:17 +000027//CHECK: vpaddb\09 %xmm1, %xmm0, %xmm1 {$0}\09
Michael Zuckerman849a6a52016-10-31 17:23:52 +000028 asm ("vpaddb\t %%xmm1, %%xmm0, %%xmm1 %{%0%}\t"
29 : //output
30 : "Yk" (msk)); //inputs
31}
32
33void k_wise_op_i8(char msk_dst,char msk_src1,char msk_src2){
Michael Zuckermanb3147e82016-10-31 18:40:17 +000034//CHECK: kandw\09$2, $1, $0
Michael Zuckerman849a6a52016-10-31 17:23:52 +000035 asm ("kandw\t%2, %1, %0"
36 : "=k" (msk_dst)
37 : "k" (msk_src1), "k" (msk_src2));
38}
39
40void k_wise_op_i16(short msk_dst, short msk_src1, short msk_src2){
Michael Zuckermanb3147e82016-10-31 18:40:17 +000041//CHECK: kandw\09$2, $1, $0
Michael Zuckerman849a6a52016-10-31 17:23:52 +000042 asm ("kandw\t%2, %1, %0"
43 : "=k" (msk_dst)
44 : "k" (msk_src1), "k" (msk_src2));
45}
46
47void k_wise_op_i32(int msk_dst, int msk_src1, int msk_src2){
Michael Zuckermanb3147e82016-10-31 18:40:17 +000048//CHECK: kandw\09$2, $1, $0
Michael Zuckerman849a6a52016-10-31 17:23:52 +000049 asm ("kandw\t%2, %1, %0"
50 : "=k" (msk_dst)
51 : "k" (msk_src1), "k" (msk_src2));
52}
53
54void k_wise_op_i64(long long msk_dst, long long msk_src1, long long msk_src2){
Michael Zuckermanb3147e82016-10-31 18:40:17 +000055//CHECK: kandw\09$2, $1, $0
Michael Zuckerman849a6a52016-10-31 17:23:52 +000056 asm ("kandw\t%2, %1, %0"
57 : "=k" (msk_dst)
58 : "k" (msk_src1), "k" (msk_src2));
59}