xref: /freebsd/contrib/llvm-project/llvm/include/llvm/Bitcode/LLVMBitCodes.h (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
1 //===- LLVMBitCodes.h - Enum values for the LLVM bitcode format -*- 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 header defines Bitcode enum values for LLVM IR bitcode files.
10 //
11 // The enum values defined in this file should be considered permanent.  If
12 // new features are added, they should have values added at the end of the
13 // respective lists.
14 //
15 //===----------------------------------------------------------------------===//
16 
17 #ifndef LLVM_BITCODE_LLVMBITCODES_H
18 #define LLVM_BITCODE_LLVMBITCODES_H
19 
20 // This is the only file included, and it, in turn, is a leaf header.
21 // This allows external tools to dump the AST of this file and analyze it for
22 // changes without needing to fully or partially build LLVM itself.
23 #include "llvm/Bitstream/BitCodeEnums.h"
24 
25 namespace llvm {
26 namespace bitc {
27 // The only top-level block types are MODULE, IDENTIFICATION, STRTAB and SYMTAB.
28 enum BlockIDs {
29   // Blocks
30   MODULE_BLOCK_ID = FIRST_APPLICATION_BLOCKID,
31 
32   // Module sub-block id's.
33   PARAMATTR_BLOCK_ID,
34   PARAMATTR_GROUP_BLOCK_ID,
35 
36   CONSTANTS_BLOCK_ID,
37   FUNCTION_BLOCK_ID,
38 
39   // Block intended to contains information on the bitcode versioning.
40   // Can be used to provide better error messages when we fail to parse a
41   // bitcode file.
42   IDENTIFICATION_BLOCK_ID,
43 
44   VALUE_SYMTAB_BLOCK_ID,
45   METADATA_BLOCK_ID,
46   METADATA_ATTACHMENT_ID,
47 
48   TYPE_BLOCK_ID_NEW,
49 
50   USELIST_BLOCK_ID,
51 
52   MODULE_STRTAB_BLOCK_ID,
53   GLOBALVAL_SUMMARY_BLOCK_ID,
54 
55   OPERAND_BUNDLE_TAGS_BLOCK_ID,
56 
57   METADATA_KIND_BLOCK_ID,
58 
59   STRTAB_BLOCK_ID,
60 
61   FULL_LTO_GLOBALVAL_SUMMARY_BLOCK_ID,
62 
63   SYMTAB_BLOCK_ID,
64 
65   SYNC_SCOPE_NAMES_BLOCK_ID,
66 };
67 
68 /// Identification block contains a string that describes the producer details,
69 /// and an epoch that defines the auto-upgrade capability.
70 enum IdentificationCodes {
71   IDENTIFICATION_CODE_STRING = 1, // IDENTIFICATION:      [strchr x N]
72   IDENTIFICATION_CODE_EPOCH = 2,  // EPOCH:               [epoch#]
73 };
74 
75 /// The epoch that defines the auto-upgrade compatibility for the bitcode.
76 ///
77 /// LLVM guarantees in a major release that a minor release can read bitcode
78 /// generated by previous minor releases. We translate this by making the reader
79 /// accepting only bitcode with the same epoch, except for the X.0 release which
80 /// also accepts N-1.
81 enum { BITCODE_CURRENT_EPOCH = 0 };
82 
83 /// MODULE blocks have a number of optional fields and subblocks.
84 enum ModuleCodes {
85   MODULE_CODE_VERSION = 1,     // VERSION:     [version#]
86   MODULE_CODE_TRIPLE = 2,      // TRIPLE:      [strchr x N]
87   MODULE_CODE_DATALAYOUT = 3,  // DATALAYOUT:  [strchr x N]
88   MODULE_CODE_ASM = 4,         // ASM:         [strchr x N]
89   MODULE_CODE_SECTIONNAME = 5, // SECTIONNAME: [strchr x N]
90 
91   // Deprecated, but still needed to read old bitcode files.
92   MODULE_CODE_DEPLIB = 6, // DEPLIB:      [strchr x N]
93 
94   // GLOBALVAR: [pointer type, isconst, initid,
95   //             linkage, alignment, section, visibility, threadlocal]
96   MODULE_CODE_GLOBALVAR = 7,
97 
98   // FUNCTION:  [type, callingconv, isproto, linkage, paramattrs, alignment,
99   //             section, visibility, gc, unnamed_addr]
100   MODULE_CODE_FUNCTION = 8,
101 
102   // ALIAS: [alias type, aliasee val#, linkage, visibility]
103   MODULE_CODE_ALIAS_OLD = 9,
104 
105   MODULE_CODE_GCNAME = 11, // GCNAME: [strchr x N]
106   MODULE_CODE_COMDAT = 12, // COMDAT: [selection_kind, name]
107 
108   MODULE_CODE_VSTOFFSET = 13, // VSTOFFSET: [offset]
109 
110   // ALIAS: [alias value type, addrspace, aliasee val#, linkage, visibility]
111   MODULE_CODE_ALIAS = 14,
112 
113   MODULE_CODE_METADATA_VALUES_UNUSED = 15,
114 
115   // SOURCE_FILENAME: [namechar x N]
116   MODULE_CODE_SOURCE_FILENAME = 16,
117 
118   // HASH: [5*i32]
119   MODULE_CODE_HASH = 17,
120 
121   // IFUNC: [ifunc value type, addrspace, resolver val#, linkage, visibility]
122   MODULE_CODE_IFUNC = 18,
123 };
124 
125 /// PARAMATTR blocks have code for defining a parameter attribute set.
126 enum AttributeCodes {
127   // Deprecated, but still needed to read old bitcode files.
128   PARAMATTR_CODE_ENTRY_OLD = 1, // ENTRY: [paramidx0, attr0,
129                                 //         paramidx1, attr1...]
130   PARAMATTR_CODE_ENTRY = 2,     // ENTRY: [attrgrp0, attrgrp1, ...]
131   PARAMATTR_GRP_CODE_ENTRY = 3  // ENTRY: [grpid, idx, attr0, attr1, ...]
132 };
133 
134 /// TYPE blocks have codes for each type primitive they use.
135 enum TypeCodes {
136   TYPE_CODE_NUMENTRY = 1, // NUMENTRY: [numentries]
137 
138   // Type Codes
139   TYPE_CODE_VOID = 2,    // VOID
140   TYPE_CODE_FLOAT = 3,   // FLOAT
141   TYPE_CODE_DOUBLE = 4,  // DOUBLE
142   TYPE_CODE_LABEL = 5,   // LABEL
143   TYPE_CODE_OPAQUE = 6,  // OPAQUE
144   TYPE_CODE_INTEGER = 7, // INTEGER: [width]
145   TYPE_CODE_POINTER = 8, // POINTER: [pointee type]
146 
147   TYPE_CODE_FUNCTION_OLD = 9, // FUNCTION: [vararg, attrid, retty,
148                               //            paramty x N]
149 
150   TYPE_CODE_HALF = 10, // HALF
151 
152   TYPE_CODE_ARRAY = 11,  // ARRAY: [numelts, eltty]
153   TYPE_CODE_VECTOR = 12, // VECTOR: [numelts, eltty]
154 
155   // These are not with the other floating point types because they're
156   // a late addition, and putting them in the right place breaks
157   // binary compatibility.
158   TYPE_CODE_X86_FP80 = 13,  // X86 LONG DOUBLE
159   TYPE_CODE_FP128 = 14,     // LONG DOUBLE (112 bit mantissa)
160   TYPE_CODE_PPC_FP128 = 15, // PPC LONG DOUBLE (2 doubles)
161 
162   TYPE_CODE_METADATA = 16, // METADATA
163 
164   TYPE_CODE_X86_MMX = 17, // X86 MMX
165 
166   TYPE_CODE_STRUCT_ANON = 18,  // STRUCT_ANON: [ispacked, eltty x N]
167   TYPE_CODE_STRUCT_NAME = 19,  // STRUCT_NAME: [strchr x N]
168   TYPE_CODE_STRUCT_NAMED = 20, // STRUCT_NAMED: [ispacked, eltty x N]
169 
170   TYPE_CODE_FUNCTION = 21, // FUNCTION: [vararg, retty, paramty x N]
171 
172   TYPE_CODE_TOKEN = 22, // TOKEN
173 
174   TYPE_CODE_BFLOAT = 23,  // BRAIN FLOATING POINT
175   TYPE_CODE_X86_AMX = 24, // X86 AMX
176 
177   TYPE_CODE_OPAQUE_POINTER = 25, // OPAQUE_POINTER: [addrspace]
178 
179   TYPE_CODE_TARGET_TYPE = 26, // TARGET_TYPE
180 };
181 
182 enum OperandBundleTagCode {
183   OPERAND_BUNDLE_TAG = 1, // TAG: [strchr x N]
184 };
185 
186 enum SyncScopeNameCode {
187   SYNC_SCOPE_NAME = 1,
188 };
189 
190 // Value symbol table codes.
191 enum ValueSymtabCodes {
192   VST_CODE_ENTRY = 1,   // VST_ENTRY: [valueid, namechar x N]
193   VST_CODE_BBENTRY = 2, // VST_BBENTRY: [bbid, namechar x N]
194   VST_CODE_FNENTRY = 3, // VST_FNENTRY: [valueid, offset, namechar x N]
195   // VST_COMBINED_ENTRY: [valueid, refguid]
196   VST_CODE_COMBINED_ENTRY = 5
197 };
198 
199 // The module path symbol table only has one code (MST_CODE_ENTRY).
200 enum ModulePathSymtabCodes {
201   MST_CODE_ENTRY = 1, // MST_ENTRY: [modid, namechar x N]
202   MST_CODE_HASH = 2,  // MST_HASH:  [5*i32]
203 };
204 
205 // The summary section uses different codes in the per-module
206 // and combined index cases.
207 enum GlobalValueSummarySymtabCodes {
208   // PERMODULE: [valueid, flags, instcount, numrefs, numrefs x valueid,
209   //             n x (valueid)]
210   FS_PERMODULE = 1,
211   // PERMODULE_PROFILE: [valueid, flags, instcount, numrefs,
212   //                     numrefs x valueid,
213   //                     n x (valueid, hotness+tailcall)]
214   FS_PERMODULE_PROFILE = 2,
215   // PERMODULE_GLOBALVAR_INIT_REFS: [valueid, flags, n x valueid]
216   FS_PERMODULE_GLOBALVAR_INIT_REFS = 3,
217   // COMBINED: [valueid, modid, flags, instcount, numrefs, numrefs x valueid,
218   //            n x (valueid)]
219   FS_COMBINED = 4,
220   // COMBINED_PROFILE: [valueid, modid, flags, instcount, numrefs,
221   //                    numrefs x valueid,
222   //                    n x (valueid, hotness+tailcall)]
223   FS_COMBINED_PROFILE = 5,
224   // COMBINED_GLOBALVAR_INIT_REFS: [valueid, modid, flags, n x valueid]
225   FS_COMBINED_GLOBALVAR_INIT_REFS = 6,
226   // ALIAS: [valueid, flags, valueid]
227   FS_ALIAS = 7,
228   // COMBINED_ALIAS: [valueid, modid, flags, valueid]
229   FS_COMBINED_ALIAS = 8,
230   // COMBINED_ORIGINAL_NAME: [original_name_hash]
231   FS_COMBINED_ORIGINAL_NAME = 9,
232   // VERSION of the summary, bumped when adding flags for instance.
233   FS_VERSION = 10,
234   // The list of llvm.type.test type identifiers used by the following function
235   // that are used other than by an llvm.assume.
236   // [n x typeid]
237   FS_TYPE_TESTS = 11,
238   // The list of virtual calls made by this function using
239   // llvm.assume(llvm.type.test) intrinsics that do not have all constant
240   // integer arguments.
241   // [n x (typeid, offset)]
242   FS_TYPE_TEST_ASSUME_VCALLS = 12,
243   // The list of virtual calls made by this function using
244   // llvm.type.checked.load intrinsics that do not have all constant integer
245   // arguments.
246   // [n x (typeid, offset)]
247   FS_TYPE_CHECKED_LOAD_VCALLS = 13,
248   // Identifies a virtual call made by this function using an
249   // llvm.assume(llvm.type.test) intrinsic with all constant integer arguments.
250   // [typeid, offset, n x arg]
251   FS_TYPE_TEST_ASSUME_CONST_VCALL = 14,
252   // Identifies a virtual call made by this function using an
253   // llvm.type.checked.load intrinsic with all constant integer arguments.
254   // [typeid, offset, n x arg]
255   FS_TYPE_CHECKED_LOAD_CONST_VCALL = 15,
256   // Assigns a GUID to a value ID. This normally appears only in combined
257   // summaries, but it can also appear in per-module summaries for PGO data.
258   // [valueid, guid]
259   FS_VALUE_GUID = 16,
260   // The list of local functions with CFI jump tables. Function names are
261   // strings in strtab.
262   // [n * name]
263   FS_CFI_FUNCTION_DEFS = 17,
264   // The list of external functions with CFI jump tables. Function names are
265   // strings in strtab.
266   // [n * name]
267   FS_CFI_FUNCTION_DECLS = 18,
268   // Per-module summary that also adds relative block frequency to callee info.
269   // PERMODULE_RELBF: [valueid, flags, instcount, numrefs,
270   //                   numrefs x valueid,
271   //                   n x (valueid, relblockfreq+tailcall)]
272   FS_PERMODULE_RELBF = 19,
273   // Index-wide flags
274   FS_FLAGS = 20,
275   // Maps type identifier to summary information for that type identifier.
276   // Produced by the thin link (only lives in combined index).
277   // TYPE_ID: [typeid, kind, bitwidth, align, size, bitmask, inlinebits,
278   //           n x (typeid, kind, name, numrba,
279   //                numrba x (numarg, numarg x arg, kind, info, byte, bit))]
280   FS_TYPE_ID = 21,
281   // For background see overview at https://llvm.org/docs/TypeMetadata.html.
282   // The type metadata includes both the type identifier and the offset of
283   // the address point of the type (the address held by objects of that type
284   // which may not be the beginning of the virtual table). Vtable definitions
285   // are decorated with type metadata for the types they are compatible with.
286   //
287   // Maps type identifier to summary information for that type identifier
288   // computed from type metadata: the valueid of each vtable definition
289   // decorated with a type metadata for that identifier, and the offset from
290   // the corresponding type metadata.
291   // Exists in the per-module summary to provide information to thin link
292   // for index-based whole program devirtualization.
293   // TYPE_ID_METADATA: [typeid, n x (valueid, offset)]
294   FS_TYPE_ID_METADATA = 22,
295   // Summarizes vtable definition for use in index-based whole program
296   // devirtualization during the thin link.
297   // PERMODULE_VTABLE_GLOBALVAR_INIT_REFS: [valueid, flags, varflags,
298   //                                        numrefs, numrefs x valueid,
299   //                                        n x (valueid, offset)]
300   FS_PERMODULE_VTABLE_GLOBALVAR_INIT_REFS = 23,
301   // The total number of basic blocks in the module.
302   FS_BLOCK_COUNT = 24,
303   // Range information for accessed offsets for every argument.
304   // [n x (paramno, range, numcalls, numcalls x (callee_guid, paramno, range))]
305   FS_PARAM_ACCESS = 25,
306   // Summary of per-module memprof callsite metadata.
307   // [valueid, n x stackidindex]
308   FS_PERMODULE_CALLSITE_INFO = 26,
309   // Summary of per-module allocation memprof metadata.
310   // [nummib, nummib x (alloc type, numstackids, numstackids x stackidindex),
311   // [nummib x total size]?]
312   FS_PERMODULE_ALLOC_INFO = 27,
313   // Summary of combined index memprof callsite metadata.
314   // [valueid, numstackindices, numver,
315   //  numstackindices x stackidindex, numver x version]
316   FS_COMBINED_CALLSITE_INFO = 28,
317   // Summary of combined index allocation memprof metadata.
318   // [nummib, numver,
319   //  nummib x (alloc type, numstackids, numstackids x stackidindex),
320   //  numver x version, [nummib x total size]?]
321   FS_COMBINED_ALLOC_INFO = 29,
322   FS_STACK_IDS = 30,
323 };
324 
325 enum MetadataCodes {
326   METADATA_STRING_OLD = 1,     // MDSTRING:      [values]
327   METADATA_VALUE = 2,          // VALUE:         [type num, value num]
328   METADATA_NODE = 3,           // NODE:          [n x md num]
329   METADATA_NAME = 4,           // STRING:        [values]
330   METADATA_DISTINCT_NODE = 5,  // DISTINCT_NODE: [n x md num]
331   METADATA_KIND = 6,           // [n x [id, name]]
332   METADATA_LOCATION = 7,       // [distinct, line, col, scope, inlined-at?]
333   METADATA_OLD_NODE = 8,       // OLD_NODE:      [n x (type num, value num)]
334   METADATA_OLD_FN_NODE = 9,    // OLD_FN_NODE:   [n x (type num, value num)]
335   METADATA_NAMED_NODE = 10,    // NAMED_NODE:    [n x mdnodes]
336   METADATA_ATTACHMENT = 11,    // [m x [value, [n x [id, mdnode]]]
337   METADATA_GENERIC_DEBUG = 12, // [distinct, tag, vers, header, n x md num]
338   METADATA_SUBRANGE = 13,      // [distinct, count, lo]
339   METADATA_ENUMERATOR = 14,    // [isUnsigned|distinct, value, name]
340   METADATA_BASIC_TYPE = 15,    // [distinct, tag, name, size, align, enc]
341   METADATA_FILE = 16, // [distinct, filename, directory, checksumkind, checksum]
342   METADATA_DERIVED_TYPE = 17,       // [distinct, ...]
343   METADATA_COMPOSITE_TYPE = 18,     // [distinct, ...]
344   METADATA_SUBROUTINE_TYPE = 19,    // [distinct, flags, types, cc]
345   METADATA_COMPILE_UNIT = 20,       // [distinct, ...]
346   METADATA_SUBPROGRAM = 21,         // [distinct, ...]
347   METADATA_LEXICAL_BLOCK = 22,      // [distinct, scope, file, line, column]
348   METADATA_LEXICAL_BLOCK_FILE = 23, //[distinct, scope, file, discriminator]
349   METADATA_NAMESPACE = 24, // [distinct, scope, file, name, line, exportSymbols]
350   METADATA_TEMPLATE_TYPE = 25,   // [distinct, scope, name, type, ...]
351   METADATA_TEMPLATE_VALUE = 26,  // [distinct, scope, name, type, value, ...]
352   METADATA_GLOBAL_VAR = 27,      // [distinct, ...]
353   METADATA_LOCAL_VAR = 28,       // [distinct, ...]
354   METADATA_EXPRESSION = 29,      // [distinct, n x element]
355   METADATA_OBJC_PROPERTY = 30,   // [distinct, name, file, line, ...]
356   METADATA_IMPORTED_ENTITY = 31, // [distinct, tag, scope, entity, line, name]
357   METADATA_MODULE = 32,          // [distinct, scope, name, ...]
358   METADATA_MACRO = 33,           // [distinct, macinfo, line, name, value]
359   METADATA_MACRO_FILE = 34,      // [distinct, macinfo, line, file, ...]
360   METADATA_STRINGS = 35,         // [count, offset] blob([lengths][chars])
361   METADATA_GLOBAL_DECL_ATTACHMENT = 36, // [valueid, n x [id, mdnode]]
362   METADATA_GLOBAL_VAR_EXPR = 37,        // [distinct, var, expr]
363   METADATA_INDEX_OFFSET = 38,           // [offset]
364   METADATA_INDEX = 39,                  // [bitpos]
365   METADATA_LABEL = 40,                  // [distinct, scope, name, file, line]
366   METADATA_STRING_TYPE = 41,            // [distinct, name, size, align,...]
367   // Codes 42 and 43 are reserved for support for Fortran array specific debug
368   // info.
369   METADATA_COMMON_BLOCK = 44,     // [distinct, scope, name, variable,...]
370   METADATA_GENERIC_SUBRANGE = 45, // [distinct, count, lo, up, stride]
371   METADATA_ARG_LIST = 46,         // [n x [type num, value num]]
372   METADATA_ASSIGN_ID = 47,        // [distinct, ...]
373 };
374 
375 // The constants block (CONSTANTS_BLOCK_ID) describes emission for each
376 // constant and maintains an implicit current type value.
377 enum ConstantsCodes {
378   CST_CODE_SETTYPE = 1,          // SETTYPE:       [typeid]
379   CST_CODE_NULL = 2,             // NULL
380   CST_CODE_UNDEF = 3,            // UNDEF
381   CST_CODE_INTEGER = 4,          // INTEGER:       [intval]
382   CST_CODE_WIDE_INTEGER = 5,     // WIDE_INTEGER:  [n x intval]
383   CST_CODE_FLOAT = 6,            // FLOAT:         [fpval]
384   CST_CODE_AGGREGATE = 7,        // AGGREGATE:     [n x value number]
385   CST_CODE_STRING = 8,           // STRING:        [values]
386   CST_CODE_CSTRING = 9,          // CSTRING:       [values]
387   CST_CODE_CE_BINOP = 10,        // CE_BINOP:      [opcode, opval, opval]
388   CST_CODE_CE_CAST = 11,         // CE_CAST:       [opcode, opty, opval]
389   CST_CODE_CE_GEP_OLD = 12,      // CE_GEP:        [n x operands]
390   CST_CODE_CE_SELECT = 13,       // CE_SELECT:     [opval, opval, opval]
391   CST_CODE_CE_EXTRACTELT = 14,   // CE_EXTRACTELT: [opty, opval, opval]
392   CST_CODE_CE_INSERTELT = 15,    // CE_INSERTELT:  [opval, opval, opval]
393   CST_CODE_CE_SHUFFLEVEC = 16,   // CE_SHUFFLEVEC: [opval, opval, opval]
394   CST_CODE_CE_CMP = 17,          // CE_CMP:        [opty, opval, opval, pred]
395   CST_CODE_INLINEASM_OLD = 18,   // INLINEASM:     [sideeffect|alignstack,
396                                  //                 asmstr,conststr]
397   CST_CODE_CE_SHUFVEC_EX = 19,   // SHUFVEC_EX:    [opty, opval, opval, opval]
398   CST_CODE_CE_INBOUNDS_GEP = 20, // INBOUNDS_GEP:  [n x operands]
399   CST_CODE_BLOCKADDRESS = 21,    // CST_CODE_BLOCKADDRESS [fnty, fnval, bb#]
400   CST_CODE_DATA = 22,            // DATA:          [n x elements]
401   CST_CODE_INLINEASM_OLD2 = 23,  // INLINEASM:     [sideeffect|alignstack|
402                                  //                 asmdialect,asmstr,conststr]
403   CST_CODE_CE_GEP_WITH_INRANGE_INDEX_OLD = 24, //  [opty, flags, n x operands]
404   CST_CODE_CE_UNOP = 25,                       // CE_UNOP:      [opcode, opval]
405   CST_CODE_POISON = 26,                        // POISON
406   CST_CODE_DSO_LOCAL_EQUIVALENT = 27, // DSO_LOCAL_EQUIVALENT [gvty, gv]
407   CST_CODE_INLINEASM_OLD3 = 28,       // INLINEASM:     [sideeffect|alignstack|
408                                       //                 asmdialect|unwind,
409                                       //                 asmstr,conststr]
410   CST_CODE_NO_CFI_VALUE = 29,         // NO_CFI [ fty, f ]
411   CST_CODE_INLINEASM = 30,            // INLINEASM:     [fnty,
412                                       //                 sideeffect|alignstack|
413                                       //                 asmdialect|unwind,
414                                       //                 asmstr,conststr]
415   CST_CODE_CE_GEP_WITH_INRANGE = 31,  // [opty, flags, range, n x operands]
416   CST_CODE_CE_GEP = 32,               // [opty, flags, n x operands]
417   CST_CODE_PTRAUTH = 33,              // [ptr, key, disc, addrdisc]
418 };
419 
420 /// CastOpcodes - These are values used in the bitcode files to encode which
421 /// cast a CST_CODE_CE_CAST or a XXX refers to.  The values of these enums
422 /// have no fixed relation to the LLVM IR enum values.  Changing these will
423 /// break compatibility with old files.
424 enum CastOpcodes {
425   CAST_TRUNC = 0,
426   CAST_ZEXT = 1,
427   CAST_SEXT = 2,
428   CAST_FPTOUI = 3,
429   CAST_FPTOSI = 4,
430   CAST_UITOFP = 5,
431   CAST_SITOFP = 6,
432   CAST_FPTRUNC = 7,
433   CAST_FPEXT = 8,
434   CAST_PTRTOINT = 9,
435   CAST_INTTOPTR = 10,
436   CAST_BITCAST = 11,
437   CAST_ADDRSPACECAST = 12
438 };
439 
440 /// UnaryOpcodes - These are values used in the bitcode files to encode which
441 /// unop a CST_CODE_CE_UNOP or a XXX refers to.  The values of these enums
442 /// have no fixed relation to the LLVM IR enum values.  Changing these will
443 /// break compatibility with old files.
444 enum UnaryOpcodes {
445   UNOP_FNEG = 0
446 };
447 
448 /// BinaryOpcodes - These are values used in the bitcode files to encode which
449 /// binop a CST_CODE_CE_BINOP or a XXX refers to.  The values of these enums
450 /// have no fixed relation to the LLVM IR enum values.  Changing these will
451 /// break compatibility with old files.
452 enum BinaryOpcodes {
453   BINOP_ADD = 0,
454   BINOP_SUB = 1,
455   BINOP_MUL = 2,
456   BINOP_UDIV = 3,
457   BINOP_SDIV = 4, // overloaded for FP
458   BINOP_UREM = 5,
459   BINOP_SREM = 6, // overloaded for FP
460   BINOP_SHL = 7,
461   BINOP_LSHR = 8,
462   BINOP_ASHR = 9,
463   BINOP_AND = 10,
464   BINOP_OR = 11,
465   BINOP_XOR = 12
466 };
467 
468 /// These are values used in the bitcode files to encode AtomicRMW operations.
469 /// The values of these enums have no fixed relation to the LLVM IR enum
470 /// values.  Changing these will break compatibility with old files.
471 enum RMWOperations {
472   RMW_XCHG = 0,
473   RMW_ADD = 1,
474   RMW_SUB = 2,
475   RMW_AND = 3,
476   RMW_NAND = 4,
477   RMW_OR = 5,
478   RMW_XOR = 6,
479   RMW_MAX = 7,
480   RMW_MIN = 8,
481   RMW_UMAX = 9,
482   RMW_UMIN = 10,
483   RMW_FADD = 11,
484   RMW_FSUB = 12,
485   RMW_FMAX = 13,
486   RMW_FMIN = 14,
487   RMW_UINC_WRAP = 15,
488   RMW_UDEC_WRAP = 16
489 };
490 
491 /// OverflowingBinaryOperatorOptionalFlags - Flags for serializing
492 /// OverflowingBinaryOperator's SubclassOptionalData contents.
493 enum OverflowingBinaryOperatorOptionalFlags {
494   OBO_NO_UNSIGNED_WRAP = 0,
495   OBO_NO_SIGNED_WRAP = 1
496 };
497 
498 /// TruncInstOptionalFlags - Flags for serializing
499 /// TruncInstOptionalFlags's SubclassOptionalData contents.
500 enum TruncInstOptionalFlags {
501   TIO_NO_UNSIGNED_WRAP = 0,
502   TIO_NO_SIGNED_WRAP = 1
503 };
504 
505 /// FastMath Flags
506 /// This is a fixed layout derived from the bitcode emitted by LLVM 5.0
507 /// intended to decouple the in-memory representation from the serialization.
508 enum FastMathMap {
509   UnsafeAlgebra   = (1 << 0), // Legacy
510   NoNaNs          = (1 << 1),
511   NoInfs          = (1 << 2),
512   NoSignedZeros   = (1 << 3),
513   AllowReciprocal = (1 << 4),
514   AllowContract   = (1 << 5),
515   ApproxFunc      = (1 << 6),
516   AllowReassoc    = (1 << 7)
517 };
518 
519 /// Flags for serializing PossiblyNonNegInst's SubclassOptionalData contents.
520 enum PossiblyNonNegInstOptionalFlags { PNNI_NON_NEG = 0 };
521 
522 /// PossiblyExactOperatorOptionalFlags - Flags for serializing
523 /// PossiblyExactOperator's SubclassOptionalData contents.
524 enum PossiblyExactOperatorOptionalFlags { PEO_EXACT = 0 };
525 
526 /// PossiblyDisjointInstOptionalFlags - Flags for serializing
527 /// PossiblyDisjointInst's SubclassOptionalData contents.
528 enum PossiblyDisjointInstOptionalFlags { PDI_DISJOINT = 0 };
529 
530 /// GetElementPtrOptionalFlags - Flags for serializing
531 /// GEPOperator's SubclassOptionalData contents.
532 enum GetElementPtrOptionalFlags {
533   GEP_INBOUNDS = 0,
534   GEP_NUSW = 1,
535   GEP_NUW = 2,
536 };
537 
538 /// Encoded AtomicOrdering values.
539 enum AtomicOrderingCodes {
540   ORDERING_NOTATOMIC = 0,
541   ORDERING_UNORDERED = 1,
542   ORDERING_MONOTONIC = 2,
543   ORDERING_ACQUIRE = 3,
544   ORDERING_RELEASE = 4,
545   ORDERING_ACQREL = 5,
546   ORDERING_SEQCST = 6
547 };
548 
549 /// Markers and flags for call instruction.
550 enum CallMarkersFlags {
551   CALL_TAIL = 0,
552   CALL_CCONV = 1,
553   CALL_MUSTTAIL = 14,
554   CALL_EXPLICIT_TYPE = 15,
555   CALL_NOTAIL = 16,
556   CALL_FMF = 17 // Call has optional fast-math-flags.
557 };
558 
559 // The function body block (FUNCTION_BLOCK_ID) describes function bodies.  It
560 // can contain a constant block (CONSTANTS_BLOCK_ID).
561 enum FunctionCodes {
562   FUNC_CODE_DECLAREBLOCKS = 1, // DECLAREBLOCKS: [n]
563 
564   FUNC_CODE_INST_BINOP = 2,      // BINOP:      [opcode, ty, opval, opval]
565   FUNC_CODE_INST_CAST = 3,       // CAST:       [opcode, ty, opty, opval]
566   FUNC_CODE_INST_GEP_OLD = 4,    // GEP:        [n x operands]
567   FUNC_CODE_INST_SELECT = 5,     // SELECT:     [ty, opval, opval, opval]
568   FUNC_CODE_INST_EXTRACTELT = 6, // EXTRACTELT: [opty, opval, opval]
569   FUNC_CODE_INST_INSERTELT = 7,  // INSERTELT:  [ty, opval, opval, opval]
570   FUNC_CODE_INST_SHUFFLEVEC = 8, // SHUFFLEVEC: [ty, opval, opval, opval]
571   FUNC_CODE_INST_CMP = 9,        // CMP:        [opty, opval, opval, pred]
572 
573   FUNC_CODE_INST_RET = 10,    // RET:        [opty,opval<both optional>]
574   FUNC_CODE_INST_BR = 11,     // BR:         [bb#, bb#, cond] or [bb#]
575   FUNC_CODE_INST_SWITCH = 12, // SWITCH:     [opty, op0, op1, ...]
576   FUNC_CODE_INST_INVOKE = 13, // INVOKE:     [attr, fnty, op0,op1, ...]
577   // 14 is unused.
578   FUNC_CODE_INST_UNREACHABLE = 15, // UNREACHABLE
579 
580   FUNC_CODE_INST_PHI = 16, // PHI:        [ty, val0,bb0, ...]
581   // 17 is unused.
582   // 18 is unused.
583   FUNC_CODE_INST_ALLOCA = 19, // ALLOCA:     [instty, opty, op, align]
584   FUNC_CODE_INST_LOAD = 20,   // LOAD:       [opty, op, align, vol]
585   // 21 is unused.
586   // 22 is unused.
587   FUNC_CODE_INST_VAARG = 23, // VAARG:      [valistty, valist, instty]
588   // This store code encodes the pointer type, rather than the value type
589   // this is so information only available in the pointer type (e.g. address
590   // spaces) is retained.
591   FUNC_CODE_INST_STORE_OLD = 24, // STORE:      [ptrty,ptr,val, align, vol]
592   // 25 is unused.
593   FUNC_CODE_INST_EXTRACTVAL = 26, // EXTRACTVAL: [n x operands]
594   FUNC_CODE_INST_INSERTVAL = 27,  // INSERTVAL:  [n x operands]
595   // fcmp/icmp returning Int1TY or vector of Int1Ty. Same as CMP, exists to
596   // support legacy vicmp/vfcmp instructions.
597   FUNC_CODE_INST_CMP2 = 28, // CMP2:       [opty, opval, opval, pred]
598   // new select on i1 or [N x i1]
599   FUNC_CODE_INST_VSELECT = 29, // VSELECT:    [ty,opval,opval,predty,pred]
600   FUNC_CODE_INST_INBOUNDS_GEP_OLD = 30, // INBOUNDS_GEP: [n x operands]
601   FUNC_CODE_INST_INDIRECTBR = 31,       // INDIRECTBR: [opty, op0, op1, ...]
602   // 32 is unused.
603   FUNC_CODE_DEBUG_LOC_AGAIN = 33, // DEBUG_LOC_AGAIN
604 
605   FUNC_CODE_INST_CALL = 34, // CALL:    [attr, cc, fnty, fnid, args...]
606 
607   FUNC_CODE_DEBUG_LOC = 35,          // DEBUG_LOC:  [Line,Col,ScopeVal, IAVal]
608   FUNC_CODE_INST_FENCE = 36,         // FENCE: [ordering, synchscope]
609   FUNC_CODE_INST_CMPXCHG_OLD = 37,   // CMPXCHG: [ptrty, ptr, cmp, val, vol,
610                                      //            ordering, synchscope,
611                                      //            failure_ordering?, weak?]
612   FUNC_CODE_INST_ATOMICRMW_OLD = 38, // ATOMICRMW: [ptrty,ptr,val, operation,
613                                      //             align, vol,
614                                      //             ordering, synchscope]
615   FUNC_CODE_INST_RESUME = 39,        // RESUME:     [opval]
616   FUNC_CODE_INST_LANDINGPAD_OLD =
617       40,                         // LANDINGPAD: [ty,val,val,num,id0,val0...]
618   FUNC_CODE_INST_LOADATOMIC = 41, // LOAD: [opty, op, align, vol,
619                                   //        ordering, synchscope]
620   FUNC_CODE_INST_STOREATOMIC_OLD = 42, // STORE: [ptrty,ptr,val, align, vol
621                                        //         ordering, synchscope]
622   FUNC_CODE_INST_GEP = 43,             // GEP:  [inbounds, n x operands]
623   FUNC_CODE_INST_STORE = 44,       // STORE: [ptrty,ptr,valty,val, align, vol]
624   FUNC_CODE_INST_STOREATOMIC = 45, // STORE: [ptrty,ptr,val, align, vol
625   FUNC_CODE_INST_CMPXCHG = 46,     // CMPXCHG: [ptrty, ptr, cmp, val, vol,
626                                    //           success_ordering, synchscope,
627                                    //           failure_ordering, weak]
628   FUNC_CODE_INST_LANDINGPAD = 47,  // LANDINGPAD: [ty,val,num,id0,val0...]
629   FUNC_CODE_INST_CLEANUPRET = 48,  // CLEANUPRET: [val] or [val,bb#]
630   FUNC_CODE_INST_CATCHRET = 49,    // CATCHRET: [val,bb#]
631   FUNC_CODE_INST_CATCHPAD = 50,    // CATCHPAD: [bb#,bb#,num,args...]
632   FUNC_CODE_INST_CLEANUPPAD = 51,  // CLEANUPPAD: [num,args...]
633   FUNC_CODE_INST_CATCHSWITCH =
634       52, // CATCHSWITCH: [num,args...] or [num,args...,bb]
635   // 53 is unused.
636   // 54 is unused.
637   FUNC_CODE_OPERAND_BUNDLE = 55,  // OPERAND_BUNDLE: [tag#, value...]
638   FUNC_CODE_INST_UNOP = 56,       // UNOP:       [opcode, ty, opval]
639   FUNC_CODE_INST_CALLBR = 57,     // CALLBR:     [attr, cc, norm, transfs,
640                                   //              fnty, fnid, args...]
641   FUNC_CODE_INST_FREEZE = 58,     // FREEZE: [opty, opval]
642   FUNC_CODE_INST_ATOMICRMW = 59,  // ATOMICRMW: [ptrty, ptr, valty, val,
643                                   //             operation, align, vol,
644                                   //             ordering, synchscope]
645   FUNC_CODE_BLOCKADDR_USERS = 60, // BLOCKADDR_USERS: [value...]
646 
647   FUNC_CODE_DEBUG_RECORD_VALUE =
648       61, // [DILocation, DILocalVariable, DIExpression, ValueAsMetadata]
649   FUNC_CODE_DEBUG_RECORD_DECLARE =
650       62, // [DILocation, DILocalVariable, DIExpression, ValueAsMetadata]
651   FUNC_CODE_DEBUG_RECORD_ASSIGN =
652       63, // [DILocation, DILocalVariable, DIExpression, ValueAsMetadata,
653           //  DIAssignID, DIExpression (addr), ValueAsMetadata (addr)]
654   FUNC_CODE_DEBUG_RECORD_VALUE_SIMPLE =
655       64, // [DILocation, DILocalVariable, DIExpression, Value]
656   FUNC_CODE_DEBUG_RECORD_LABEL = 65, // [DILocation, DILabel]
657 };
658 
659 enum UseListCodes {
660   USELIST_CODE_DEFAULT = 1, // DEFAULT: [index..., value-id]
661   USELIST_CODE_BB = 2       // BB: [index..., bb-id]
662 };
663 
664 enum AttributeKindCodes {
665   // = 0 is unused
666   ATTR_KIND_ALIGNMENT = 1,
667   ATTR_KIND_ALWAYS_INLINE = 2,
668   ATTR_KIND_BY_VAL = 3,
669   ATTR_KIND_INLINE_HINT = 4,
670   ATTR_KIND_IN_REG = 5,
671   ATTR_KIND_MIN_SIZE = 6,
672   ATTR_KIND_NAKED = 7,
673   ATTR_KIND_NEST = 8,
674   ATTR_KIND_NO_ALIAS = 9,
675   ATTR_KIND_NO_BUILTIN = 10,
676   ATTR_KIND_NO_CAPTURE = 11,
677   ATTR_KIND_NO_DUPLICATE = 12,
678   ATTR_KIND_NO_IMPLICIT_FLOAT = 13,
679   ATTR_KIND_NO_INLINE = 14,
680   ATTR_KIND_NON_LAZY_BIND = 15,
681   ATTR_KIND_NO_RED_ZONE = 16,
682   ATTR_KIND_NO_RETURN = 17,
683   ATTR_KIND_NO_UNWIND = 18,
684   ATTR_KIND_OPTIMIZE_FOR_SIZE = 19,
685   ATTR_KIND_READ_NONE = 20,
686   ATTR_KIND_READ_ONLY = 21,
687   ATTR_KIND_RETURNED = 22,
688   ATTR_KIND_RETURNS_TWICE = 23,
689   ATTR_KIND_S_EXT = 24,
690   ATTR_KIND_STACK_ALIGNMENT = 25,
691   ATTR_KIND_STACK_PROTECT = 26,
692   ATTR_KIND_STACK_PROTECT_REQ = 27,
693   ATTR_KIND_STACK_PROTECT_STRONG = 28,
694   ATTR_KIND_STRUCT_RET = 29,
695   ATTR_KIND_SANITIZE_ADDRESS = 30,
696   ATTR_KIND_SANITIZE_THREAD = 31,
697   ATTR_KIND_SANITIZE_MEMORY = 32,
698   ATTR_KIND_UW_TABLE = 33,
699   ATTR_KIND_Z_EXT = 34,
700   ATTR_KIND_BUILTIN = 35,
701   ATTR_KIND_COLD = 36,
702   ATTR_KIND_OPTIMIZE_NONE = 37,
703   ATTR_KIND_IN_ALLOCA = 38,
704   ATTR_KIND_NON_NULL = 39,
705   ATTR_KIND_JUMP_TABLE = 40,
706   ATTR_KIND_DEREFERENCEABLE = 41,
707   ATTR_KIND_DEREFERENCEABLE_OR_NULL = 42,
708   ATTR_KIND_CONVERGENT = 43,
709   ATTR_KIND_SAFESTACK = 44,
710   ATTR_KIND_ARGMEMONLY = 45,
711   ATTR_KIND_SWIFT_SELF = 46,
712   ATTR_KIND_SWIFT_ERROR = 47,
713   ATTR_KIND_NO_RECURSE = 48,
714   ATTR_KIND_INACCESSIBLEMEM_ONLY = 49,
715   ATTR_KIND_INACCESSIBLEMEM_OR_ARGMEMONLY = 50,
716   ATTR_KIND_ALLOC_SIZE = 51,
717   ATTR_KIND_WRITEONLY = 52,
718   ATTR_KIND_SPECULATABLE = 53,
719   ATTR_KIND_STRICT_FP = 54,
720   ATTR_KIND_SANITIZE_HWADDRESS = 55,
721   ATTR_KIND_NOCF_CHECK = 56,
722   ATTR_KIND_OPT_FOR_FUZZING = 57,
723   ATTR_KIND_SHADOWCALLSTACK = 58,
724   ATTR_KIND_SPECULATIVE_LOAD_HARDENING = 59,
725   ATTR_KIND_IMMARG = 60,
726   ATTR_KIND_WILLRETURN = 61,
727   ATTR_KIND_NOFREE = 62,
728   ATTR_KIND_NOSYNC = 63,
729   ATTR_KIND_SANITIZE_MEMTAG = 64,
730   ATTR_KIND_PREALLOCATED = 65,
731   ATTR_KIND_NO_MERGE = 66,
732   ATTR_KIND_NULL_POINTER_IS_VALID = 67,
733   ATTR_KIND_NOUNDEF = 68,
734   ATTR_KIND_BYREF = 69,
735   ATTR_KIND_MUSTPROGRESS = 70,
736   ATTR_KIND_NO_CALLBACK = 71,
737   ATTR_KIND_HOT = 72,
738   ATTR_KIND_NO_PROFILE = 73,
739   ATTR_KIND_VSCALE_RANGE = 74,
740   ATTR_KIND_SWIFT_ASYNC = 75,
741   ATTR_KIND_NO_SANITIZE_COVERAGE = 76,
742   ATTR_KIND_ELEMENTTYPE = 77,
743   ATTR_KIND_DISABLE_SANITIZER_INSTRUMENTATION = 78,
744   ATTR_KIND_NO_SANITIZE_BOUNDS = 79,
745   ATTR_KIND_ALLOC_ALIGN = 80,
746   ATTR_KIND_ALLOCATED_POINTER = 81,
747   ATTR_KIND_ALLOC_KIND = 82,
748   ATTR_KIND_PRESPLIT_COROUTINE = 83,
749   ATTR_KIND_FNRETTHUNK_EXTERN = 84,
750   ATTR_KIND_SKIP_PROFILE = 85,
751   ATTR_KIND_MEMORY = 86,
752   ATTR_KIND_NOFPCLASS = 87,
753   ATTR_KIND_OPTIMIZE_FOR_DEBUGGING = 88,
754   ATTR_KIND_WRITABLE = 89,
755   ATTR_KIND_CORO_ONLY_DESTROY_WHEN_COMPLETE = 90,
756   ATTR_KIND_DEAD_ON_UNWIND = 91,
757   ATTR_KIND_RANGE = 92,
758   ATTR_KIND_SANITIZE_NUMERICAL_STABILITY = 93,
759   ATTR_KIND_INITIALIZES = 94,
760   ATTR_KIND_HYBRID_PATCHABLE = 95,
761 };
762 
763 enum ComdatSelectionKindCodes {
764   COMDAT_SELECTION_KIND_ANY = 1,
765   COMDAT_SELECTION_KIND_EXACT_MATCH = 2,
766   COMDAT_SELECTION_KIND_LARGEST = 3,
767   COMDAT_SELECTION_KIND_NO_DUPLICATES = 4,
768   COMDAT_SELECTION_KIND_SAME_SIZE = 5,
769 };
770 
771 enum StrtabCodes {
772   STRTAB_BLOB = 1,
773 };
774 
775 enum SymtabCodes {
776   SYMTAB_BLOB = 1,
777 };
778 
779 } // End bitc namespace
780 } // End llvm namespace
781 
782 #endif
783