annotate clang/lib/Headers/htmintrin.h @ 176:de4ac79aef9d

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 17:13:11 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 /*===---- htmintrin.h - Standard header for PowerPC HTM ---------------===*\
anatofuz
parents:
diff changeset
2 *
anatofuz
parents:
diff changeset
3 * Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 * See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 *
anatofuz
parents:
diff changeset
7 \*===----------------------------------------------------------------------===*/
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9 #ifndef __HTMINTRIN_H
anatofuz
parents:
diff changeset
10 #define __HTMINTRIN_H
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 #ifndef __HTM__
anatofuz
parents:
diff changeset
13 #error "HTM instruction set not enabled"
anatofuz
parents:
diff changeset
14 #endif
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16 #ifdef __powerpc__
anatofuz
parents:
diff changeset
17
anatofuz
parents:
diff changeset
18 #include <stdint.h>
anatofuz
parents:
diff changeset
19
anatofuz
parents:
diff changeset
20 typedef uint64_t texasr_t;
anatofuz
parents:
diff changeset
21 typedef uint32_t texasru_t;
anatofuz
parents:
diff changeset
22 typedef uint32_t texasrl_t;
anatofuz
parents:
diff changeset
23 typedef uintptr_t tfiar_t;
anatofuz
parents:
diff changeset
24 typedef uintptr_t tfhar_t;
anatofuz
parents:
diff changeset
25
anatofuz
parents:
diff changeset
26 #define _HTM_STATE(CR0) ((CR0 >> 1) & 0x3)
anatofuz
parents:
diff changeset
27 #define _HTM_NONTRANSACTIONAL 0x0
anatofuz
parents:
diff changeset
28 #define _HTM_SUSPENDED 0x1
anatofuz
parents:
diff changeset
29 #define _HTM_TRANSACTIONAL 0x2
anatofuz
parents:
diff changeset
30
anatofuz
parents:
diff changeset
31 #define _TEXASR_EXTRACT_BITS(TEXASR,BITNUM,SIZE) \
anatofuz
parents:
diff changeset
32 (((TEXASR) >> (63-(BITNUM))) & ((1<<(SIZE))-1))
anatofuz
parents:
diff changeset
33 #define _TEXASRU_EXTRACT_BITS(TEXASR,BITNUM,SIZE) \
anatofuz
parents:
diff changeset
34 (((TEXASR) >> (31-(BITNUM))) & ((1<<(SIZE))-1))
anatofuz
parents:
diff changeset
35
anatofuz
parents:
diff changeset
36 #define _TEXASR_FAILURE_CODE(TEXASR) \
anatofuz
parents:
diff changeset
37 _TEXASR_EXTRACT_BITS(TEXASR, 7, 8)
anatofuz
parents:
diff changeset
38 #define _TEXASRU_FAILURE_CODE(TEXASRU) \
anatofuz
parents:
diff changeset
39 _TEXASRU_EXTRACT_BITS(TEXASRU, 7, 8)
anatofuz
parents:
diff changeset
40
anatofuz
parents:
diff changeset
41 #define _TEXASR_FAILURE_PERSISTENT(TEXASR) \
anatofuz
parents:
diff changeset
42 _TEXASR_EXTRACT_BITS(TEXASR, 7, 1)
anatofuz
parents:
diff changeset
43 #define _TEXASRU_FAILURE_PERSISTENT(TEXASRU) \
anatofuz
parents:
diff changeset
44 _TEXASRU_EXTRACT_BITS(TEXASRU, 7, 1)
anatofuz
parents:
diff changeset
45
anatofuz
parents:
diff changeset
46 #define _TEXASR_DISALLOWED(TEXASR) \
anatofuz
parents:
diff changeset
47 _TEXASR_EXTRACT_BITS(TEXASR, 8, 1)
anatofuz
parents:
diff changeset
48 #define _TEXASRU_DISALLOWED(TEXASRU) \
anatofuz
parents:
diff changeset
49 _TEXASRU_EXTRACT_BITS(TEXASRU, 8, 1)
anatofuz
parents:
diff changeset
50
anatofuz
parents:
diff changeset
51 #define _TEXASR_NESTING_OVERFLOW(TEXASR) \
anatofuz
parents:
diff changeset
52 _TEXASR_EXTRACT_BITS(TEXASR, 9, 1)
anatofuz
parents:
diff changeset
53 #define _TEXASRU_NESTING_OVERFLOW(TEXASRU) \
anatofuz
parents:
diff changeset
54 _TEXASRU_EXTRACT_BITS(TEXASRU, 9, 1)
anatofuz
parents:
diff changeset
55
anatofuz
parents:
diff changeset
56 #define _TEXASR_FOOTPRINT_OVERFLOW(TEXASR) \
anatofuz
parents:
diff changeset
57 _TEXASR_EXTRACT_BITS(TEXASR, 10, 1)
anatofuz
parents:
diff changeset
58 #define _TEXASRU_FOOTPRINT_OVERFLOW(TEXASRU) \
anatofuz
parents:
diff changeset
59 _TEXASRU_EXTRACT_BITS(TEXASRU, 10, 1)
anatofuz
parents:
diff changeset
60
anatofuz
parents:
diff changeset
61 #define _TEXASR_SELF_INDUCED_CONFLICT(TEXASR) \
anatofuz
parents:
diff changeset
62 _TEXASR_EXTRACT_BITS(TEXASR, 11, 1)
anatofuz
parents:
diff changeset
63 #define _TEXASRU_SELF_INDUCED_CONFLICT(TEXASRU) \
anatofuz
parents:
diff changeset
64 _TEXASRU_EXTRACT_BITS(TEXASRU, 11, 1)
anatofuz
parents:
diff changeset
65
anatofuz
parents:
diff changeset
66 #define _TEXASR_NON_TRANSACTIONAL_CONFLICT(TEXASR) \
anatofuz
parents:
diff changeset
67 _TEXASR_EXTRACT_BITS(TEXASR, 12, 1)
anatofuz
parents:
diff changeset
68 #define _TEXASRU_NON_TRANSACTIONAL_CONFLICT(TEXASRU) \
anatofuz
parents:
diff changeset
69 _TEXASRU_EXTRACT_BITS(TEXASRU, 12, 1)
anatofuz
parents:
diff changeset
70
anatofuz
parents:
diff changeset
71 #define _TEXASR_TRANSACTION_CONFLICT(TEXASR) \
anatofuz
parents:
diff changeset
72 _TEXASR_EXTRACT_BITS(TEXASR, 13, 1)
anatofuz
parents:
diff changeset
73 #define _TEXASRU_TRANSACTION_CONFLICT(TEXASRU) \
anatofuz
parents:
diff changeset
74 _TEXASRU_EXTRACT_BITS(TEXASRU, 13, 1)
anatofuz
parents:
diff changeset
75
anatofuz
parents:
diff changeset
76 #define _TEXASR_TRANSLATION_INVALIDATION_CONFLICT(TEXASR) \
anatofuz
parents:
diff changeset
77 _TEXASR_EXTRACT_BITS(TEXASR, 14, 1)
anatofuz
parents:
diff changeset
78 #define _TEXASRU_TRANSLATION_INVALIDATION_CONFLICT(TEXASRU) \
anatofuz
parents:
diff changeset
79 _TEXASRU_EXTRACT_BITS(TEXASRU, 14, 1)
anatofuz
parents:
diff changeset
80
anatofuz
parents:
diff changeset
81 #define _TEXASR_IMPLEMENTAION_SPECIFIC(TEXASR) \
anatofuz
parents:
diff changeset
82 _TEXASR_EXTRACT_BITS(TEXASR, 15, 1)
anatofuz
parents:
diff changeset
83 #define _TEXASRU_IMPLEMENTAION_SPECIFIC(TEXASRU) \
anatofuz
parents:
diff changeset
84 _TEXASRU_EXTRACT_BITS(TEXASRU, 15, 1)
anatofuz
parents:
diff changeset
85
anatofuz
parents:
diff changeset
86 #define _TEXASR_INSTRUCTION_FETCH_CONFLICT(TEXASR) \
anatofuz
parents:
diff changeset
87 _TEXASR_EXTRACT_BITS(TEXASR, 16, 1)
anatofuz
parents:
diff changeset
88 #define _TEXASRU_INSTRUCTION_FETCH_CONFLICT(TEXASRU) \
anatofuz
parents:
diff changeset
89 _TEXASRU_EXTRACT_BITS(TEXASRU, 16, 1)
anatofuz
parents:
diff changeset
90
anatofuz
parents:
diff changeset
91 #define _TEXASR_ABORT(TEXASR) \
anatofuz
parents:
diff changeset
92 _TEXASR_EXTRACT_BITS(TEXASR, 31, 1)
anatofuz
parents:
diff changeset
93 #define _TEXASRU_ABORT(TEXASRU) \
anatofuz
parents:
diff changeset
94 _TEXASRU_EXTRACT_BITS(TEXASRU, 31, 1)
anatofuz
parents:
diff changeset
95
anatofuz
parents:
diff changeset
96
anatofuz
parents:
diff changeset
97 #define _TEXASR_SUSPENDED(TEXASR) \
anatofuz
parents:
diff changeset
98 _TEXASR_EXTRACT_BITS(TEXASR, 32, 1)
anatofuz
parents:
diff changeset
99
anatofuz
parents:
diff changeset
100 #define _TEXASR_PRIVILEGE(TEXASR) \
anatofuz
parents:
diff changeset
101 _TEXASR_EXTRACT_BITS(TEXASR, 35, 2)
anatofuz
parents:
diff changeset
102
anatofuz
parents:
diff changeset
103 #define _TEXASR_FAILURE_SUMMARY(TEXASR) \
anatofuz
parents:
diff changeset
104 _TEXASR_EXTRACT_BITS(TEXASR, 36, 1)
anatofuz
parents:
diff changeset
105
anatofuz
parents:
diff changeset
106 #define _TEXASR_TFIAR_EXACT(TEXASR) \
anatofuz
parents:
diff changeset
107 _TEXASR_EXTRACT_BITS(TEXASR, 37, 1)
anatofuz
parents:
diff changeset
108
anatofuz
parents:
diff changeset
109 #define _TEXASR_ROT(TEXASR) \
anatofuz
parents:
diff changeset
110 _TEXASR_EXTRACT_BITS(TEXASR, 38, 1)
anatofuz
parents:
diff changeset
111
anatofuz
parents:
diff changeset
112 #define _TEXASR_TRANSACTION_LEVEL(TEXASR) \
anatofuz
parents:
diff changeset
113 _TEXASR_EXTRACT_BITS(TEXASR, 63, 12)
anatofuz
parents:
diff changeset
114
anatofuz
parents:
diff changeset
115 #endif /* __powerpc */
anatofuz
parents:
diff changeset
116
anatofuz
parents:
diff changeset
117 #ifdef __s390__
anatofuz
parents:
diff changeset
118
anatofuz
parents:
diff changeset
119 /* Condition codes generated by tbegin */
anatofuz
parents:
diff changeset
120 #define _HTM_TBEGIN_STARTED 0
anatofuz
parents:
diff changeset
121 #define _HTM_TBEGIN_INDETERMINATE 1
anatofuz
parents:
diff changeset
122 #define _HTM_TBEGIN_TRANSIENT 2
anatofuz
parents:
diff changeset
123 #define _HTM_TBEGIN_PERSISTENT 3
anatofuz
parents:
diff changeset
124
anatofuz
parents:
diff changeset
125 /* The abort codes below this threshold are reserved for machine use. */
anatofuz
parents:
diff changeset
126 #define _HTM_FIRST_USER_ABORT_CODE 256
anatofuz
parents:
diff changeset
127
anatofuz
parents:
diff changeset
128 /* The transaction diagnostic block is it is defined in the Principles
anatofuz
parents:
diff changeset
129 of Operation chapter 5-91. */
anatofuz
parents:
diff changeset
130
anatofuz
parents:
diff changeset
131 struct __htm_tdb {
anatofuz
parents:
diff changeset
132 unsigned char format; /* 0 */
anatofuz
parents:
diff changeset
133 unsigned char flags;
anatofuz
parents:
diff changeset
134 unsigned char reserved1[4];
anatofuz
parents:
diff changeset
135 unsigned short nesting_depth;
anatofuz
parents:
diff changeset
136 unsigned long long abort_code; /* 8 */
anatofuz
parents:
diff changeset
137 unsigned long long conflict_token; /* 16 */
anatofuz
parents:
diff changeset
138 unsigned long long atia; /* 24 */
anatofuz
parents:
diff changeset
139 unsigned char eaid; /* 32 */
anatofuz
parents:
diff changeset
140 unsigned char dxc;
anatofuz
parents:
diff changeset
141 unsigned char reserved2[2];
anatofuz
parents:
diff changeset
142 unsigned int program_int_id;
anatofuz
parents:
diff changeset
143 unsigned long long exception_id; /* 40 */
anatofuz
parents:
diff changeset
144 unsigned long long bea; /* 48 */
anatofuz
parents:
diff changeset
145 unsigned char reserved3[72]; /* 56 */
anatofuz
parents:
diff changeset
146 unsigned long long gprs[16]; /* 128 */
anatofuz
parents:
diff changeset
147 } __attribute__((__packed__, __aligned__ (8)));
anatofuz
parents:
diff changeset
148
anatofuz
parents:
diff changeset
149
anatofuz
parents:
diff changeset
150 /* Helper intrinsics to retry tbegin in case of transient failure. */
anatofuz
parents:
diff changeset
151
anatofuz
parents:
diff changeset
152 static __inline int __attribute__((__always_inline__, __nodebug__))
anatofuz
parents:
diff changeset
153 __builtin_tbegin_retry_null (int __retry)
anatofuz
parents:
diff changeset
154 {
anatofuz
parents:
diff changeset
155 int cc, i = 0;
anatofuz
parents:
diff changeset
156
anatofuz
parents:
diff changeset
157 while ((cc = __builtin_tbegin(0)) == _HTM_TBEGIN_TRANSIENT
anatofuz
parents:
diff changeset
158 && i++ < __retry)
anatofuz
parents:
diff changeset
159 __builtin_tx_assist(i);
anatofuz
parents:
diff changeset
160
anatofuz
parents:
diff changeset
161 return cc;
anatofuz
parents:
diff changeset
162 }
anatofuz
parents:
diff changeset
163
anatofuz
parents:
diff changeset
164 static __inline int __attribute__((__always_inline__, __nodebug__))
anatofuz
parents:
diff changeset
165 __builtin_tbegin_retry_tdb (void *__tdb, int __retry)
anatofuz
parents:
diff changeset
166 {
anatofuz
parents:
diff changeset
167 int cc, i = 0;
anatofuz
parents:
diff changeset
168
anatofuz
parents:
diff changeset
169 while ((cc = __builtin_tbegin(__tdb)) == _HTM_TBEGIN_TRANSIENT
anatofuz
parents:
diff changeset
170 && i++ < __retry)
anatofuz
parents:
diff changeset
171 __builtin_tx_assist(i);
anatofuz
parents:
diff changeset
172
anatofuz
parents:
diff changeset
173 return cc;
anatofuz
parents:
diff changeset
174 }
anatofuz
parents:
diff changeset
175
anatofuz
parents:
diff changeset
176 #define __builtin_tbegin_retry(tdb, retry) \
anatofuz
parents:
diff changeset
177 (__builtin_constant_p(tdb == 0) && tdb == 0 ? \
anatofuz
parents:
diff changeset
178 __builtin_tbegin_retry_null(retry) : \
anatofuz
parents:
diff changeset
179 __builtin_tbegin_retry_tdb(tdb, retry))
anatofuz
parents:
diff changeset
180
anatofuz
parents:
diff changeset
181 static __inline int __attribute__((__always_inline__, __nodebug__))
anatofuz
parents:
diff changeset
182 __builtin_tbegin_retry_nofloat_null (int __retry)
anatofuz
parents:
diff changeset
183 {
anatofuz
parents:
diff changeset
184 int cc, i = 0;
anatofuz
parents:
diff changeset
185
anatofuz
parents:
diff changeset
186 while ((cc = __builtin_tbegin_nofloat(0)) == _HTM_TBEGIN_TRANSIENT
anatofuz
parents:
diff changeset
187 && i++ < __retry)
anatofuz
parents:
diff changeset
188 __builtin_tx_assist(i);
anatofuz
parents:
diff changeset
189
anatofuz
parents:
diff changeset
190 return cc;
anatofuz
parents:
diff changeset
191 }
anatofuz
parents:
diff changeset
192
anatofuz
parents:
diff changeset
193 static __inline int __attribute__((__always_inline__, __nodebug__))
anatofuz
parents:
diff changeset
194 __builtin_tbegin_retry_nofloat_tdb (void *__tdb, int __retry)
anatofuz
parents:
diff changeset
195 {
anatofuz
parents:
diff changeset
196 int cc, i = 0;
anatofuz
parents:
diff changeset
197
anatofuz
parents:
diff changeset
198 while ((cc = __builtin_tbegin_nofloat(__tdb)) == _HTM_TBEGIN_TRANSIENT
anatofuz
parents:
diff changeset
199 && i++ < __retry)
anatofuz
parents:
diff changeset
200 __builtin_tx_assist(i);
anatofuz
parents:
diff changeset
201
anatofuz
parents:
diff changeset
202 return cc;
anatofuz
parents:
diff changeset
203 }
anatofuz
parents:
diff changeset
204
anatofuz
parents:
diff changeset
205 #define __builtin_tbegin_retry_nofloat(tdb, retry) \
anatofuz
parents:
diff changeset
206 (__builtin_constant_p(tdb == 0) && tdb == 0 ? \
anatofuz
parents:
diff changeset
207 __builtin_tbegin_retry_nofloat_null(retry) : \
anatofuz
parents:
diff changeset
208 __builtin_tbegin_retry_nofloat_tdb(tdb, retry))
anatofuz
parents:
diff changeset
209
anatofuz
parents:
diff changeset
210 #endif /* __s390__ */
anatofuz
parents:
diff changeset
211
anatofuz
parents:
diff changeset
212 #endif /* __HTMINTRIN_H */