Skip to content

Commit 825652f

Browse files
author
Daniel Kroening
authored
Merge pull request #337 from tautschnig/get-gcc-builtins
Update and fix gcc builtins
2 parents 6f43d38 + 1cb63cc commit 825652f

File tree

4 files changed

+220
-93
lines changed

4 files changed

+220
-93
lines changed

‎src/ansi-c/gcc_builtin_headers_generic.h

+14
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,20 @@ void *__builtin_va_arg_pack();
1010
int __builtin_va_arg_pack_len();
1111
int __builtin_constant_p();
1212
int __builtin_abs(int);
13+
int __builtin_finite(double);
14+
int __builtin_finitef(float);
15+
int __builtin_finitel(long double);
16+
int __builtin_fpclassify(int, int, int, int, int, ...);
17+
int __builtin_isfinite();
18+
int __builtin_isinf_sign();
19+
int __builtin_isnanl(long double);
20+
int __builtin_isnormal();
21+
int __builtin_isgreater();
22+
int __builtin_isgreaterequal();
23+
int __builtin_isless();
24+
int __builtin_islessequal();
25+
int __builtin_islessgreater();
26+
int __builtin_isunordered();
1327
long int __builtin_labs(long);
1428
long long int __builtin_llabs(long long int);
1529
double __builtin_cos(double);

‎src/ansi-c/gcc_builtin_headers_ia32-2.h

+140
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,37 @@
1+
void __builtin_ia32_emms(void);
2+
__gcc_v2si __builtin_ia32_pmaddwd(__gcc_v4hi, __gcc_v4hi);
3+
__gcc_v2si __builtin_ia32_vec_init_v2si(int, int);
4+
__gcc_v4hi __builtin_ia32_vec_init_v4hi(short, short, short, short);
5+
__gcc_v8qi __builtin_ia32_vec_init_v8qi(char, char, char, char, char, char, char, char);
6+
int __builtin_ia32_vec_ext_v2si(__gcc_v2si, int);
7+
__gcc_v8hi __builtin_ia32_paddusw128(__gcc_v8hi, __gcc_v8hi);
8+
__gcc_v8hi __builtin_ia32_psubusw128(__gcc_v8hi, __gcc_v8hi);
9+
void __builtin_ia32_ldmxcsr(unsigned);
10+
unsigned __builtin_ia32_stmxcsr(void);
11+
__gcc_v8hi __builtin_ia32_paddsw128(__gcc_v8hi,__gcc_v8hi);
12+
__gcc_v8hi __builtin_ia32_psubsw128(__gcc_v8hi,__gcc_v8hi);
13+
__gcc_v16qi __builtin_ia32_paddsb128(__gcc_v16qi,__gcc_v16qi);
14+
__gcc_v16qi __builtin_ia32_psubsb128(__gcc_v16qi,__gcc_v16qi);
15+
__gcc_v16qi __builtin_ia32_paddusb128(__gcc_v16qi,__gcc_v16qi);
16+
__gcc_v16qi __builtin_ia32_psubusb128(__gcc_v16qi,__gcc_v16qi);
17+
__gcc_di __builtin_ia32_cvtss2si64(__gcc_v4sf);
18+
__gcc_di __builtin_ia32_cvttss2si64(__gcc_v4sf);
19+
__gcc_v4sf __builtin_ia32_cvtsi642ss(__gcc_v4sf, __gcc_di);
20+
21+
__gcc_v4hi __builtin_ia32_pshufw(__gcc_v4hi, int);
22+
short __builtin_ia32_vec_ext_v4hi(__gcc_v4hi, int);
23+
short __builtin_ia32_vec_ext_v8hi(__gcc_v8hi, int);
24+
__gcc_v4hi __builtin_ia32_vec_set_v4hi(__gcc_v4hi, short, int);
25+
__gcc_v8hi __builtin_ia32_vec_set_v8hi(__gcc_v8hi, short, int);
26+
__gcc_v4sf __builtin_ia32_vec_set___gcc_v4sf(__gcc_v4sf, float, const int);
27+
__gcc_v16qi __builtin_ia32_vec_set___gcc_v16qi(__gcc_v16qi, int, const int);
28+
__gcc_v4si __builtin_ia32_vec_set___gcc_v4si(__gcc_v4si, int, const int);
29+
__gcc_v2di __builtin_ia32_vec_set___gcc_v2di(__gcc_v2di, __gcc_di, const int);
30+
char __builtin_ia32_vec_ext_v16qi(__gcc_v16qi, int);
31+
__gcc_v16qi __builtin_ia32_vec_set_v16qi(__gcc_v16qi, char, int);
32+
__gcc_v4si __builtin_ia32_vec_set_v4si(__gcc_v4si, int, int);
33+
__gcc_v2di __builtin_ia32_vec_set_v2di(__gcc_v2di, __gcc_di, int);
34+
135
unsigned long long __builtin_ia32_rdtsc(void);
236
unsigned long long __builtin_ia32_rdtscp(unsigned*);
337
void __builtin_ia32_fnstenv(void*);
@@ -78,6 +112,7 @@ void __builtin_ia32_wrgsbase32(unsigned);
78112
void __builtin_ia32_wrgsbase64(unsigned long long);
79113
unsigned __builtin_ia32_xbegin(void);
80114
void __builtin_ia32_xend(void);
115+
void __builtin_ia32_xabort(unsigned);
81116
int __builtin_ia32_xtest(void);
82117
int __builtin_ia32_bsrsi(int);
83118
long long __builtin_ia32_bsrdi(long long);
@@ -453,6 +488,12 @@ int __builtin_ia32_vcvttss2si32(__gcc_v4sf, int);
453488
long long __builtin_ia32_vcvttss2si64(__gcc_v4sf, int);
454489
unsigned __builtin_ia32_vcvttss2usi32(__gcc_v4sf, int);
455490
unsigned long long __builtin_ia32_vcvttss2usi64(__gcc_v4sf, int);
491+
__gcc_v2df __builtin_ia32_vfmaddpd(__gcc_v2df,__gcc_v2df, __gcc_v2df);
492+
__gcc_v2df __builtin_ia32_vfmaddsd3(__gcc_v2df,__gcc_v2df, __gcc_v2df);
493+
__gcc_v4df __builtin_ia32_vfmaddpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df);
494+
__gcc_v4sf __builtin_ia32_vfmaddps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf);
495+
__gcc_v4sf __builtin_ia32_vfmaddss3(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf);
496+
__gcc_v8sf __builtin_ia32_vfmaddps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf);
456497
__gcc_v8df __builtin_ia32_vfmaddpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8df, char, int);
457498
__gcc_v8df __builtin_ia32_vfmaddpd512_mask3(__gcc_v8df, __gcc_v8df, __gcc_v8df, char, int);
458499
__gcc_v8df __builtin_ia32_vfmaddpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8df, char, int);
@@ -461,6 +502,10 @@ __gcc_v16sf __builtin_ia32_vfmaddps512_mask3(__gcc_v16sf, __gcc_v16sf, __gcc_v16
461502
__gcc_v16sf __builtin_ia32_vfmaddps512_maskz(__gcc_v16sf, __gcc_v16sf, __gcc_v16sf, short, int);
462503
__gcc_v2df __builtin_ia32_vfmaddsd3_round(__gcc_v2df, __gcc_v2df, __gcc_v2df, int);
463504
__gcc_v4sf __builtin_ia32_vfmaddss3_round(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf, int);
505+
__gcc_v2df __builtin_ia32_vfmaddsubpd(__gcc_v2df,__gcc_v2df, __gcc_v2df);
506+
__gcc_v4df __builtin_ia32_vfmaddsubpd256(__gcc_v4df, __gcc_v4df, __gcc_v4df);
507+
__gcc_v4sf __builtin_ia32_vfmaddsubps(__gcc_v4sf, __gcc_v4sf, __gcc_v4sf);
508+
__gcc_v8sf __builtin_ia32_vfmaddsubps256(__gcc_v8sf, __gcc_v8sf, __gcc_v8sf);
464509
__gcc_v8df __builtin_ia32_vfmaddsubpd512_mask(__gcc_v8df, __gcc_v8df, __gcc_v8df, char, int);
465510
__gcc_v8df __builtin_ia32_vfmaddsubpd512_mask3(__gcc_v8df, __gcc_v8df, __gcc_v8df, char, int);
466511
__gcc_v8df __builtin_ia32_vfmaddsubpd512_maskz(__gcc_v8df, __gcc_v8df, __gcc_v8df, char, int);
@@ -511,3 +556,98 @@ __gcc_v8sf __builtin__ITM_RfWM256(const __gcc_v8sf*);
511556
void __builtin__ITM_LM64(const void*);
512557
void __builtin__ITM_LM128(const void*);
513558
void __builtin__ITM_LM256(const void*);
559+
__gcc_v4si __builtin_ia32_sha1msg1(__gcc_v4si, __gcc_v4si);
560+
__gcc_v4si __builtin_ia32_sha1msg2(__gcc_v4si, __gcc_v4si);
561+
__gcc_v4si __builtin_ia32_sha1nexte(__gcc_v4si, __gcc_v4si);
562+
__gcc_v4si __builtin_ia32_sha1rnds4(__gcc_v4si, __gcc_v4si, int);
563+
__gcc_v4si __builtin_ia32_sha256msg1(__gcc_v4si, __gcc_v4si);
564+
__gcc_v4si __builtin_ia32_sha256msg2(__gcc_v4si, __gcc_v4si);
565+
__gcc_v4si __builtin_ia32_sha256rnds2(__gcc_v4si, __gcc_v4si, __gcc_v4si);
566+
__gcc_v2df __builtin_ia32_gathersiv2df(__gcc_v2df, const double*, __gcc_v4si, __gcc_v2df, int);
567+
__gcc_v4df __builtin_ia32_gathersiv4df(__gcc_v4df, const double*, __gcc_v4si, __gcc_v4df, int);
568+
__gcc_v2df __builtin_ia32_gatherdiv2df(__gcc_v2df, const double*, __gcc_v2di, __gcc_v2df, int);
569+
__gcc_v4df __builtin_ia32_gatherdiv4df(__gcc_v4df, const double*, __gcc_v4di, __gcc_v4df, int);
570+
__gcc_v4sf __builtin_ia32_gathersiv4sf(__gcc_v4sf, const float*, __gcc_v4si, __gcc_v4sf, int);
571+
__gcc_v8sf __builtin_ia32_gathersiv8sf(__gcc_v8sf, const float*, __gcc_v8si, __gcc_v8sf, int);
572+
__gcc_v4sf __builtin_ia32_gatherdiv4sf(__gcc_v4sf, const float*, __gcc_v2di, __gcc_v4sf, int);
573+
__gcc_v4sf __builtin_ia32_gatherdiv4sf256(__gcc_v4sf, const float*, __gcc_v4di, __gcc_v4sf, int);
574+
__gcc_v2di __builtin_ia32_gathersiv2di(__gcc_v2di,const long*, __gcc_v4si, __gcc_v2di, int);
575+
__gcc_v4di __builtin_ia32_gathersiv4di(__gcc_v4di,const long*, __gcc_v4si, __gcc_v4di, int);
576+
__gcc_v2di __builtin_ia32_gatherdiv2di(__gcc_v2di,const long*, __gcc_v2di, __gcc_v2di, int);
577+
__gcc_v4di __builtin_ia32_gatherdiv4di(__gcc_v4di,const long*, __gcc_v4di, __gcc_v4di, int);
578+
__gcc_v4si __builtin_ia32_gathersiv4si(__gcc_v4si, const int*, __gcc_v4si, __gcc_v4si, int);
579+
__gcc_v8si __builtin_ia32_gathersiv8si(__gcc_v8si, const int*, __gcc_v8si, __gcc_v8si, int);
580+
__gcc_v4si __builtin_ia32_gatherdiv4si(__gcc_v4si, const int*, __gcc_v2di, __gcc_v4si, int);
581+
__gcc_v4si __builtin_ia32_gatherdiv4si256(__gcc_v4si, const int*, __gcc_v4di, __gcc_v4si, int);
582+
__gcc_v4df __builtin_ia32_gatheraltsiv4df(__gcc_v4df, const double*, __gcc_v8si, __gcc_v4df, int);
583+
__gcc_v8sf __builtin_ia32_gatheraltdiv4sf256(__gcc_v8sf, const float*, __gcc_v4di, __gcc_v8sf, int);
584+
__gcc_v4di __builtin_ia32_gatheraltsiv4di(__gcc_v4di,const long*, __gcc_v8si, __gcc_v4di, int);
585+
__gcc_v8si __builtin_ia32_gatheraltdiv4si256(__gcc_v8si, const int*, __gcc_v4di, __gcc_v8si, int);
586+
__gcc_v16sf __builtin_ia32_gathersiv16sf(__gcc_v16sf, const float*, __gcc_v16si, short, int);
587+
__gcc_v8df __builtin_ia32_gathersiv8df(__gcc_v8df, const double*, __gcc_v8si, char, int);
588+
__gcc_v8sf __builtin_ia32_gatherdiv16sf(__gcc_v8sf, const float*, __gcc_v8di, char, int);
589+
__gcc_v8df __builtin_ia32_gatherdiv8df(__gcc_v8df, const double*, __gcc_v8di, char, int);
590+
__gcc_v16si __builtin_ia32_gathersiv16si(__gcc_v16si, const int*, __gcc_v16si, short, int);
591+
__gcc_v8di __builtin_ia32_gathersiv8di(__gcc_v8di,const long*, __gcc_v8si, char, int);
592+
__gcc_v8si __builtin_ia32_gatherdiv16si(__gcc_v8si, const int*, __gcc_v8di, char, int);
593+
__gcc_v8di __builtin_ia32_gatherdiv8di(__gcc_v8di,const long*, __gcc_v8di, char, int);
594+
__gcc_v8df __builtin_ia32_gatheraltsiv8df(__gcc_v8df, const double*, __gcc_v16si, char, int);
595+
__gcc_v16sf __builtin_ia32_gatheraltdiv8sf(__gcc_v16sf, const float*, __gcc_v8di, short, int);
596+
__gcc_v8di __builtin_ia32_gatheraltsiv8di(__gcc_v8di,const long*, __gcc_v16si, char, int);
597+
__gcc_v16si __builtin_ia32_gatheraltdiv8si(__gcc_v16si, const int*, __gcc_v8di, short, int);
598+
void __builtin_ia32_scattersiv16sf(float*, short, __gcc_v16si, __gcc_v16sf, int);
599+
void __builtin_ia32_scattersiv8df(double*, char, __gcc_v8si, __gcc_v8df, int);
600+
void __builtin_ia32_scatterdiv16sf(float*, char, __gcc_v8di, __gcc_v8sf, int);
601+
void __builtin_ia32_scatterdiv8df(double*, char, __gcc_v8di, __gcc_v8df, int);
602+
void __builtin_ia32_scattersiv16si(int*, short, __gcc_v16si, __gcc_v16si, int);
603+
void __builtin_ia32_scattersiv8di(long long*, char, __gcc_v8si, __gcc_v8di, int);
604+
void __builtin_ia32_scatterdiv16si(int*, char, __gcc_v8di, __gcc_v8si, int);
605+
void __builtin_ia32_scatterdiv8di(long long*, char, __gcc_v8di, __gcc_v8di, int);
606+
__gcc_v2df __builtin_ia32_gather3siv2df(__gcc_v2df, const double*, __gcc_v4si, char, int);
607+
__gcc_v4df __builtin_ia32_gather3siv4df(__gcc_v4df, const double*, __gcc_v4si, char, int);
608+
__gcc_v2df __builtin_ia32_gather3div2df(__gcc_v2df, const double*, __gcc_v2di, char, int);
609+
__gcc_v4df __builtin_ia32_gather3div4df(__gcc_v4df, const double*, __gcc_v4di, char, int);
610+
__gcc_v4sf __builtin_ia32_gather3siv4sf(__gcc_v4sf, const float*, __gcc_v4si, char, int);
611+
__gcc_v8sf __builtin_ia32_gather3siv8sf(__gcc_v8sf, const float*, __gcc_v8si, char, int);
612+
__gcc_v4sf __builtin_ia32_gather3div4sf(__gcc_v4sf, const float*, __gcc_v2di, char, int);
613+
__gcc_v4sf __builtin_ia32_gather3div8sf(__gcc_v4sf, const float*, __gcc_v4di, char, int);
614+
__gcc_v2di __builtin_ia32_gather3siv2di(__gcc_v2di,const long*, __gcc_v4si, char, int);
615+
__gcc_v4di __builtin_ia32_gather3siv4di(__gcc_v4di,const long*, __gcc_v4si, char, int);
616+
__gcc_v2di __builtin_ia32_gather3div2di(__gcc_v2di,const long*, __gcc_v2di, char, int);
617+
__gcc_v4di __builtin_ia32_gather3div4di(__gcc_v4di,const long*, __gcc_v4di, char, int);
618+
__gcc_v4si __builtin_ia32_gather3siv4si(__gcc_v4si, const int*, __gcc_v4si, char, int);
619+
__gcc_v8si __builtin_ia32_gather3siv8si(__gcc_v8si, const int*, __gcc_v8si, char, int);
620+
__gcc_v4si __builtin_ia32_gather3div4si(__gcc_v4si, const int*, __gcc_v2di, char, int);
621+
__gcc_v4si __builtin_ia32_gather3div8si(__gcc_v4si, const int*, __gcc_v4di, char, int);
622+
__gcc_v4df __builtin_ia32_gather3altsiv4df(__gcc_v4df, const double*, __gcc_v8si, char, int);
623+
__gcc_v8sf __builtin_ia32_gather3altdiv8sf(__gcc_v8sf, const float*, __gcc_v4di, char, int);
624+
__gcc_v4di __builtin_ia32_gather3altsiv4di(__gcc_v4di,const long*, __gcc_v8si, char, int);
625+
__gcc_v8si __builtin_ia32_gather3altdiv8si(__gcc_v8si, const int*, __gcc_v4di, char, int);
626+
void __builtin_ia32_scattersiv8sf(float*, char, __gcc_v8si, __gcc_v8sf, int);
627+
void __builtin_ia32_scattersiv4sf(float*, char, __gcc_v4si, __gcc_v4sf, int);
628+
void __builtin_ia32_scattersiv4df(double*, char, __gcc_v4si, __gcc_v4df, int);
629+
void __builtin_ia32_scattersiv2df(double*, char, __gcc_v4si, __gcc_v2df, int);
630+
void __builtin_ia32_scatterdiv8sf(float*, char, __gcc_v4di, __gcc_v4sf, int);
631+
void __builtin_ia32_scatterdiv4sf(float*, char, __gcc_v2di, __gcc_v4sf, int);
632+
void __builtin_ia32_scatterdiv4df(double*, char, __gcc_v4di, __gcc_v4df, int);
633+
void __builtin_ia32_scatterdiv2df(double*, char, __gcc_v2di, __gcc_v2df, int);
634+
void __builtin_ia32_scattersiv8si(int*, char, __gcc_v8si, __gcc_v8si, int);
635+
void __builtin_ia32_scattersiv4si(int*, char, __gcc_v4si, __gcc_v4si, int);
636+
void __builtin_ia32_scattersiv4di(long long*, char, __gcc_v4si, __gcc_v4di, int);
637+
void __builtin_ia32_scattersiv2di(long long*, char, __gcc_v4si, __gcc_v2di, int);
638+
void __builtin_ia32_scatterdiv8si(int*, char, __gcc_v4di, __gcc_v4si, int);
639+
void __builtin_ia32_scatterdiv4si(int*, char, __gcc_v2di, __gcc_v4si, int);
640+
void __builtin_ia32_scatterdiv4di(long long*, char, __gcc_v4di, __gcc_v4di, int);
641+
void __builtin_ia32_scatterdiv2di(long long*, char, __gcc_v2di, __gcc_v2di, int);
642+
void __builtin_ia32_scatteraltsiv8df(double*, char, __gcc_v16si, __gcc_v8df, int);
643+
void __builtin_ia32_scatteraltdiv8sf(float*, short, __gcc_v8di, __gcc_v16sf, int);
644+
void __builtin_ia32_scatteraltsiv8di(long long*, char, __gcc_v16si, __gcc_v8di, int);
645+
void __builtin_ia32_scatteraltdiv8si(int*, short, __gcc_v8di, __gcc_v16si, int);
646+
void __builtin_ia32_gatherpfdpd(char, __gcc_v8si,const long*, int, int);
647+
void __builtin_ia32_gatherpfdps( short, __gcc_v16si, const int*, int, int);
648+
void __builtin_ia32_gatherpfqpd(char, __gcc_v8di,const long*, int, int);
649+
void __builtin_ia32_gatherpfqps(char, __gcc_v8di, const int*, int, int);
650+
void __builtin_ia32_scatterpfdpd(char, __gcc_v8si,const long*, int, int);
651+
void __builtin_ia32_scatterpfdps( short, __gcc_v16si, const int*, int, int);
652+
void __builtin_ia32_scatterpfqpd(char, __gcc_v8di,const long*, int, int);
653+
void __builtin_ia32_scatterpfqps(char, __gcc_v8di, const int*, int, int);

‎src/ansi-c/gcc_builtin_headers_ia32.h

+26-59
Original file line numberDiff line numberDiff line change
@@ -1,32 +1,3 @@
1-
2-
// undocumented
3-
4-
void __builtin_ia32_emms(void);
5-
__gcc_v2si __builtin_ia32_pmaddwd(__gcc_v4hi, __gcc_v4hi);
6-
__gcc_v2si __builtin_ia32_vec_init_v2si(int, int);
7-
__gcc_v4hi __builtin_ia32_vec_init_v4hi(short, short, short, short);
8-
__gcc_v8qi __builtin_ia32_vec_init_v8qi(char, char, char, char, char, char, char, char);
9-
int __builtin_ia32_vec_ext_v2si(__gcc_v2si, int);
10-
__gcc_v8hi __builtin_ia32_paddusw128(__gcc_v8hi, __gcc_v8hi);
11-
__gcc_v8hi __builtin_ia32_psubusw128(__gcc_v8hi, __gcc_v8hi);
12-
void __builtin_ia32_ldmxcsr(unsigned);
13-
unsigned __builtin_ia32_stmxcsr(void);
14-
__gcc_v8hi __builtin_ia32_paddsw128(__gcc_v8hi,__gcc_v8hi);
15-
__gcc_v8hi __builtin_ia32_psubsw128(__gcc_v8hi,__gcc_v8hi);
16-
__gcc_v16qi __builtin_ia32_paddsb128(__gcc_v16qi,__gcc_v16qi);
17-
__gcc_v16qi __builtin_ia32_psubsb128(__gcc_v16qi,__gcc_v16qi);
18-
__gcc_v16qi __builtin_ia32_paddusb128(__gcc_v16qi,__gcc_v16qi);
19-
__gcc_v16qi __builtin_ia32_psubusb128(__gcc_v16qi,__gcc_v16qi);
20-
__gcc_di __builtin_ia32_cvtss2si64(__gcc_v4sf);
21-
__gcc_di __builtin_ia32_cvttss2si64(__gcc_v4sf);
22-
__gcc_v4sf __builtin_ia32_cvtsi642ss(__gcc_v4sf, __gcc_di);
23-
24-
__gcc_v4hi __builtin_ia32_pshufw(__gcc_v4hi, int);
25-
int __builtin_ia32_vec_ext_v4hi(__gcc_v4hi, int);
26-
unsigned int __builtin_ia32_vec_ext_v8hi(__gcc_v8hi, int);
27-
__gcc_v4hi __builtin_ia32_vec_set_v4hi(__gcc_v4hi, int, int);
28-
__gcc_v8hi __builtin_ia32_vec_set_v8hi(__gcc_v8hi, int, int);
29-
301
// from
312
// http://gcc.gnu.org/onlinedocs/gcc-4.7.0/gcc/X86-Built_002din-Functions.html
323

@@ -135,26 +106,26 @@ __gcc_v4sf __builtin_ia32_addss(__gcc_v4sf, __gcc_v4sf);
135106
__gcc_v4sf __builtin_ia32_subss(__gcc_v4sf, __gcc_v4sf);
136107
__gcc_v4sf __builtin_ia32_mulss(__gcc_v4sf, __gcc_v4sf);
137108
__gcc_v4sf __builtin_ia32_divss(__gcc_v4sf, __gcc_v4sf);
138-
__gcc_v4si __builtin_ia32_cmpeqps(__gcc_v4sf, __gcc_v4sf);
139-
__gcc_v4si __builtin_ia32_cmpltps(__gcc_v4sf, __gcc_v4sf);
140-
__gcc_v4si __builtin_ia32_cmpleps(__gcc_v4sf, __gcc_v4sf);
141-
__gcc_v4si __builtin_ia32_cmpgtps(__gcc_v4sf, __gcc_v4sf);
142-
__gcc_v4si __builtin_ia32_cmpgeps(__gcc_v4sf, __gcc_v4sf);
143-
__gcc_v4si __builtin_ia32_cmpunordps(__gcc_v4sf, __gcc_v4sf);
144-
__gcc_v4si __builtin_ia32_cmpneqps(__gcc_v4sf, __gcc_v4sf);
145-
__gcc_v4si __builtin_ia32_cmpnltps(__gcc_v4sf, __gcc_v4sf);
146-
__gcc_v4si __builtin_ia32_cmpnleps(__gcc_v4sf, __gcc_v4sf);
147-
__gcc_v4si __builtin_ia32_cmpngtps(__gcc_v4sf, __gcc_v4sf);
148-
__gcc_v4si __builtin_ia32_cmpngeps(__gcc_v4sf, __gcc_v4sf);
149-
__gcc_v4si __builtin_ia32_cmpordps(__gcc_v4sf, __gcc_v4sf);
150-
__gcc_v4si __builtin_ia32_cmpeqss(__gcc_v4sf, __gcc_v4sf);
151-
__gcc_v4si __builtin_ia32_cmpltss(__gcc_v4sf, __gcc_v4sf);
152-
__gcc_v4si __builtin_ia32_cmpless(__gcc_v4sf, __gcc_v4sf);
153-
__gcc_v4si __builtin_ia32_cmpunordss(__gcc_v4sf, __gcc_v4sf);
154-
__gcc_v4si __builtin_ia32_cmpneqss(__gcc_v4sf, __gcc_v4sf);
155-
__gcc_v4si __builtin_ia32_cmpnlts(__gcc_v4sf, __gcc_v4sf);
156-
__gcc_v4si __builtin_ia32_cmpnless(__gcc_v4sf, __gcc_v4sf);
157-
__gcc_v4si __builtin_ia32_cmpordss(__gcc_v4sf, __gcc_v4sf);
109+
__gcc_v4sf __builtin_ia32_cmpeqps(__gcc_v4sf, __gcc_v4sf);
110+
__gcc_v4sf __builtin_ia32_cmpltps(__gcc_v4sf, __gcc_v4sf);
111+
__gcc_v4sf __builtin_ia32_cmpleps(__gcc_v4sf, __gcc_v4sf);
112+
__gcc_v4sf __builtin_ia32_cmpgtps(__gcc_v4sf, __gcc_v4sf);
113+
__gcc_v4sf __builtin_ia32_cmpgeps(__gcc_v4sf, __gcc_v4sf);
114+
__gcc_v4sf __builtin_ia32_cmpunordps(__gcc_v4sf, __gcc_v4sf);
115+
__gcc_v4sf __builtin_ia32_cmpneqps(__gcc_v4sf, __gcc_v4sf);
116+
__gcc_v4sf __builtin_ia32_cmpnltps(__gcc_v4sf, __gcc_v4sf);
117+
__gcc_v4sf __builtin_ia32_cmpnleps(__gcc_v4sf, __gcc_v4sf);
118+
__gcc_v4sf __builtin_ia32_cmpngtps(__gcc_v4sf, __gcc_v4sf);
119+
__gcc_v4sf __builtin_ia32_cmpngeps(__gcc_v4sf, __gcc_v4sf);
120+
__gcc_v4sf __builtin_ia32_cmpordps(__gcc_v4sf, __gcc_v4sf);
121+
__gcc_v4sf __builtin_ia32_cmpeqss(__gcc_v4sf, __gcc_v4sf);
122+
__gcc_v4sf __builtin_ia32_cmpltss(__gcc_v4sf, __gcc_v4sf);
123+
__gcc_v4sf __builtin_ia32_cmpless(__gcc_v4sf, __gcc_v4sf);
124+
__gcc_v4sf __builtin_ia32_cmpunordss(__gcc_v4sf, __gcc_v4sf);
125+
__gcc_v4sf __builtin_ia32_cmpneqss(__gcc_v4sf, __gcc_v4sf);
126+
__gcc_v4sf __builtin_ia32_cmpnlts(__gcc_v4sf, __gcc_v4sf);
127+
__gcc_v4sf __builtin_ia32_cmpnless(__gcc_v4sf, __gcc_v4sf);
128+
__gcc_v4sf __builtin_ia32_cmpordss(__gcc_v4sf, __gcc_v4sf);
158129
__gcc_v4sf __builtin_ia32_maxps(__gcc_v4sf, __gcc_v4sf);
159130
__gcc_v4sf __builtin_ia32_maxss(__gcc_v4sf, __gcc_v4sf);
160131
__gcc_v4sf __builtin_ia32_minps(__gcc_v4sf, __gcc_v4sf);
@@ -244,8 +215,8 @@ __gcc_v2df __builtin_ia32_cmpneqsd(__gcc_v2df, __gcc_v2df);
244215
__gcc_v2df __builtin_ia32_cmpnltsd(__gcc_v2df, __gcc_v2df);
245216
__gcc_v2df __builtin_ia32_cmpnlesd(__gcc_v2df, __gcc_v2df);
246217
__gcc_v2df __builtin_ia32_cmpordsd(__gcc_v2df, __gcc_v2df);
247-
__gcc_v2di __builtin_ia32_paddq(__gcc_v2di, __gcc_v2di);
248-
__gcc_v2di __builtin_ia32_psubq(__gcc_v2di, __gcc_v2di);
218+
__gcc_v1di __builtin_ia32_paddq(__gcc_v1di, __gcc_v1di);
219+
__gcc_v1di __builtin_ia32_psubq(__gcc_v1di, __gcc_v1di);
249220
__gcc_v2df __builtin_ia32_addpd(__gcc_v2df, __gcc_v2df);
250221
__gcc_v2df __builtin_ia32_subpd(__gcc_v2df, __gcc_v2df);
251222
__gcc_v2df __builtin_ia32_mulpd(__gcc_v2df, __gcc_v2df);
@@ -455,11 +426,7 @@ __gcc_v2df __builtin_ia32_roundpd(__gcc_v2df, const int);
455426
__gcc_v4sf __builtin_ia32_roundps(__gcc_v4sf, const int);
456427
__gcc_v2df __builtin_ia32_roundsd(__gcc_v2df, __gcc_v2df, const int);
457428
__gcc_v4sf __builtin_ia32_roundss(__gcc_v4sf, __gcc_v4sf, const int);
458-
__gcc_v4sf __builtin_ia32_vec_set___gcc_v4sf(__gcc_v4sf, float, const int);
459429
int __builtin_ia32_vec_ext___gcc_v16qi(__gcc_v16qi, const int);
460-
__gcc_v16qi __builtin_ia32_vec_set___gcc_v16qi(__gcc_v16qi, int, const int);
461-
__gcc_v4si __builtin_ia32_vec_set___gcc_v4si(__gcc_v4si, int, const int);
462-
__gcc_v2di __builtin_ia32_vec_set___gcc_v2di(__gcc_v2di, __gcc_di, const int);
463430
float __builtin_ia32_vec_ext___gcc_v4sf(__gcc_v4sf, const int);
464431
int __builtin_ia32_vec_ext___gcc_v4si(__gcc_v4si, const int);
465432
__gcc_di __builtin_ia32_vec_ext___gcc_v2di(__gcc_v2di, const int);
@@ -1194,7 +1161,7 @@ int __builtin_ia32_pshlb();
11941161
int __builtin_ia32_pshld();
11951162
int __builtin_ia32_pshlq();
11961163
int __builtin_ia32_pshlw();
1197-
int __builtin_ia32_vec_ext_v2df();
1198-
int __builtin_ia32_vec_ext_v2di();
1199-
int __builtin_ia32_vec_ext_v4sf();
1200-
int __builtin_ia32_vec_ext_v4si();
1164+
double __builtin_ia32_vec_ext_v2df(__gcc_v2df, int);
1165+
__gcc_di __builtin_ia32_vec_ext_v2di(__gcc_v2di, int);
1166+
float __builtin_ia32_vec_ext_v4sf(__gcc_v4sf, int);
1167+
int __builtin_ia32_vec_ext_v4si(__gcc_v4si, int);

0 commit comments

Comments
 (0)