diff --git a/src/ansi-c/CMakeLists.txt b/src/ansi-c/CMakeLists.txt index 5981efeb723..8a015a8642a 100644 --- a/src/ansi-c/CMakeLists.txt +++ b/src/ansi-c/CMakeLists.txt @@ -63,6 +63,7 @@ make_inc(gcc_builtin_headers_ia32) make_inc(gcc_builtin_headers_ia32-2) make_inc(gcc_builtin_headers_ia32-3) make_inc(gcc_builtin_headers_ia32-4) +make_inc(gcc_builtin_headers_ia32-5) make_inc(gcc_builtin_headers_math) make_inc(gcc_builtin_headers_mem_string) make_inc(gcc_builtin_headers_mips) @@ -85,6 +86,7 @@ set(extra_dependencies ${CMAKE_CURRENT_BINARY_DIR}/gcc_builtin_headers_ia32-2.inc ${CMAKE_CURRENT_BINARY_DIR}/gcc_builtin_headers_ia32-3.inc ${CMAKE_CURRENT_BINARY_DIR}/gcc_builtin_headers_ia32-4.inc + ${CMAKE_CURRENT_BINARY_DIR}/gcc_builtin_headers_ia32-5.inc ${CMAKE_CURRENT_BINARY_DIR}/gcc_builtin_headers_ia32.inc ${CMAKE_CURRENT_BINARY_DIR}/gcc_builtin_headers_math.inc ${CMAKE_CURRENT_BINARY_DIR}/gcc_builtin_headers_mem_string.inc diff --git a/src/ansi-c/Makefile b/src/ansi-c/Makefile index 07b396da0ee..8f25a429bab 100644 --- a/src/ansi-c/Makefile +++ b/src/ansi-c/Makefile @@ -58,6 +58,7 @@ BUILTIN_FILES = \ gcc_builtin_headers_ia32-2.inc \ gcc_builtin_headers_ia32-3.inc \ gcc_builtin_headers_ia32-4.inc \ + gcc_builtin_headers_ia32-5.inc \ gcc_builtin_headers_ia32.inc \ gcc_builtin_headers_math.inc \ gcc_builtin_headers_mem_string.inc \ diff --git a/src/ansi-c/ansi_c_internal_additions.cpp b/src/ansi-c/ansi_c_internal_additions.cpp index e595d1f7710..32a7300cd4d 100644 --- a/src/ansi-c/ansi_c_internal_additions.cpp +++ b/src/ansi-c/ansi_c_internal_additions.cpp @@ -63,6 +63,9 @@ const char gcc_builtin_headers_ia32_3[]= const char gcc_builtin_headers_ia32_4[]= #include "gcc_builtin_headers_ia32-4.inc" ; // NOLINT(whitespace/semicolon) +const char gcc_builtin_headers_ia32_5[] = +#include "gcc_builtin_headers_ia32-5.inc" + ; // NOLINT(whitespace/semicolon) const char gcc_builtin_headers_alpha[]= "# 1 \"gcc_builtin_headers_alpha.h\"\n" diff --git a/src/ansi-c/ansi_c_internal_additions.h b/src/ansi-c/ansi_c_internal_additions.h index 20801df6ae2..e97278c8517 100644 --- a/src/ansi-c/ansi_c_internal_additions.h +++ b/src/ansi-c/ansi_c_internal_additions.h @@ -28,6 +28,7 @@ extern const char gcc_builtin_headers_ia32[]; extern const char gcc_builtin_headers_ia32_2[]; extern const char gcc_builtin_headers_ia32_3[]; extern const char gcc_builtin_headers_ia32_4[]; +extern const char gcc_builtin_headers_ia32_5[]; extern const char gcc_builtin_headers_alpha[]; extern const char gcc_builtin_headers_arm[]; extern const char gcc_builtin_headers_mips[]; diff --git a/src/ansi-c/arm_builtin_headers.h b/src/ansi-c/arm_builtin_headers.h index 9cfed7fa3d4..0051e9fe968 100644 --- a/src/ansi-c/arm_builtin_headers.h +++ b/src/ansi-c/arm_builtin_headers.h @@ -1,3 +1,4 @@ +// clang-format off void __breakpoint(int val); void __cdp(unsigned int coproc, unsigned int ops, unsigned int regs); void __clrex(void); @@ -41,3 +42,4 @@ int __usat(unsigned int val, unsigned int sat); void __wfe(void); void __wfi(void); void __yield(void); +// clang-format on diff --git a/src/ansi-c/builtin_factory.cpp b/src/ansi-c/builtin_factory.cpp index 14949575701..778a497a861 100644 --- a/src/ansi-c/builtin_factory.cpp +++ b/src/ansi-c/builtin_factory.cpp @@ -175,6 +175,9 @@ bool builtin_factory( if(find_pattern(pattern, gcc_builtin_headers_ia32_4, s)) return convert(identifier, s, symbol_table, mh); + + if(find_pattern(pattern, gcc_builtin_headers_ia32_5, s)) + return convert(identifier, s, symbol_table, mh); } else if(config.ansi_c.arch=="arm64" || config.ansi_c.arch=="armel" || diff --git a/src/ansi-c/clang_builtin_headers.h b/src/ansi-c/clang_builtin_headers.h index cc931b64c20..b558cd85ab9 100644 --- a/src/ansi-c/clang_builtin_headers.h +++ b/src/ansi-c/clang_builtin_headers.h @@ -1,8 +1,8 @@ +// clang-format off __gcc_v2di __builtin_ia32_undef128(void); __gcc_v4di __builtin_ia32_undef256(void); __gcc_v8di __builtin_ia32_undef512(void); -// clang-format off __gcc_v8hi __builtin_ia32_cvtne2ps2bf16_128(__gcc_v4sf, __gcc_v4sf); __gcc_v16hi __builtin_ia32_cvtne2ps2bf16_256(__gcc_v8sf, __gcc_v8sf); __gcc_v32hi __builtin_ia32_cvtne2ps2bf16_512(__gcc_v16sf, __gcc_v16sf); @@ -54,7 +54,6 @@ void __builtin_nontemporal_load(); int __builtin_flt_rounds(void); -// clang-format off unsigned char __builtin_rotateleft8(unsigned char, unsigned char); unsigned short __builtin_rotateleft16(unsigned short, unsigned short); unsigned int __builtin_rotateleft32(unsigned int, unsigned int); diff --git a/src/ansi-c/cprover_builtin_headers.h b/src/ansi-c/cprover_builtin_headers.h index a2004241e78..e673dc59848 100644 --- a/src/ansi-c/cprover_builtin_headers.h +++ b/src/ansi-c/cprover_builtin_headers.h @@ -1,3 +1,4 @@ +// clang-format off void __CPROVER_assume(__CPROVER_bool assumption); void __VERIFIER_assume(__CPROVER_bool assumption); void __CPROVER_assert(__CPROVER_bool assertion, const char *description); @@ -121,3 +122,4 @@ __CPROVER_bool __CPROVER_overflow_unary_minus(); // enumerations __CPROVER_bool __CPROVER_enum_is_in_range(); +// clang-format on diff --git a/src/ansi-c/cw_builtin_headers.h b/src/ansi-c/cw_builtin_headers.h index 8b30b4f275c..a7d6511df1b 100644 --- a/src/ansi-c/cw_builtin_headers.h +++ b/src/ansi-c/cw_builtin_headers.h @@ -1,3 +1,5 @@ +// clang-format off int __abs(int); void __builtin_va_info(); __CPROVER_size_t __builtin_force_const(__CPROVER_size_t); +// clang-format on diff --git a/src/ansi-c/gcc_builtin_headers_alpha.h b/src/ansi-c/gcc_builtin_headers_alpha.h index e6cccd22fbd..44aabedf4cb 100644 --- a/src/ansi-c/gcc_builtin_headers_alpha.h +++ b/src/ansi-c/gcc_builtin_headers_alpha.h @@ -1,3 +1,4 @@ +// clang-format off long __builtin_alpha_implver(void); long __builtin_alpha_rpcc(void); long __builtin_alpha_amask(long); @@ -44,3 +45,4 @@ long __builtin_alpha_ctlz(long); long __builtin_alpha_ctpop(long); void *__builtin_thread_pointer(void); void __builtin_set_thread_pointer(void *); +// clang-format on diff --git a/src/ansi-c/gcc_builtin_headers_arm.h b/src/ansi-c/gcc_builtin_headers_arm.h index e521c6ff614..b251d75100b 100644 --- a/src/ansi-c/gcc_builtin_headers_arm.h +++ b/src/ansi-c/gcc_builtin_headers_arm.h @@ -1,3 +1,4 @@ +// clang-format off int __builtin_arm_getwcx(int); void __builtin_arm_setwcx(int, int); int __builtin_arm_textrmsb(__gcc_v8qi, int); @@ -132,3 +133,4 @@ __gcc_v4hi __builtin_arm_wunpckilh(__gcc_v4hi, __gcc_v4hi); __gcc_v2si __builtin_arm_wunpckilw(__gcc_v2si, __gcc_v2si); long long __builtin_arm_wxor(long long, long long); long long __builtin_arm_wzero(); +// clang-format on diff --git a/src/ansi-c/gcc_builtin_headers_generic.h b/src/ansi-c/gcc_builtin_headers_generic.h index d16c5339e5f..b1faa1e66a8 100644 --- a/src/ansi-c/gcc_builtin_headers_generic.h +++ b/src/ansi-c/gcc_builtin_headers_generic.h @@ -1,5 +1,7 @@ +// clang-format off // stdarg void* __builtin_apply_args(); +void* __builtin_apply(void (*)(), void*, __CPROVER_size_t); void __builtin_ms_va_end(void *ap); void __builtin_ms_va_start(void *ap, ...); void* __builtin_next_arg(); @@ -20,46 +22,7 @@ int __builtin_execv(const char*, const char**); int __builtin_execve(const char*, const char**, const char**); int __builtin_execvp(const char*, const char**); void __builtin_exit(int); - -// stdio -int __builtin___fprintf_chk(void*, int, const char*, ...); -int __builtin___printf_chk(int, const char*, ...); -int __builtin___snprintf_chk(char*, __CPROVER_size_t, int, __CPROVER_size_t, const char*, ...); -int __builtin___sprintf_chk(char*, int, __CPROVER_size_t, const char*, ...); -int __builtin___vfprintf_chk(void*, int, const char*, __builtin_va_list); -int __builtin___vprintf_chk(int, const char*, __builtin_va_list); -int __builtin___vsnprintf_chk (char *s, __CPROVER_size_t maxlen, int flag, __CPROVER_size_t os, const char *fmt, __builtin_va_list ap); -int __builtin___vsnprintf_chk(char*, __CPROVER_size_t, int, __CPROVER_size_t, const char*, __builtin_va_list); -int __builtin___vsprintf_chk(char*, int, __CPROVER_size_t, const char*, __builtin_va_list); -long __builtin_expect(long, long); -int __builtin_fprintf(void *stream, const char *fmt, ...); -int __builtin_fprintf_unlocked(void*, const char*, ...); -int __builtin_fputc(int, void*); -int __builtin_fputc_unlocked(int, void*); -int __builtin_fputs(const char *s, void *stream); -int __builtin_fputs_unlocked(const char*, void*); -int __builtin_fscanf(void *stream, const char *fmt, ...); -__CPROVER_size_t __builtin_fwrite(const void*, __CPROVER_size_t, __CPROVER_size_t, void*); -__CPROVER_size_t __builtin_fwrite_unlocked(const void*, __CPROVER_size_t, __CPROVER_size_t, void*); -int __builtin_printf(const char*, ...); -int __builtin_printf_unlocked(const char*, ...); -int __builtin_putc(int, void*); -int __builtin_putc_unlocked(int, void*); -int __builtin_putchar(int); -int __builtin_putchar_unlocked(int); -int __builtin_puts(const char*); -int __builtin_puts_unlocked(const char*); -int __builtin_scanf(const char *str, const char *fmt, ...); -int __builtin_snprintf(char*, __CPROVER_size_t, const char*, ...); -int __builtin_sprintf(char*, const char*, ...); -int __builtin_sscanf(const char*, const char*, ...); -int __builtin_vfprintf(void*, const char*, __builtin_va_list); -int __builtin_vfscanf(void*, const char*, __builtin_va_list); -int __builtin_vprintf(const char*, __builtin_va_list); -int __builtin_vscanf(const char*, __builtin_va_list); -int __builtin_vsnprintf(char*, __CPROVER_size_t, const char*, __builtin_va_list); -int __builtin_vsprintf(char*, const char*, __builtin_va_list); -int __builtin_vsscanf(const char*, const char*, __builtin_va_list); +pid_t __builtin_fork(); // atomics void __sync_synchronize(); @@ -76,11 +39,16 @@ int __builtin_classify_type(); int __builtin_constant_p(int); void __builtin_trap(void); void __builtin_unreachable(void); +long __builtin_expect(long, long); +long __builtin_expect_with_probability(long, long, double); +void __builtin_clear_padding(); +void __builtin_speculation_safe_value(); +void* __builtin_speculation_safe_value_ptr(void*, ...); void* __builtin_dwarf_cfa(); unsigned __builtin_dwarf_sp_column(); int __builtin_eh_return_data_regno(int); -void __builtin_init_dwarf_reg___CPROVER_size_table(void*); +void __builtin_init_dwarf_reg_size_table(void*); void __builtin_unwind_init(); const char* __builtin_FILE(); @@ -92,3 +60,4 @@ void __builtin_return(void*); void* __builtin_saveregs(); int __builtin_setjmp(void*); void __builtin_update_setjmp_buf(void*); +// clang-format on diff --git a/src/ansi-c/gcc_builtin_headers_ia32-2.h b/src/ansi-c/gcc_builtin_headers_ia32-2.h index 0283a0c084c..28655bd5609 100644 --- a/src/ansi-c/gcc_builtin_headers_ia32-2.h +++ b/src/ansi-c/gcc_builtin_headers_ia32-2.h @@ -1,3 +1,4 @@ +// clang-format off void __builtin_ia32_emms(); __gcc_v2si __builtin_ia32_pmaddwd(__gcc_v4hi, __gcc_v4hi); __gcc_v2si __builtin_ia32_vec_init_v2si(int, int); @@ -93,9 +94,9 @@ void __builtin_ia32_pmovqw512mem_mask(__gcc_v8hi*, __gcc_v8di, unsigned char); void __builtin_ia32_pmovusdw512mem_mask(__gcc_v16hi*, __gcc_v16si, unsigned short); void __builtin_ia32_pmovsdw512mem_mask(__gcc_v16hi*, __gcc_v16si, unsigned short); void __builtin_ia32_pmovdw512mem_mask(__gcc_v16hi*, __gcc_v16si, unsigned short); -void __builtin_ia32_pmovqb512mem_mask(__gcc_v16qi*, __gcc_v8di, unsigned char); -void __builtin_ia32_pmovusqb512mem_mask(__gcc_v16qi*, __gcc_v8di, unsigned char); -void __builtin_ia32_pmovsqb512mem_mask(__gcc_v16qi*, __gcc_v8di, unsigned char); +void __builtin_ia32_pmovqb512mem_mask(unsigned long long*, __gcc_v8di, unsigned char); +void __builtin_ia32_pmovusqb512mem_mask(unsigned long long*, __gcc_v8di, unsigned char); +void __builtin_ia32_pmovsqb512mem_mask(unsigned long long*, __gcc_v8di, unsigned char); void __builtin_ia32_pmovusdb512mem_mask(__gcc_v16qi*, __gcc_v16si, unsigned short); void __builtin_ia32_pmovsdb512mem_mask(__gcc_v16qi*, __gcc_v16si, unsigned short); void __builtin_ia32_pmovdb512mem_mask(__gcc_v16qi*, __gcc_v16si, unsigned short); @@ -128,36 +129,36 @@ __gcc_v4sf __builtin_ia32_copysignps(__gcc_v4sf, __gcc_v4sf); float __builtin_ia32_rsqrtf(float); __gcc_v2df __builtin_ia32_copysignpd(__gcc_v2df, __gcc_v2df); __gcc_v4si __builtin_ia32_vec_pack_sfix(__gcc_v2df, __gcc_v2df); -__gcc_v2df __builtin_ia32_floorpd(__gcc_v2df, const int); -__gcc_v2df __builtin_ia32_ceilpd(__gcc_v2df, const int); -__gcc_v2df __builtin_ia32_truncpd(__gcc_v2df, const int); +__gcc_v2df __builtin_ia32_floorpd(__gcc_v2df); +__gcc_v2df __builtin_ia32_ceilpd(__gcc_v2df); +__gcc_v2df __builtin_ia32_truncpd(__gcc_v2df); __gcc_v2df __builtin_ia32_rintpd(__gcc_v2df, const int); -__gcc_v4si __builtin_ia32_floorpd_vec_pack_sfix(__gcc_v2df, __gcc_v2df, const int); -__gcc_v4si __builtin_ia32_ceilpd_vec_pack_sfix(__gcc_v2df, __gcc_v2df, const int); +__gcc_v4si __builtin_ia32_floorpd_vec_pack_sfix(__gcc_v2df, __gcc_v2df); +__gcc_v4si __builtin_ia32_ceilpd_vec_pack_sfix(__gcc_v2df, __gcc_v2df); __gcc_v2df __builtin_ia32_roundpd_az(__gcc_v2df); __gcc_v4si __builtin_ia32_roundpd_az_vec_pack_sfix(__gcc_v2df, __gcc_v2df); -__gcc_v4sf __builtin_ia32_floorps(__gcc_v4sf, const int); -__gcc_v4sf __builtin_ia32_ceilps(__gcc_v4sf, const int); -__gcc_v4sf __builtin_ia32_truncps(__gcc_v4sf, const int); +__gcc_v4sf __builtin_ia32_floorps(__gcc_v4sf); +__gcc_v4sf __builtin_ia32_ceilps(__gcc_v4sf); +__gcc_v4sf __builtin_ia32_truncps(__gcc_v4sf); __gcc_v4sf __builtin_ia32_rintps(__gcc_v4sf, const int); -__gcc_v4si __builtin_ia32_floorps_sfix(__gcc_v4sf, const int); -__gcc_v4si __builtin_ia32_ceilps_sfix(__gcc_v4sf, const int); +__gcc_v4si __builtin_ia32_floorps_sfix(__gcc_v4sf); +__gcc_v4si __builtin_ia32_ceilps_sfix(__gcc_v4sf); __gcc_v4sf __builtin_ia32_roundps_az(__gcc_v4sf); __gcc_v4si __builtin_ia32_roundps_az_sfix(__gcc_v4sf); -__gcc_v4df __builtin_ia32_floorpd256(__gcc_v4df, const int); -__gcc_v4df __builtin_ia32_ceilpd256(__gcc_v4df, const int); -__gcc_v4df __builtin_ia32_truncpd256(__gcc_v4df, const int); +__gcc_v4df __builtin_ia32_floorpd256(__gcc_v4df); +__gcc_v4df __builtin_ia32_ceilpd256(__gcc_v4df); +__gcc_v4df __builtin_ia32_truncpd256(__gcc_v4df); __gcc_v4df __builtin_ia32_rintpd256(__gcc_v4df, const int); __gcc_v4df __builtin_ia32_roundpd_az256(__gcc_v4df); __gcc_v8si __builtin_ia32_roundpd_az_vec_pack_sfix256(__gcc_v4df, __gcc_v4df); -__gcc_v8si __builtin_ia32_floorpd_vec_pack_sfix256(__gcc_v4df, __gcc_v4df, const int); -__gcc_v8si __builtin_ia32_ceilpd_vec_pack_sfix256(__gcc_v4df, __gcc_v4df, const int); -__gcc_v8sf __builtin_ia32_floorps256(__gcc_v8sf, const int); -__gcc_v8sf __builtin_ia32_ceilps256(__gcc_v8sf, const int); -__gcc_v8sf __builtin_ia32_truncps256(__gcc_v8sf, const int); +__gcc_v8si __builtin_ia32_floorpd_vec_pack_sfix256(__gcc_v4df, __gcc_v4df); +__gcc_v8si __builtin_ia32_ceilpd_vec_pack_sfix256(__gcc_v4df, __gcc_v4df); +__gcc_v8sf __builtin_ia32_floorps256(__gcc_v8sf); +__gcc_v8sf __builtin_ia32_ceilps256(__gcc_v8sf); +__gcc_v8sf __builtin_ia32_truncps256(__gcc_v8sf); __gcc_v8sf __builtin_ia32_rintps256(__gcc_v8sf, const int); -__gcc_v8si __builtin_ia32_floorps_sfix256(__gcc_v8sf, const int); -__gcc_v8si __builtin_ia32_ceilps_sfix256(__gcc_v8sf, const int); +__gcc_v8si __builtin_ia32_floorps_sfix256(__gcc_v8sf); +__gcc_v8si __builtin_ia32_ceilps_sfix256(__gcc_v8sf); __gcc_v8sf __builtin_ia32_roundps_az256(__gcc_v8sf); __gcc_v8si __builtin_ia32_roundps_az_sfix256(__gcc_v8sf); __gcc_v8sf __builtin_ia32_copysignps256(__gcc_v8sf, __gcc_v8sf); @@ -196,7 +197,7 @@ __gcc_v16si __builtin_ia32_broadcasti32x4_512(__gcc_v4si, __gcc_v16si, unsigned __gcc_v8di __builtin_ia32_broadcasti64x4_512(__gcc_v4di, __gcc_v8di, unsigned char); __gcc_v8df __builtin_ia32_broadcastsd512(__gcc_v2df, __gcc_v8df, unsigned char); __gcc_v16sf __builtin_ia32_broadcastss512(__gcc_v4sf, __gcc_v16sf, unsigned short); -short __builtin_ia32_cmpd512_mask(__gcc_v16si, __gcc_v16si, int, short); +unsigned short __builtin_ia32_cmpd512_mask(__gcc_v16si, __gcc_v16si, int, unsigned short); unsigned char __builtin_ia32_cmpq512_mask(__gcc_v8di, __gcc_v8di, int, unsigned char); __gcc_v8df __builtin_ia32_compressdf512_mask(__gcc_v8df, __gcc_v8df, unsigned char); __gcc_v16sf __builtin_ia32_compresssf512_mask(__gcc_v16sf, __gcc_v16sf, unsigned short); @@ -295,22 +296,22 @@ __gcc_v8di __builtin_ia32_prorq512_mask(__gcc_v8di, int, __gcc_v8di, unsigned ch __gcc_v16si __builtin_ia32_prorvd512_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); __gcc_v8di __builtin_ia32_prorvq512_mask(__gcc_v8di, __gcc_v8di, __gcc_v8di, unsigned char); __gcc_v16si __builtin_ia32_pshufd512_mask(__gcc_v16si, int, __gcc_v16si, unsigned short); -__gcc_v16si __builtin_ia32_pslld512_mask(__gcc_v16si, __gcc_v4si, __gcc_v16si, short); -__gcc_v16si __builtin_ia32_pslldi512_mask(__gcc_v16si, int, __gcc_v16si, short); -__gcc_v8di __builtin_ia32_psllq512_mask(__gcc_v8di, __gcc_v2di, __gcc_v8di, char); -__gcc_v8di __builtin_ia32_psllqi512_mask(__gcc_v8di, int, __gcc_v8di, char); +__gcc_v16si __builtin_ia32_pslld512_mask(__gcc_v16si, __gcc_v4si, __gcc_v16si, unsigned short); +__gcc_v16si __builtin_ia32_pslldi512_mask(__gcc_v16si, int, __gcc_v16si, unsigned short); +__gcc_v8di __builtin_ia32_psllq512_mask(__gcc_v8di, __gcc_v2di, __gcc_v8di, unsigned char); +__gcc_v8di __builtin_ia32_psllqi512_mask(__gcc_v8di, int, __gcc_v8di, unsigned char); __gcc_v16si __builtin_ia32_psllv16si_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); __gcc_v8di __builtin_ia32_psllv8di_mask(__gcc_v8di, __gcc_v8di, __gcc_v8di, unsigned char); -__gcc_v16si __builtin_ia32_psrad512_mask(__gcc_v16si, __gcc_v4si, __gcc_v16si, short); -__gcc_v16si __builtin_ia32_psradi512_mask(__gcc_v16si, int, __gcc_v16si, short); -__gcc_v8di __builtin_ia32_psraq512_mask(__gcc_v8di, __gcc_v2di, __gcc_v8di, char); -__gcc_v8di __builtin_ia32_psraqi512_mask(__gcc_v8di, int, __gcc_v8di, char); +__gcc_v16si __builtin_ia32_psrad512_mask(__gcc_v16si, __gcc_v4si, __gcc_v16si, unsigned short); +__gcc_v16si __builtin_ia32_psradi512_mask(__gcc_v16si, int, __gcc_v16si, unsigned short); +__gcc_v8di __builtin_ia32_psraq512_mask(__gcc_v8di, __gcc_v2di, __gcc_v8di, unsigned char); +__gcc_v8di __builtin_ia32_psraqi512_mask(__gcc_v8di, int, __gcc_v8di, unsigned char); __gcc_v16si __builtin_ia32_psrav16si_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); __gcc_v8di __builtin_ia32_psrav8di_mask(__gcc_v8di, __gcc_v8di, __gcc_v8di, unsigned char); -__gcc_v16si __builtin_ia32_psrld512_mask(__gcc_v16si, __gcc_v4si, __gcc_v16si, short); -__gcc_v16si __builtin_ia32_psrldi512_mask(__gcc_v16si, int, __gcc_v16si, short); -__gcc_v8di __builtin_ia32_psrlq512_mask(__gcc_v8di, __gcc_v2di, __gcc_v8di, char); -__gcc_v8di __builtin_ia32_psrlqi512_mask(__gcc_v8di, int, __gcc_v8di, char); +__gcc_v16si __builtin_ia32_psrld512_mask(__gcc_v16si, __gcc_v4si, __gcc_v16si, unsigned short); +__gcc_v16si __builtin_ia32_psrldi512_mask(__gcc_v16si, int, __gcc_v16si, unsigned short); +__gcc_v8di __builtin_ia32_psrlq512_mask(__gcc_v8di, __gcc_v2di, __gcc_v8di, unsigned char); +__gcc_v8di __builtin_ia32_psrlqi512_mask(__gcc_v8di, int, __gcc_v8di, unsigned char); __gcc_v16si __builtin_ia32_psrlv16si_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); __gcc_v8di __builtin_ia32_psrlv8di_mask(__gcc_v8di, __gcc_v8di, __gcc_v8di, unsigned char); __gcc_v16si __builtin_ia32_psubd512_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); @@ -339,7 +340,7 @@ __gcc_v16sf __builtin_ia32_shuf_f32x4_mask(__gcc_v16sf, __gcc_v16sf, int, __gcc_ __gcc_v8df __builtin_ia32_shuf_f64x2_mask(__gcc_v8df, __gcc_v8df, int, __gcc_v8df, unsigned char); __gcc_v16si __builtin_ia32_shuf_i32x4_mask(__gcc_v16si, __gcc_v16si, int, __gcc_v16si, unsigned short); __gcc_v8di __builtin_ia32_shuf_i64x2_mask(__gcc_v8di, __gcc_v8di, int, __gcc_v8di, unsigned char); -short __builtin_ia32_ucmpd512_mask(__gcc_v16si, __gcc_v16si, int, short); +unsigned short __builtin_ia32_ucmpd512_mask(__gcc_v16si, __gcc_v16si, int, unsigned short); unsigned char __builtin_ia32_ucmpq512_mask(__gcc_v8di, __gcc_v8di, int, unsigned char); __gcc_v8df __builtin_ia32_unpckhpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char); __gcc_v16sf __builtin_ia32_unpckhps512_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, unsigned short); @@ -381,8 +382,8 @@ __gcc_v8df __builtin_ia32_sqrtpd512(__gcc_v8df, ...); __gcc_v16sf __builtin_ia32_sqrtps512(__gcc_v16sf, ...); __gcc_v16sf __builtin_ia32_exp2ps(__gcc_v16sf); __gcc_v16si __builtin_ia32_roundpd_az_vec_pack_sfix512(__gcc_v8df, __gcc_v8df); -__gcc_v16si __builtin_ia32_floorpd_vec_pack_sfix512(__gcc_v8df, __gcc_v8df, const int); -__gcc_v16si __builtin_ia32_ceilpd_vec_pack_sfix512(__gcc_v8df, __gcc_v8df, const int); +__gcc_v16si __builtin_ia32_floorpd_vec_pack_sfix512(__gcc_v8df, __gcc_v8df); +__gcc_v16si __builtin_ia32_ceilpd_vec_pack_sfix512(__gcc_v8df, __gcc_v8df); unsigned short __builtin_ia32_kandhi(unsigned short, unsigned short); unsigned short __builtin_ia32_kandnhi(unsigned short, unsigned short); unsigned short __builtin_ia32_knothi(unsigned short); @@ -651,3 +652,4 @@ void __builtin_ia32_scatterpfdpd(char, __gcc_v8si,const long*, int, int); void __builtin_ia32_scatterpfdps( short, __gcc_v16si, const int*, int, int); void __builtin_ia32_scatterpfqpd(char, __gcc_v8di,const long*, int, int); void __builtin_ia32_scatterpfqps(char, __gcc_v8di, const int*, int, int); +// clang-format on diff --git a/src/ansi-c/gcc_builtin_headers_ia32-3.h b/src/ansi-c/gcc_builtin_headers_ia32-3.h index 08aa6aee4c1..cad360eda1e 100644 --- a/src/ansi-c/gcc_builtin_headers_ia32-3.h +++ b/src/ansi-c/gcc_builtin_headers_ia32-3.h @@ -1,3 +1,4 @@ +// clang-format off __gcc_v32hi __builtin_ia32_loaddquhi512_mask(const short*, __gcc_v32hi, unsigned); __gcc_v64qi __builtin_ia32_loaddquqi512_mask(const char*, __gcc_v64qi, unsigned long long); void __builtin_ia32_storedquhi512_mask(short*, __gcc_v32hi, unsigned); @@ -67,35 +68,35 @@ __gcc_v2di __builtin_ia32_expandloaddi128_maskz(const __gcc_v2di*, __gcc_v2di, u __gcc_v8si __builtin_ia32_expandloadsi256_maskz(const __gcc_v8si*, __gcc_v8si, unsigned char); __gcc_v4si __builtin_ia32_expandloadsi128_maskz(const __gcc_v4si*, __gcc_v4si, unsigned char); void __builtin_ia32_pmovqd256mem_mask(__gcc_v4si*, __gcc_v4di, unsigned char); -void __builtin_ia32_pmovqd128mem_mask(__gcc_v4si*, __gcc_v2di, unsigned char); +void __builtin_ia32_pmovqd128mem_mask(unsigned long long*, __gcc_v2di, unsigned char); void __builtin_ia32_pmovsqd256mem_mask(__gcc_v4si*, __gcc_v4di, unsigned char); -void __builtin_ia32_pmovsqd128mem_mask(__gcc_v4si*, __gcc_v2di, unsigned char); +void __builtin_ia32_pmovsqd128mem_mask(unsigned long long*, __gcc_v2di, unsigned char); void __builtin_ia32_pmovusqd256mem_mask(__gcc_v4si*, __gcc_v4di, unsigned char); -void __builtin_ia32_pmovusqd128mem_mask(__gcc_v4si*, __gcc_v2di, unsigned char); -void __builtin_ia32_pmovqw256mem_mask(__gcc_v8hi*, __gcc_v4di, unsigned char); -void __builtin_ia32_pmovqw128mem_mask(__gcc_v8hi*, __gcc_v2di, unsigned char); -void __builtin_ia32_pmovsqw256mem_mask(__gcc_v8hi*, __gcc_v4di, unsigned char); -void __builtin_ia32_pmovsqw128mem_mask(__gcc_v8hi*, __gcc_v2di, unsigned char); -void __builtin_ia32_pmovusqw256mem_mask(__gcc_v8hi*, __gcc_v4di, unsigned char); -void __builtin_ia32_pmovusqw128mem_mask(__gcc_v8hi*, __gcc_v2di, unsigned char); -void __builtin_ia32_pmovqb256mem_mask(__gcc_v16qi*, __gcc_v4di, unsigned char); -void __builtin_ia32_pmovqb128mem_mask(__gcc_v16qi*, __gcc_v2di, unsigned char); -void __builtin_ia32_pmovsqb256mem_mask(__gcc_v16qi*, __gcc_v4di, unsigned char); -void __builtin_ia32_pmovsqb128mem_mask(__gcc_v16qi*, __gcc_v2di, unsigned char); -void __builtin_ia32_pmovusqb256mem_mask(__gcc_v16qi*, __gcc_v4di, unsigned char); -void __builtin_ia32_pmovusqb128mem_mask(__gcc_v16qi*, __gcc_v2di, unsigned char); -void __builtin_ia32_pmovdb256mem_mask(__gcc_v16qi*, __gcc_v8si, unsigned char); -void __builtin_ia32_pmovdb128mem_mask(__gcc_v16qi*, __gcc_v4si, unsigned char); -void __builtin_ia32_pmovsdb256mem_mask(__gcc_v16qi*, __gcc_v8si, unsigned char); -void __builtin_ia32_pmovsdb128mem_mask(__gcc_v16qi*, __gcc_v4si, unsigned char); -void __builtin_ia32_pmovusdb256mem_mask(__gcc_v16qi*, __gcc_v8si, unsigned char); -void __builtin_ia32_pmovusdb128mem_mask(__gcc_v16qi*, __gcc_v4si, unsigned char); +void __builtin_ia32_pmovusqd128mem_mask(unsigned long long*, __gcc_v2di, unsigned char); +void __builtin_ia32_pmovqw256mem_mask(unsigned long long*, __gcc_v4di, unsigned char); +void __builtin_ia32_pmovqw128mem_mask(unsigned*, __gcc_v2di, unsigned char); +void __builtin_ia32_pmovsqw256mem_mask(unsigned long long*, __gcc_v4di, unsigned char); +void __builtin_ia32_pmovsqw128mem_mask(unsigned*, __gcc_v2di, unsigned char); +void __builtin_ia32_pmovusqw256mem_mask(unsigned long long*, __gcc_v4di, unsigned char); +void __builtin_ia32_pmovusqw128mem_mask(unsigned*, __gcc_v2di, unsigned char); +void __builtin_ia32_pmovqb256mem_mask(unsigned*, __gcc_v4di, unsigned char); +void __builtin_ia32_pmovqb128mem_mask(unsigned short*, __gcc_v2di, unsigned char); +void __builtin_ia32_pmovsqb256mem_mask(unsigned*, __gcc_v4di, unsigned char); +void __builtin_ia32_pmovsqb128mem_mask(unsigned short*, __gcc_v2di, unsigned char); +void __builtin_ia32_pmovusqb256mem_mask(unsigned*, __gcc_v4di, unsigned char); +void __builtin_ia32_pmovusqb128mem_mask(unsigned short*, __gcc_v2di, unsigned char); +void __builtin_ia32_pmovdb256mem_mask(unsigned long long*, __gcc_v8si, unsigned char); +void __builtin_ia32_pmovdb128mem_mask(unsigned*, __gcc_v4si, unsigned char); +void __builtin_ia32_pmovsdb256mem_mask(unsigned long long*, __gcc_v8si, unsigned char); +void __builtin_ia32_pmovsdb128mem_mask(unsigned*, __gcc_v4si, unsigned char); +void __builtin_ia32_pmovusdb256mem_mask(unsigned long long*, __gcc_v8si, unsigned char); +void __builtin_ia32_pmovusdb128mem_mask(unsigned*, __gcc_v4si, unsigned char); void __builtin_ia32_pmovdw256mem_mask(__gcc_v8hi*, __gcc_v8si, unsigned char); -void __builtin_ia32_pmovdw128mem_mask(__gcc_v8hi*, __gcc_v4si, unsigned char); +void __builtin_ia32_pmovdw128mem_mask(unsigned long long*, __gcc_v4si, unsigned char); void __builtin_ia32_pmovsdw256mem_mask(__gcc_v8hi*, __gcc_v8si, unsigned char); -void __builtin_ia32_pmovsdw128mem_mask(__gcc_v8hi*, __gcc_v4si, unsigned char); +void __builtin_ia32_pmovsdw128mem_mask(unsigned long long*, __gcc_v4si, unsigned char); void __builtin_ia32_pmovusdw256mem_mask(__gcc_v8hi*, __gcc_v8si, unsigned char); -void __builtin_ia32_pmovusdw128mem_mask(__gcc_v8hi*, __gcc_v4si, unsigned char); +void __builtin_ia32_pmovusdw128mem_mask(unsigned long long*, __gcc_v4si, unsigned char); unsigned __builtin_ia32_rdpkru(); void __builtin_ia32_wrpkru(unsigned); __gcc_v8si __builtin_ia32_vec_pack_sfix256 (__gcc_v4df, __gcc_v4df); @@ -664,3 +665,4 @@ unsigned char __builtin_ia32_ptestnmd128(__gcc_v4si, __gcc_v4si, unsigned char); unsigned char __builtin_ia32_ptestnmd256(__gcc_v8si, __gcc_v8si, unsigned char); unsigned char __builtin_ia32_ptestnmq128(__gcc_v2di, __gcc_v2di, unsigned char); unsigned char __builtin_ia32_ptestnmq256(__gcc_v4di, __gcc_v4di, unsigned char); +// clang-format on diff --git a/src/ansi-c/gcc_builtin_headers_ia32-4.h b/src/ansi-c/gcc_builtin_headers_ia32-4.h index 5acd1ab952a..828c0ba8fc0 100644 --- a/src/ansi-c/gcc_builtin_headers_ia32-4.h +++ b/src/ansi-c/gcc_builtin_headers_ia32-4.h @@ -1,3 +1,4 @@ +// clang-format off __gcc_v2di __builtin_ia32_broadcastmb128(unsigned char); __gcc_v4di __builtin_ia32_broadcastmb256(unsigned char); __gcc_v4si __builtin_ia32_broadcastmw128(unsigned short); @@ -339,3 +340,176 @@ __gcc_v8di __builtin_ia32_vpopcountq_v8di(__gcc_v8di); __gcc_v8di __builtin_ia32_vpopcountq_v8di_mask(__gcc_v8di, __gcc_v8di, unsigned char); unsigned __builtin_ia32_rdpid(); unsigned long __builtin_ia32_sizeof(void); +unsigned long long __builtin_ia32_xgetbv(int); +void __builtin_ia32_xsetbv(int, long long); +__gcc_v2df __builtin_ia32_loadsd_mask(const double*, __gcc_v2df, unsigned char); +__gcc_v4sf __builtin_ia32_loadss_mask(const float*, __gcc_v4sf, unsigned char); +void __builtin_ia32_storesd_mask(double*, __gcc_v2df, unsigned char); +void __builtin_ia32_storess_mask(float*, __gcc_v4sf, unsigned char); +void __builtin_ia32_2intersectd512(unsigned short*, unsigned short*, __gcc_v16si, __gcc_v16si); +void __builtin_ia32_2intersectq512(unsigned char*, unsigned char*, __gcc_v8di, __gcc_v8di); +void __builtin_ia32_2intersectd256(unsigned char*, unsigned char*, __gcc_v8si, __gcc_v8si); +void __builtin_ia32_2intersectq256(unsigned char*, unsigned char*, __gcc_v4di, __gcc_v4di); +void __builtin_ia32_2intersectd128(unsigned char*, unsigned char*, __gcc_v4si, __gcc_v4si); +void __builtin_ia32_2intersectq128(unsigned char*, unsigned char*, __gcc_v2di, __gcc_v2di); +void __builtin_ia32_pmovwb128mem_mask(unsigned long long*, __gcc_v8hi, unsigned char); +void __builtin_ia32_pmovwb256mem_mask(__gcc_v16qi*, __gcc_v16hi, unsigned short); +void __builtin_ia32_pmovswb128mem_mask(unsigned long long*, __gcc_v8hi, unsigned char); +void __builtin_ia32_pmovswb256mem_mask(__gcc_v16qi*, __gcc_v16hi, unsigned short); +void __builtin_ia32_pmovuswb128mem_mask(unsigned long long*, __gcc_v8hi, unsigned char); +void __builtin_ia32_pmovuswb256mem_mask(__gcc_v16qi*, __gcc_v16hi, unsigned short); +void __builtin_ia32_pmovuswb512mem_mask(__gcc_v32qi*, __gcc_v32hi, unsigned); +void __builtin_ia32_pmovswb512mem_mask(__gcc_v32qi*, __gcc_v32hi, unsigned); +void __builtin_ia32_pmovwb512mem_mask(__gcc_v32qi*, __gcc_v32hi, unsigned); +void __builtin_ia32_compressstoreuqi512_mask(__gcc_v64qi*, __gcc_v64qi, unsigned long long); +void __builtin_ia32_compressstoreuhi512_mask(__gcc_v32hi*, __gcc_v32hi, unsigned); +void __builtin_ia32_compressstoreuqi256_mask(__gcc_v32qi*, __gcc_v32qi, unsigned); +void __builtin_ia32_compressstoreuqi128_mask(__gcc_v16qi*, __gcc_v16qi, unsigned short); +void __builtin_ia32_compressstoreuhi256_mask(__gcc_v16hi*, __gcc_v16hi, unsigned short); +void __builtin_ia32_compressstoreuhi128_mask(__gcc_v8hi*, __gcc_v8hi, unsigned char); +__gcc_v64qi __builtin_ia32_expandloadqi512_mask(const __gcc_v64qi*, __gcc_v64qi, unsigned long long); +__gcc_v64qi __builtin_ia32_expandloadqi512_maskz(const __gcc_v64qi*, __gcc_v64qi, unsigned long long); +__gcc_v32hi __builtin_ia32_expandloadhi512_mask(const __gcc_v32hi*, __gcc_v32hi, unsigned); +__gcc_v32hi __builtin_ia32_expandloadhi512_maskz(const __gcc_v32hi*, __gcc_v32hi, unsigned); +__gcc_v32qi __builtin_ia32_expandloadqi256_mask(const __gcc_v32qi*, __gcc_v32qi, unsigned); +__gcc_v32qi __builtin_ia32_expandloadqi256_maskz(const __gcc_v32qi*, __gcc_v32qi, unsigned); +__gcc_v16hi __builtin_ia32_expandloadhi256_mask(const __gcc_v16hi*, __gcc_v16hi, unsigned short); +__gcc_v16hi __builtin_ia32_expandloadhi256_maskz(const __gcc_v16hi*, __gcc_v16hi, unsigned short); +__gcc_v16qi __builtin_ia32_expandloadqi128_mask(const __gcc_v16qi*, __gcc_v16qi, unsigned short); +__gcc_v16qi __builtin_ia32_expandloadqi128_maskz(const __gcc_v16qi*, __gcc_v16qi, unsigned short); +__gcc_v8hi __builtin_ia32_expandloadhi128_mask(const __gcc_v8hi*, __gcc_v8hi, unsigned char); +__gcc_v8hi __builtin_ia32_expandloadhi128_maskz(const __gcc_v8hi*, __gcc_v8hi, unsigned char); +void __builtin_ia32_wbinvd(); +void __builtin_ia32_directstoreu_u32(unsigned*, unsigned); +void __builtin_ia32_directstoreu_u64(unsigned long long*, unsigned long long); +void __builtin_ia32_wbnoinvd(); +void __builtin_ia32_movdir64b(void*, const void*); +void __builtin_ia32_ptwrite32(unsigned); +void __builtin_ia32_ptwrite64(unsigned long long); +int __builtin_ia32_enqcmd(void*, const void*); +int __builtin_ia32_enqcmds(void*, const void*); +void __builtin_ia32_serialize(); +void __builtin_ia32_xsusldtrk(); +void __builtin_ia32_xresldtrk(); +void __builtin_ia32_clui(); +void __builtin_ia32_stui(); +void __builtin_ia32_senduipi(unsigned long long); +void __builtin_ia32_hreset(unsigned); +void __builtin_ia32_loadiwkey(__gcc_v2di, __gcc_v2di, __gcc_v2di, unsigned); +unsigned char __builtin_ia32_aesdec128kl_u8(__gcc_v2di*, __gcc_v2di, const void*); +unsigned char __builtin_ia32_aesdec256kl_u8(__gcc_v2di*, __gcc_v2di, const void*); +unsigned char __builtin_ia32_aesenc128kl_u8(__gcc_v2di*, __gcc_v2di, const void*); +unsigned char __builtin_ia32_aesenc256kl_u8(__gcc_v2di*, __gcc_v2di, const void*); +unsigned __builtin_ia32_encodekey128_u32(unsigned, __gcc_v2di, void*); +unsigned __builtin_ia32_encodekey256_u32(unsigned, __gcc_v2di, __gcc_v2di, void*); +unsigned char __builtin_ia32_aesdecwide128kl_u8(__gcc_v2di*, const __gcc_v2di*, const void*); +unsigned char __builtin_ia32_aesdecwide256kl_u8(__gcc_v2di*, const __gcc_v2di*, const void*); +unsigned char __builtin_ia32_aesencwide128kl_u8(__gcc_v2di*, const __gcc_v2di*, const void*); +unsigned char __builtin_ia32_aesencwide256kl_u8(__gcc_v2di*, const __gcc_v2di*, const void*); +__gcc_v2df __builtin_ia32_rcp14sd_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char); +__gcc_v4sf __builtin_ia32_rcp14ss_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char); +__gcc_v2df __builtin_ia32_rsqrt14sd_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char); +__gcc_v4sf __builtin_ia32_rsqrt14ss_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char); +__gcc_v2df __builtin_ia32_movesd_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char); +__gcc_v4sf __builtin_ia32_movess_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char); +__gcc_v16sf __builtin_ia32_floorps512(__gcc_v16sf); +__gcc_v16sf __builtin_ia32_ceilps512(__gcc_v16sf); +__gcc_v16sf __builtin_ia32_truncps512(__gcc_v16sf); +__gcc_v8df __builtin_ia32_floorpd512(__gcc_v8df); +__gcc_v8df __builtin_ia32_ceilpd512(__gcc_v8df); +__gcc_v8df __builtin_ia32_truncpd512(__gcc_v8df); +__gcc_v16si __builtin_ia32_floorps_sfix512(__gcc_v16sf); +__gcc_v16si __builtin_ia32_ceilps_sfix512(__gcc_v16sf); +unsigned char __builtin_ia32_kshiftliqi(unsigned char, unsigned char); +unsigned char __builtin_ia32_kshiftriqi(unsigned char, unsigned char); +__gcc_v4di __builtin_ia32_palignr256_mask(__gcc_v4di, __gcc_v4di, int, __gcc_v4di, unsigned); +__gcc_v2di __builtin_ia32_palignr128_mask(__gcc_v2di, __gcc_v2di, int, __gcc_v2di, unsigned short); +__gcc_v2df __builtin_ia32_reducesd_mask(__gcc_v2df, __gcc_v2df, int, __gcc_v2df, unsigned char); +__gcc_v4sf __builtin_ia32_reducess_mask(__gcc_v4sf, __gcc_v4sf, int, __gcc_v4sf, unsigned char); +__gcc_v8hi __builtin_ia32_psllwi128_mask(__gcc_v8hi, int, __gcc_v8hi, unsigned char); +__gcc_v4si __builtin_ia32_pslldi128_mask(__gcc_v4si, int, __gcc_v4si, unsigned char); +__gcc_v2di __builtin_ia32_psllqi128_mask(__gcc_v2di, int, __gcc_v2di, unsigned char); +__gcc_v8hi __builtin_ia32_psllw128_mask(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi, unsigned char); +__gcc_v4si __builtin_ia32_pslld128_mask(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char); +__gcc_v2di __builtin_ia32_psllq128_mask(__gcc_v2di, __gcc_v2di, __gcc_v2di, unsigned char); +__gcc_v16hi __builtin_ia32_psllwi256_mask(__gcc_v16hi, int, __gcc_v16hi, unsigned short); +__gcc_v16hi __builtin_ia32_psllw256_mask(__gcc_v16hi, __gcc_v8hi, __gcc_v16hi, unsigned short); +__gcc_v8si __builtin_ia32_pslldi256_mask(__gcc_v8si, int, __gcc_v8si, unsigned char); +__gcc_v8si __builtin_ia32_pslld256_mask(__gcc_v8si, __gcc_v4si, __gcc_v8si, unsigned char); +__gcc_v4di __builtin_ia32_psllqi256_mask(__gcc_v4di, int, __gcc_v4di, unsigned char); +__gcc_v4di __builtin_ia32_psllq256_mask(__gcc_v4di, __gcc_v2di, __gcc_v4di, unsigned char); +__gcc_v4si __builtin_ia32_psradi128_mask(__gcc_v4si, int, __gcc_v4si, unsigned char); +__gcc_v4si __builtin_ia32_psrad128_mask(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char); +__gcc_v8si __builtin_ia32_psradi256_mask(__gcc_v8si, int, __gcc_v8si, unsigned char); +__gcc_v8si __builtin_ia32_psrad256_mask(__gcc_v8si, __gcc_v4si, __gcc_v8si, unsigned char); +__gcc_v2di __builtin_ia32_psraqi128_mask(__gcc_v2di, int, __gcc_v2di, unsigned char); +__gcc_v2di __builtin_ia32_psraq128_mask(__gcc_v2di, __gcc_v2di, __gcc_v2di, unsigned char); +__gcc_v4di __builtin_ia32_psraqi256_mask(__gcc_v4di, int, __gcc_v4di, unsigned char); +__gcc_v4di __builtin_ia32_psraq256_mask(__gcc_v4di, __gcc_v2di, __gcc_v4di, unsigned char); +__gcc_v4si __builtin_ia32_psrldi128_mask(__gcc_v4si, int, __gcc_v4si, unsigned char); +__gcc_v4si __builtin_ia32_psrld128_mask(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char); +__gcc_v8si __builtin_ia32_psrldi256_mask(__gcc_v8si, int, __gcc_v8si, unsigned char); +__gcc_v8si __builtin_ia32_psrld256_mask(__gcc_v8si, __gcc_v4si, __gcc_v8si, unsigned char); +__gcc_v2di __builtin_ia32_psrlqi128_mask(__gcc_v2di, int, __gcc_v2di, unsigned char); +__gcc_v2di __builtin_ia32_psrlq128_mask(__gcc_v2di, __gcc_v2di, __gcc_v2di, unsigned char); +__gcc_v4di __builtin_ia32_psrlqi256_mask(__gcc_v4di, int, __gcc_v4di, unsigned char); +__gcc_v4di __builtin_ia32_psrlq256_mask(__gcc_v4di, __gcc_v2di, __gcc_v4di, unsigned char); +__gcc_v4df __builtin_ia32_vfmsubpd256_mask(__gcc_v4df, __gcc_v4df, __gcc_v4df, unsigned char); +__gcc_v4df __builtin_ia32_vfmsubpd256_maskz(__gcc_v4df, __gcc_v4df, __gcc_v4df, unsigned char); +__gcc_v2df __builtin_ia32_vfmsubpd128_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char); +__gcc_v2df __builtin_ia32_vfmsubpd128_maskz(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char); +__gcc_v8sf __builtin_ia32_vfmsubps256_mask(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf, unsigned char); +__gcc_v8sf __builtin_ia32_vfmsubps256_maskz(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf, unsigned char); +__gcc_v4sf __builtin_ia32_vfmsubps128_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char); +__gcc_v4sf __builtin_ia32_vfmsubps128_maskz(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char); +__gcc_v4df __builtin_ia32_vfnmaddpd256_mask3(__gcc_v4df, __gcc_v4df, __gcc_v4df, unsigned char); +__gcc_v4df __builtin_ia32_vfnmaddpd256_maskz(__gcc_v4df, __gcc_v4df, __gcc_v4df, unsigned char); +__gcc_v2df __builtin_ia32_vfnmaddpd128_mask3(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char); +__gcc_v2df __builtin_ia32_vfnmaddpd128_maskz(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char); +__gcc_v8sf __builtin_ia32_vfnmaddps256_mask3(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf, unsigned char); +__gcc_v8sf __builtin_ia32_vfnmaddps256_maskz(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf, unsigned char); +__gcc_v4sf __builtin_ia32_vfnmaddps128_mask3(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char); +__gcc_v4sf __builtin_ia32_vfnmaddps128_maskz(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char); +__gcc_v4df __builtin_ia32_vfnmsubpd256_maskz(__gcc_v4df, __gcc_v4df, __gcc_v4df, unsigned char); +__gcc_v2df __builtin_ia32_vfnmsubpd128_maskz(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char); +__gcc_v8sf __builtin_ia32_vfnmsubps256_maskz(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf, unsigned char); +__gcc_v4sf __builtin_ia32_vfnmsubps128_maskz(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char); +__gcc_v16hi __builtin_ia32_psrawi256_mask(__gcc_v16hi, int, __gcc_v16hi, unsigned short); +__gcc_v16hi __builtin_ia32_psraw256_mask(__gcc_v16hi, __gcc_v8hi, __gcc_v16hi, unsigned short); +__gcc_v8hi __builtin_ia32_psrawi128_mask(__gcc_v8hi, int, __gcc_v8hi, unsigned char); +__gcc_v8hi __builtin_ia32_psraw128_mask(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi, unsigned char); +__gcc_v16hi __builtin_ia32_psrlwi256_mask(__gcc_v16hi, int, __gcc_v16hi, unsigned short); +__gcc_v16hi __builtin_ia32_psrlw256_mask(__gcc_v16hi, __gcc_v8hi, __gcc_v16hi, unsigned short); +__gcc_v8hi __builtin_ia32_psrlwi128_mask(__gcc_v8hi, int, __gcc_v8hi, unsigned char); +__gcc_v8hi __builtin_ia32_psrlw128_mask(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi, unsigned char); +char __builtin_ia32_fpclasssd_mask(__gcc_v2df, int, unsigned char); +char __builtin_ia32_fpclassss_mask(__gcc_v4sf, int, unsigned char); +__gcc_v8di __builtin_ia32_pslldq512(__gcc_v8di, int); +__gcc_v8di __builtin_ia32_psrldq512(__gcc_v8di, int); +__gcc_v8di __builtin_ia32_palignr512(__gcc_v8di, __gcc_v8di, int); +__gcc_v8di __builtin_ia32_palignr512_mask(__gcc_v8di, __gcc_v8di, int, __gcc_v8di, unsigned long long); +__gcc_v32hi __builtin_ia32_psllwi512_mask(__gcc_v32hi, int, __gcc_v32hi, unsigned); +__gcc_v32hi __builtin_ia32_psllw512_mask(__gcc_v32hi, __gcc_v8hi, __gcc_v32hi, unsigned); +__gcc_v32hi __builtin_ia32_psrawi512_mask(__gcc_v32hi, int, __gcc_v32hi, unsigned); +__gcc_v32hi __builtin_ia32_psraw512_mask(__gcc_v32hi, __gcc_v8hi, __gcc_v32hi, unsigned); +__gcc_v32hi __builtin_ia32_psrlwi512_mask(__gcc_v32hi, int, __gcc_v32hi, unsigned); +__gcc_v32hi __builtin_ia32_psrlw512_mask(__gcc_v32hi, __gcc_v8hi, __gcc_v32hi, unsigned); +__gcc_v64qi __builtin_ia32_compressqi512_mask(__gcc_v64qi, __gcc_v64qi, unsigned long long); +__gcc_v32hi __builtin_ia32_compresshi512_mask(__gcc_v32hi, __gcc_v32hi, unsigned); +__gcc_v32qi __builtin_ia32_compressqi256_mask(__gcc_v32qi, __gcc_v32qi, unsigned); +__gcc_v16qi __builtin_ia32_compressqi128_mask(__gcc_v16qi, __gcc_v16qi, unsigned short); +__gcc_v16hi __builtin_ia32_compresshi256_mask(__gcc_v16hi, __gcc_v16hi, unsigned short); +__gcc_v8hi __builtin_ia32_compresshi128_mask(__gcc_v8hi, __gcc_v8hi, unsigned char); +__gcc_v64qi __builtin_ia32_expandqi512_mask(__gcc_v64qi, __gcc_v64qi, unsigned long long); +__gcc_v64qi __builtin_ia32_expandqi512_maskz(__gcc_v64qi, __gcc_v64qi, unsigned long long); +__gcc_v32hi __builtin_ia32_expandhi512_mask(__gcc_v32hi, __gcc_v32hi, unsigned); +__gcc_v32hi __builtin_ia32_expandhi512_maskz(__gcc_v32hi, __gcc_v32hi, unsigned); +__gcc_v32qi __builtin_ia32_expandqi256_mask(__gcc_v32qi, __gcc_v32qi, unsigned); +__gcc_v32qi __builtin_ia32_expandqi256_maskz(__gcc_v32qi, __gcc_v32qi, unsigned); +__gcc_v16qi __builtin_ia32_expandqi128_mask(__gcc_v16qi, __gcc_v16qi, unsigned short); +__gcc_v16qi __builtin_ia32_expandqi128_maskz(__gcc_v16qi, __gcc_v16qi, unsigned short); +__gcc_v16hi __builtin_ia32_expandhi256_mask(__gcc_v16hi, __gcc_v16hi, unsigned short); +__gcc_v16hi __builtin_ia32_expandhi256_maskz(__gcc_v16hi, __gcc_v16hi, unsigned short); +__gcc_v8hi __builtin_ia32_expandhi128_mask(__gcc_v8hi, __gcc_v8hi, unsigned char); +__gcc_v8hi __builtin_ia32_expandhi128_maskz(__gcc_v8hi, __gcc_v8hi, unsigned char); +// clang-format on diff --git a/src/ansi-c/gcc_builtin_headers_ia32-5.h b/src/ansi-c/gcc_builtin_headers_ia32-5.h new file mode 100644 index 00000000000..16f9640ae57 --- /dev/null +++ b/src/ansi-c/gcc_builtin_headers_ia32-5.h @@ -0,0 +1,275 @@ +// clang-format off +__gcc_v32hi __builtin_ia32_vpshrd_v32hi(__gcc_v32hi, __gcc_v32hi, int); +__gcc_v32hi __builtin_ia32_vpshrd_v32hi_mask(__gcc_v32hi, __gcc_v32hi, int, __gcc_v32hi, int); +__gcc_v16hi __builtin_ia32_vpshrd_v16hi(__gcc_v16hi, __gcc_v16hi, int); +__gcc_v16hi __builtin_ia32_vpshrd_v16hi_mask(__gcc_v16hi, __gcc_v16hi, int, __gcc_v16hi, int); +__gcc_v8hi __builtin_ia32_vpshrd_v8hi(__gcc_v8hi, __gcc_v8hi, int); +__gcc_v8hi __builtin_ia32_vpshrd_v8hi_mask(__gcc_v8hi, __gcc_v8hi, int, __gcc_v8hi, int); +__gcc_v16si __builtin_ia32_vpshrd_v16si(__gcc_v16si, __gcc_v16si, int); +__gcc_v16si __builtin_ia32_vpshrd_v16si_mask(__gcc_v16si, __gcc_v16si, int, __gcc_v16si, int); +__gcc_v8si __builtin_ia32_vpshrd_v8si(__gcc_v8si, __gcc_v8si, int); +__gcc_v8si __builtin_ia32_vpshrd_v8si_mask(__gcc_v8si, __gcc_v8si, int, __gcc_v8si, int); +__gcc_v4si __builtin_ia32_vpshrd_v4si(__gcc_v4si, __gcc_v4si, int); +__gcc_v4si __builtin_ia32_vpshrd_v4si_mask(__gcc_v4si, __gcc_v4si, int, __gcc_v4si, int); +__gcc_v8di __builtin_ia32_vpshrd_v8di(__gcc_v8di, __gcc_v8di, int); +__gcc_v8di __builtin_ia32_vpshrd_v8di_mask(__gcc_v8di, __gcc_v8di, int, __gcc_v8di, int); +__gcc_v4di __builtin_ia32_vpshrd_v4di(__gcc_v4di, __gcc_v4di, int); +__gcc_v4di __builtin_ia32_vpshrd_v4di_mask(__gcc_v4di, __gcc_v4di, int, __gcc_v4di, int); +__gcc_v2di __builtin_ia32_vpshrd_v2di(__gcc_v2di, __gcc_v2di, int); +__gcc_v2di __builtin_ia32_vpshrd_v2di_mask(__gcc_v2di, __gcc_v2di, int, __gcc_v2di, int); +__gcc_v32hi __builtin_ia32_vpshld_v32hi(__gcc_v32hi, __gcc_v32hi, int); +__gcc_v32hi __builtin_ia32_vpshld_v32hi_mask(__gcc_v32hi, __gcc_v32hi, int, __gcc_v32hi, int); +__gcc_v16hi __builtin_ia32_vpshld_v16hi(__gcc_v16hi, __gcc_v16hi, int); +__gcc_v16hi __builtin_ia32_vpshld_v16hi_mask(__gcc_v16hi, __gcc_v16hi, int, __gcc_v16hi, int); +__gcc_v8hi __builtin_ia32_vpshld_v8hi(__gcc_v8hi, __gcc_v8hi, int); +__gcc_v8hi __builtin_ia32_vpshld_v8hi_mask(__gcc_v8hi, __gcc_v8hi, int, __gcc_v8hi, int); +__gcc_v16si __builtin_ia32_vpshld_v16si(__gcc_v16si, __gcc_v16si, int); +__gcc_v16si __builtin_ia32_vpshld_v16si_mask(__gcc_v16si, __gcc_v16si, int, __gcc_v16si, int); +__gcc_v8si __builtin_ia32_vpshld_v8si(__gcc_v8si, __gcc_v8si, int); +__gcc_v8si __builtin_ia32_vpshld_v8si_mask(__gcc_v8si, __gcc_v8si, int, __gcc_v8si, int); +__gcc_v4si __builtin_ia32_vpshld_v4si(__gcc_v4si, __gcc_v4si, int); +__gcc_v4si __builtin_ia32_vpshld_v4si_mask(__gcc_v4si, __gcc_v4si, int, __gcc_v4si, int); +__gcc_v8di __builtin_ia32_vpshld_v8di(__gcc_v8di, __gcc_v8di, int); +__gcc_v8di __builtin_ia32_vpshld_v8di_mask(__gcc_v8di, __gcc_v8di, int, __gcc_v8di, int); +__gcc_v4di __builtin_ia32_vpshld_v4di(__gcc_v4di, __gcc_v4di, int); +__gcc_v4di __builtin_ia32_vpshld_v4di_mask(__gcc_v4di, __gcc_v4di, int, __gcc_v4di, int); +__gcc_v2di __builtin_ia32_vpshld_v2di(__gcc_v2di, __gcc_v2di, int); +__gcc_v2di __builtin_ia32_vpshld_v2di_mask(__gcc_v2di, __gcc_v2di, int, __gcc_v2di, int); +__gcc_v32hi __builtin_ia32_vpshrdv_v32hi(__gcc_v32hi, __gcc_v32hi, __gcc_v32hi); +__gcc_v32hi __builtin_ia32_vpshrdv_v32hi_mask(__gcc_v32hi, __gcc_v32hi, __gcc_v32hi, unsigned); +__gcc_v32hi __builtin_ia32_vpshrdv_v32hi_maskz(__gcc_v32hi, __gcc_v32hi, __gcc_v32hi, unsigned); +__gcc_v16hi __builtin_ia32_vpshrdv_v16hi(__gcc_v16hi, __gcc_v16hi, __gcc_v16hi); +__gcc_v16hi __builtin_ia32_vpshrdv_v16hi_mask(__gcc_v16hi, __gcc_v16hi, __gcc_v16hi, unsigned short); +__gcc_v16hi __builtin_ia32_vpshrdv_v16hi_maskz(__gcc_v16hi, __gcc_v16hi, __gcc_v16hi, unsigned short); +__gcc_v8hi __builtin_ia32_vpshrdv_v8hi(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi); +__gcc_v8hi __builtin_ia32_vpshrdv_v8hi_mask(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi, unsigned char); +__gcc_v8hi __builtin_ia32_vpshrdv_v8hi_maskz(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi, unsigned char); +__gcc_v16si __builtin_ia32_vpshrdv_v16si(__gcc_v16si, __gcc_v16si, __gcc_v16si); +__gcc_v16si __builtin_ia32_vpshrdv_v16si_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); +__gcc_v16si __builtin_ia32_vpshrdv_v16si_maskz(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); +__gcc_v8si __builtin_ia32_vpshrdv_v8si(__gcc_v8si, __gcc_v8si, __gcc_v8si); +__gcc_v8si __builtin_ia32_vpshrdv_v8si_mask(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char); +__gcc_v8si __builtin_ia32_vpshrdv_v8si_maskz(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char); +__gcc_v4si __builtin_ia32_vpshrdv_v4si(__gcc_v4si, __gcc_v4si, __gcc_v4si); +__gcc_v4si __builtin_ia32_vpshrdv_v4si_mask(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char); +__gcc_v4si __builtin_ia32_vpshrdv_v4si_maskz(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char); +__gcc_v8di __builtin_ia32_vpshrdv_v8di(__gcc_v8di, __gcc_v8di, __gcc_v8di); +__gcc_v8di __builtin_ia32_vpshrdv_v8di_mask(__gcc_v8di, __gcc_v8di, __gcc_v8di, unsigned char); +__gcc_v8di __builtin_ia32_vpshrdv_v8di_maskz(__gcc_v8di, __gcc_v8di, __gcc_v8di, unsigned char); +__gcc_v4di __builtin_ia32_vpshrdv_v4di(__gcc_v4di, __gcc_v4di, __gcc_v4di); +__gcc_v4di __builtin_ia32_vpshrdv_v4di_mask(__gcc_v4di, __gcc_v4di, __gcc_v4di, unsigned char); +__gcc_v4di __builtin_ia32_vpshrdv_v4di_maskz(__gcc_v4di, __gcc_v4di, __gcc_v4di, unsigned char); +__gcc_v2di __builtin_ia32_vpshrdv_v2di(__gcc_v2di, __gcc_v2di, __gcc_v2di); +__gcc_v2di __builtin_ia32_vpshrdv_v2di_mask(__gcc_v2di, __gcc_v2di, __gcc_v2di, unsigned char); +__gcc_v2di __builtin_ia32_vpshrdv_v2di_maskz(__gcc_v2di, __gcc_v2di, __gcc_v2di, unsigned char); +__gcc_v32hi __builtin_ia32_vpshldv_v32hi(__gcc_v32hi, __gcc_v32hi, __gcc_v32hi); +__gcc_v32hi __builtin_ia32_vpshldv_v32hi_mask(__gcc_v32hi, __gcc_v32hi, __gcc_v32hi, unsigned); +__gcc_v32hi __builtin_ia32_vpshldv_v32hi_maskz(__gcc_v32hi, __gcc_v32hi, __gcc_v32hi, unsigned); +__gcc_v16hi __builtin_ia32_vpshldv_v16hi(__gcc_v16hi, __gcc_v16hi, __gcc_v16hi); +__gcc_v16hi __builtin_ia32_vpshldv_v16hi_mask(__gcc_v16hi, __gcc_v16hi, __gcc_v16hi, unsigned short); +__gcc_v16hi __builtin_ia32_vpshldv_v16hi_maskz(__gcc_v16hi, __gcc_v16hi, __gcc_v16hi, unsigned short); +__gcc_v8hi __builtin_ia32_vpshldv_v8hi(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi); +__gcc_v8hi __builtin_ia32_vpshldv_v8hi_mask(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi, unsigned char); +__gcc_v8hi __builtin_ia32_vpshldv_v8hi_maskz(__gcc_v8hi, __gcc_v8hi, __gcc_v8hi, unsigned char); +__gcc_v16si __builtin_ia32_vpshldv_v16si(__gcc_v16si, __gcc_v16si, __gcc_v16si); +__gcc_v16si __builtin_ia32_vpshldv_v16si_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); +__gcc_v16si __builtin_ia32_vpshldv_v16si_maskz(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); +__gcc_v8si __builtin_ia32_vpshldv_v8si(__gcc_v8si, __gcc_v8si, __gcc_v8si); +__gcc_v8si __builtin_ia32_vpshldv_v8si_mask(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char); +__gcc_v8si __builtin_ia32_vpshldv_v8si_maskz(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char); +__gcc_v4si __builtin_ia32_vpshldv_v4si(__gcc_v4si, __gcc_v4si, __gcc_v4si); +__gcc_v4si __builtin_ia32_vpshldv_v4si_mask(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char); +__gcc_v4si __builtin_ia32_vpshldv_v4si_maskz(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char); +__gcc_v8di __builtin_ia32_vpshldv_v8di(__gcc_v8di, __gcc_v8di, __gcc_v8di); +__gcc_v8di __builtin_ia32_vpshldv_v8di_mask(__gcc_v8di, __gcc_v8di, __gcc_v8di, unsigned char); +__gcc_v8di __builtin_ia32_vpshldv_v8di_maskz(__gcc_v8di, __gcc_v8di, __gcc_v8di, unsigned char); +__gcc_v4di __builtin_ia32_vpshldv_v4di(__gcc_v4di, __gcc_v4di, __gcc_v4di); +__gcc_v4di __builtin_ia32_vpshldv_v4di_mask(__gcc_v4di, __gcc_v4di, __gcc_v4di, unsigned char); +__gcc_v4di __builtin_ia32_vpshldv_v4di_maskz(__gcc_v4di, __gcc_v4di, __gcc_v4di, unsigned char); +__gcc_v2di __builtin_ia32_vpshldv_v2di(__gcc_v2di, __gcc_v2di, __gcc_v2di); +__gcc_v2di __builtin_ia32_vpshldv_v2di_mask(__gcc_v2di, __gcc_v2di, __gcc_v2di, unsigned char); +__gcc_v2di __builtin_ia32_vpshldv_v2di_maskz(__gcc_v2di, __gcc_v2di, __gcc_v2di, unsigned char); +__gcc_v64qi __builtin_ia32_vgf2p8affineinvqb_v64qi(__gcc_v64qi, __gcc_v64qi, int); +__gcc_v64qi __builtin_ia32_vgf2p8affineinvqb_v64qi_mask(__gcc_v64qi, __gcc_v64qi, int, __gcc_v64qi, unsigned long long); +__gcc_v32qi __builtin_ia32_vgf2p8affineinvqb_v32qi(__gcc_v32qi, __gcc_v32qi, int); +__gcc_v32qi __builtin_ia32_vgf2p8affineinvqb_v32qi_mask(__gcc_v32qi, __gcc_v32qi, int, __gcc_v32qi, unsigned); +__gcc_v16qi __builtin_ia32_vgf2p8affineinvqb_v16qi(__gcc_v16qi, __gcc_v16qi, int); +__gcc_v16qi __builtin_ia32_vgf2p8affineinvqb_v16qi_mask(__gcc_v16qi, __gcc_v16qi, int, __gcc_v16qi, unsigned short); +__gcc_v64qi __builtin_ia32_vgf2p8affineqb_v64qi(__gcc_v64qi, __gcc_v64qi, int); +__gcc_v64qi __builtin_ia32_vgf2p8affineqb_v64qi_mask(__gcc_v64qi, __gcc_v64qi, int, __gcc_v64qi, unsigned long long); +__gcc_v32qi __builtin_ia32_vgf2p8affineqb_v32qi(__gcc_v32qi, __gcc_v32qi, int); +__gcc_v32qi __builtin_ia32_vgf2p8affineqb_v32qi_mask(__gcc_v32qi, __gcc_v32qi, int, __gcc_v32qi, unsigned); +__gcc_v16qi __builtin_ia32_vgf2p8affineqb_v16qi(__gcc_v16qi, __gcc_v16qi, int); +__gcc_v16qi __builtin_ia32_vgf2p8affineqb_v16qi_mask(__gcc_v16qi, __gcc_v16qi, int, __gcc_v16qi, unsigned short); +__gcc_v64qi __builtin_ia32_vgf2p8mulb_v64qi(__gcc_v64qi, __gcc_v64qi); +__gcc_v64qi __builtin_ia32_vgf2p8mulb_v64qi_mask(__gcc_v64qi, __gcc_v64qi, __gcc_v64qi, unsigned long long); +__gcc_v32qi __builtin_ia32_vgf2p8mulb_v32qi(__gcc_v32qi, __gcc_v32qi); +__gcc_v32qi __builtin_ia32_vgf2p8mulb_v32qi_mask(__gcc_v32qi, __gcc_v32qi, __gcc_v32qi, unsigned); +__gcc_v16qi __builtin_ia32_vgf2p8mulb_v16qi(__gcc_v16qi, __gcc_v16qi); +__gcc_v16qi __builtin_ia32_vgf2p8mulb_v16qi_mask(__gcc_v16qi, __gcc_v16qi, __gcc_v16qi, unsigned short); +__gcc_v16si __builtin_ia32_vpdpbusd_v16si(__gcc_v16si, __gcc_v16si, __gcc_v16si); +__gcc_v16si __builtin_ia32_vpdpbusd_v16si_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); +__gcc_v16si __builtin_ia32_vpdpbusd_v16si_maskz(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); +__gcc_v8si __builtin_ia32_vpdpbusd_v8si(__gcc_v8si, __gcc_v8si, __gcc_v8si); +__gcc_v8si __builtin_ia32_vpdpbusd_v8si_mask(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char); +__gcc_v8si __builtin_ia32_vpdpbusd_v8si_maskz(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char); +__gcc_v4si __builtin_ia32_vpdpbusd_v4si(__gcc_v4si, __gcc_v4si, __gcc_v4si); +__gcc_v4si __builtin_ia32_vpdpbusd_v4si_mask(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char); +__gcc_v4si __builtin_ia32_vpdpbusd_v4si_maskz(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char); +__gcc_v16si __builtin_ia32_vpdpbusds_v16si(__gcc_v16si, __gcc_v16si, __gcc_v16si); +__gcc_v16si __builtin_ia32_vpdpbusds_v16si_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); +__gcc_v16si __builtin_ia32_vpdpbusds_v16si_maskz(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); +__gcc_v8si __builtin_ia32_vpdpbusds_v8si(__gcc_v8si, __gcc_v8si, __gcc_v8si); +__gcc_v8si __builtin_ia32_vpdpbusds_v8si_mask(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char); +__gcc_v8si __builtin_ia32_vpdpbusds_v8si_maskz(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char); +__gcc_v4si __builtin_ia32_vpdpbusds_v4si(__gcc_v4si, __gcc_v4si, __gcc_v4si); +__gcc_v4si __builtin_ia32_vpdpbusds_v4si_mask(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char); +__gcc_v4si __builtin_ia32_vpdpbusds_v4si_maskz(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char); +__gcc_v16si __builtin_ia32_vpdpwssd_v16si(__gcc_v16si, __gcc_v16si, __gcc_v16si); +__gcc_v16si __builtin_ia32_vpdpwssd_v16si_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); +__gcc_v16si __builtin_ia32_vpdpwssd_v16si_maskz(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); +__gcc_v8si __builtin_ia32_vpdpwssd_v8si(__gcc_v8si, __gcc_v8si, __gcc_v8si); +__gcc_v8si __builtin_ia32_vpdpwssd_v8si_mask(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char); +__gcc_v8si __builtin_ia32_vpdpwssd_v8si_maskz(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char); +__gcc_v4si __builtin_ia32_vpdpwssd_v4si(__gcc_v4si, __gcc_v4si, __gcc_v4si); +__gcc_v4si __builtin_ia32_vpdpwssd_v4si_mask(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char); +__gcc_v4si __builtin_ia32_vpdpwssd_v4si_maskz(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char); +__gcc_v16si __builtin_ia32_vpdpwssds_v16si(__gcc_v16si, __gcc_v16si, __gcc_v16si); +__gcc_v16si __builtin_ia32_vpdpwssds_v16si_mask(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); +__gcc_v16si __builtin_ia32_vpdpwssds_v16si_maskz(__gcc_v16si, __gcc_v16si, __gcc_v16si, unsigned short); +__gcc_v8si __builtin_ia32_vpdpwssds_v8si(__gcc_v8si, __gcc_v8si, __gcc_v8si); +__gcc_v8si __builtin_ia32_vpdpwssds_v8si_mask(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char); +__gcc_v8si __builtin_ia32_vpdpwssds_v8si_maskz(__gcc_v8si, __gcc_v8si, __gcc_v8si, unsigned char); +__gcc_v4si __builtin_ia32_vpdpwssds_v4si(__gcc_v4si, __gcc_v4si, __gcc_v4si); +__gcc_v4si __builtin_ia32_vpdpwssds_v4si_mask(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char); +__gcc_v4si __builtin_ia32_vpdpwssds_v4si_maskz(__gcc_v4si, __gcc_v4si, __gcc_v4si, unsigned char); +__gcc_v2di __builtin_ia32_vpclmulqdq_v2di(__gcc_v2di, __gcc_v2di, int); +__gcc_v4di __builtin_ia32_vpclmulqdq_v4di(__gcc_v4di, __gcc_v4di, int); +__gcc_v8di __builtin_ia32_vpclmulqdq_v8di(__gcc_v8di, __gcc_v8di, int); +__gcc_v4di __builtin_ia32_vpopcountq_v4di(__gcc_v4di); +__gcc_v4di __builtin_ia32_vpopcountq_v4di_mask(__gcc_v4di, __gcc_v4di, unsigned char); +__gcc_v2di __builtin_ia32_vpopcountq_v2di(__gcc_v2di); +__gcc_v2di __builtin_ia32_vpopcountq_v2di_mask(__gcc_v2di, __gcc_v2di, unsigned char); +__gcc_v4si __builtin_ia32_vpopcountd_v4si(__gcc_v4si); +__gcc_v4si __builtin_ia32_vpopcountd_v4si_mask(__gcc_v4si, __gcc_v4si, unsigned short); +__gcc_v8si __builtin_ia32_vpopcountd_v8si(__gcc_v8si); +__gcc_v8si __builtin_ia32_vpopcountd_v8si_mask(__gcc_v8si, __gcc_v8si, unsigned short); +__gcc_v64qi __builtin_ia32_vpopcountb_v64qi(__gcc_v64qi); +__gcc_v64qi __builtin_ia32_vpopcountb_v64qi_mask(__gcc_v64qi, __gcc_v64qi, unsigned long long); +__gcc_v32qi __builtin_ia32_vpopcountb_v32qi(__gcc_v32qi); +__gcc_v32qi __builtin_ia32_vpopcountb_v32qi_mask(__gcc_v32qi, __gcc_v32qi, unsigned); +__gcc_v16qi __builtin_ia32_vpopcountb_v16qi(__gcc_v16qi); +__gcc_v16qi __builtin_ia32_vpopcountb_v16qi_mask(__gcc_v16qi, __gcc_v16qi, unsigned short); +__gcc_v32hi __builtin_ia32_vpopcountw_v32hi(__gcc_v32hi); +__gcc_v32hi __builtin_ia32_vpopcountw_v32hi_mask(__gcc_v32hi, __gcc_v32hi, unsigned); +__gcc_v16hi __builtin_ia32_vpopcountw_v16hi(__gcc_v16hi); +__gcc_v16hi __builtin_ia32_vpopcountw_v16hi_mask(__gcc_v16hi, __gcc_v16hi, unsigned short); +__gcc_v8hi __builtin_ia32_vpopcountw_v8hi(__gcc_v8hi); +__gcc_v8hi __builtin_ia32_vpopcountw_v8hi_mask(__gcc_v8hi, __gcc_v8hi, unsigned char); +unsigned long long __builtin_ia32_vpshufbitqmb512_mask(__gcc_v64qi, __gcc_v64qi, unsigned long long); +unsigned __builtin_ia32_vpshufbitqmb256_mask(__gcc_v32qi, __gcc_v32qi, unsigned); +unsigned short __builtin_ia32_vpshufbitqmb128_mask(__gcc_v16qi, __gcc_v16qi, unsigned short); +__gcc_v16qi __builtin_ia32_vaesdec_v16qi(__gcc_v16qi, __gcc_v16qi); +__gcc_v32qi __builtin_ia32_vaesdec_v32qi(__gcc_v32qi, __gcc_v32qi); +__gcc_v64qi __builtin_ia32_vaesdec_v64qi(__gcc_v64qi, __gcc_v64qi); +__gcc_v16qi __builtin_ia32_vaesdeclast_v16qi(__gcc_v16qi, __gcc_v16qi); +__gcc_v32qi __builtin_ia32_vaesdeclast_v32qi(__gcc_v32qi, __gcc_v32qi); +__gcc_v64qi __builtin_ia32_vaesdeclast_v64qi(__gcc_v64qi, __gcc_v64qi); +__gcc_v16qi __builtin_ia32_vaesenc_v16qi(__gcc_v16qi, __gcc_v16qi); +__gcc_v32qi __builtin_ia32_vaesenc_v32qi(__gcc_v32qi, __gcc_v32qi); +__gcc_v64qi __builtin_ia32_vaesenc_v64qi(__gcc_v64qi, __gcc_v64qi); +__gcc_v16qi __builtin_ia32_vaesenclast_v16qi(__gcc_v16qi, __gcc_v16qi); +__gcc_v32qi __builtin_ia32_vaesenclast_v32qi(__gcc_v32qi, __gcc_v32qi); +__gcc_v64qi __builtin_ia32_vaesenclast_v64qi(__gcc_v64qi, __gcc_v64qi); +__gcc_v32hi __builtin_ia32_cvtne2ps2bf16_v32hi(__gcc_v16sf, __gcc_v16sf); +__gcc_v32hi __builtin_ia32_cvtne2ps2bf16_v32hi_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v32hi, unsigned); +__gcc_v32hi __builtin_ia32_cvtne2ps2bf16_v32hi_maskz(__gcc_v16sf, __gcc_v16sf, unsigned); +__gcc_v16hi __builtin_ia32_cvtne2ps2bf16_v16hi(__gcc_v8sf, __gcc_v8sf); +__gcc_v16hi __builtin_ia32_cvtne2ps2bf16_v16hi_mask(__gcc_v8sf, __gcc_v8sf, __gcc_v16hi, unsigned short); +__gcc_v16hi __builtin_ia32_cvtne2ps2bf16_v16hi_maskz(__gcc_v8sf, __gcc_v8sf, unsigned short); +__gcc_v8hi __builtin_ia32_cvtne2ps2bf16_v8hi(__gcc_v4sf, __gcc_v4sf); +__gcc_v8hi __builtin_ia32_cvtne2ps2bf16_v8hi_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v8hi, unsigned char); +__gcc_v8hi __builtin_ia32_cvtne2ps2bf16_v8hi_maskz(__gcc_v4sf, __gcc_v4sf, unsigned char); +__gcc_v16hi __builtin_ia32_cvtneps2bf16_v16sf(__gcc_v16sf); +__gcc_v16hi __builtin_ia32_cvtneps2bf16_v16sf_mask(__gcc_v16sf, __gcc_v16hi, unsigned short); +__gcc_v16hi __builtin_ia32_cvtneps2bf16_v16sf_maskz(__gcc_v16sf, unsigned short); +__gcc_v8hi __builtin_ia32_cvtneps2bf16_v8sf(__gcc_v8sf); +__gcc_v8hi __builtin_ia32_cvtneps2bf16_v8sf_mask(__gcc_v8sf, __gcc_v8hi, unsigned char); +__gcc_v8hi __builtin_ia32_cvtneps2bf16_v8sf_maskz(__gcc_v8sf, unsigned char); +__gcc_v8hi __builtin_ia32_cvtneps2bf16_v4sf(__gcc_v4sf); +__gcc_v8hi __builtin_ia32_cvtneps2bf16_v4sf_mask(__gcc_v4sf, __gcc_v8hi, unsigned char); +__gcc_v8hi __builtin_ia32_cvtneps2bf16_v4sf_maskz(__gcc_v4sf, unsigned char); +__gcc_v16sf __builtin_ia32_dpbf16ps_v16sf(__gcc_v16sf, __gcc_v32hi, __gcc_v32hi); +__gcc_v16sf __builtin_ia32_dpbf16ps_v16sf_mask(__gcc_v16sf, __gcc_v32hi, __gcc_v32hi, unsigned short); +__gcc_v16sf __builtin_ia32_dpbf16ps_v16sf_maskz(__gcc_v16sf, __gcc_v32hi, __gcc_v32hi, unsigned short); +__gcc_v8sf __builtin_ia32_dpbf16ps_v8sf(__gcc_v8sf, __gcc_v16hi, __gcc_v16hi); +__gcc_v8sf __builtin_ia32_dpbf16ps_v8sf_mask(__gcc_v8sf, __gcc_v16hi, __gcc_v16hi, unsigned char); +__gcc_v8sf __builtin_ia32_dpbf16ps_v8sf_maskz(__gcc_v8sf, __gcc_v16hi, __gcc_v16hi, unsigned char); +__gcc_v4sf __builtin_ia32_dpbf16ps_v4sf(__gcc_v4sf, __gcc_v8hi, __gcc_v8hi); +__gcc_v4sf __builtin_ia32_dpbf16ps_v4sf_mask(__gcc_v4sf, __gcc_v8hi, __gcc_v8hi, unsigned char); +__gcc_v4sf __builtin_ia32_dpbf16ps_v4sf_maskz(__gcc_v4sf, __gcc_v8hi, __gcc_v8hi, unsigned char); +__gcc_v2df __builtin_ia32_addsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int); +__gcc_v4sf __builtin_ia32_addss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int); +__gcc_v4sf __builtin_ia32_cvtsd2ss_mask_round(__gcc_v4sf, __gcc_v2df, __gcc_v4sf, unsigned char, int); +__gcc_v2df __builtin_ia32_cvtss2sd_mask_round(__gcc_v2df, __gcc_v4sf, __gcc_v2df, unsigned char, int); +__gcc_v2df __builtin_ia32_divsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int); +__gcc_v4sf __builtin_ia32_divss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int); +__gcc_v2df __builtin_ia32_getexpsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int); +__gcc_v4sf __builtin_ia32_getexpss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int); +__gcc_v2df __builtin_ia32_getmantsd_mask_round(__gcc_v2df, __gcc_v2df, int, __gcc_v2df, unsigned char, int); +__gcc_v4sf __builtin_ia32_getmantss_mask_round(__gcc_v4sf, __gcc_v4sf, int, __gcc_v4sf, unsigned char, int); +__gcc_v2df __builtin_ia32_maxsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int); +__gcc_v4sf __builtin_ia32_maxss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int); +__gcc_v2df __builtin_ia32_minsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int); +__gcc_v4sf __builtin_ia32_minss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int); +__gcc_v2df __builtin_ia32_mulsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int); +__gcc_v4sf __builtin_ia32_mulss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int); +__gcc_v2df __builtin_ia32_rndscalesd_mask_round(__gcc_v2df, __gcc_v2df, int, __gcc_v2df, unsigned char, int); +__gcc_v4sf __builtin_ia32_rndscaless_mask_round(__gcc_v4sf, __gcc_v4sf, int, __gcc_v4sf, unsigned char, int); +__gcc_v2df __builtin_ia32_scalefsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int); +__gcc_v4sf __builtin_ia32_scalefss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int); +__gcc_v2df __builtin_ia32_sqrtsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int); +__gcc_v4sf __builtin_ia32_sqrtss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int); +__gcc_v2df __builtin_ia32_subsd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int); +__gcc_v4sf __builtin_ia32_subss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int); +__gcc_v2df __builtin_ia32_vfmaddsd3_mask(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int); +__gcc_v2df __builtin_ia32_vfmaddsd3_mask3(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int); +__gcc_v2df __builtin_ia32_vfmaddsd3_maskz(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int); +__gcc_v2df __builtin_ia32_vfmsubsd3_mask3(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int); +__gcc_v4sf __builtin_ia32_vfmaddss3_mask(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int); +__gcc_v4sf __builtin_ia32_vfmaddss3_mask3(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int); +__gcc_v4sf __builtin_ia32_vfmaddss3_maskz(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int); +__gcc_v4sf __builtin_ia32_vfmsubss3_mask3(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int); +__gcc_v8df __builtin_ia32_vfmsubpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int); +__gcc_v8df __builtin_ia32_vfmsubpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int); +__gcc_v16sf __builtin_ia32_vfmsubps512_mask(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, short, int); +__gcc_v16sf __builtin_ia32_vfmsubps512_maskz(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, short, int); +__gcc_v8df __builtin_ia32_vfnmaddpd512_mask3(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int); +__gcc_v8df __builtin_ia32_vfnmaddpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int); +__gcc_v16sf __builtin_ia32_vfnmaddps512_mask3(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, short, int); +__gcc_v16sf __builtin_ia32_vfnmaddps512_maskz(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, short, int); +__gcc_v8df __builtin_ia32_vfnmsubpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8df, unsigned char, int); +__gcc_v16sf __builtin_ia32_vfnmsubps512_maskz(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, short, int); +__gcc_v2df __builtin_ia32_rcp28sd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int); +__gcc_v4sf __builtin_ia32_rcp28ss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int); +__gcc_v2df __builtin_ia32_rsqrt28sd_mask_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, unsigned char, int); +__gcc_v4sf __builtin_ia32_rsqrt28ss_mask_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, unsigned char, int); +__gcc_v8df __builtin_ia32_reducepd512_mask_round(__gcc_v8df, int, __gcc_v8df, unsigned char, int); +__gcc_v16sf __builtin_ia32_reduceps512_mask_round(__gcc_v16sf, int, __gcc_v16sf, unsigned short, int); +__gcc_v2df __builtin_ia32_reducesd_mask_round(__gcc_v2df, __gcc_v2df, int, __gcc_v2df, unsigned char, int); +__gcc_v4sf __builtin_ia32_reducess_mask_round(__gcc_v4sf, __gcc_v4sf, int, __gcc_v4sf, unsigned char, int); +__gcc_v2df __builtin_ia32_rangesd128_mask_round(__gcc_v2df, __gcc_v2df, int, __gcc_v2df, unsigned char, int); +__gcc_v4sf __builtin_ia32_rangess128_mask_round(__gcc_v4sf, __gcc_v4sf, int, __gcc_v4sf, unsigned char, int); +unsigned __builtin_ia32_rdsspd(); +unsigned long long __builtin_ia32_rdsspq(); +void __builtin_ia32_incsspd(unsigned); +void __builtin_ia32_incsspq(unsigned long long); +void __builtin_ia32_saveprevssp(); +void __builtin_ia32_rstorssp(void*); +void __builtin_ia32_wrssd(unsigned, void*); +void __builtin_ia32_wrssq(unsigned long long, void*); +void __builtin_ia32_wrussd(unsigned, void*); +void __builtin_ia32_wrussq(unsigned long long, void*); +void __builtin_ia32_setssbsy(); +void __builtin_ia32_clrssbsy(void*); +// clang-format on diff --git a/src/ansi-c/gcc_builtin_headers_ia32.h b/src/ansi-c/gcc_builtin_headers_ia32.h index 1cf8a04df6c..4fb676b644f 100644 --- a/src/ansi-c/gcc_builtin_headers_ia32.h +++ b/src/ansi-c/gcc_builtin_headers_ia32.h @@ -1,3 +1,4 @@ +// clang-format off // from // http://gcc.gnu.org/onlinedocs/gcc-4.7.0/gcc/X86-Built_002din-Functions.html @@ -23,14 +24,10 @@ __gcc_v4hi __builtin_ia32_psubusw(__gcc_v4hi, __gcc_v4hi); __gcc_v4hi __builtin_ia32_pmullw(__gcc_v4hi, __gcc_v4hi); __gcc_v4hi __builtin_ia32_pmulhw(__gcc_v4hi, __gcc_v4hi); -__gcc_v2si __builtin_ia32_pand(__gcc_v2si, __gcc_v2si); // maybe di -__gcc_v2si __builtin_ia32_pandn(__gcc_v2si, __gcc_v2si); // maybe di -__gcc_v2si __builtin_ia32_por(__gcc_v2si, __gcc_v2si); // maybe di -__gcc_v2si __builtin_ia32_pxor(__gcc_v2si, __gcc_v2si); // maybe di -//__gcc_di __builtin_ia32_pand(__gcc_di, __gcc_di); -//__gcc_di __builtin_ia32_pandn(__gcc_di, __gcc_di); -//__gcc_di __builtin_ia32_por(__gcc_di, __gcc_di); -//__gcc_di __builtin_ia32_pxor(__gcc_di, __gcc_di); +__gcc_v1di __builtin_ia32_pand(__gcc_v1di, __gcc_v1di); +__gcc_v1di __builtin_ia32_pandn(__gcc_v1di, __gcc_v1di); +__gcc_v1di __builtin_ia32_por(__gcc_v1di, __gcc_v1di); +__gcc_v1di __builtin_ia32_pxor(__gcc_v1di, __gcc_v1di); __gcc_v8qi __builtin_ia32_pcmpeqb(__gcc_v8qi, __gcc_v8qi); __gcc_v4hi __builtin_ia32_pcmpeqw(__gcc_v4hi, __gcc_v4hi); @@ -514,9 +511,9 @@ __gcc_v2df __builtin_ia32_pd_pd256(__gcc_v4df); __gcc_v4df __builtin_ia32_pd256_pd(__gcc_v2df); __gcc_v4sf __builtin_ia32_ps_ps256(__gcc_v8sf); __gcc_v8sf __builtin_ia32_ps256_ps(__gcc_v4sf); -int __builtin_ia32_ptestc256(__gcc_v4di,__gcc_v4di,...); -int __builtin_ia32_ptestnzc256(__gcc_v4di,__gcc_v4di,...); -int __builtin_ia32_ptestz256(__gcc_v4di,__gcc_v4di,...); +int __builtin_ia32_ptestc256(__gcc_v4di, __gcc_v4di); +int __builtin_ia32_ptestnzc256(__gcc_v4di, __gcc_v4di); +int __builtin_ia32_ptestz256(__gcc_v4di, __gcc_v4di); __gcc_v8sf __builtin_ia32_rcpps256(__gcc_v8sf); __gcc_v4df __builtin_ia32_roundpd256(__gcc_v4df, int); __gcc_v8sf __builtin_ia32_roundps256(__gcc_v8sf, int); @@ -564,18 +561,18 @@ __gcc_v2df __builtin_ia32_vpermilvarpd(__gcc_v2df, __gcc_v2di); __gcc_v4df __builtin_ia32_vpermilvarpd256(__gcc_v4df, __gcc_v4di); __gcc_v4sf __builtin_ia32_vpermilvarps(__gcc_v4sf, __gcc_v4si); __gcc_v8sf __builtin_ia32_vpermilvarps256(__gcc_v8sf, __gcc_v8si); -int __builtin_ia32_vtestcpd(__gcc_v2df,__gcc_v2df,...); -int __builtin_ia32_vtestcpd256(__gcc_v4df,__gcc_v4df,...); -int __builtin_ia32_vtestcps(__gcc_v4sf,__gcc_v4sf,...); -int __builtin_ia32_vtestcps256(__gcc_v8sf,__gcc_v8sf,...); -int __builtin_ia32_vtestnzcpd(__gcc_v2df,__gcc_v2df,...); -int __builtin_ia32_vtestnzcpd256(__gcc_v4df,__gcc_v4df,...); -int __builtin_ia32_vtestnzcps(__gcc_v4sf,__gcc_v4sf,...); -int __builtin_ia32_vtestnzcps256(__gcc_v8sf,__gcc_v8sf,...); -int __builtin_ia32_vtestzpd(__gcc_v2df,__gcc_v2df,...); -int __builtin_ia32_vtestzpd256(__gcc_v4df,__gcc_v4df,...); -int __builtin_ia32_vtestzps(__gcc_v4sf,__gcc_v4sf,...); -int __builtin_ia32_vtestzps256(__gcc_v8sf,__gcc_v8sf,...); +int __builtin_ia32_vtestcpd(__gcc_v2df, __gcc_v2df); +int __builtin_ia32_vtestcpd256(__gcc_v4df, __gcc_v4df); +int __builtin_ia32_vtestcps(__gcc_v4sf, __gcc_v4sf); +int __builtin_ia32_vtestcps256(__gcc_v8sf, __gcc_v8sf); +int __builtin_ia32_vtestnzcpd(__gcc_v2df, __gcc_v2df); +int __builtin_ia32_vtestnzcpd256(__gcc_v4df, __gcc_v4df); +int __builtin_ia32_vtestnzcps(__gcc_v4sf, __gcc_v4sf); +int __builtin_ia32_vtestnzcps256(__gcc_v8sf, __gcc_v8sf); +int __builtin_ia32_vtestzpd(__gcc_v2df, __gcc_v2df); +int __builtin_ia32_vtestzpd256(__gcc_v4df, __gcc_v4df); +int __builtin_ia32_vtestzps(__gcc_v4sf, __gcc_v4sf); +int __builtin_ia32_vtestzps256(__gcc_v8sf, __gcc_v8sf); void __builtin_ia32_vzeroall(); void __builtin_ia32_vzeroupper(); __gcc_v4df __builtin_ia32_xorpd256(__gcc_v4df, __gcc_v4df); @@ -596,7 +593,7 @@ __gcc_v32qi __builtin_ia32_paddsb256(__gcc_v32qi, __gcc_v32qi); __gcc_v16hi __builtin_ia32_paddsw256(__gcc_v16hi, __gcc_v16hi); __gcc_v32qi __builtin_ia32_paddusb256(__gcc_v32qi, __gcc_v32qi); __gcc_v16hi __builtin_ia32_paddusw256(__gcc_v16hi, __gcc_v16hi); -__gcc_v4di __builtin_ia32_palignr256(__gcc_v4di,__gcc_v4di,int); +__gcc_v4di __builtin_ia32_palignr256(__gcc_v4di, __gcc_v4di, int); __gcc_v4di __builtin_ia32_andsi256(__gcc_v4di, __gcc_v4di); __gcc_v4di __builtin_ia32_andnotsi256(__gcc_v4di, __gcc_v4di); __gcc_v32qi __builtin_ia32_pavgb256(__gcc_v32qi, __gcc_v32qi); @@ -660,24 +657,24 @@ __gcc_v16hi __builtin_ia32_pshuflw256(__gcc_v16hi, int); __gcc_v32qi __builtin_ia32_psignb256(__gcc_v32qi, __gcc_v32qi); __gcc_v16hi __builtin_ia32_psignw256(__gcc_v16hi, __gcc_v16hi); __gcc_v8si __builtin_ia32_psignd256(__gcc_v8si, __gcc_v8si); -__gcc_v4di __builtin_ia32_pslldqi256(__gcc_v4di,int); -__gcc_v16hi __builtin_ia32_psllwi256(__gcc_v16hi,int); -__gcc_v16hi __builtin_ia32_psllw256(__gcc_v16hi,__gcc_v8hi); -__gcc_v8si __builtin_ia32_pslldi256(__gcc_v8si,int); -__gcc_v8si __builtin_ia32_pslld256(__gcc_v8si,__gcc_v4si); -__gcc_v4di __builtin_ia32_psllqi256(__gcc_v4di,int); -__gcc_v4di __builtin_ia32_psllq256(__gcc_v4di,__gcc_v2di); -__gcc_v16hi __builtin_ia32_psrawi256(__gcc_v16hi,int); -__gcc_v16hi __builtin_ia32_psraw256(__gcc_v16hi,__gcc_v8hi); -__gcc_v8si __builtin_ia32_psradi256(__gcc_v8si,int); -__gcc_v8si __builtin_ia32_psrad256(__gcc_v8si,__gcc_v4si); +__gcc_v4di __builtin_ia32_pslldqi256(__gcc_v4di, int); +__gcc_v16hi __builtin_ia32_psllwi256(__gcc_v16hi, int); +__gcc_v16hi __builtin_ia32_psllw256(__gcc_v16hi, __gcc_v8hi); +__gcc_v8si __builtin_ia32_pslldi256(__gcc_v8si, int); +__gcc_v8si __builtin_ia32_pslld256(__gcc_v8si, __gcc_v4si); +__gcc_v4di __builtin_ia32_psllqi256(__gcc_v4di, int); +__gcc_v4di __builtin_ia32_psllq256(__gcc_v4di, __gcc_v2di); +__gcc_v16hi __builtin_ia32_psrawi256(__gcc_v16hi, int); +__gcc_v16hi __builtin_ia32_psraw256(__gcc_v16hi, __gcc_v8hi); +__gcc_v8si __builtin_ia32_psradi256(__gcc_v8si, int); +__gcc_v8si __builtin_ia32_psrad256(__gcc_v8si, __gcc_v4si); __gcc_v4di __builtin_ia32_psrldqi256(__gcc_v4di, int); -__gcc_v16hi __builtin_ia32_psrlwi256(__gcc_v16hi,int); -__gcc_v16hi __builtin_ia32_psrlw256(__gcc_v16hi,__gcc_v8hi); -__gcc_v8si __builtin_ia32_psrldi256(__gcc_v8si,int); -__gcc_v8si __builtin_ia32_psrld256(__gcc_v8si,__gcc_v4si); -__gcc_v4di __builtin_ia32_psrlqi256(__gcc_v4di,int); -__gcc_v4di __builtin_ia32_psrlq256(__gcc_v4di,__gcc_v2di); +__gcc_v16hi __builtin_ia32_psrlwi256(__gcc_v16hi, int); +__gcc_v16hi __builtin_ia32_psrlw256(__gcc_v16hi, __gcc_v8hi); +__gcc_v8si __builtin_ia32_psrldi256(__gcc_v8si, int); +__gcc_v8si __builtin_ia32_psrld256(__gcc_v8si, __gcc_v4si); +__gcc_v4di __builtin_ia32_psrlqi256(__gcc_v4di, int); +__gcc_v4di __builtin_ia32_psrlq256(__gcc_v4di, __gcc_v2di); __gcc_v32qi __builtin_ia32_psubb256(__gcc_v32qi, __gcc_v32qi); __gcc_v16hi __builtin_ia32_psubw256(__gcc_v16hi, __gcc_v16hi); __gcc_v8si __builtin_ia32_psubd256(__gcc_v8si, __gcc_v8si); @@ -1165,3 +1162,4 @@ double __builtin_ia32_vec_ext_v2df(__gcc_v2df, int); __gcc_di __builtin_ia32_vec_ext_v2di(__gcc_v2di, int); float __builtin_ia32_vec_ext_v4sf(__gcc_v4sf, int); int __builtin_ia32_vec_ext_v4si(__gcc_v4si, int); +// clang-format on diff --git a/src/ansi-c/gcc_builtin_headers_math.h b/src/ansi-c/gcc_builtin_headers_math.h index d16e025f94f..d7f158669e5 100644 --- a/src/ansi-c/gcc_builtin_headers_math.h +++ b/src/ansi-c/gcc_builtin_headers_math.h @@ -1,3 +1,4 @@ +// clang-format off int __builtin_abs(int); double __builtin_acos(double); float __builtin_acosf(float); @@ -139,6 +140,18 @@ long double __builtin_fabsl(long double); double __builtin_fdim(double, double); float __builtin_fdimf(float, float); long double __builtin_fdiml(long double, long double); +int __builtin_feclearexcept(int); +int __builtin_fegetenv(fenv_t*); +int __builtin_fegetexceptflag(fexcept_t*, int); +int __builtin_fegetround(); +int __builtin_feholdexcept(fenv_t*); +int __builtin_feraiseexcept(int); +int __builtin_fesetenv(const fenv_t*); +int __builtin_fesetexceptflag(const fexcept_t*, int); +int __builtin_fesetround(int); +int __builtin_fetestexcept(int); +int __builtin_feupdateenv(const fenv_t*); +int __builtin_ffsimax(intmax_t); int __builtin_finite(double); int __builtin_finitef(float); int __builtin_finitel(long double); @@ -182,6 +195,7 @@ int __builtin_ifloorl(long double); int __builtin_ilogb(double); int __builtin_ilogbf(float); int __builtin_ilogbl(long double); +intmax_t __builtin_imaxabs(intmax_t); double __builtin_inf(void); float __builtin_inff(void); long double __builtin_infl(void); @@ -286,6 +300,7 @@ double __builtin_nexttoward(double, long double); float __builtin_nexttowardf(float, long double); long double __builtin_nexttowardl(long double, long double); int __builtin_parity(unsigned); +int __builtin_parityimax(uintmax_t); int __builtin_parityl(unsigned long); int __builtin_parityll(unsigned long long); double __builtin_pow(double, double); @@ -307,6 +322,9 @@ double __builtin_rint(double); float __builtin_rintf(float); long double __builtin_rintl(long double); double __builtin_round(double); +double __builtin_roundeven(double); +float __builtin_roundevenf(float); +long double __builtin_roundevenl(long double); float __builtin_roundf(float); long double __builtin_roundl(long double); _Bool __builtin_sadd_overflow(int, int, int*); @@ -377,3 +395,4 @@ long double __builtin_y1l(long double); double __builtin_yn(int, double); float __builtin_ynf(int, float); long double __builtin_ynl(int, long double); +// clang-format on diff --git a/src/ansi-c/gcc_builtin_headers_mem_string.h b/src/ansi-c/gcc_builtin_headers_mem_string.h index dca5af04300..179b25660ba 100644 --- a/src/ansi-c/gcc_builtin_headers_mem_string.h +++ b/src/ansi-c/gcc_builtin_headers_mem_string.h @@ -1,3 +1,4 @@ +// clang-format off void __builtin___bnd_chk_ptr_bounds(const void*, __CPROVER_size_t); void __builtin___bnd_chk_ptr_lbounds(const void*); void __builtin___bnd_chk_ptr_ubounds(const void*); @@ -11,10 +12,14 @@ void* __builtin___bnd_set_ptr_bounds(const void*, __CPROVER_size_t); void __builtin___bnd_store_ptr_bounds(void**, const void*); const void* __builtin___chkp_bndldx(const void*, const void*); void __builtin___clear_cache(void*, void*); +int __builtin___fprintf_chk(void*, int, const char*, ...); void* __builtin___memcpy_chk(void*, const void*, __CPROVER_size_t, __CPROVER_size_t); void* __builtin___memmove_chk(void*, const void*, __CPROVER_size_t, __CPROVER_size_t); void* __builtin___mempcpy_chk(void*, const void*, __CPROVER_size_t, __CPROVER_size_t); void* __builtin___memset_chk(void*, int, __CPROVER_size_t, __CPROVER_size_t); +int __builtin___printf_chk(int, const char*, ...); +int __builtin___snprintf_chk(char*, __CPROVER_size_t, int, __CPROVER_size_t, const char*, ...); +int __builtin___sprintf_chk(char*, int, __CPROVER_size_t, const char*, ...); char* __builtin___stpcpy(char *s1, const char *s2); char* __builtin___stpcpy_chk(char*, const char*, __CPROVER_size_t); char* __builtin___stpncpy_chk(char*, const char*, __CPROVER_size_t, __CPROVER_size_t); @@ -22,6 +27,10 @@ char* __builtin___strcat_chk(char*, const char*, __CPROVER_size_t); char* __builtin___strcpy_chk(char*, const char*, __CPROVER_size_t); char* __builtin___strncat_chk(char*, const char*, __CPROVER_size_t, __CPROVER_size_t); char* __builtin___strncpy_chk(char*, const char*, __CPROVER_size_t, __CPROVER_size_t); +int __builtin___vfprintf_chk(void*, int, const char*, __builtin_va_list); +int __builtin___vprintf_chk(int, const char*, __builtin_va_list); +int __builtin___vsnprintf_chk (char *s, __CPROVER_size_t maxlen, int flag, __CPROVER_size_t os, const char *fmt, __builtin_va_list ap); +int __builtin___vsprintf_chk(char*, int, __CPROVER_size_t, const char*, __builtin_va_list); void* __builtin_aggregate_incoming_address(); void* __builtin_aligned_alloc(__CPROVER_size_t, __CPROVER_size_t); void* __builtin_alloca(__CPROVER_size_t); @@ -46,12 +55,15 @@ void* __builtin_chkp_memset_nobnd(void*, int, __CPROVER_size_t); void* __builtin_chkp_memset_nobnd_nochk(void*, int, __CPROVER_size_t); void* __builtin_chkp_memset_nochk(void*, int, __CPROVER_size_t); int __builtin_clrsb(int); +int __builtin_clrsbimax(intmax_t); int __builtin_clrsbl(long); int __builtin_clrsbll(long long); int __builtin_clz(unsigned); +int __builtin_clzimax(uintmax_t); int __builtin_clzl(unsigned long); int __builtin_clzll(unsigned long long); int __builtin_ctz(unsigned); +int __builtin_ctzimax(uintmax_t); int __builtin_ctzl(unsigned long); int __builtin_ctzll(unsigned long long); char* __builtin_dcgettext(const char*, const char*, int); @@ -60,9 +72,18 @@ void* __builtin_extract_return_addr(void*); int __builtin_ffs(int); int __builtin_ffsl(long); int __builtin_ffsll(long long); +int __builtin_fprintf(void *stream, const char *fmt, ...); +int __builtin_fprintf_unlocked(void*, const char*, ...); +int __builtin_fputc(int, void*); +int __builtin_fputc_unlocked(int, void*); +int __builtin_fputs(const char *s, void *stream); +int __builtin_fputs_unlocked(const char*, void*); void* __builtin_frame_address(unsigned); void __builtin_free(void*); void* __builtin_frob_return_addr(void*); +int __builtin_fscanf(void *stream, const char *fmt, ...); +__CPROVER_size_t __builtin_fwrite(const void*, __CPROVER_size_t, __CPROVER_size_t, void*); +__CPROVER_size_t __builtin_fwrite_unlocked(const void*, __CPROVER_size_t, __CPROVER_size_t, void*); char* __builtin_gettext(const char*); char* __builtin_index(const char*, int); int __builtin_isalnum(int); @@ -77,6 +98,18 @@ int __builtin_isprint(int); int __builtin_ispunct(int); int __builtin_isspace(int); int __builtin_isupper(int); +int __builtin_iswalnum(wint_t); +int __builtin_iswalpha(wint_t); +int __builtin_iswblank(wint_t); +int __builtin_iswcntrl(wint_t); +int __builtin_iswdigit(wint_t); +int __builtin_iswgraph(wint_t); +int __builtin_iswlower(wint_t); +int __builtin_iswprint(wint_t); +int __builtin_iswpunct(wint_t); +int __builtin_iswspace(wint_t); +int __builtin_iswupper(wint_t); +int __builtin_iswxdigit(wint_t); int __builtin_isxdigit(int); void* __builtin_malloc(__CPROVER_size_t); void* __builtin_memchr(const void*, int, __CPROVER_size_t); @@ -87,12 +120,26 @@ void* __builtin_mempcpy(void*, const void*, __CPROVER_size_t); void* __builtin_memset(void*, int, __CPROVER_size_t); __CPROVER_size_t __builtin_object_size(const void*, int); int __builtin_popcount(unsigned); +int __builtin_popcountimax(uintmax_t); int __builtin_popcountll(unsigned long long int x); int __builtin_posix_memalign(void**, __CPROVER_size_t, __CPROVER_size_t); void __builtin_prefetch(const void*, ...); +int __builtin_printf(const char*, ...); +int __builtin_printf_unlocked(const char*, ...); +int __builtin_putc(int, void*); +int __builtin_putc_unlocked(int, void*); +int __builtin_putchar(int); +int __builtin_putchar_unlocked(int); +int __builtin_puts(const char*); +int __builtin_puts_unlocked(const char*); void* __builtin_realloc(void*, __CPROVER_size_t); void* __builtin_return_address(unsigned); char* __builtin_rindex(const char*, int); +int __builtin_scanf(const char *str, const char *fmt, ...); +int __builtin_scanf(const char*, ...); +int __builtin_snprintf(char*, __CPROVER_size_t, const char*, ...); +int __builtin_sprintf(char*, const char*, ...); +int __builtin_sscanf(const char*, const char*, ...); char* __builtin_stpcpy(char*, const char*); char* __builtin_stpncpy(char*, const char*, __CPROVER_size_t); int __builtin_strcasecmp(const char*, const char*); @@ -102,6 +149,7 @@ int __builtin_strcmp(const char*, const char*); char* __builtin_strcpy(char*, const char*); __CPROVER_size_t __builtin_strcspn(const char*, const char*); char* __builtin_strdup(const char*); +ssize_t __builtin_strfmon(char*, __CPROVER_size_t, const char*, ...); __CPROVER_size_t __builtin_strftime(char*, __CPROVER_size_t, const char*, const struct tm*); __CPROVER_size_t __builtin_strlen(const char*); int __builtin_strncasecmp(const char*, const char*, __CPROVER_size_t); @@ -109,6 +157,7 @@ char* __builtin_strncat(char*, const char*, __CPROVER_size_t); int __builtin_strncmp(const char*, const char*, __CPROVER_size_t); char* __builtin_strncpy(char*, const char*, __CPROVER_size_t); char* __builtin_strndup(const char*, __CPROVER_size_t); +__CPROVER_size_t __builtin_strnlen(const char*, __CPROVER_size_t); char* __builtin_strpbrk(const char*, const char*); char* __builtin_strrchr(const char*, int); __CPROVER_size_t __builtin_strspn(const char*, const char*); @@ -116,3 +165,13 @@ char* __builtin_strstr(const char*, const char*); int __builtin_toascii(int); int __builtin_tolower(int); int __builtin_toupper(int); +wint_t __builtin_towlower(wint_t); +wint_t __builtin_towupper(wint_t); +int __builtin_vfprintf(void*, const char*, __builtin_va_list); +int __builtin_vfscanf(void*, const char*, __builtin_va_list); +int __builtin_vprintf(const char*, __builtin_va_list); +int __builtin_vscanf(const char*, __builtin_va_list); +int __builtin_vsnprintf(char*, __CPROVER_size_t, const char*, __builtin_va_list); +int __builtin_vsprintf(char*, const char*, __builtin_va_list); +int __builtin_vsscanf(const char*, const char*, __builtin_va_list); +// clang-format on diff --git a/src/ansi-c/gcc_builtin_headers_omp.h b/src/ansi-c/gcc_builtin_headers_omp.h index 6b7b28957b0..16a6dd5a63a 100644 --- a/src/ansi-c/gcc_builtin_headers_omp.h +++ b/src/ansi-c/gcc_builtin_headers_omp.h @@ -1,90 +1,139 @@ -int __builtin_omp_get_thread_num(); -int __builtin_omp_get_num_threads(); -int __builtin_omp_get_team_num(); -int __builtin_omp_get_num_teams(); -void __builtin_GOMP_atomic_start(); +// clang-format off +void __builtin_GOACC_data_end(); +void __builtin_GOACC_data_start(int, __CPROVER_size_t, void*, void*, void*); +void __builtin_GOACC_declare(int, __CPROVER_size_t, void*, void*, void*); +void __builtin_GOACC_enter_exit_data(int, __CPROVER_size_t, void*, void*, void*, int, int, ...); +void __builtin_GOACC_parallel_keyed(int, void (*)(void *), __CPROVER_size_t, void*, void*, void*, ...); +void __builtin_GOACC_update(int, __CPROVER_size_t, void*, void*, void*, int, int, ...); +void __builtin_GOACC_wait(int, int, ...); void __builtin_GOMP_atomic_end(); +void __builtin_GOMP_atomic_start(); void __builtin_GOMP_barrier(); _Bool __builtin_GOMP_barrier_cancel(); -void __builtin_GOMP_taskwait(); -void __builtin_GOMP_taskyield(); -void __builtin_GOMP_taskgroup_start(); -void __builtin_GOMP_taskgroup_end(); _Bool __builtin_GOMP_cancel(int, _Bool); _Bool __builtin_GOMP_cancellation_point(int); -void __builtin_GOMP_critical_start(); void __builtin_GOMP_critical_end(); -void __builtin_GOMP_critical_name_start(void**); void __builtin_GOMP_critical_name_end(void**); -_Bool __builtin_GOMP_loop_static_start(long, long, long, long, long*, long*); -_Bool __builtin_GOMP_loop_dynamic_start(long, long, long, long, long*, long*); -_Bool __builtin_GOMP_loop_guided_start(long, long, long, long, long*, long*); -_Bool __builtin_GOMP_loop_runtime_start(long, long, long, long*, long*); -_Bool __builtin_GOMP_loop_nonmonotonic_dynamic_start(long, long, long, long, long*, long*); -_Bool __builtin_GOMP_loop_nonmonotonic_guided_start(long, long, long, long, long*, long*); -_Bool __builtin_GOMP_loop_ordered_static_start(long, long, long, long, long*, long*); -_Bool __builtin_GOMP_loop_ordered_dynamic_start(long, long, long, long, long*, long*); -_Bool __builtin_GOMP_loop_ordered_guided_start(long, long, long, long, long*, long*); -_Bool __builtin_GOMP_loop_ordered_runtime_start(long, long, long, long*, long*); -_Bool __builtin_GOMP_loop_doacross_static_start(unsigned, long*, long, long*, long*); +void __builtin_GOMP_critical_name_start(void**); +void __builtin_GOMP_critical_start(); +void __builtin_GOMP_doacross_post(void*); +void __builtin_GOMP_doacross_ull_post(void*); +void __builtin_GOMP_doacross_ull_wait(unsigned long long, ...); +void __builtin_GOMP_doacross_wait(long, ...); _Bool __builtin_GOMP_loop_doacross_dynamic_start(unsigned, long*, long, long*, long*); _Bool __builtin_GOMP_loop_doacross_guided_start(unsigned, long*, long, long*, long*); _Bool __builtin_GOMP_loop_doacross_runtime_start(unsigned, long*, long*, long*); -_Bool __builtin_GOMP_loop_static_next(long*, long*); +_Bool __builtin_GOMP_loop_doacross_start(unsigned, long*, long, long, long*, long*, void*, void*); +_Bool __builtin_GOMP_loop_doacross_static_start(unsigned, long*, long, long*, long*); _Bool __builtin_GOMP_loop_dynamic_next(long*, long*); +_Bool __builtin_GOMP_loop_dynamic_start(long, long, long, long, long*, long*); +void __builtin_GOMP_loop_end(); +_Bool __builtin_GOMP_loop_end_cancel(); +void __builtin_GOMP_loop_end_nowait(); _Bool __builtin_GOMP_loop_guided_next(long*, long*); -_Bool __builtin_GOMP_loop_runtime_next(long*, long*); +_Bool __builtin_GOMP_loop_guided_start(long, long, long, long, long*, long*); +_Bool __builtin_GOMP_loop_maybe_nonmonotonic_runtime_next(long*, long*); +_Bool __builtin_GOMP_loop_maybe_nonmonotonic_runtime_start(long, long, long, long*, long*); _Bool __builtin_GOMP_loop_nonmonotonic_dynamic_next(long*, long*); +_Bool __builtin_GOMP_loop_nonmonotonic_dynamic_start(long, long, long, long, long*, long*); _Bool __builtin_GOMP_loop_nonmonotonic_guided_next(long*, long*); -_Bool __builtin_GOMP_loop_ordered_static_next(long*, long*); +_Bool __builtin_GOMP_loop_nonmonotonic_guided_start(long, long, long, long, long*, long*); +_Bool __builtin_GOMP_loop_nonmonotonic_runtime_next(long*, long*); +_Bool __builtin_GOMP_loop_nonmonotonic_runtime_start(long, long, long, long*, long*); _Bool __builtin_GOMP_loop_ordered_dynamic_next(long*, long*); +_Bool __builtin_GOMP_loop_ordered_dynamic_start(long, long, long, long, long*, long*); _Bool __builtin_GOMP_loop_ordered_guided_next(long*, long*); +_Bool __builtin_GOMP_loop_ordered_guided_start(long, long, long, long, long*, long*); _Bool __builtin_GOMP_loop_ordered_runtime_next(long*, long*); -_Bool __builtin_GOMP_loop_ull_static_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); -_Bool __builtin_GOMP_loop_ull_dynamic_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); -_Bool __builtin_GOMP_loop_ull_guided_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); -_Bool __builtin_GOMP_loop_ull_runtime_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); -_Bool __builtin_GOMP_loop_ull_nonmonotonic_dynamic_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); -_Bool __builtin_GOMP_loop_ull_nonmonotonic_guided_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); -_Bool __builtin_GOMP_loop_ull_ordered_static_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); -_Bool __builtin_GOMP_loop_ull_ordered_dynamic_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); -_Bool __builtin_GOMP_loop_ull_ordered_guided_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); -_Bool __builtin_GOMP_loop_ull_ordered_runtime_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); -_Bool __builtin_GOMP_loop_ull_doacross_static_start(unsigned, unsigned long long*, unsigned long long, unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ordered_runtime_start(long, long, long, long*, long*); +_Bool __builtin_GOMP_loop_ordered_start(long, long, long, long, long, long*, long*, void*, void*); +_Bool __builtin_GOMP_loop_ordered_static_next(long*, long*); +_Bool __builtin_GOMP_loop_ordered_static_start(long, long, long, long, long*, long*); +_Bool __builtin_GOMP_loop_runtime_next(long*, long*); +_Bool __builtin_GOMP_loop_runtime_start(long, long, long, long*, long*); +_Bool __builtin_GOMP_loop_start(long, long, long, long, long, long*, long*, void*, void*); +_Bool __builtin_GOMP_loop_static_next(long*, long*); +_Bool __builtin_GOMP_loop_static_start(long, long, long, long, long*, long*); _Bool __builtin_GOMP_loop_ull_doacross_dynamic_start(unsigned, unsigned long long*, unsigned long long, unsigned long long*, unsigned long long*); _Bool __builtin_GOMP_loop_ull_doacross_guided_start(unsigned, unsigned long long*, unsigned long long, unsigned long long*, unsigned long long*); _Bool __builtin_GOMP_loop_ull_doacross_runtime_start(unsigned, unsigned long long*, unsigned long long*, unsigned long long*); -_Bool __builtin_GOMP_loop_ull_static_next(unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_doacross_start(unsigned, unsigned long long*, long, unsigned long long, unsigned long long*, unsigned long long*, void*, void*); +_Bool __builtin_GOMP_loop_ull_doacross_static_start(unsigned, unsigned long long*, unsigned long long, unsigned long long*, unsigned long long*); _Bool __builtin_GOMP_loop_ull_dynamic_next(unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_dynamic_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); _Bool __builtin_GOMP_loop_ull_guided_next(unsigned long long*, unsigned long long*); -_Bool __builtin_GOMP_loop_ull_runtime_next(unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_guided_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_maybe_nonmonotonic_runtime_next(unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_maybe_nonmonotonic_runtime_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); _Bool __builtin_GOMP_loop_ull_nonmonotonic_dynamic_next(unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_nonmonotonic_dynamic_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); _Bool __builtin_GOMP_loop_ull_nonmonotonic_guided_next(unsigned long long*, unsigned long long*); -_Bool __builtin_GOMP_loop_ull_ordered_static_next(unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_nonmonotonic_guided_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_nonmonotonic_runtime_next(unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_nonmonotonic_runtime_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); _Bool __builtin_GOMP_loop_ull_ordered_dynamic_next(unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_ordered_dynamic_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); _Bool __builtin_GOMP_loop_ull_ordered_guided_next(unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_ordered_guided_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); _Bool __builtin_GOMP_loop_ull_ordered_runtime_next(unsigned long long*, unsigned long long*); -void __builtin_GOMP_loop_end(); -_Bool __builtin_GOMP_loop_end_cancel(); -void __builtin_GOMP_loop_end_nowait(); -void __builtin_GOMP_ordered_start(); +_Bool __builtin_GOMP_loop_ull_ordered_runtime_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_ordered_start(_Bool, unsigned long long, unsigned long long, unsigned long long, long, unsigned long long, unsigned long long*, unsigned long long*, void*, void*); +_Bool __builtin_GOMP_loop_ull_ordered_static_next(unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_ordered_static_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_runtime_next(unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_runtime_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_start(_Bool, unsigned long long, unsigned long long, unsigned long long, long, unsigned long long, unsigned long long*, unsigned long long*, void*, void*); +_Bool __builtin_GOMP_loop_ull_static_next(unsigned long long*, unsigned long long*); +_Bool __builtin_GOMP_loop_ull_static_start(_Bool, unsigned long long, unsigned long long, unsigned long long, unsigned long long, unsigned long long*, unsigned long long*); +void __builtin_GOMP_offload_register_ver(int, void*, int, void*); +void __builtin_GOMP_offload_unregister_ver(int, void*, int, void*); void __builtin_GOMP_ordered_end(); -void __builtin_GOMP_doacross_post(void*); -void __builtin_GOMP_doacross_wait(long, ...); -void __builtin_GOMP_doacross_ull_post(void*); -void __builtin_GOMP_doacross_ull_wait(unsigned long long, ...); -unsigned __builtin_GOMP_sections_start(unsigned); -unsigned __builtin_GOMP_sections_next(); +void __builtin_GOMP_ordered_start(); +void __builtin_GOMP_parallel(void (*)(void *), void*, unsigned, unsigned); +void __builtin_GOMP_parallel_loop_dynamic(void (*)(void *), void*, unsigned, long, long, long, long, unsigned); +void __builtin_GOMP_parallel_loop_guided(void (*)(void *), void*, unsigned, long, long, long, long, unsigned); +void __builtin_GOMP_parallel_loop_maybe_nonmonotonic_runtime(void (*)(void *), void*, unsigned, long, long, long, unsigned); +void __builtin_GOMP_parallel_loop_nonmonotonic_dynamic(void (*)(void *), void*, unsigned, long, long, long, long, unsigned); +void __builtin_GOMP_parallel_loop_nonmonotonic_guided(void (*)(void *), void*, unsigned, long, long, long, long, unsigned); +void __builtin_GOMP_parallel_loop_nonmonotonic_runtime(void (*)(void *), void*, unsigned, long, long, long, unsigned); +void __builtin_GOMP_parallel_loop_runtime(void (*)(void *), void*, unsigned, long, long, long, unsigned); +void __builtin_GOMP_parallel_loop_static(void (*)(void *), void*, unsigned, long, long, long, long, unsigned); +unsigned __builtin_GOMP_parallel_reductions(void (*)(void *), void*, unsigned, unsigned); +void __builtin_GOMP_parallel_sections(void (*)(void *), void*, unsigned, unsigned, unsigned); +unsigned __builtin_GOMP_sections2_start(unsigned, void*, void*); void __builtin_GOMP_sections_end(); _Bool __builtin_GOMP_sections_end_cancel(); void __builtin_GOMP_sections_end_nowait(); -_Bool __builtin_GOMP_single_start(); -void* __builtin_GOMP_single_copy_start(); +unsigned __builtin_GOMP_sections_next(); +unsigned __builtin_GOMP_sections_start(unsigned); void __builtin_GOMP_single_copy_end(void*); -void __builtin_GOMP_offload_register_ver(int, void*, int, void*); -void __builtin_GOMP_offload_unregister_ver(int, void*, int, void*); +void* __builtin_GOMP_single_copy_start(); +_Bool __builtin_GOMP_single_start(); void __builtin_GOMP_target_data_ext(int, __CPROVER_size_t, void*, void*, void*); void __builtin_GOMP_target_end_data(); -void __builtin_GOMP_target_update_ext(int, __CPROVER_size_t, void*, void*, void*, unsigned, void*); void __builtin_GOMP_target_enter_exit_data(int, __CPROVER_size_t, void*, void*, void*, unsigned, void*); +void __builtin_GOMP_target_ext(int, void (*)(void *), __CPROVER_size_t, void*, void*, void*, unsigned, void*, void*); +void __builtin_GOMP_target_update_ext(int, __CPROVER_size_t, void*, void*, void*, unsigned, void*); +void __builtin_GOMP_task(void (*)(void *), void*, void (*)(void *, void *), long, long, _Bool, unsigned, void*, int, void*); +void __builtin_GOMP_task_reduction_remap(__CPROVER_size_t, __CPROVER_size_t, void*); +void __builtin_GOMP_taskgroup_end(); +void __builtin_GOMP_taskgroup_reduction_register(void*); +void __builtin_GOMP_taskgroup_reduction_unregister(void*); +void __builtin_GOMP_taskgroup_start(); +void __builtin_GOMP_taskloop(void (*)(void *), void*, void (*)(void *, void *), long, long, unsigned, long, int, long, long, long); +void __builtin_GOMP_taskloop_ull(void (*)(void *), void*, void (*)(void *, void *), long, long, unsigned, long, int, unsigned long long, unsigned long long, unsigned long long); +void __builtin_GOMP_taskwait(); +void __builtin_GOMP_taskwait_depend(void*); +void __builtin_GOMP_taskyield(); void __builtin_GOMP_teams(unsigned, unsigned); +void __builtin_GOMP_teams_reg(void (*)(void *), void*, unsigned, unsigned, unsigned); +void __builtin_GOMP_workshare_task_reduction_unregister(_Bool); +int __builtin_omp_get_num_teams(); +int __builtin_omp_get_num_threads(); +int __builtin_omp_get_team_num(); +int __builtin_omp_get_thread_num(); +int __builtin_acc_get_device_type(); +int __builtin_acc_on_device(int); +int __builtin_goacc_parlevel_id(int); +int __builtin_goacc_parlevel_size(int); +// clang-format on diff --git a/src/ansi-c/gcc_builtin_headers_tm.h b/src/ansi-c/gcc_builtin_headers_tm.h index bee9771f29a..bc86aa24a2e 100644 --- a/src/ansi-c/gcc_builtin_headers_tm.h +++ b/src/ansi-c/gcc_builtin_headers_tm.h @@ -1,3 +1,4 @@ +// clang-format off unsigned __builtin__ITM_beginTransaction(unsigned, ...); void __builtin__ITM_commitTransaction(); void __builtin__ITM_commitTransactionEH(void*); @@ -42,3 +43,4 @@ long double __builtin__ITM_RE(volatile void*); long double __builtin__ITM_RaRE(volatile void*); long double __builtin__ITM_RaWE(volatile void*); long double __builtin__ITM_RfWE(volatile void*); +// clang-format on diff --git a/src/ansi-c/gcc_builtin_headers_types.h b/src/ansi-c/gcc_builtin_headers_types.h index 6278d277440..9495a081fdb 100644 --- a/src/ansi-c/gcc_builtin_headers_types.h +++ b/src/ansi-c/gcc_builtin_headers_types.h @@ -1,3 +1,4 @@ +// clang-format off typedef void ** __builtin_va_list; typedef void ** __builtin_ms_va_list; @@ -31,3 +32,4 @@ typedef unsigned long long __gcc_di; enum __gcc_atomic_memmodels { __ATOMIC_RELAXED, __ATOMIC_CONSUME, __ATOMIC_ACQUIRE, __ATOMIC_RELEASE, __ATOMIC_ACQ_REL, __ATOMIC_SEQ_CST }; +// clang-format on diff --git a/src/ansi-c/gcc_builtin_headers_ubsan.h b/src/ansi-c/gcc_builtin_headers_ubsan.h index 4536f2b1d08..4689715b6af 100644 --- a/src/ansi-c/gcc_builtin_headers_ubsan.h +++ b/src/ansi-c/gcc_builtin_headers_ubsan.h @@ -1,92 +1,147 @@ +// clang-format off +void __builtin___asan_after_dynamic_init(); +void __builtin___asan_before_dynamic_init(const void*); +void __builtin___asan_handle_no_return(); void __builtin___asan_init(); -void __builtin___asan_version_mismatch_check_v8(); +void __builtin___asan_load1(void*); +void __builtin___asan_load16(void*); +void __builtin___asan_load16_noabort(void*); +void __builtin___asan_load1_noabort(void*); +void __builtin___asan_load2(void*); +void __builtin___asan_load2_noabort(void*); +void __builtin___asan_load4(void*); +void __builtin___asan_load4_noabort(void*); +void __builtin___asan_load8(void*); +void __builtin___asan_load8_noabort(void*); void __builtin___asan_report_load1(void*); -void __builtin___asan_report_load2(void*); -void __builtin___asan_report_load4(void*); -void __builtin___asan_report_load8(void*); void __builtin___asan_report_load16(void*); -void __builtin___asan_report_store1(void*); -void __builtin___asan_report_store2(void*); -void __builtin___asan_report_store4(void*); -void __builtin___asan_report_store8(void*); -void __builtin___asan_report_store16(void*); +void __builtin___asan_report_load16_noabort(void*); void __builtin___asan_report_load1_noabort(void*); +void __builtin___asan_report_load2(void*); void __builtin___asan_report_load2_noabort(void*); +void __builtin___asan_report_load4(void*); void __builtin___asan_report_load4_noabort(void*); +void __builtin___asan_report_load8(void*); void __builtin___asan_report_load8_noabort(void*); -void __builtin___asan_report_load16_noabort(void*); +void __builtin___asan_report_store1(void*); +void __builtin___asan_report_store16(void*); +void __builtin___asan_report_store16_noabort(void*); void __builtin___asan_report_store1_noabort(void*); +void __builtin___asan_report_store2(void*); void __builtin___asan_report_store2_noabort(void*); +void __builtin___asan_report_store4(void*); void __builtin___asan_report_store4_noabort(void*); +void __builtin___asan_report_store8(void*); void __builtin___asan_report_store8_noabort(void*); -void __builtin___asan_report_store16_noabort(void*); -void __builtin___asan_load1(void*); -void __builtin___asan_load2(void*); -void __builtin___asan_load4(void*); -void __builtin___asan_load8(void*); -void __builtin___asan_load16(void*); void __builtin___asan_store1(void*); -void __builtin___asan_store2(void*); -void __builtin___asan_store4(void*); -void __builtin___asan_store8(void*); void __builtin___asan_store16(void*); -void __builtin___asan_load1_noabort(void*); -void __builtin___asan_load2_noabort(void*); -void __builtin___asan_load4_noabort(void*); -void __builtin___asan_load8_noabort(void*); -void __builtin___asan_load16_noabort(void*); +void __builtin___asan_store16_noabort(void*); void __builtin___asan_store1_noabort(void*); +void __builtin___asan_store2(void*); void __builtin___asan_store2_noabort(void*); +void __builtin___asan_store4(void*); void __builtin___asan_store4_noabort(void*); +void __builtin___asan_store8(void*); void __builtin___asan_store8_noabort(void*); -void __builtin___asan_store16_noabort(void*); -void __builtin___asan_handle_no_return(); -void __builtin___asan_before_dynamic_init(const void*); -void __builtin___asan_after_dynamic_init(); -void __builtin___tsan_init(); +void __builtin___asan_version_mismatch_check_v8(); +void __builtin___hwasan_handle_longjmp(const void*); +void __builtin___hwasan_init(); +void __builtin___hwasan_load1(void*); +void __builtin___hwasan_load16(void*); +void __builtin___hwasan_load16_noabort(void*); +void __builtin___hwasan_load1_noabort(void*); +void __builtin___hwasan_load2(void*); +void __builtin___hwasan_load2_noabort(void*); +void __builtin___hwasan_load4(void*); +void __builtin___hwasan_load4_noabort(void*); +void __builtin___hwasan_load8(void*); +void __builtin___hwasan_load8_noabort(void*); +void __builtin___hwasan_store1(void*); +void __builtin___hwasan_store16(void*); +void __builtin___hwasan_store16_noabort(void*); +void __builtin___hwasan_store1_noabort(void*); +void __builtin___hwasan_store2(void*); +void __builtin___hwasan_store2_noabort(void*); +void __builtin___hwasan_store4(void*); +void __builtin___hwasan_store4_noabort(void*); +void __builtin___hwasan_store8(void*); +void __builtin___hwasan_store8_noabort(void*); +void __builtin___hwasan_tag_mismatch4(void*); +void* __builtin___hwasan_tag_pointer(const void*, unsigned char); +void __builtin___sanitizer_cov_trace_cmp1(unsigned char, unsigned char); +void __builtin___sanitizer_cov_trace_cmp2(uint16_t, uint16_t); +void __builtin___sanitizer_cov_trace_cmp4(uint32_t, uint32_t); +void __builtin___sanitizer_cov_trace_cmp8(uint64_t, uint64_t); +void __builtin___sanitizer_cov_trace_cmpd(double, double); +void __builtin___sanitizer_cov_trace_cmpf(float, float); +void __builtin___sanitizer_cov_trace_const_cmp1(unsigned char, unsigned char); +void __builtin___sanitizer_cov_trace_const_cmp2(uint16_t, uint16_t); +void __builtin___sanitizer_cov_trace_const_cmp4(uint32_t, uint32_t); +void __builtin___sanitizer_cov_trace_const_cmp8(uint64_t, uint64_t); +void __builtin___sanitizer_cov_trace_pc(); +void __builtin___sanitizer_cov_trace_switch(uint64_t, void*); +void __builtin___tsan_atomic_signal_fence(int); +void __builtin___tsan_atomic_thread_fence(int); void __builtin___tsan_func_entry(void*); void __builtin___tsan_func_exit(void*); -void __builtin___tsan_vptr_update(void*, void*); +void __builtin___tsan_init(); void __builtin___tsan_read1(void*); +void __builtin___tsan_read16(void*); void __builtin___tsan_read2(void*); void __builtin___tsan_read4(void*); void __builtin___tsan_read8(void*); -void __builtin___tsan_read16(void*); +void __builtin___tsan_volatile_read1(void*); +void __builtin___tsan_volatile_read16(void*); +void __builtin___tsan_volatile_read2(void*); +void __builtin___tsan_volatile_read4(void*); +void __builtin___tsan_volatile_read8(void*); +void __builtin___tsan_volatile_write1(void*); +void __builtin___tsan_volatile_write16(void*); +void __builtin___tsan_volatile_write2(void*); +void __builtin___tsan_volatile_write4(void*); +void __builtin___tsan_volatile_write8(void*); +void __builtin___tsan_vptr_update(void*, void*); void __builtin___tsan_write1(void*); +void __builtin___tsan_write16(void*); void __builtin___tsan_write2(void*); void __builtin___tsan_write4(void*); void __builtin___tsan_write8(void*); -void __builtin___tsan_write16(void*); -void __builtin___tsan_atomic_thread_fence(int); -void __builtin___tsan_atomic_signal_fence(int); -void __builtin___ubsan_handle_divrem_overflow(void*, void*, void*); -void __builtin___ubsan_handle_shift_out_of_bounds(void*, void*, void*); +void __builtin___ubsan_handle_add_overflow(void*, void*, void*); +void __builtin___ubsan_handle_add_overflow_abort(void*, void*, void*); void __builtin___ubsan_handle_builtin_unreachable(void*); +void __builtin___ubsan_handle_divrem_overflow(void*, void*, void*); +void __builtin___ubsan_handle_divrem_overflow_abort(void*, void*, void*); +void __builtin___ubsan_handle_dynamic_type_cache_miss(void*, void*, void*); +void __builtin___ubsan_handle_dynamic_type_cache_miss_abort(void*, void*, void*); +void __builtin___ubsan_handle_float_cast_overflow(void*, void*); +void __builtin___ubsan_handle_float_cast_overflow_abort(void*, void*); +void __builtin___ubsan_handle_invalid_builtin(void*); +void __builtin___ubsan_handle_invalid_builtin_abort(void*); +void __builtin___ubsan_handle_load_invalid_value(void*, void*); +void __builtin___ubsan_handle_load_invalid_value_abort(void*, void*); void __builtin___ubsan_handle_missing_return(void*); -void __builtin___ubsan_handle_vla_bound_not_positive(void*, void*); -void __builtin___ubsan_handle_type_mismatch(void*, void*); -void __builtin___ubsan_handle_add_overflow(void*, void*, void*); -void __builtin___ubsan_handle_sub_overflow(void*, void*, void*); void __builtin___ubsan_handle_mul_overflow(void*, void*, void*); -void __builtin___ubsan_handle_negate_overflow(void*, void*); -void __builtin___ubsan_handle_load_invalid_value(void*, void*); -void __builtin___ubsan_handle_divrem_overflow_abort(void*, void*, void*); -void __builtin___ubsan_handle_shift_out_of_bounds_abort(void*, void*, void*); -void __builtin___ubsan_handle_vla_bound_not_positive_abort(void*, void*); -void __builtin___ubsan_handle_type_mismatch_abort(void*, void*); -void __builtin___ubsan_handle_add_overflow_abort(void*, void*, void*); -void __builtin___ubsan_handle_sub_overflow_abort(void*, void*, void*); void __builtin___ubsan_handle_mul_overflow_abort(void*, void*, void*); +void __builtin___ubsan_handle_negate_overflow(void*, void*); void __builtin___ubsan_handle_negate_overflow_abort(void*, void*); -void __builtin___ubsan_handle_load_invalid_value_abort(void*, void*); -void __builtin___ubsan_handle_float_cast_overflow(void*, void*); -void __builtin___ubsan_handle_float_cast_overflow_abort(void*, void*); -void __builtin___ubsan_handle_out_of_bounds(void*, void*); -void __builtin___ubsan_handle_out_of_bounds_abort(void*, void*); void __builtin___ubsan_handle_nonnull_arg(void*); void __builtin___ubsan_handle_nonnull_arg_abort(void*); void __builtin___ubsan_handle_nonnull_return(void*); void __builtin___ubsan_handle_nonnull_return_abort(void*); -void __builtin___ubsan_handle_dynamic_type_cache_miss(void*, void*, void*); -void __builtin___ubsan_handle_dynamic_type_cache_miss_abort(void*, void*, void*); -void __builtin___sanitizer_cov_trace_pc(); +void __builtin___ubsan_handle_nonnull_return_v1(void*, void*); +void __builtin___ubsan_handle_nonnull_return_v1_abort(void*, void*); +void __builtin___ubsan_handle_out_of_bounds(void*, void*); +void __builtin___ubsan_handle_out_of_bounds_abort(void*, void*); +void __builtin___ubsan_handle_pointer_overflow(void*, void*, void*); +void __builtin___ubsan_handle_pointer_overflow_abort(void*, void*, void*); +void __builtin___ubsan_handle_shift_out_of_bounds(void*, void*, void*); +void __builtin___ubsan_handle_shift_out_of_bounds_abort(void*, void*, void*); +void __builtin___ubsan_handle_sub_overflow(void*, void*, void*); +void __builtin___ubsan_handle_sub_overflow_abort(void*, void*, void*); +void __builtin___ubsan_handle_type_mismatch(void*, void*); +void __builtin___ubsan_handle_type_mismatch_abort(void*, void*); +void __builtin___ubsan_handle_type_mismatch_v1(void*, void*); +void __builtin___ubsan_handle_type_mismatch_v1_abort(void*, void*); +void __builtin___ubsan_handle_vla_bound_not_positive(void*, void*); +void __builtin___ubsan_handle_vla_bound_not_positive_abort(void*, void*); +// clang-format on diff --git a/src/ansi-c/get-gcc-builtins.sh b/src/ansi-c/get-gcc-builtins.sh index 344c271d692..dbb9062d0bd 100755 --- a/src/ansi-c/get-gcc-builtins.sh +++ b/src/ansi-c/get-gcc-builtins.sh @@ -9,14 +9,19 @@ fi builtin_defs=" \ builtin-types.def builtins.def sync-builtins.def \ - omp-builtins.def gtm-builtins.def cilk-builtins.def cilkplus.def \ - sanitizer.def chkp-builtins.def hsa-builtins.def brig-builtins.def \ + omp-builtins.def gtm-builtins.def \ + sanitizer.def brig-builtins.def coroutine-builtins.def \ config/i386/i386-builtin.def config/i386/i386-builtin-types.def" for f in $builtin_defs ; do - [ ! -s `basename $f` ] || continue - echo Downloading http://gcc.gnu.org/svn/gcc/trunk/gcc/$f - svn export http://gcc.gnu.org/svn/gcc/trunk/gcc/$f > /dev/null + bn=`basename $f` + [ ! -s $bn ] || continue + echo Downloading git://gcc.gnu.org/git/gcc/$f + if [ `dirname $f` = "." ] ; then + git archive --remote=git://gcc.gnu.org/git/gcc.git HEAD:gcc/ $bn | tar -x > $bn + else + git archive --remote=git://gcc.gnu.org/git/gcc.git HEAD:gcc/`dirname $f`/ $bn | tar -x > $bn + fi done cat > gcc-builtins.h < gcc-builtins.h < #include #include +#include typedef char __gcc_v8qi __attribute__ ((__vector_size__ (8))); typedef char __gcc_v16qi __attribute__ ((__vector_size__ (16))); @@ -49,7 +55,7 @@ typedef long long __gcc_v1di __attribute__ ((__vector_size__ (8))); typedef long long __gcc_v2di __attribute__ ((__vector_size__ (16))); typedef long long __gcc_v4di __attribute__ ((__vector_size__ (32))); typedef long long __gcc_v8di __attribute__ ((__vector_size__ (64))); -typedef unsigned long long __gcc_di; +typedef long long __gcc_di; EOF @@ -98,6 +104,10 @@ cat > builtins.h <> i386-builtin-types-expanded.def +cat >> i386-builtin-types-expanded.def <