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 |