1 | //===--- OperationKinds.def - Operations Database ---------------*- C++ -*-===// |
2 | // |
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
4 | // See https://llvm.org/LICENSE.txt for license information. |
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
6 | // |
7 | //===----------------------------------------------------------------------===// |
8 | // |
9 | // This file enumerates the different kinds of operations that can be |
10 | // performed by various expressions. |
11 | // |
12 | //===----------------------------------------------------------------------===// |
13 | // |
14 | /// @file OperationKinds.def |
15 | /// |
16 | /// In this file, each of the C/C++ operations is enumerated CAST_OPERATION, |
17 | /// BINARY_OPERATION or UNARY_OPERATION macro, each of which can be specified by |
18 | /// the code including this file. |
19 | /// |
20 | /// Macros had one or two arguments: |
21 | /// |
22 | /// Name: The name of the operation. Name (prefixed with CK_, UO_ or BO_) will |
23 | /// be the name of the corresponding enumerator (see OperationsKinds.h). |
24 | /// |
25 | /// Spelling: A string that provides a canonical spelling for the operation. |
26 | |
27 | #ifndef CAST_OPERATION |
28 | # define CAST_OPERATION(Name) |
29 | #endif |
30 | |
31 | #ifndef BINARY_OPERATION |
32 | # define BINARY_OPERATION(Name, Spelling) |
33 | #endif |
34 | |
35 | #ifndef UNARY_OPERATION |
36 | # define UNARY_OPERATION(Name, Spelling) |
37 | #endif |
38 | |
39 | //===- Cast Operations ---------------------------------------------------===// |
40 | |
41 | /// CK_Dependent - A conversion which cannot yet be analyzed because |
42 | /// either the expression or target type is dependent. These are |
43 | /// created only for explicit casts; dependent ASTs aren't required |
44 | /// to even approximately type-check. |
45 | /// (T*) malloc(sizeof(T)) |
46 | /// reinterpret_cast<intptr_t>(A<T>::alloc()); |
47 | CAST_OPERATION(Dependent) |
48 | |
49 | /// CK_BitCast - A conversion which causes a bit pattern of one type |
50 | /// to be reinterpreted as a bit pattern of another type. Generally |
51 | /// the operands must have equivalent size and unrelated types. |
52 | /// |
53 | /// The pointer conversion char* -> int* is a bitcast. A conversion |
54 | /// from any pointer type to a C pointer type is a bitcast unless |
55 | /// it's actually BaseToDerived or DerivedToBase. A conversion to a |
56 | /// block pointer or ObjC pointer type is a bitcast only if the |
57 | /// operand has the same type kind; otherwise, it's one of the |
58 | /// specialized casts below. |
59 | /// |
60 | /// Vector coercions are bitcasts. |
61 | CAST_OPERATION(BitCast) |
62 | |
63 | /// CK_LValueBitCast - A conversion which reinterprets the address of |
64 | /// an l-value as an l-value of a different kind. Used for |
65 | /// reinterpret_casts of l-value expressions to reference types. |
66 | /// bool b; reinterpret_cast<char&>(b) = 'a'; |
67 | CAST_OPERATION(LValueBitCast) |
68 | |
69 | /// CK_LValueToRValue - A conversion which causes the extraction of |
70 | /// an r-value from the operand gl-value. The result of an r-value |
71 | /// conversion is always unqualified. |
72 | CAST_OPERATION(LValueToRValue) |
73 | |
74 | /// CK_NoOp - A conversion which does not affect the type other than |
75 | /// (possibly) adding qualifiers. |
76 | /// int -> int |
77 | /// char** -> const char * const * |
78 | CAST_OPERATION(NoOp) |
79 | |
80 | /// CK_BaseToDerived - A conversion from a C++ class pointer/reference |
81 | /// to a derived class pointer/reference. |
82 | /// B *b = static_cast<B*>(a); |
83 | CAST_OPERATION(BaseToDerived) |
84 | |
85 | /// CK_DerivedToBase - A conversion from a C++ class pointer |
86 | /// to a base class pointer. |
87 | /// A *a = new B(); |
88 | CAST_OPERATION(DerivedToBase) |
89 | |
90 | /// CK_UncheckedDerivedToBase - A conversion from a C++ class |
91 | /// pointer/reference to a base class that can assume that the |
92 | /// derived pointer is not null. |
93 | /// const A &a = B(); |
94 | /// b->method_from_a(); |
95 | CAST_OPERATION(UncheckedDerivedToBase) |
96 | |
97 | /// CK_Dynamic - A C++ dynamic_cast. |
98 | CAST_OPERATION(Dynamic) |
99 | |
100 | /// CK_ToUnion - The GCC cast-to-union extension. |
101 | /// int -> union { int x; float y; } |
102 | /// float -> union { int x; float y; } |
103 | CAST_OPERATION(ToUnion) |
104 | |
105 | /// CK_ArrayToPointerDecay - Array to pointer decay. |
106 | /// int[10] -> int* |
107 | /// char[5][6] -> char(*)[6] |
108 | CAST_OPERATION(ArrayToPointerDecay) |
109 | |
110 | /// CK_FunctionToPointerDecay - Function to pointer decay. |
111 | /// void(int) -> void(*)(int) |
112 | CAST_OPERATION(FunctionToPointerDecay) |
113 | |
114 | /// CK_NullToPointer - Null pointer constant to pointer, ObjC |
115 | /// pointer, or block pointer. |
116 | /// (void*) 0 |
117 | /// void (^block)() = 0; |
118 | CAST_OPERATION(NullToPointer) |
119 | |
120 | /// CK_NullToMemberPointer - Null pointer constant to member pointer. |
121 | /// int A::*mptr = 0; |
122 | /// int (A::*fptr)(int) = nullptr; |
123 | CAST_OPERATION(NullToMemberPointer) |
124 | |
125 | /// CK_BaseToDerivedMemberPointer - Member pointer in base class to |
126 | /// member pointer in derived class. |
127 | /// int B::*mptr = &A::member; |
128 | CAST_OPERATION(BaseToDerivedMemberPointer) |
129 | |
130 | /// CK_DerivedToBaseMemberPointer - Member pointer in derived class to |
131 | /// member pointer in base class. |
132 | /// int A::*mptr = static_cast<int A::*>(&B::member); |
133 | CAST_OPERATION(DerivedToBaseMemberPointer) |
134 | |
135 | /// CK_MemberPointerToBoolean - Member pointer to boolean. A check |
136 | /// against the null member pointer. |
137 | CAST_OPERATION(MemberPointerToBoolean) |
138 | |
139 | /// CK_ReinterpretMemberPointer - Reinterpret a member pointer as a |
140 | /// different kind of member pointer. C++ forbids this from |
141 | /// crossing between function and object types, but otherwise does |
142 | /// not restrict it. However, the only operation that is permitted |
143 | /// on a "punned" member pointer is casting it back to the original |
144 | /// type, which is required to be a lossless operation (although |
145 | /// many ABIs do not guarantee this on all possible intermediate types). |
146 | CAST_OPERATION(ReinterpretMemberPointer) |
147 | |
148 | /// CK_UserDefinedConversion - Conversion using a user defined type |
149 | /// conversion function. |
150 | /// struct A { operator int(); }; int i = int(A()); |
151 | CAST_OPERATION(UserDefinedConversion) |
152 | |
153 | /// CK_ConstructorConversion - Conversion by constructor. |
154 | /// struct A { A(int); }; A a = A(10); |
155 | CAST_OPERATION(ConstructorConversion) |
156 | |
157 | /// CK_IntegralToPointer - Integral to pointer. A special kind of |
158 | /// reinterpreting conversion. Applies to normal, ObjC, and block |
159 | /// pointers. |
160 | /// (char*) 0x1001aab0 |
161 | /// reinterpret_cast<int*>(0) |
162 | CAST_OPERATION(IntegralToPointer) |
163 | |
164 | /// CK_PointerToIntegral - Pointer to integral. A special kind of |
165 | /// reinterpreting conversion. Applies to normal, ObjC, and block |
166 | /// pointers. |
167 | /// (intptr_t) "help!" |
168 | CAST_OPERATION(PointerToIntegral) |
169 | |
170 | /// CK_PointerToBoolean - Pointer to boolean conversion. A check |
171 | /// against null. Applies to normal, ObjC, and block pointers. |
172 | CAST_OPERATION(PointerToBoolean) |
173 | |
174 | /// CK_ToVoid - Cast to void, discarding the computed value. |
175 | /// (void) malloc(2048) |
176 | CAST_OPERATION(ToVoid) |
177 | |
178 | /// CK_VectorSplat - A conversion from an arithmetic type to a |
179 | /// vector of that element type. Fills all elements ("splats") with |
180 | /// the source value. |
181 | /// __attribute__((ext_vector_type(4))) int v = 5; |
182 | CAST_OPERATION(VectorSplat) |
183 | |
184 | /// CK_IntegralCast - A cast between integral types (other than to |
185 | /// boolean). Variously a bitcast, a truncation, a sign-extension, |
186 | /// or a zero-extension. |
187 | /// long l = 5; |
188 | /// (unsigned) i |
189 | CAST_OPERATION(IntegralCast) |
190 | |
191 | /// CK_IntegralToBoolean - Integral to boolean. A check against zero. |
192 | /// (bool) i |
193 | CAST_OPERATION(IntegralToBoolean) |
194 | |
195 | /// CK_IntegralToFloating - Integral to floating point. |
196 | /// float f = i; |
197 | CAST_OPERATION(IntegralToFloating) |
198 | |
199 | /// CK_FixedPointCast - Fixed point to fixed point. |
200 | /// (_Accum) 0.5r |
201 | CAST_OPERATION(FixedPointCast) |
202 | |
203 | /// CK_FixedPointToIntegral - Fixed point to integral. |
204 | /// (int) 2.0k |
205 | CAST_OPERATION(FixedPointToIntegral) |
206 | |
207 | /// CK_IntegralToFixedPoint - Integral to a fixed point. |
208 | /// (_Accum) 2 |
209 | CAST_OPERATION(IntegralToFixedPoint) |
210 | |
211 | /// CK_FixedPointToBoolean - Fixed point to boolean. |
212 | /// (bool) 0.5r |
213 | CAST_OPERATION(FixedPointToBoolean) |
214 | |
215 | /// CK_FloatingToIntegral - Floating point to integral. Rounds |
216 | /// towards zero, discarding any fractional component. |
217 | /// (int) f |
218 | CAST_OPERATION(FloatingToIntegral) |
219 | |
220 | /// CK_FloatingToBoolean - Floating point to boolean. |
221 | /// (bool) f |
222 | CAST_OPERATION(FloatingToBoolean) |
223 | |
224 | // CK_BooleanToSignedIntegral - Convert a boolean to -1 or 0 for true and |
225 | // false, respectively. |
226 | CAST_OPERATION(BooleanToSignedIntegral) |
227 | |
228 | /// CK_FloatingCast - Casting between floating types of different size. |
229 | /// (double) f |
230 | /// (float) ld |
231 | CAST_OPERATION(FloatingCast) |
232 | |
233 | /// CK_CPointerToObjCPointerCast - Casting a C pointer kind to an |
234 | /// Objective-C pointer. |
235 | CAST_OPERATION(CPointerToObjCPointerCast) |
236 | |
237 | /// CK_BlockPointerToObjCPointerCast - Casting a block pointer to an |
238 | /// ObjC pointer. |
239 | CAST_OPERATION(BlockPointerToObjCPointerCast) |
240 | |
241 | /// CK_AnyPointerToBlockPointerCast - Casting any non-block pointer |
242 | /// to a block pointer. Block-to-block casts are bitcasts. |
243 | CAST_OPERATION(AnyPointerToBlockPointerCast) |
244 | |
245 | /// Converting between two Objective-C object types, which |
246 | /// can occur when performing reference binding to an Objective-C |
247 | /// object. |
248 | CAST_OPERATION(ObjCObjectLValueCast) |
249 | |
250 | /// A conversion of a floating point real to a floating point |
251 | /// complex of the original type. Injects the value as the real |
252 | /// component with a zero imaginary component. |
253 | /// float -> _Complex float |
254 | CAST_OPERATION(FloatingRealToComplex) |
255 | |
256 | /// Converts a floating point complex to floating point real |
257 | /// of the source's element type. Just discards the imaginary |
258 | /// component. |
259 | /// _Complex long double -> long double |
260 | CAST_OPERATION(FloatingComplexToReal) |
261 | |
262 | /// Converts a floating point complex to bool by comparing |
263 | /// against 0+0i. |
264 | CAST_OPERATION(FloatingComplexToBoolean) |
265 | |
266 | /// Converts between different floating point complex types. |
267 | /// _Complex float -> _Complex double |
268 | CAST_OPERATION(FloatingComplexCast) |
269 | |
270 | /// Converts from a floating complex to an integral complex. |
271 | /// _Complex float -> _Complex int |
272 | CAST_OPERATION(FloatingComplexToIntegralComplex) |
273 | |
274 | /// Converts from an integral real to an integral complex |
275 | /// whose element type matches the source. Injects the value as |
276 | /// the real component with a zero imaginary component. |
277 | /// long -> _Complex long |
278 | CAST_OPERATION(IntegralRealToComplex) |
279 | |
280 | /// Converts an integral complex to an integral real of the |
281 | /// source's element type by discarding the imaginary component. |
282 | /// _Complex short -> short |
283 | CAST_OPERATION(IntegralComplexToReal) |
284 | |
285 | /// Converts an integral complex to bool by comparing against |
286 | /// 0+0i. |
287 | CAST_OPERATION(IntegralComplexToBoolean) |
288 | |
289 | /// Converts between different integral complex types. |
290 | /// _Complex char -> _Complex long long |
291 | /// _Complex unsigned int -> _Complex signed int |
292 | CAST_OPERATION(IntegralComplexCast) |
293 | |
294 | /// Converts from an integral complex to a floating complex. |
295 | /// _Complex unsigned -> _Complex float |
296 | CAST_OPERATION(IntegralComplexToFloatingComplex) |
297 | |
298 | /// [ARC] Produces a retainable object pointer so that it may |
299 | /// be consumed, e.g. by being passed to a consuming parameter. |
300 | /// Calls objc_retain. |
301 | CAST_OPERATION(ARCProduceObject) |
302 | |
303 | /// [ARC] Consumes a retainable object pointer that has just |
304 | /// been produced, e.g. as the return value of a retaining call. |
305 | /// Enters a cleanup to call objc_release at some indefinite time. |
306 | CAST_OPERATION(ARCConsumeObject) |
307 | |
308 | /// [ARC] Reclaim a retainable object pointer object that may |
309 | /// have been produced and autoreleased as part of a function return |
310 | /// sequence. |
311 | CAST_OPERATION(ARCReclaimReturnedObject) |
312 | |
313 | /// [ARC] Causes a value of block type to be copied to the |
314 | /// heap, if it is not already there. A number of other operations |
315 | /// in ARC cause blocks to be copied; this is for cases where that |
316 | /// would not otherwise be guaranteed, such as when casting to a |
317 | /// non-block pointer type. |
318 | CAST_OPERATION(ARCExtendBlockObject) |
319 | |
320 | /// Converts from _Atomic(T) to T. |
321 | CAST_OPERATION(AtomicToNonAtomic) |
322 | /// Converts from T to _Atomic(T). |
323 | CAST_OPERATION(NonAtomicToAtomic) |
324 | |
325 | /// Causes a block literal to by copied to the heap and then |
326 | /// autoreleased. |
327 | /// |
328 | /// This particular cast kind is used for the conversion from a C++11 |
329 | /// lambda expression to a block pointer. |
330 | CAST_OPERATION(CopyAndAutoreleaseBlockObject) |
331 | |
332 | // Convert a builtin function to a function pointer; only allowed in the |
333 | // callee of a call expression. |
334 | CAST_OPERATION(BuiltinFnToFnPtr) |
335 | |
336 | // Convert a zero value for OpenCL opaque types initialization (event_t, |
337 | // queue_t, etc.) |
338 | CAST_OPERATION(ZeroToOCLOpaqueType) |
339 | |
340 | // Convert a pointer to a different address space. |
341 | CAST_OPERATION(AddressSpaceConversion) |
342 | |
343 | // Convert an integer initializer to an OpenCL sampler. |
344 | CAST_OPERATION(IntToOCLSampler) |
345 | |
346 | //===- Binary Operations -------------------------------------------------===// |
347 | // Operators listed in order of precedence. |
348 | // Note that additions to this should also update the StmtVisitor class and |
349 | // BinaryOperator::getOverloadedOperator. |
350 | |
351 | // [C++ 5.5] Pointer-to-member operators. |
352 | BINARY_OPERATION(PtrMemD, ".*") |
353 | BINARY_OPERATION(PtrMemI, "->*") |
354 | // [C99 6.5.5] Multiplicative operators. |
355 | BINARY_OPERATION(Mul, "*") |
356 | BINARY_OPERATION(Div, "/") |
357 | BINARY_OPERATION(Rem, "%") |
358 | // [C99 6.5.6] Additive operators. |
359 | BINARY_OPERATION(Add, "+") |
360 | BINARY_OPERATION(Sub, "-") |
361 | // [C99 6.5.7] Bitwise shift operators. |
362 | BINARY_OPERATION(Shl, "<<") |
363 | BINARY_OPERATION(Shr, ">>") |
364 | // C++20 [expr.spaceship] Three-way comparison operator. |
365 | BINARY_OPERATION(Cmp, "<=>") |
366 | // [C99 6.5.8] Relational operators. |
367 | BINARY_OPERATION(LT, "<") |
368 | BINARY_OPERATION(GT, ">") |
369 | BINARY_OPERATION(LE, "<=") |
370 | BINARY_OPERATION(GE, ">=") |
371 | // [C99 6.5.9] Equality operators. |
372 | BINARY_OPERATION(EQ, "==") |
373 | BINARY_OPERATION(NE, "!=") |
374 | // [C99 6.5.10] Bitwise AND operator. |
375 | BINARY_OPERATION(And, "&") |
376 | // [C99 6.5.11] Bitwise XOR operator. |
377 | BINARY_OPERATION(Xor, "^") |
378 | // [C99 6.5.12] Bitwise OR operator. |
379 | BINARY_OPERATION(Or, "|") |
380 | // [C99 6.5.13] Logical AND operator. |
381 | BINARY_OPERATION(LAnd, "&&") |
382 | // [C99 6.5.14] Logical OR operator. |
383 | BINARY_OPERATION(LOr, "||") |
384 | // [C99 6.5.16] Assignment operators. |
385 | BINARY_OPERATION(Assign, "=") |
386 | BINARY_OPERATION(MulAssign, "*=") |
387 | BINARY_OPERATION(DivAssign, "/=") |
388 | BINARY_OPERATION(RemAssign, "%=") |
389 | BINARY_OPERATION(AddAssign, "+=") |
390 | BINARY_OPERATION(SubAssign, "-=") |
391 | BINARY_OPERATION(ShlAssign, "<<=") |
392 | BINARY_OPERATION(ShrAssign, ">>=") |
393 | BINARY_OPERATION(AndAssign, "&=") |
394 | BINARY_OPERATION(XorAssign, "^=") |
395 | BINARY_OPERATION(OrAssign, "|=") |
396 | // [C99 6.5.17] Comma operator. |
397 | BINARY_OPERATION(Comma, ",") |
398 | |
399 | |
400 | //===- Unary Operations ---------------------------------------------------===// |
401 | // Note that additions to this should also update the StmtVisitor class and |
402 | // UnaryOperator::getOverloadedOperator. |
403 | |
404 | // [C99 6.5.2.4] Postfix increment and decrement |
405 | UNARY_OPERATION(PostInc, "++") |
406 | UNARY_OPERATION(PostDec, "--") |
407 | // [C99 6.5.3.1] Prefix increment and decrement |
408 | UNARY_OPERATION(PreInc, "++") |
409 | UNARY_OPERATION(PreDec, "--") |
410 | // [C99 6.5.3.2] Address and indirection |
411 | UNARY_OPERATION(AddrOf, "&") |
412 | UNARY_OPERATION(Deref, "*") |
413 | // [C99 6.5.3.3] Unary arithmetic |
414 | UNARY_OPERATION(Plus, "+") |
415 | UNARY_OPERATION(Minus, "-") |
416 | UNARY_OPERATION(Not, "~") |
417 | UNARY_OPERATION(LNot, "!") |
418 | // "__real expr"/"__imag expr" Extension. |
419 | UNARY_OPERATION(Real, "__real") |
420 | UNARY_OPERATION(Imag, "__imag") |
421 | // __extension__ marker. |
422 | UNARY_OPERATION(Extension, "__extension__") |
423 | // [C++ Coroutines] co_await operator |
424 | UNARY_OPERATION(Coawait, "co_await") |
425 | |
426 | #undef CAST_OPERATION |
427 | #undef BINARY_OPERATION |
428 | #undef UNARY_OPERATION |
429 | |