Michael Zuckerman | b3147e8 | 2016-10-31 18:40:17 +0000 | [diff] [blame] | 1 | // 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 Zuckerman | 849a6a5 | 2016-10-31 17:23:52 +0000 | [diff] [blame] | 2 | // 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 | |
| 5 | void mask_Yk_i8(char msk){ |
Michael Zuckerman | b3147e8 | 2016-10-31 18:40:17 +0000 | [diff] [blame] | 6 | //CHECK: vpaddb\09 %xmm1, %xmm0, %xmm1 {$0}\09 |
Michael Zuckerman | 849a6a5 | 2016-10-31 17:23:52 +0000 | [diff] [blame] | 7 | asm ("vpaddb\t %%xmm1, %%xmm0, %%xmm1 %{%0%}\t" |
| 8 | : //output |
| 9 | : "Yk" (msk)); //inputs |
| 10 | } |
| 11 | |
| 12 | void mask_Yk_i16(short msk){ |
Michael Zuckerman | b3147e8 | 2016-10-31 18:40:17 +0000 | [diff] [blame] | 13 | //CHECK: vpaddb\09 %xmm1, %xmm0, %xmm1 {$0}\09 |
Michael Zuckerman | 849a6a5 | 2016-10-31 17:23:52 +0000 | [diff] [blame] | 14 | asm ("vpaddb\t %%xmm1, %%xmm0, %%xmm1 %{%0%}\t" |
| 15 | : //output |
| 16 | : "Yk" (msk)); //inputs |
| 17 | } |
| 18 | |
| 19 | void mask_Yk_i32(int msk){ |
Michael Zuckerman | b3147e8 | 2016-10-31 18:40:17 +0000 | [diff] [blame] | 20 | //CHECK: vpaddb\09 %xmm1, %xmm0, %xmm1 {$0}\09 |
Michael Zuckerman | 849a6a5 | 2016-10-31 17:23:52 +0000 | [diff] [blame] | 21 | asm ("vpaddb\t %%xmm1, %%xmm0, %%xmm1 %{%0%}\t" |
| 22 | : //output |
| 23 | : "Yk" (msk)); //inputs |
| 24 | } |
| 25 | |
| 26 | void mask_Yk_i64(long long msk){ |
Michael Zuckerman | b3147e8 | 2016-10-31 18:40:17 +0000 | [diff] [blame] | 27 | //CHECK: vpaddb\09 %xmm1, %xmm0, %xmm1 {$0}\09 |
Michael Zuckerman | 849a6a5 | 2016-10-31 17:23:52 +0000 | [diff] [blame] | 28 | asm ("vpaddb\t %%xmm1, %%xmm0, %%xmm1 %{%0%}\t" |
| 29 | : //output |
| 30 | : "Yk" (msk)); //inputs |
| 31 | } |
| 32 | |
| 33 | void k_wise_op_i8(char msk_dst,char msk_src1,char msk_src2){ |
Michael Zuckerman | b3147e8 | 2016-10-31 18:40:17 +0000 | [diff] [blame] | 34 | //CHECK: kandw\09$2, $1, $0 |
Michael Zuckerman | 849a6a5 | 2016-10-31 17:23:52 +0000 | [diff] [blame] | 35 | asm ("kandw\t%2, %1, %0" |
| 36 | : "=k" (msk_dst) |
| 37 | : "k" (msk_src1), "k" (msk_src2)); |
| 38 | } |
| 39 | |
| 40 | void k_wise_op_i16(short msk_dst, short msk_src1, short msk_src2){ |
Michael Zuckerman | b3147e8 | 2016-10-31 18:40:17 +0000 | [diff] [blame] | 41 | //CHECK: kandw\09$2, $1, $0 |
Michael Zuckerman | 849a6a5 | 2016-10-31 17:23:52 +0000 | [diff] [blame] | 42 | asm ("kandw\t%2, %1, %0" |
| 43 | : "=k" (msk_dst) |
| 44 | : "k" (msk_src1), "k" (msk_src2)); |
| 45 | } |
| 46 | |
| 47 | void k_wise_op_i32(int msk_dst, int msk_src1, int msk_src2){ |
Michael Zuckerman | b3147e8 | 2016-10-31 18:40:17 +0000 | [diff] [blame] | 48 | //CHECK: kandw\09$2, $1, $0 |
Michael Zuckerman | 849a6a5 | 2016-10-31 17:23:52 +0000 | [diff] [blame] | 49 | asm ("kandw\t%2, %1, %0" |
| 50 | : "=k" (msk_dst) |
| 51 | : "k" (msk_src1), "k" (msk_src2)); |
| 52 | } |
| 53 | |
| 54 | void k_wise_op_i64(long long msk_dst, long long msk_src1, long long msk_src2){ |
Michael Zuckerman | b3147e8 | 2016-10-31 18:40:17 +0000 | [diff] [blame] | 55 | //CHECK: kandw\09$2, $1, $0 |
Michael Zuckerman | 849a6a5 | 2016-10-31 17:23:52 +0000 | [diff] [blame] | 56 | asm ("kandw\t%2, %1, %0" |
| 57 | : "=k" (msk_dst) |
| 58 | : "k" (msk_src1), "k" (msk_src2)); |
| 59 | } |