]>
Commit | Line | Data |
---|---|---|
f1717362 | 1 | /* Copyright (C) 2012-2016 Free Software Foundation, Inc. |
41bc5727 | 2 | |
3 | This file is part of GCC. | |
4 | ||
5 | GCC is free software; you can redistribute it and/or modify | |
6 | it under the terms of the GNU General Public License as published by | |
7 | the Free Software Foundation; either version 3, or (at your option) | |
8 | any later version. | |
9 | ||
10 | GCC is distributed in the hope that it will be useful, | |
11 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
12 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
13 | GNU General Public License for more details. | |
14 | ||
15 | Under Section 7 of GPL version 3, you are granted additional | |
16 | permissions described in the GCC Runtime Library Exception, version | |
17 | 3.1, as published by the Free Software Foundation. | |
18 | ||
19 | You should have received a copy of the GNU General Public License and | |
20 | a copy of the GCC Runtime Library Exception along with this program; | |
21 | see the files COPYING3 and COPYING.RUNTIME respectively. If not, see | |
22 | <http://www.gnu.org/licenses/>. */ | |
23 | ||
24 | #if !defined _X86INTRIN_H_INCLUDED && !defined _IMMINTRIN_H_INCLUDED | |
25 | # error "Never use <adxintrin.h> directly; include <x86intrin.h> instead." | |
26 | #endif | |
27 | ||
41bc5727 | 28 | #ifndef _ADXINTRIN_H_INCLUDED |
29 | #define _ADXINTRIN_H_INCLUDED | |
30 | ||
aecde6b1 | 31 | extern __inline unsigned char |
32 | __attribute__((__gnu_inline__, __always_inline__, __artificial__)) | |
33 | _subborrow_u32 (unsigned char __CF, unsigned int __X, | |
34 | unsigned int __Y, unsigned int *__P) | |
35 | { | |
36 | return __builtin_ia32_sbb_u32 (__CF, __Y, __X, __P); | |
37 | } | |
38 | ||
39 | extern __inline unsigned char | |
40 | __attribute__((__gnu_inline__, __always_inline__, __artificial__)) | |
41 | _addcarry_u32 (unsigned char __CF, unsigned int __X, | |
42 | unsigned int __Y, unsigned int *__P) | |
43 | { | |
44 | return __builtin_ia32_addcarryx_u32 (__CF, __X, __Y, __P); | |
45 | } | |
46 | ||
41bc5727 | 47 | extern __inline unsigned char |
48 | __attribute__((__gnu_inline__, __always_inline__, __artificial__)) | |
49 | _addcarryx_u32 (unsigned char __CF, unsigned int __X, | |
50 | unsigned int __Y, unsigned int *__P) | |
51 | { | |
52 | return __builtin_ia32_addcarryx_u32 (__CF, __X, __Y, __P); | |
53 | } | |
54 | ||
55 | #ifdef __x86_64__ | |
aecde6b1 | 56 | extern __inline unsigned char |
57 | __attribute__((__gnu_inline__, __always_inline__, __artificial__)) | |
375ad044 | 58 | _subborrow_u64 (unsigned char __CF, unsigned long long __X, |
59 | unsigned long long __Y, unsigned long long *__P) | |
aecde6b1 | 60 | { |
61 | return __builtin_ia32_sbb_u64 (__CF, __Y, __X, __P); | |
62 | } | |
63 | ||
64 | extern __inline unsigned char | |
65 | __attribute__((__gnu_inline__, __always_inline__, __artificial__)) | |
375ad044 | 66 | _addcarry_u64 (unsigned char __CF, unsigned long long __X, |
67 | unsigned long long __Y, unsigned long long *__P) | |
aecde6b1 | 68 | { |
69 | return __builtin_ia32_addcarryx_u64 (__CF, __X, __Y, __P); | |
70 | } | |
71 | ||
41bc5727 | 72 | extern __inline unsigned char |
73 | __attribute__((__gnu_inline__, __always_inline__, __artificial__)) | |
375ad044 | 74 | _addcarryx_u64 (unsigned char __CF, unsigned long long __X, |
75 | unsigned long long __Y, unsigned long long *__P) | |
41bc5727 | 76 | { |
77 | return __builtin_ia32_addcarryx_u64 (__CF, __X, __Y, __P); | |
78 | } | |
79 | #endif | |
80 | ||
81 | #endif /* _ADXINTRIN_H_INCLUDED */ |