include/llvm/Bitcode/LLVMBitCodes.h

   1 //===- LLVMBitCodes.h - Enum values for the LLVM bitcode format -*- C++ -*-===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This header defines Bitcode enum values for LLVM IR bitcode files.
  11 //
  12 // The enum values defined in this file should be considered permanent.  If
  13 // new features are added, they should have values added at the end of the
  14 // respective lists.
  15 //
  16 //===----------------------------------------------------------------------===//
  17
  18 #ifndef LLVM_BITCODE_LLVMBITCODES_H
  19 #define LLVM_BITCODE_LLVMBITCODES_H
  20
  21 #include "llvm/Bitcode/BitCodes.h"
  22
  23 namespace llvm {
  24 namespace bitc {
  25   // The only top-level block type defined is for a module.
  26   enum BlockIDs {
  27     // Blocks
  28     MODULE_BLOCK_ID          = FIRST_APPLICATION_BLOCKID,
  29
  30     // Module sub-block id's.
  31     PARAMATTR_BLOCK_ID,
  32     PARAMATTR_GROUP_BLOCK_ID,
  33
  34     CONSTANTS_BLOCK_ID,
  35     FUNCTION_BLOCK_ID,
  36
  37     UNUSED_ID1,
  38
  39     VALUE_SYMTAB_BLOCK_ID,
  40     METADATA_BLOCK_ID,
  41     METADATA_ATTACHMENT_ID,
  42
  43     TYPE_BLOCK_ID_NEW,
  44
  45     USELIST_BLOCK_ID
  46   };
  47
  48
  49   /// MODULE blocks have a number of optional fields and subblocks.
  50   enum ModuleCodes {
  51     MODULE_CODE_VERSION     = 1,    // VERSION:     [version#]
  52     MODULE_CODE_TRIPLE      = 2,    // TRIPLE:      [strchr x N]
  53     MODULE_CODE_DATALAYOUT  = 3,    // DATALAYOUT:  [strchr x N]
  54     MODULE_CODE_ASM         = 4,    // ASM:         [strchr x N]
  55     MODULE_CODE_SECTIONNAME = 5,    // SECTIONNAME: [strchr x N]
  56
  57     // FIXME: Remove DEPLIB in 4.0.
  58     MODULE_CODE_DEPLIB      = 6,    // DEPLIB:      [strchr x N]
  59
  60     // GLOBALVAR: [pointer type, isconst, initid,
  61     //             linkage, alignment, section, visibility, threadlocal]
  62     MODULE_CODE_GLOBALVAR   = 7,
  63
  64     // FUNCTION:  [type, callingconv, isproto, linkage, paramattrs, alignment,
  65     //             section, visibility, gc, unnamed_addr]
  66     MODULE_CODE_FUNCTION    = 8,
  67
  68     // ALIAS: [alias type, aliasee val#, linkage, visibility]
  69     MODULE_CODE_ALIAS       = 9,
  70
  71     // MODULE_CODE_PURGEVALS: [numvals]
  72     MODULE_CODE_PURGEVALS   = 10,
  73
  74     MODULE_CODE_GCNAME      = 11,  // GCNAME: [strchr x N]
  75     MODULE_CODE_COMDAT      = 12,  // COMDAT: [selection_kind, name]
  76   };
  77
  78   /// PARAMATTR blocks have code for defining a parameter attribute set.
  79   enum AttributeCodes {
  80     // FIXME: Remove `PARAMATTR_CODE_ENTRY_OLD' in 4.0
  81     PARAMATTR_CODE_ENTRY_OLD  = 1, // ENTRY: [paramidx0, attr0,
  82                                    //         paramidx1, attr1...]
  83     PARAMATTR_CODE_ENTRY      = 2, // ENTRY: [paramidx0, attrgrp0,
  84                                    //         paramidx1, attrgrp1, ...]
  85     PARAMATTR_GRP_CODE_ENTRY  = 3  // ENTRY: [id, attr0, att1, ...]
  86   };
  87
  88   /// TYPE blocks have codes for each type primitive they use.
  89   enum TypeCodes {
  90     TYPE_CODE_NUMENTRY =  1,    // NUMENTRY: [numentries]
  91
  92     // Type Codes
  93     TYPE_CODE_VOID     =  2,    // VOID
  94     TYPE_CODE_FLOAT    =  3,    // FLOAT
  95     TYPE_CODE_DOUBLE   =  4,    // DOUBLE
  96     TYPE_CODE_LABEL    =  5,    // LABEL
  97     TYPE_CODE_OPAQUE   =  6,    // OPAQUE
  98     TYPE_CODE_INTEGER  =  7,    // INTEGER: [width]
  99     TYPE_CODE_POINTER  =  8,    // POINTER: [pointee type]
 100
 101     TYPE_CODE_FUNCTION_OLD = 9, // FUNCTION: [vararg, attrid, retty,
 102                                 //            paramty x N]
 103
 104     TYPE_CODE_HALF     =  10,   // HALF
 105
 106     TYPE_CODE_ARRAY    = 11,    // ARRAY: [numelts, eltty]
 107     TYPE_CODE_VECTOR   = 12,    // VECTOR: [numelts, eltty]
 108
 109     // These are not with the other floating point types because they're
 110     // a late addition, and putting them in the right place breaks
 111     // binary compatibility.
 112     TYPE_CODE_X86_FP80 = 13,    // X86 LONG DOUBLE
 113     TYPE_CODE_FP128    = 14,    // LONG DOUBLE (112 bit mantissa)
 114     TYPE_CODE_PPC_FP128= 15,    // PPC LONG DOUBLE (2 doubles)
 115
 116     TYPE_CODE_METADATA = 16,    // METADATA
 117
 118     TYPE_CODE_X86_MMX = 17,     // X86 MMX
 119
 120     TYPE_CODE_STRUCT_ANON = 18, // STRUCT_ANON: [ispacked, eltty x N]
 121     TYPE_CODE_STRUCT_NAME = 19, // STRUCT_NAME: [strchr x N]
 122     TYPE_CODE_STRUCT_NAMED = 20,// STRUCT_NAMED: [ispacked, eltty x N]
 123
 124     TYPE_CODE_FUNCTION = 21     // FUNCTION: [vararg, retty, paramty x N]
 125   };
 126
 127   // The type symbol table only has one code (TST_ENTRY_CODE).
 128   enum TypeSymtabCodes {
 129     TST_CODE_ENTRY = 1     // TST_ENTRY: [typeid, namechar x N]
 130   };
 131
 132   // The value symbol table only has one code (VST_ENTRY_CODE).
 133   enum ValueSymtabCodes {
 134     VST_CODE_ENTRY   = 1,  // VST_ENTRY: [valid, namechar x N]
 135     VST_CODE_BBENTRY = 2   // VST_BBENTRY: [bbid, namechar x N]
 136   };
 137
 138   enum MetadataCodes {
 139     METADATA_STRING        = 1,   // MDSTRING:      [values]
 140     METADATA_VALUE         = 2,   // VALUE:         [type num, value num]
 141     METADATA_NODE          = 3,   // NODE:          [n x md num]
 142     METADATA_NAME          = 4,   // STRING:        [values]
 143     METADATA_DISTINCT_NODE = 5,   // DISTINCT_NODE: [n x md num]
 144     METADATA_KIND          = 6,   // [n x [id, name]]
 145     METADATA_LOCATION      = 7,   // [distinct, line, col, scope, inlined-at?]
 146     METADATA_OLD_NODE      = 8,   // OLD_NODE:      [n x (type num, value num)]
 147     METADATA_OLD_FN_NODE   = 9,   // OLD_FN_NODE:   [n x (type num, value num)]
 148     METADATA_NAMED_NODE    = 10,  // NAMED_NODE:    [n x mdnodes]
 149     METADATA_ATTACHMENT    = 11,  // [m x [value, [n x [id, mdnode]]]
 150     METADATA_GENERIC_DEBUG = 12,  // [distinct, tag, vers, header, n x md num]
 151     METADATA_SUBRANGE      = 13,  // [distinct, count, lo]
 152     METADATA_ENUMERATOR    = 14,  // [distinct, value, name?]
 153     METADATA_BASIC_TYPE    = 15,  // [distinct, tag, name, size, align, enc]
 154     METADATA_FILE          = 16,  // [distinct, filename, directory]
 155     METADATA_DERIVED_TYPE  = 17,  // [distinct, ...]
 156     METADATA_COMPOSITE_TYPE= 18,  // [distinct, ...]
 157     METADATA_SUBROUTINE_TYPE=19,  // [distinct, flags, types]
 158     METADATA_COMPILE_UNIT  = 20,  // [distinct, ...]
 159     METADATA_SUBPROGRAM    = 21,  // [distinct, ...]
 160     METADATA_LEXICAL_BLOCK = 22,  // [distinct, scope, file, line, column]
 161     METADATA_LEXICAL_BLOCK_FILE=23,//[distinct, scope, file, discriminator]
 162     METADATA_NAMESPACE     = 24,  // [distinct, scope, file, name, line]
 163     METADATA_TEMPLATE_TYPE = 25,  // [distinct, scope, name, type, ...]
 164     METADATA_TEMPLATE_VALUE= 26,  // [distinct, scope, name, type, value, ...]
 165     METADATA_GLOBAL_VAR    = 27   // [distinct, ...]
 166   };
 167
 168   // The constants block (CONSTANTS_BLOCK_ID) describes emission for each
 169   // constant and maintains an implicit current type value.
 170   enum ConstantsCodes {
 171     CST_CODE_SETTYPE       =  1,  // SETTYPE:       [typeid]
 172     CST_CODE_NULL          =  2,  // NULL
 173     CST_CODE_UNDEF         =  3,  // UNDEF
 174     CST_CODE_INTEGER       =  4,  // INTEGER:       [intval]
 175     CST_CODE_WIDE_INTEGER  =  5,  // WIDE_INTEGER:  [n x intval]
 176     CST_CODE_FLOAT         =  6,  // FLOAT:         [fpval]
 177     CST_CODE_AGGREGATE     =  7,  // AGGREGATE:     [n x value number]
 178     CST_CODE_STRING        =  8,  // STRING:        [values]
 179     CST_CODE_CSTRING       =  9,  // CSTRING:       [values]
 180     CST_CODE_CE_BINOP      = 10,  // CE_BINOP:      [opcode, opval, opval]
 181     CST_CODE_CE_CAST       = 11,  // CE_CAST:       [opcode, opty, opval]
 182     CST_CODE_CE_GEP        = 12,  // CE_GEP:        [n x operands]
 183     CST_CODE_CE_SELECT     = 13,  // CE_SELECT:     [opval, opval, opval]
 184     CST_CODE_CE_EXTRACTELT = 14,  // CE_EXTRACTELT: [opty, opval, opval]
 185     CST_CODE_CE_INSERTELT  = 15,  // CE_INSERTELT:  [opval, opval, opval]
 186     CST_CODE_CE_SHUFFLEVEC = 16,  // CE_SHUFFLEVEC: [opval, opval, opval]
 187     CST_CODE_CE_CMP        = 17,  // CE_CMP:        [opty, opval, opval, pred]
 188     CST_CODE_INLINEASM_OLD = 18,  // INLINEASM:     [sideeffect|alignstack,
 189                                   //                 asmstr,conststr]
 190     CST_CODE_CE_SHUFVEC_EX = 19,  // SHUFVEC_EX:    [opty, opval, opval, opval]
 191     CST_CODE_CE_INBOUNDS_GEP = 20,// INBOUNDS_GEP:  [n x operands]
 192     CST_CODE_BLOCKADDRESS  = 21,  // CST_CODE_BLOCKADDRESS [fnty, fnval, bb#]
 193     CST_CODE_DATA          = 22,  // DATA:          [n x elements]
 194     CST_CODE_INLINEASM     = 23   // INLINEASM:     [sideeffect|alignstack|
 195                                   //                 asmdialect,asmstr,conststr]
 196   };
 197
 198   /// CastOpcodes - These are values used in the bitcode files to encode which
 199   /// cast a CST_CODE_CE_CAST or a XXX refers to.  The values of these enums
 200   /// have no fixed relation to the LLVM IR enum values.  Changing these will
 201   /// break compatibility with old files.
 202   enum CastOpcodes {
 203     CAST_TRUNC    =  0,
 204     CAST_ZEXT     =  1,
 205     CAST_SEXT     =  2,
 206     CAST_FPTOUI   =  3,
 207     CAST_FPTOSI   =  4,
 208     CAST_UITOFP   =  5,
 209     CAST_SITOFP   =  6,
 210     CAST_FPTRUNC  =  7,
 211     CAST_FPEXT    =  8,
 212     CAST_PTRTOINT =  9,
 213     CAST_INTTOPTR = 10,
 214     CAST_BITCAST  = 11,
 215     CAST_ADDRSPACECAST = 12
 216   };
 217
 218   /// BinaryOpcodes - These are values used in the bitcode files to encode which
 219   /// binop a CST_CODE_CE_BINOP or a XXX refers to.  The values of these enums
 220   /// have no fixed relation to the LLVM IR enum values.  Changing these will
 221   /// break compatibility with old files.
 222   enum BinaryOpcodes {
 223     BINOP_ADD  =  0,
 224     BINOP_SUB  =  1,
 225     BINOP_MUL  =  2,
 226     BINOP_UDIV =  3,
 227     BINOP_SDIV =  4,    // overloaded for FP
 228     BINOP_UREM =  5,
 229     BINOP_SREM =  6,    // overloaded for FP
 230     BINOP_SHL  =  7,
 231     BINOP_LSHR =  8,
 232     BINOP_ASHR =  9,
 233     BINOP_AND  = 10,
 234     BINOP_OR   = 11,
 235     BINOP_XOR  = 12
 236   };
 237
 238   /// These are values used in the bitcode files to encode AtomicRMW operations.
 239   /// The values of these enums have no fixed relation to the LLVM IR enum
 240   /// values.  Changing these will break compatibility with old files.
 241   enum RMWOperations {
 242     RMW_XCHG = 0,
 243     RMW_ADD = 1,
 244     RMW_SUB = 2,
 245     RMW_AND = 3,
 246     RMW_NAND = 4,
 247     RMW_OR = 5,
 248     RMW_XOR = 6,
 249     RMW_MAX = 7,
 250     RMW_MIN = 8,
 251     RMW_UMAX = 9,
 252     RMW_UMIN = 10
 253   };
 254
 255   /// OverflowingBinaryOperatorOptionalFlags - Flags for serializing
 256   /// OverflowingBinaryOperator's SubclassOptionalData contents.
 257   enum OverflowingBinaryOperatorOptionalFlags {
 258     OBO_NO_UNSIGNED_WRAP = 0,
 259     OBO_NO_SIGNED_WRAP = 1
 260   };
 261
 262   /// PossiblyExactOperatorOptionalFlags - Flags for serializing
 263   /// PossiblyExactOperator's SubclassOptionalData contents.
 264   enum PossiblyExactOperatorOptionalFlags {
 265     PEO_EXACT = 0
 266   };
 267
 268   /// Encoded AtomicOrdering values.
 269   enum AtomicOrderingCodes {
 270     ORDERING_NOTATOMIC = 0,
 271     ORDERING_UNORDERED = 1,
 272     ORDERING_MONOTONIC = 2,
 273     ORDERING_ACQUIRE = 3,
 274     ORDERING_RELEASE = 4,
 275     ORDERING_ACQREL = 5,
 276     ORDERING_SEQCST = 6
 277   };
 278
 279   /// Encoded SynchronizationScope values.
 280   enum AtomicSynchScopeCodes {
 281     SYNCHSCOPE_SINGLETHREAD = 0,
 282     SYNCHSCOPE_CROSSTHREAD = 1
 283   };
 284
 285   // The function body block (FUNCTION_BLOCK_ID) describes function bodies.  It
 286   // can contain a constant block (CONSTANTS_BLOCK_ID).
 287   enum FunctionCodes {
 288     FUNC_CODE_DECLAREBLOCKS    =  1, // DECLAREBLOCKS: [n]
 289
 290     FUNC_CODE_INST_BINOP       =  2, // BINOP:      [opcode, ty, opval, opval]
 291     FUNC_CODE_INST_CAST        =  3, // CAST:       [opcode, ty, opty, opval]
 292     FUNC_CODE_INST_GEP         =  4, // GEP:        [n x operands]
 293     FUNC_CODE_INST_SELECT      =  5, // SELECT:     [ty, opval, opval, opval]
 294     FUNC_CODE_INST_EXTRACTELT  =  6, // EXTRACTELT: [opty, opval, opval]
 295     FUNC_CODE_INST_INSERTELT   =  7, // INSERTELT:  [ty, opval, opval, opval]
 296     FUNC_CODE_INST_SHUFFLEVEC  =  8, // SHUFFLEVEC: [ty, opval, opval, opval]
 297     FUNC_CODE_INST_CMP         =  9, // CMP:        [opty, opval, opval, pred]
 298
 299     FUNC_CODE_INST_RET         = 10, // RET:        [opty,opval<both optional>]
 300     FUNC_CODE_INST_BR          = 11, // BR:         [bb#, bb#, cond] or [bb#]
 301     FUNC_CODE_INST_SWITCH      = 12, // SWITCH:     [opty, op0, op1, ...]
 302     FUNC_CODE_INST_INVOKE      = 13, // INVOKE:     [attr, fnty, op0,op1, ...]
 303     // 14 is unused.
 304     FUNC_CODE_INST_UNREACHABLE = 15, // UNREACHABLE
 305
 306     FUNC_CODE_INST_PHI         = 16, // PHI:        [ty, val0,bb0, ...]
 307     // 17 is unused.
 308     // 18 is unused.
 309     FUNC_CODE_INST_ALLOCA      = 19, // ALLOCA:     [instty, opty, op, align]
 310     FUNC_CODE_INST_LOAD        = 20, // LOAD:       [opty, op, align, vol]
 311     // 21 is unused.
 312     // 22 is unused.
 313     FUNC_CODE_INST_VAARG       = 23, // VAARG:      [valistty, valist, instty]
 314     // This store code encodes the pointer type, rather than the value type
 315     // this is so information only available in the pointer type (e.g. address
 316     // spaces) is retained.
 317     FUNC_CODE_INST_STORE       = 24, // STORE:      [ptrty,ptr,val, align, vol]
 318     // 25 is unused.
 319     FUNC_CODE_INST_EXTRACTVAL  = 26, // EXTRACTVAL: [n x operands]
 320     FUNC_CODE_INST_INSERTVAL   = 27, // INSERTVAL:  [n x operands]
 321     // fcmp/icmp returning Int1TY or vector of Int1Ty. Same as CMP, exists to
 322     // support legacy vicmp/vfcmp instructions.
 323     FUNC_CODE_INST_CMP2        = 28, // CMP2:       [opty, opval, opval, pred]
 324     // new select on i1 or [N x i1]
 325     FUNC_CODE_INST_VSELECT     = 29, // VSELECT:    [ty,opval,opval,predty,pred]
 326     FUNC_CODE_INST_INBOUNDS_GEP= 30, // INBOUNDS_GEP: [n x operands]
 327     FUNC_CODE_INST_INDIRECTBR  = 31, // INDIRECTBR: [opty, op0, op1, ...]
 328     // 32 is unused.
 329     FUNC_CODE_DEBUG_LOC_AGAIN  = 33, // DEBUG_LOC_AGAIN
 330
 331     FUNC_CODE_INST_CALL        = 34, // CALL:    [attr, cc, fnty, fnid, args...]
 332
 333     FUNC_CODE_DEBUG_LOC        = 35, // DEBUG_LOC:  [Line,Col,ScopeVal, IAVal]
 334     FUNC_CODE_INST_FENCE       = 36, // FENCE: [ordering, synchscope]
 335     FUNC_CODE_INST_CMPXCHG     = 37, // CMPXCHG: [ptrty,ptr,cmp,new, align, vol,
 336                                      //           ordering, synchscope]
 337     FUNC_CODE_INST_ATOMICRMW   = 38, // ATOMICRMW: [ptrty,ptr,val, operation,
 338                                      //             align, vol,
 339                                      //             ordering, synchscope]
 340     FUNC_CODE_INST_RESUME      = 39, // RESUME:     [opval]
 341     FUNC_CODE_INST_LANDINGPAD  = 40, // LANDINGPAD: [ty,val,val,num,id0,val0...]
 342     FUNC_CODE_INST_LOADATOMIC  = 41, // LOAD: [opty, op, align, vol,
 343                                      //        ordering, synchscope]
 344     FUNC_CODE_INST_STOREATOMIC = 42  // STORE: [ptrty,ptr,val, align, vol
 345                                      //         ordering, synchscope]
 346   };
 347
 348   enum UseListCodes {
 349     USELIST_CODE_DEFAULT = 1, // DEFAULT: [index..., value-id]
 350     USELIST_CODE_BB      = 2  // BB: [index..., bb-id]
 351   };
 352
 353   enum AttributeKindCodes {
 354     // = 0 is unused
 355     ATTR_KIND_ALIGNMENT = 1,
 356     ATTR_KIND_ALWAYS_INLINE = 2,
 357     ATTR_KIND_BY_VAL = 3,
 358     ATTR_KIND_INLINE_HINT = 4,
 359     ATTR_KIND_IN_REG = 5,
 360     ATTR_KIND_MIN_SIZE = 6,
 361     ATTR_KIND_NAKED = 7,
 362     ATTR_KIND_NEST = 8,
 363     ATTR_KIND_NO_ALIAS = 9,
 364     ATTR_KIND_NO_BUILTIN = 10,
 365     ATTR_KIND_NO_CAPTURE = 11,
 366     ATTR_KIND_NO_DUPLICATE = 12,
 367     ATTR_KIND_NO_IMPLICIT_FLOAT = 13,
 368     ATTR_KIND_NO_INLINE = 14,
 369     ATTR_KIND_NON_LAZY_BIND = 15,
 370     ATTR_KIND_NO_RED_ZONE = 16,
 371     ATTR_KIND_NO_RETURN = 17,
 372     ATTR_KIND_NO_UNWIND = 18,
 373     ATTR_KIND_OPTIMIZE_FOR_SIZE = 19,
 374     ATTR_KIND_READ_NONE = 20,
 375     ATTR_KIND_READ_ONLY = 21,
 376     ATTR_KIND_RETURNED = 22,
 377     ATTR_KIND_RETURNS_TWICE = 23,
 378     ATTR_KIND_S_EXT = 24,
 379     ATTR_KIND_STACK_ALIGNMENT = 25,
 380     ATTR_KIND_STACK_PROTECT = 26,
 381     ATTR_KIND_STACK_PROTECT_REQ = 27,
 382     ATTR_KIND_STACK_PROTECT_STRONG = 28,
 383     ATTR_KIND_STRUCT_RET = 29,
 384     ATTR_KIND_SANITIZE_ADDRESS = 30,
 385     ATTR_KIND_SANITIZE_THREAD = 31,
 386     ATTR_KIND_SANITIZE_MEMORY = 32,
 387     ATTR_KIND_UW_TABLE = 33,
 388     ATTR_KIND_Z_EXT = 34,
 389     ATTR_KIND_BUILTIN = 35,
 390     ATTR_KIND_COLD = 36,
 391     ATTR_KIND_OPTIMIZE_NONE = 37,
 392     ATTR_KIND_IN_ALLOCA = 38,
 393     ATTR_KIND_NON_NULL = 39,
 394     ATTR_KIND_JUMP_TABLE = 40,
 395     ATTR_KIND_DEREFERENCEABLE = 41
 396   };
 397
 398   enum ComdatSelectionKindCodes {
 399     COMDAT_SELECTION_KIND_ANY = 1,
 400     COMDAT_SELECTION_KIND_EXACT_MATCH = 2,
 401     COMDAT_SELECTION_KIND_LARGEST = 3,
 402     COMDAT_SELECTION_KIND_NO_DUPLICATES = 4,
 403     COMDAT_SELECTION_KIND_SAME_SIZE = 5,
 404   };
 405
 406 } // End bitc namespace
 407 } // End llvm namespace
 408
 409 #endif