Author: ctopper
Date: Wed Jan 10 17:38:02 2018
New Revision: 322247
URL: http://llvm.org/viewvc/llvm-project?rev=322247&view=rev
Log:
[X86][Sema] Range check the constant argument for the vpshld/vpshrd builtins to
ensure it fits in 8-bits.
Modified:
cfe/trunk/lib/Sema/SemaChecking.cpp
cfe/trunk/test/Sema/builtins-x86.c
Modified: cfe/trunk/lib/Sema/SemaChecking.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaChecking.cpp?rev=322247&r1=322246&r2=322247&view=diff
==============================================================================
--- cfe/trunk/lib/Sema/SemaChecking.cpp (original)
+++ cfe/trunk/lib/Sema/SemaChecking.cpp Wed Jan 10 17:38:02 2018
@@ -2410,6 +2410,24 @@ bool Sema::CheckX86BuiltinFunctionCall(u
case X86::BI__builtin_ia32_dbpsadbw128_mask:
case X86::BI__builtin_ia32_dbpsadbw256_mask:
case X86::BI__builtin_ia32_dbpsadbw512_mask:
+ case X86::BI__builtin_ia32_vpshldd128_mask:
+ case X86::BI__builtin_ia32_vpshldd256_mask:
+ case X86::BI__builtin_ia32_vpshldd512_mask:
+ case X86::BI__builtin_ia32_vpshldq128_mask:
+ case X86::BI__builtin_ia32_vpshldq256_mask:
+ case X86::BI__builtin_ia32_vpshldq512_mask:
+ case X86::BI__builtin_ia32_vpshldw128_mask:
+ case X86::BI__builtin_ia32_vpshldw256_mask:
+ case X86::BI__builtin_ia32_vpshldw512_mask:
+ case X86::BI__builtin_ia32_vpshrdd128_mask:
+ case X86::BI__builtin_ia32_vpshrdd256_mask:
+ case X86::BI__builtin_ia32_vpshrdd512_mask:
+ case X86::BI__builtin_ia32_vpshrdq128_mask:
+ case X86::BI__builtin_ia32_vpshrdq256_mask:
+ case X86::BI__builtin_ia32_vpshrdq512_mask:
+ case X86::BI__builtin_ia32_vpshrdw128_mask:
+ case X86::BI__builtin_ia32_vpshrdw256_mask:
+ case X86::BI__builtin_ia32_vpshrdw512_mask:
i = 2; l = 0; u = 255;
break;
case X86::BI__builtin_ia32_fixupimmpd512_mask:
Modified: cfe/trunk/test/Sema/builtins-x86.c
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/builtins-x86.c?rev=322247&r1=322246&r2=322247&view=diff
==============================================================================
--- cfe/trunk/test/Sema/builtins-x86.c (original)
+++ cfe/trunk/test/Sema/builtins-x86.c Wed Jan 10 17:38:02 2018
@@ -4,12 +4,17 @@ typedef long long __m128i __attribute__(
typedef float __m128 __attribute__((__vector_size__(16)));
typedef double __m128d __attribute__((__vector_size__(16)));
+typedef long long __m256i __attribute__((__vector_size__(32)));
+typedef float __m256 __attribute__((__vector_size__(32)));
+typedef double __m256d __attribute__((__vector_size__(32)));
+
typedef long long __m512i __attribute__((__vector_size__(64)));
typedef float __m512 __attribute__((__vector_size__(64)));
typedef double __m512d __attribute__((__vector_size__(64)));
typedef unsigned char __mmask8;
typedef unsigned short __mmask16;
+typedef unsigned int __mmask32;
__m128 test__builtin_ia32_cmpps(__m128 __a, __m128 __b) {
__builtin_ia32_cmpps(__a, __b, 32); // expected-error {{argument should be a
value from 0 to 31}}
@@ -83,3 +88,74 @@ __m512 _mm512_mask_prefetch_i32gather_ps
return __builtin_ia32_gatherpfdps(mask, index, addr, 1, 1); //
expected-error {{argument should be a value from 2 to 3}}
}
+__m512i test_mm512_mask_shldi_epi64(__m512i __S, __mmask8 __U, __m512i __A,
__m512i __B) {
+ return __builtin_ia32_vpshldq512_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m512i test_mm512_mask_shldi_epi32(__m512i __S, __mmask16 __U, __m512i __A,
__m512i __B) {
+ return __builtin_ia32_vpshldd512_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m512i test_mm512_mask_shldi_epi16(__m512i __S, __mmask32 __U, __m512i __A,
__m512i __B) {
+ return __builtin_ia32_vpshldw512_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m512i test_mm512_mask_shrdi_epi64(__m512i __S, __mmask8 __U, __m512i __A,
__m512i __B) {
+ return __builtin_ia32_vpshrdq512_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m512i test_mm512_mask_shrdi_epi32(__m512i __S, __mmask16 __U, __m512i __A,
__m512i __B) {
+ return __builtin_ia32_vpshrdd512_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m512i test_mm512_mask_shrdi_epi16(__m512i __S, __mmask32 __U, __m512i __A,
__m512i __B) {
+ return __builtin_ia32_vpshrdw512_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m256i test_mm256_mask_shldi_epi64(__m256i __S, __mmask8 __U, __m256i __A,
__m256i __B) {
+ return __builtin_ia32_vpshldq256_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m128i test_mm128_mask_shldi_epi64(__m128i __S, __mmask8 __U, __m128i __A,
__m128i __B) {
+ return __builtin_ia32_vpshldq128_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m256i test_mm256_mask_shldi_epi32(__m256i __S, __mmask8 __U, __m256i __A,
__m256i __B) {
+ return __builtin_ia32_vpshldd256_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m128i test_mm128_mask_shldi_epi32(__m128i __S, __mmask8 __U, __m128i __A,
__m128i __B) {
+ return __builtin_ia32_vpshldd128_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m256i test_mm256_mask_shldi_epi16(__m256i __S, __mmask16 __U, __m256i __A,
__m256i __B) {
+ return __builtin_ia32_vpshldw256_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m128i test_mm128_mask_shldi_epi16(__m128i __S, __mmask8 __U, __m128i __A,
__m128i __B) {
+ return __builtin_ia32_vpshldw128_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m256i test_mm256_mask_shrdi_epi64(__m256i __S, __mmask8 __U, __m256i __A,
__m256i __B) {
+ return __builtin_ia32_vpshrdq256_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m128i test_mm128_mask_shrdi_epi64(__m128i __S, __mmask8 __U, __m128i __A,
__m128i __B) {
+ return __builtin_ia32_vpshrdq128_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m256i test_mm256_mask_shrdi_epi32(__m256i __S, __mmask8 __U, __m256i __A,
__m256i __B) {
+ return __builtin_ia32_vpshrdd256_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m128i test_mm128_mask_shrdi_epi32(__m128i __S, __mmask8 __U, __m128i __A,
__m128i __B) {
+ return __builtin_ia32_vpshrdd128_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m256i test_mm256_mask_shrdi_epi16(__m256i __S, __mmask16 __U, __m256i __A,
__m256i __B) {
+ return __builtin_ia32_vpshrdw256_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
+
+__m128i test_mm128_mask_shrdi_epi16(__m128i __S, __mmask8 __U, __m128i __A,
__m128i __B) {
+ return __builtin_ia32_vpshrdw128_mask(__A, __B, 1024, __S, __U); //
expected-error {{argument should be a value from 0 to 255}}
+}
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
