Subversion Repositories QNX 8.QNX8 LLVM/Clang compiler suite

Rev

Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
14 pmbaty 1
//===-- LLParser.h - Parser Class -------------------------------*- 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 defines the parser class for .ll files.
10
//
11
//===----------------------------------------------------------------------===//
12
 
13
#ifndef LLVM_ASMPARSER_LLPARSER_H
14
#define LLVM_ASMPARSER_LLPARSER_H
15
 
16
#include "LLLexer.h"
17
#include "llvm/ADT/StringMap.h"
18
#include "llvm/AsmParser/Parser.h"
19
#include "llvm/IR/Attributes.h"
20
#include "llvm/IR/FMF.h"
21
#include "llvm/IR/Instructions.h"
22
#include "llvm/IR/ModuleSummaryIndex.h"
23
#include <map>
24
#include <optional>
25
 
26
namespace llvm {
27
  class Module;
28
  class ConstantRange;
29
  class FunctionType;
30
  class GlobalObject;
31
  class SMDiagnostic;
32
  class SMLoc;
33
  class SourceMgr;
34
  class Type;
35
  struct MaybeAlign;
36
  class Function;
37
  class Value;
38
  class BasicBlock;
39
  class Instruction;
40
  class Constant;
41
  class GlobalValue;
42
  class Comdat;
43
  class MDString;
44
  class MDNode;
45
  class MemoryEffects;
46
  struct SlotMapping;
47
 
48
  /// ValID - Represents a reference of a definition of some sort with no type.
49
  /// There are several cases where we have to parse the value but where the
50
  /// type can depend on later context.  This may either be a numeric reference
51
  /// or a symbolic (%var) reference.  This is just a discriminated union.
52
  struct ValID {
53
    enum {
54
      t_LocalID, t_GlobalID,           // ID in UIntVal.
55
      t_LocalName, t_GlobalName,       // Name in StrVal.
56
      t_APSInt, t_APFloat,             // Value in APSIntVal/APFloatVal.
57
      t_Null, t_Undef, t_Zero, t_None, t_Poison, // No value.
58
      t_EmptyArray,                    // No value:  []
59
      t_Constant,                      // Value in ConstantVal.
60
      t_InlineAsm,                     // Value in FTy/StrVal/StrVal2/UIntVal.
61
      t_ConstantStruct,                // Value in ConstantStructElts.
62
      t_PackedConstantStruct           // Value in ConstantStructElts.
63
    } Kind = t_LocalID;
64
 
65
    LLLexer::LocTy Loc;
66
    unsigned UIntVal;
67
    FunctionType *FTy = nullptr;
68
    std::string StrVal, StrVal2;
69
    APSInt APSIntVal;
70
    APFloat APFloatVal{0.0};
71
    Constant *ConstantVal;
72
    std::unique_ptr<Constant *[]> ConstantStructElts;
73
    bool NoCFI = false;
74
 
75
    ValID() = default;
76
    ValID(const ValID &RHS)
77
        : Kind(RHS.Kind), Loc(RHS.Loc), UIntVal(RHS.UIntVal), FTy(RHS.FTy),
78
          StrVal(RHS.StrVal), StrVal2(RHS.StrVal2), APSIntVal(RHS.APSIntVal),
79
          APFloatVal(RHS.APFloatVal), ConstantVal(RHS.ConstantVal),
80
          NoCFI(RHS.NoCFI) {
81
      assert(!RHS.ConstantStructElts);
82
    }
83
 
84
    bool operator<(const ValID &RHS) const {
85
      assert(Kind == RHS.Kind && "Comparing ValIDs of different kinds");
86
      if (Kind == t_LocalID || Kind == t_GlobalID)
87
        return UIntVal < RHS.UIntVal;
88
      assert((Kind == t_LocalName || Kind == t_GlobalName ||
89
              Kind == t_ConstantStruct || Kind == t_PackedConstantStruct) &&
90
             "Ordering not defined for this ValID kind yet");
91
      return StrVal < RHS.StrVal;
92
    }
93
  };
94
 
95
  class LLParser {
96
  public:
97
    typedef LLLexer::LocTy LocTy;
98
  private:
99
    LLVMContext &Context;
100
    // Lexer to determine whether to use opaque pointers or not.
101
    LLLexer OPLex;
102
    LLLexer Lex;
103
    // Module being parsed, null if we are only parsing summary index.
104
    Module *M;
105
    // Summary index being parsed, null if we are only parsing Module.
106
    ModuleSummaryIndex *Index;
107
    SlotMapping *Slots;
108
 
109
    SmallVector<Instruction*, 64> InstsWithTBAATag;
110
 
111
    /// DIAssignID metadata does not support temporary RAUW so we cannot use
112
    /// the normal metadata forward reference resolution method. Instead,
113
    /// non-temporary DIAssignID are attached to instructions (recorded here)
114
    /// then replaced later.
115
    DenseMap<MDNode *, SmallVector<Instruction *, 2>> TempDIAssignIDAttachments;
116
 
117
    // Type resolution handling data structures.  The location is set when we
118
    // have processed a use of the type but not a definition yet.
119
    StringMap<std::pair<Type*, LocTy> > NamedTypes;
120
    std::map<unsigned, std::pair<Type*, LocTy> > NumberedTypes;
121
 
122
    std::map<unsigned, TrackingMDNodeRef> NumberedMetadata;
123
    std::map<unsigned, std::pair<TempMDTuple, LocTy>> ForwardRefMDNodes;
124
 
125
    // Global Value reference information.
126
    std::map<std::string, std::pair<GlobalValue*, LocTy> > ForwardRefVals;
127
    std::map<unsigned, std::pair<GlobalValue*, LocTy> > ForwardRefValIDs;
128
    std::vector<GlobalValue*> NumberedVals;
129
 
130
    // Comdat forward reference information.
131
    std::map<std::string, LocTy> ForwardRefComdats;
132
 
133
    // References to blockaddress.  The key is the function ValID, the value is
134
    // a list of references to blocks in that function.
135
    std::map<ValID, std::map<ValID, GlobalValue *>> ForwardRefBlockAddresses;
136
    class PerFunctionState;
137
    /// Reference to per-function state to allow basic blocks to be
138
    /// forward-referenced by blockaddress instructions within the same
139
    /// function.
140
    PerFunctionState *BlockAddressPFS;
141
 
142
    // References to dso_local_equivalent. The key is the global's ValID, the
143
    // value is a placeholder value that will be replaced. Note there are two
144
    // maps for tracking ValIDs that are GlobalNames and ValIDs that are
145
    // GlobalIDs. These are needed because "operator<" doesn't discriminate
146
    // between the two.
147
    std::map<ValID, GlobalValue *> ForwardRefDSOLocalEquivalentNames;
148
    std::map<ValID, GlobalValue *> ForwardRefDSOLocalEquivalentIDs;
149
 
150
    // Attribute builder reference information.
151
    std::map<Value*, std::vector<unsigned> > ForwardRefAttrGroups;
152
    std::map<unsigned, AttrBuilder> NumberedAttrBuilders;
153
 
154
    // Summary global value reference information.
155
    std::map<unsigned, std::vector<std::pair<ValueInfo *, LocTy>>>
156
        ForwardRefValueInfos;
157
    std::map<unsigned, std::vector<std::pair<AliasSummary *, LocTy>>>
158
        ForwardRefAliasees;
159
    std::vector<ValueInfo> NumberedValueInfos;
160
 
161
    // Summary type id reference information.
162
    std::map<unsigned, std::vector<std::pair<GlobalValue::GUID *, LocTy>>>
163
        ForwardRefTypeIds;
164
 
165
    // Map of module ID to path.
166
    std::map<unsigned, StringRef> ModuleIdMap;
167
 
168
    /// Only the llvm-as tool may set this to false to bypass
169
    /// UpgradeDebuginfo so it can generate broken bitcode.
170
    bool UpgradeDebugInfo;
171
 
172
    std::string SourceFileName;
173
 
174
  public:
175
    LLParser(StringRef F, SourceMgr &SM, SMDiagnostic &Err, Module *M,
176
             ModuleSummaryIndex *Index, LLVMContext &Context,
177
             SlotMapping *Slots = nullptr)
178
        : Context(Context), OPLex(F, SM, Err, Context),
179
          Lex(F, SM, Err, Context), M(M), Index(Index), Slots(Slots),
180
          BlockAddressPFS(nullptr) {}
181
    bool Run(
182
        bool UpgradeDebugInfo,
183
        DataLayoutCallbackTy DataLayoutCallback = [](StringRef, StringRef) {
184
          return std::nullopt;
185
        });
186
 
187
    bool parseStandaloneConstantValue(Constant *&C, const SlotMapping *Slots);
188
 
189
    bool parseTypeAtBeginning(Type *&Ty, unsigned &Read,
190
                              const SlotMapping *Slots);
191
 
192
    LLVMContext &getContext() { return Context; }
193
 
194
  private:
195
    bool error(LocTy L, const Twine &Msg) const { return Lex.Error(L, Msg); }
196
    bool tokError(const Twine &Msg) const { return error(Lex.getLoc(), Msg); }
197
 
198
    /// Restore the internal name and slot mappings using the mappings that
199
    /// were created at an earlier parsing stage.
200
    void restoreParsingState(const SlotMapping *Slots);
201
 
202
    /// getGlobalVal - Get a value with the specified name or ID, creating a
203
    /// forward reference record if needed.  This can return null if the value
204
    /// exists but does not have the right type.
205
    GlobalValue *getGlobalVal(const std::string &N, Type *Ty, LocTy Loc);
206
    GlobalValue *getGlobalVal(unsigned ID, Type *Ty, LocTy Loc);
207
 
208
    /// Get a Comdat with the specified name, creating a forward reference
209
    /// record if needed.
210
    Comdat *getComdat(const std::string &Name, LocTy Loc);
211
 
212
    // Helper Routines.
213
    bool parseToken(lltok::Kind T, const char *ErrMsg);
214
    bool EatIfPresent(lltok::Kind T) {
215
      if (Lex.getKind() != T) return false;
216
      Lex.Lex();
217
      return true;
218
    }
219
 
220
    FastMathFlags EatFastMathFlagsIfPresent() {
221
      FastMathFlags FMF;
222
      while (true)
223
        switch (Lex.getKind()) {
224
        case lltok::kw_fast: FMF.setFast();            Lex.Lex(); continue;
225
        case lltok::kw_nnan: FMF.setNoNaNs();          Lex.Lex(); continue;
226
        case lltok::kw_ninf: FMF.setNoInfs();          Lex.Lex(); continue;
227
        case lltok::kw_nsz:  FMF.setNoSignedZeros();   Lex.Lex(); continue;
228
        case lltok::kw_arcp: FMF.setAllowReciprocal(); Lex.Lex(); continue;
229
        case lltok::kw_contract:
230
          FMF.setAllowContract(true);
231
          Lex.Lex();
232
          continue;
233
        case lltok::kw_reassoc: FMF.setAllowReassoc(); Lex.Lex(); continue;
234
        case lltok::kw_afn:     FMF.setApproxFunc();   Lex.Lex(); continue;
235
        default: return FMF;
236
        }
237
      return FMF;
238
    }
239
 
240
    bool parseOptionalToken(lltok::Kind T, bool &Present,
241
                            LocTy *Loc = nullptr) {
242
      if (Lex.getKind() != T) {
243
        Present = false;
244
      } else {
245
        if (Loc)
246
          *Loc = Lex.getLoc();
247
        Lex.Lex();
248
        Present = true;
249
      }
250
      return false;
251
    }
252
    bool parseStringConstant(std::string &Result);
253
    bool parseUInt32(unsigned &Val);
254
    bool parseUInt32(unsigned &Val, LocTy &Loc) {
255
      Loc = Lex.getLoc();
256
      return parseUInt32(Val);
257
    }
258
    bool parseUInt64(uint64_t &Val);
259
    bool parseUInt64(uint64_t &Val, LocTy &Loc) {
260
      Loc = Lex.getLoc();
261
      return parseUInt64(Val);
262
    }
263
    bool parseFlag(unsigned &Val);
264
 
265
    bool parseStringAttribute(AttrBuilder &B);
266
 
267
    bool parseTLSModel(GlobalVariable::ThreadLocalMode &TLM);
268
    bool parseOptionalThreadLocal(GlobalVariable::ThreadLocalMode &TLM);
269
    bool parseOptionalUnnamedAddr(GlobalVariable::UnnamedAddr &UnnamedAddr);
270
    bool parseOptionalAddrSpace(unsigned &AddrSpace, unsigned DefaultAS = 0);
271
    bool parseOptionalProgramAddrSpace(unsigned &AddrSpace) {
272
      return parseOptionalAddrSpace(
273
          AddrSpace, M->getDataLayout().getProgramAddressSpace());
274
    };
275
    bool parseEnumAttribute(Attribute::AttrKind Attr, AttrBuilder &B,
276
                            bool InAttrGroup);
277
    bool parseOptionalParamOrReturnAttrs(AttrBuilder &B, bool IsParam);
278
    bool parseOptionalParamAttrs(AttrBuilder &B) {
279
      return parseOptionalParamOrReturnAttrs(B, true);
280
    }
281
    bool parseOptionalReturnAttrs(AttrBuilder &B) {
282
      return parseOptionalParamOrReturnAttrs(B, false);
283
    }
284
    bool parseOptionalLinkage(unsigned &Res, bool &HasLinkage,
285
                              unsigned &Visibility, unsigned &DLLStorageClass,
286
                              bool &DSOLocal);
287
    void parseOptionalDSOLocal(bool &DSOLocal);
288
    void parseOptionalVisibility(unsigned &Res);
289
    void parseOptionalDLLStorageClass(unsigned &Res);
290
    bool parseOptionalCallingConv(unsigned &CC);
291
    bool parseOptionalAlignment(MaybeAlign &Alignment,
292
                                bool AllowParens = false);
293
    bool parseOptionalDerefAttrBytes(lltok::Kind AttrKind, uint64_t &Bytes);
294
    bool parseOptionalUWTableKind(UWTableKind &Kind);
295
    bool parseAllocKind(AllocFnKind &Kind);
296
    std::optional<MemoryEffects> parseMemoryAttr();
297
    bool parseScopeAndOrdering(bool IsAtomic, SyncScope::ID &SSID,
298
                               AtomicOrdering &Ordering);
299
    bool parseScope(SyncScope::ID &SSID);
300
    bool parseOrdering(AtomicOrdering &Ordering);
301
    bool parseOptionalStackAlignment(unsigned &Alignment);
302
    bool parseOptionalCommaAlign(MaybeAlign &Alignment, bool &AteExtraComma);
303
    bool parseOptionalCommaAddrSpace(unsigned &AddrSpace, LocTy &Loc,
304
                                     bool &AteExtraComma);
305
    bool parseAllocSizeArguments(unsigned &BaseSizeArg,
306
                                 std::optional<unsigned> &HowManyArg);
307
    bool parseVScaleRangeArguments(unsigned &MinValue, unsigned &MaxValue);
308
    bool parseIndexList(SmallVectorImpl<unsigned> &Indices,
309
                        bool &AteExtraComma);
310
    bool parseIndexList(SmallVectorImpl<unsigned> &Indices) {
311
      bool AteExtraComma;
312
      if (parseIndexList(Indices, AteExtraComma))
313
        return true;
314
      if (AteExtraComma)
315
        return tokError("expected index");
316
      return false;
317
    }
318
 
319
    // Top-Level Entities
320
    bool parseTopLevelEntities();
321
    bool validateEndOfModule(bool UpgradeDebugInfo);
322
    bool validateEndOfIndex();
323
    bool parseTargetDefinitions(DataLayoutCallbackTy DataLayoutCallback);
324
    bool parseTargetDefinition(std::string &TentativeDLStr, LocTy &DLStrLoc);
325
    bool parseModuleAsm();
326
    bool parseSourceFileName();
327
    bool parseUnnamedType();
328
    bool parseNamedType();
329
    bool parseDeclare();
330
    bool parseDefine();
331
 
332
    bool parseGlobalType(bool &IsConstant);
333
    bool parseUnnamedGlobal();
334
    bool parseNamedGlobal();
335
    bool parseGlobal(const std::string &Name, LocTy NameLoc, unsigned Linkage,
336
                     bool HasLinkage, unsigned Visibility,
337
                     unsigned DLLStorageClass, bool DSOLocal,
338
                     GlobalVariable::ThreadLocalMode TLM,
339
                     GlobalVariable::UnnamedAddr UnnamedAddr);
340
    bool parseAliasOrIFunc(const std::string &Name, LocTy NameLoc, unsigned L,
341
                           unsigned Visibility, unsigned DLLStorageClass,
342
                           bool DSOLocal, GlobalVariable::ThreadLocalMode TLM,
343
                           GlobalVariable::UnnamedAddr UnnamedAddr);
344
    bool parseComdat();
345
    bool parseStandaloneMetadata();
346
    bool parseNamedMetadata();
347
    bool parseMDString(MDString *&Result);
348
    bool parseMDNodeID(MDNode *&Result);
349
    bool parseUnnamedAttrGrp();
350
    bool parseFnAttributeValuePairs(AttrBuilder &B,
351
                                    std::vector<unsigned> &FwdRefAttrGrps,
352
                                    bool inAttrGrp, LocTy &BuiltinLoc);
353
    bool parseRequiredTypeAttr(AttrBuilder &B, lltok::Kind AttrToken,
354
                               Attribute::AttrKind AttrKind);
355
 
356
    // Module Summary Index Parsing.
357
    bool skipModuleSummaryEntry();
358
    bool parseSummaryEntry();
359
    bool parseModuleEntry(unsigned ID);
360
    bool parseModuleReference(StringRef &ModulePath);
361
    bool parseGVReference(ValueInfo &VI, unsigned &GVId);
362
    bool parseSummaryIndexFlags();
363
    bool parseBlockCount();
364
    bool parseGVEntry(unsigned ID);
365
    bool parseFunctionSummary(std::string Name, GlobalValue::GUID, unsigned ID);
366
    bool parseVariableSummary(std::string Name, GlobalValue::GUID, unsigned ID);
367
    bool parseAliasSummary(std::string Name, GlobalValue::GUID, unsigned ID);
368
    bool parseGVFlags(GlobalValueSummary::GVFlags &GVFlags);
369
    bool parseGVarFlags(GlobalVarSummary::GVarFlags &GVarFlags);
370
    bool parseOptionalFFlags(FunctionSummary::FFlags &FFlags);
371
    bool parseOptionalCalls(std::vector<FunctionSummary::EdgeTy> &Calls);
372
    bool parseHotness(CalleeInfo::HotnessType &Hotness);
373
    bool parseOptionalTypeIdInfo(FunctionSummary::TypeIdInfo &TypeIdInfo);
374
    bool parseTypeTests(std::vector<GlobalValue::GUID> &TypeTests);
375
    bool parseVFuncIdList(lltok::Kind Kind,
376
                          std::vector<FunctionSummary::VFuncId> &VFuncIdList);
377
    bool parseConstVCallList(
378
        lltok::Kind Kind,
379
        std::vector<FunctionSummary::ConstVCall> &ConstVCallList);
380
    using IdToIndexMapType =
381
        std::map<unsigned, std::vector<std::pair<unsigned, LocTy>>>;
382
    bool parseConstVCall(FunctionSummary::ConstVCall &ConstVCall,
383
                         IdToIndexMapType &IdToIndexMap, unsigned Index);
384
    bool parseVFuncId(FunctionSummary::VFuncId &VFuncId,
385
                      IdToIndexMapType &IdToIndexMap, unsigned Index);
386
    bool parseOptionalVTableFuncs(VTableFuncList &VTableFuncs);
387
    bool parseOptionalParamAccesses(
388
        std::vector<FunctionSummary::ParamAccess> &Params);
389
    bool parseParamNo(uint64_t &ParamNo);
390
    using IdLocListType = std::vector<std::pair<unsigned, LocTy>>;
391
    bool parseParamAccess(FunctionSummary::ParamAccess &Param,
392
                          IdLocListType &IdLocList);
393
    bool parseParamAccessCall(FunctionSummary::ParamAccess::Call &Call,
394
                              IdLocListType &IdLocList);
395
    bool parseParamAccessOffset(ConstantRange &Range);
396
    bool parseOptionalRefs(std::vector<ValueInfo> &Refs);
397
    bool parseTypeIdEntry(unsigned ID);
398
    bool parseTypeIdSummary(TypeIdSummary &TIS);
399
    bool parseTypeIdCompatibleVtableEntry(unsigned ID);
400
    bool parseTypeTestResolution(TypeTestResolution &TTRes);
401
    bool parseOptionalWpdResolutions(
402
        std::map<uint64_t, WholeProgramDevirtResolution> &WPDResMap);
403
    bool parseWpdRes(WholeProgramDevirtResolution &WPDRes);
404
    bool parseOptionalResByArg(
405
        std::map<std::vector<uint64_t>, WholeProgramDevirtResolution::ByArg>
406
            &ResByArg);
407
    bool parseArgs(std::vector<uint64_t> &Args);
408
    void addGlobalValueToIndex(std::string Name, GlobalValue::GUID,
409
                               GlobalValue::LinkageTypes Linkage, unsigned ID,
410
                               std::unique_ptr<GlobalValueSummary> Summary);
411
    bool parseOptionalAllocs(std::vector<AllocInfo> &Allocs);
412
    bool parseMemProfs(std::vector<MIBInfo> &MIBs);
413
    bool parseAllocType(uint8_t &AllocType);
414
    bool parseOptionalCallsites(std::vector<CallsiteInfo> &Callsites);
415
 
416
    // Type Parsing.
417
    bool parseType(Type *&Result, const Twine &Msg, bool AllowVoid = false);
418
    bool parseType(Type *&Result, bool AllowVoid = false) {
419
      return parseType(Result, "expected type", AllowVoid);
420
    }
421
    bool parseType(Type *&Result, const Twine &Msg, LocTy &Loc,
422
                   bool AllowVoid = false) {
423
      Loc = Lex.getLoc();
424
      return parseType(Result, Msg, AllowVoid);
425
    }
426
    bool parseType(Type *&Result, LocTy &Loc, bool AllowVoid = false) {
427
      Loc = Lex.getLoc();
428
      return parseType(Result, AllowVoid);
429
    }
430
    bool parseAnonStructType(Type *&Result, bool Packed);
431
    bool parseStructBody(SmallVectorImpl<Type *> &Body);
432
    bool parseStructDefinition(SMLoc TypeLoc, StringRef Name,
433
                               std::pair<Type *, LocTy> &Entry,
434
                               Type *&ResultTy);
435
 
436
    bool parseArrayVectorType(Type *&Result, bool IsVector);
437
    bool parseFunctionType(Type *&Result);
438
    bool parseTargetExtType(Type *&Result);
439
 
440
    // Function Semantic Analysis.
441
    class PerFunctionState {
442
      LLParser &P;
443
      Function &F;
444
      std::map<std::string, std::pair<Value*, LocTy> > ForwardRefVals;
445
      std::map<unsigned, std::pair<Value*, LocTy> > ForwardRefValIDs;
446
      std::vector<Value*> NumberedVals;
447
 
448
      /// FunctionNumber - If this is an unnamed function, this is the slot
449
      /// number of it, otherwise it is -1.
450
      int FunctionNumber;
451
    public:
452
      PerFunctionState(LLParser &p, Function &f, int functionNumber);
453
      ~PerFunctionState();
454
 
455
      Function &getFunction() const { return F; }
456
 
457
      bool finishFunction();
458
 
459
      /// GetVal - Get a value with the specified name or ID, creating a
460
      /// forward reference record if needed.  This can return null if the value
461
      /// exists but does not have the right type.
462
      Value *getVal(const std::string &Name, Type *Ty, LocTy Loc);
463
      Value *getVal(unsigned ID, Type *Ty, LocTy Loc);
464
 
465
      /// setInstName - After an instruction is parsed and inserted into its
466
      /// basic block, this installs its name.
467
      bool setInstName(int NameID, const std::string &NameStr, LocTy NameLoc,
468
                       Instruction *Inst);
469
 
470
      /// GetBB - Get a basic block with the specified name or ID, creating a
471
      /// forward reference record if needed.  This can return null if the value
472
      /// is not a BasicBlock.
473
      BasicBlock *getBB(const std::string &Name, LocTy Loc);
474
      BasicBlock *getBB(unsigned ID, LocTy Loc);
475
 
476
      /// DefineBB - Define the specified basic block, which is either named or
477
      /// unnamed.  If there is an error, this returns null otherwise it returns
478
      /// the block being defined.
479
      BasicBlock *defineBB(const std::string &Name, int NameID, LocTy Loc);
480
 
481
      bool resolveForwardRefBlockAddresses();
482
    };
483
 
484
    bool convertValIDToValue(Type *Ty, ValID &ID, Value *&V,
485
                             PerFunctionState *PFS);
486
 
487
    Value *checkValidVariableType(LocTy Loc, const Twine &Name, Type *Ty,
488
                                  Value *Val);
489
 
490
    bool parseConstantValue(Type *Ty, Constant *&C);
491
    bool parseValue(Type *Ty, Value *&V, PerFunctionState *PFS);
492
    bool parseValue(Type *Ty, Value *&V, PerFunctionState &PFS) {
493
      return parseValue(Ty, V, &PFS);
494
    }
495
 
496
    bool parseValue(Type *Ty, Value *&V, LocTy &Loc, PerFunctionState &PFS) {
497
      Loc = Lex.getLoc();
498
      return parseValue(Ty, V, &PFS);
499
    }
500
 
501
    bool parseTypeAndValue(Value *&V, PerFunctionState *PFS);
502
    bool parseTypeAndValue(Value *&V, PerFunctionState &PFS) {
503
      return parseTypeAndValue(V, &PFS);
504
    }
505
    bool parseTypeAndValue(Value *&V, LocTy &Loc, PerFunctionState &PFS) {
506
      Loc = Lex.getLoc();
507
      return parseTypeAndValue(V, PFS);
508
    }
509
    bool parseTypeAndBasicBlock(BasicBlock *&BB, LocTy &Loc,
510
                                PerFunctionState &PFS);
511
    bool parseTypeAndBasicBlock(BasicBlock *&BB, PerFunctionState &PFS) {
512
      LocTy Loc;
513
      return parseTypeAndBasicBlock(BB, Loc, PFS);
514
    }
515
 
516
    struct ParamInfo {
517
      LocTy Loc;
518
      Value *V;
519
      AttributeSet Attrs;
520
      ParamInfo(LocTy loc, Value *v, AttributeSet attrs)
521
          : Loc(loc), V(v), Attrs(attrs) {}
522
    };
523
    bool parseParameterList(SmallVectorImpl<ParamInfo> &ArgList,
524
                            PerFunctionState &PFS, bool IsMustTailCall = false,
525
                            bool InVarArgsFunc = false);
526
 
527
    bool
528
    parseOptionalOperandBundles(SmallVectorImpl<OperandBundleDef> &BundleList,
529
                                PerFunctionState &PFS);
530
 
531
    bool parseExceptionArgs(SmallVectorImpl<Value *> &Args,
532
                            PerFunctionState &PFS);
533
 
534
    bool resolveFunctionType(Type *RetType,
535
                             const SmallVector<ParamInfo, 16> &ArgList,
536
                             FunctionType *&FuncTy);
537
 
538
    // Constant Parsing.
539
    bool parseValID(ValID &ID, PerFunctionState *PFS,
540
                    Type *ExpectedTy = nullptr);
541
    bool parseGlobalValue(Type *Ty, Constant *&C);
542
    bool parseGlobalTypeAndValue(Constant *&V);
543
    bool parseGlobalValueVector(SmallVectorImpl<Constant *> &Elts,
544
                                std::optional<unsigned> *InRangeOp = nullptr);
545
    bool parseOptionalComdat(StringRef GlobalName, Comdat *&C);
546
    bool parseSanitizer(GlobalVariable *GV);
547
    bool parseMetadataAsValue(Value *&V, PerFunctionState &PFS);
548
    bool parseValueAsMetadata(Metadata *&MD, const Twine &TypeMsg,
549
                              PerFunctionState *PFS);
550
    bool parseMetadata(Metadata *&MD, PerFunctionState *PFS);
551
    bool parseMDTuple(MDNode *&MD, bool IsDistinct = false);
552
    bool parseMDNode(MDNode *&N);
553
    bool parseMDNodeTail(MDNode *&N);
554
    bool parseMDNodeVector(SmallVectorImpl<Metadata *> &Elts);
555
    bool parseMetadataAttachment(unsigned &Kind, MDNode *&MD);
556
    bool parseInstructionMetadata(Instruction &Inst);
557
    bool parseGlobalObjectMetadataAttachment(GlobalObject &GO);
558
    bool parseOptionalFunctionMetadata(Function &F);
559
 
560
    template <class FieldTy>
561
    bool parseMDField(LocTy Loc, StringRef Name, FieldTy &Result);
562
    template <class FieldTy> bool parseMDField(StringRef Name, FieldTy &Result);
563
    template <class ParserTy> bool parseMDFieldsImplBody(ParserTy ParseField);
564
    template <class ParserTy>
565
    bool parseMDFieldsImpl(ParserTy ParseField, LocTy &ClosingLoc);
566
    bool parseSpecializedMDNode(MDNode *&N, bool IsDistinct = false);
567
 
568
#define HANDLE_SPECIALIZED_MDNODE_LEAF(CLASS)                                  \
569
  bool parse##CLASS(MDNode *&Result, bool IsDistinct);
570
#include "llvm/IR/Metadata.def"
571
    bool parseDIArgList(MDNode *&Result, bool IsDistinct,
572
                        PerFunctionState *PFS);
573
 
574
    // Function Parsing.
575
    struct ArgInfo {
576
      LocTy Loc;
577
      Type *Ty;
578
      AttributeSet Attrs;
579
      std::string Name;
580
      ArgInfo(LocTy L, Type *ty, AttributeSet Attr, const std::string &N)
581
          : Loc(L), Ty(ty), Attrs(Attr), Name(N) {}
582
    };
583
    bool parseArgumentList(SmallVectorImpl<ArgInfo> &ArgList, bool &IsVarArg);
584
    bool parseFunctionHeader(Function *&Fn, bool IsDefine);
585
    bool parseFunctionBody(Function &Fn);
586
    bool parseBasicBlock(PerFunctionState &PFS);
587
 
588
    enum TailCallType { TCT_None, TCT_Tail, TCT_MustTail };
589
 
590
    // Instruction Parsing.  Each instruction parsing routine can return with a
591
    // normal result, an error result, or return having eaten an extra comma.
592
    enum InstResult { InstNormal = 0, InstError = 1, InstExtraComma = 2 };
593
    int parseInstruction(Instruction *&Inst, BasicBlock *BB,
594
                         PerFunctionState &PFS);
595
    bool parseCmpPredicate(unsigned &P, unsigned Opc);
596
 
597
    bool parseRet(Instruction *&Inst, BasicBlock *BB, PerFunctionState &PFS);
598
    bool parseBr(Instruction *&Inst, PerFunctionState &PFS);
599
    bool parseSwitch(Instruction *&Inst, PerFunctionState &PFS);
600
    bool parseIndirectBr(Instruction *&Inst, PerFunctionState &PFS);
601
    bool parseInvoke(Instruction *&Inst, PerFunctionState &PFS);
602
    bool parseResume(Instruction *&Inst, PerFunctionState &PFS);
603
    bool parseCleanupRet(Instruction *&Inst, PerFunctionState &PFS);
604
    bool parseCatchRet(Instruction *&Inst, PerFunctionState &PFS);
605
    bool parseCatchSwitch(Instruction *&Inst, PerFunctionState &PFS);
606
    bool parseCatchPad(Instruction *&Inst, PerFunctionState &PFS);
607
    bool parseCleanupPad(Instruction *&Inst, PerFunctionState &PFS);
608
    bool parseCallBr(Instruction *&Inst, PerFunctionState &PFS);
609
 
610
    bool parseUnaryOp(Instruction *&Inst, PerFunctionState &PFS, unsigned Opc,
611
                      bool IsFP);
612
    bool parseArithmetic(Instruction *&Inst, PerFunctionState &PFS,
613
                         unsigned Opc, bool IsFP);
614
    bool parseLogical(Instruction *&Inst, PerFunctionState &PFS, unsigned Opc);
615
    bool parseCompare(Instruction *&Inst, PerFunctionState &PFS, unsigned Opc);
616
    bool parseCast(Instruction *&Inst, PerFunctionState &PFS, unsigned Opc);
617
    bool parseSelect(Instruction *&Inst, PerFunctionState &PFS);
618
    bool parseVAArg(Instruction *&Inst, PerFunctionState &PFS);
619
    bool parseExtractElement(Instruction *&Inst, PerFunctionState &PFS);
620
    bool parseInsertElement(Instruction *&Inst, PerFunctionState &PFS);
621
    bool parseShuffleVector(Instruction *&Inst, PerFunctionState &PFS);
622
    int parsePHI(Instruction *&Inst, PerFunctionState &PFS);
623
    bool parseLandingPad(Instruction *&Inst, PerFunctionState &PFS);
624
    bool parseCall(Instruction *&Inst, PerFunctionState &PFS,
625
                   CallInst::TailCallKind TCK);
626
    int parseAlloc(Instruction *&Inst, PerFunctionState &PFS);
627
    int parseLoad(Instruction *&Inst, PerFunctionState &PFS);
628
    int parseStore(Instruction *&Inst, PerFunctionState &PFS);
629
    int parseCmpXchg(Instruction *&Inst, PerFunctionState &PFS);
630
    int parseAtomicRMW(Instruction *&Inst, PerFunctionState &PFS);
631
    int parseFence(Instruction *&Inst, PerFunctionState &PFS);
632
    int parseGetElementPtr(Instruction *&Inst, PerFunctionState &PFS);
633
    int parseExtractValue(Instruction *&Inst, PerFunctionState &PFS);
634
    int parseInsertValue(Instruction *&Inst, PerFunctionState &PFS);
635
    bool parseFreeze(Instruction *&I, PerFunctionState &PFS);
636
 
637
    // Use-list order directives.
638
    bool parseUseListOrder(PerFunctionState *PFS = nullptr);
639
    bool parseUseListOrderBB();
640
    bool parseUseListOrderIndexes(SmallVectorImpl<unsigned> &Indexes);
641
    bool sortUseListOrder(Value *V, ArrayRef<unsigned> Indexes, SMLoc Loc);
642
  };
643
} // End llvm namespace
644
 
645
#endif