diff --git a/CHANGELOG.md b/CHANGELOG.md --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,3 +1,11 @@ +## 8.0.0 (2019-03-10) + +* Upgrade to LLVM 8 +* It is now possible to define multiple variables with an empty name + without causing a name collision. Variables with an empty name + cannot be referenced. This fixes an issue caused by using + IRBuilder’s `extern` helper. + ## 7.0.1 (2018-09-29) * Support llvm-config executables named `llvm-config-7` in addition to diff --git a/Setup.hs b/Setup.hs --- a/Setup.hs +++ b/Setup.hs @@ -41,10 +41,10 @@ #endif llvmVersion :: Version -llvmVersion = mkVersion [7,0] +llvmVersion = mkVersion [8,0] --- Ordered by decreasing specificty so we will prefer llvm-config-7.0 --- over llvm-config-7 over llvm-config. +-- Ordered by decreasing specificty so we will prefer llvm-config-8.0 +-- over llvm-config-8 over llvm-config. llvmConfigNames :: [String] llvmConfigNames = reverse versionedConfigs ++ ["llvm-config"] where diff --git a/llvm-hs.cabal b/llvm-hs.cabal --- a/llvm-hs.cabal +++ b/llvm-hs.cabal @@ -1,5 +1,5 @@ name: llvm-hs -version: 7.0.1 +version: 8.0.0 license: BSD3 license-file: LICENSE author: Anthony Cowley, Stephen Diehl, Moritz Kiefer , Benjamin S. Scarlet @@ -38,14 +38,17 @@ src/LLVM/Internal/FFI/Value.h test/debug_metadata_1.ll test/debug_metadata_2.ll + test/debug_metadata_3.ll + test/debug_metadata_4.ll + test/debug_metadata_5.ll test/main_return_38.c -tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.1 +tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.4 extra-source-files: CHANGELOG.md source-repository head type: git location: git://github.com/llvm-hs/llvm-hs.git - branch: llvm-7 + branch: llvm-8 flag shared-llvm description: link against llvm shared rather than static library @@ -76,7 +79,7 @@ template-haskell >= 2.5.0.0, containers >= 0.4.2.1, array >= 0.4.0.0, - llvm-hs-pure == 7.0.* + llvm-hs-pure == 8.0.* hs-source-dirs: src default-extensions: NoImplicitPrelude @@ -233,6 +236,8 @@ src/LLVM/Internal/FFI/TypeC.cpp src/LLVM/Internal/FFI/ValueC.cpp + cc-options: -std=c++11 + if flag(debug) cc-options: -g @@ -252,7 +257,7 @@ mtl >= 2.1, transformers >= 0.3.0.0, temporary >= 1.2 && < 1.4, - pretty-show >= 1.6 && < 1.9, + pretty-show >= 1.6, process, temporary hs-source-dirs: test diff --git a/src/LLVM/Internal/EncodeAST.hs b/src/LLVM/Internal/EncodeAST.hs --- a/src/LLVM/Internal/EncodeAST.hs +++ b/src/LLVM/Internal/EncodeAST.hs @@ -119,12 +119,16 @@ defineLocal :: FFI.DescendentOf FFI.Value v => A.Name -> Ptr v -> EncodeAST () defineLocal n v' = do let v = FFI.upCast v' - def <- gets $ Map.lookup n . encodeStateLocals - case def of - Just (ForwardValue dummy) -> liftIO $ FFI.replaceAllUsesWith dummy v - Just _ -> throwM (EncodeException ("Duplicate definition of local variable: " <> show n <> ".")) - _ -> return () - modify $ \b -> b { encodeStateLocals = Map.insert n (DefinedValue v) (encodeStateLocals b) } + case n of + A.Name s + | ShortByteString.null s -> pure () + _ -> do + def <- gets $ Map.lookup n . encodeStateLocals + case def of + Just (ForwardValue dummy) -> liftIO $ FFI.replaceAllUsesWith dummy v + Just _ -> throwM (EncodeException ("Duplicate definition of local variable: " <> show n <> ".")) + _ -> return () + modify $ \b -> b { encodeStateLocals = Map.insert n (DefinedValue v) (encodeStateLocals b) } defineGlobal :: FFI.DescendentOf FFI.GlobalValue v => A.Name -> Ptr v -> EncodeAST () defineGlobal n v = modify $ \b -> b { encodeStateGlobals = Map.insert n (FFI.upCast v) (encodeStateGlobals b) } diff --git a/src/LLVM/Internal/FFI/Attribute.h b/src/LLVM/Internal/FFI/Attribute.h --- a/src/LLVM/Internal/FFI/Attribute.h +++ b/src/LLVM/Internal/FFI/Attribute.h @@ -53,6 +53,7 @@ macro(SanitizeThread,F,F,T) \ macro(ShadowCallStack,F,F,T) \ macro(Speculatable,F,F,T) \ + macro(SpeculativeLoadHardening,F,F,T) \ macro(StackAlignment,F,F,T) \ macro(StackProtect,F,F,T) \ macro(StackProtectReq,F,F,T) \ diff --git a/src/LLVM/Internal/FFI/LLVMCTypes.hsc b/src/LLVM/Internal/FFI/LLVMCTypes.hsc --- a/src/LLVM/Internal/FFI/LLVMCTypes.hsc +++ b/src/LLVM/Internal/FFI/LLVMCTypes.hsc @@ -363,3 +363,15 @@ pattern FullDebug = DebugEmissionKind 1 pattern LineTablesOnly :: DebugEmissionKind pattern LineTablesOnly = DebugEmissionKind 2 + +newtype DebugNameTableKind = DebugNameTableKind CUInt + deriving (Data, Show) + +pattern NameTableKindDefault :: DebugNameTableKind +pattern NameTableKindDefault = DebugNameTableKind 0 + +pattern NameTableKindGNU :: DebugNameTableKind +pattern NameTableKindGNU = DebugNameTableKind 1 + +pattern NameTableKindNone :: DebugNameTableKind +pattern NameTableKindNone = DebugNameTableKind 2 diff --git a/src/LLVM/Internal/FFI/Metadata.h b/src/LLVM/Internal/FFI/Metadata.h --- a/src/LLVM/Internal/FFI/Metadata.h +++ b/src/LLVM/Internal/FFI/Metadata.h @@ -51,10 +51,21 @@ macro(stack_value) \ macro(swap) \ macro(constu) \ + macro(lit0) \ macro(plus_uconst) \ macro(plus) \ macro(minus) \ macro(mul) \ + macro(div) \ + macro(mod) \ + macro(not) \ + macro(or) \ + macro(xor) \ + macro(and) \ + macro(shr) \ + macro(shra) \ + macro(shl) \ + macro(dup) \ macro(deref) \ macro(xderef) diff --git a/src/LLVM/Internal/FFI/Metadata.hs b/src/LLVM/Internal/FFI/Metadata.hs --- a/src/LLVM/Internal/FFI/Metadata.hs +++ b/src/LLVM/Internal/FFI/Metadata.hs @@ -268,7 +268,7 @@ -- | DIBasicType foreign import ccall unsafe "LLVM_Hs_Get_DIBasicType" getDIBasicType :: - Ptr Context -> DwTag -> Ptr MDString -> Word64 -> Word32 -> Encoding -> IO (Ptr DIBasicType) + Ptr Context -> DwTag -> Ptr MDString -> Word64 -> Word32 -> Encoding -> DIFlags -> IO (Ptr DIBasicType) foreign import ccall unsafe "LLVM_Hs_DIBasicType_GetEncoding" getBasicTypeEncoding :: Ptr DIBasicType -> IO Encoding @@ -421,6 +421,7 @@ Ptr DIFile -> CUInt -> Ptr DIType -> LLVMBool -> LLVMBool -> Ptr DIDerivedType -> + TupleArray DITemplateParameter -> Word32 -> IO (Ptr DIGlobalVariable) @@ -442,8 +443,9 @@ Ptr Context -> CUInt -> Ptr DIFile -> Ptr MDString -> LLVMBool -> Ptr MDString -> CUInt -> Ptr MDString -> DebugEmissionKind -> TupleArray DICompositeType -> TupleArray DIScope -> - TupleArray DIGlobalVariableExpression -> TupleArray DIImportedEntity -> TupleArray DIMacroNode -> Word64 -> LLVMBool -> - LLVMBool -> LLVMBool -> + TupleArray DIGlobalVariableExpression -> TupleArray DIImportedEntity -> TupleArray DIMacroNode -> + Word64 -> LLVMBool -> + LLVMBool -> DebugNameTableKind -> LLVMBool -> IO (Ptr DICompileUnit) foreign import ccall unsafe "LLVM_Hs_DICompileUnit_GetLanguage" getDICompileUnitLanguage :: @@ -455,9 +457,6 @@ foreign import ccall unsafe "LLVM_Hs_DICompileUnit_GetDebugInfoForProfiling" getDICompileUnitDebugInfoForProfiling :: Ptr DICompileUnit -> IO LLVMBool -foreign import ccall unsafe "LLVM_Hs_DICompileUnit_GetGnuPubnames" getDICompileUnitGnuPubnames :: - Ptr DICompileUnit -> IO LLVMBool - foreign import ccall unsafe "LLVM_Hs_DICompileUnit_GetOptimized" getDICompileUnitOptimized :: Ptr DICompileUnit -> IO LLVMBool @@ -476,6 +475,9 @@ foreign import ccall unsafe "LLVM_Hs_DICompileUnit_GetEmissionKind" getDICompileUnitEmissionKind :: Ptr DICompileUnit -> IO DebugEmissionKind +foreign import ccall unsafe "LLVM_Hs_DICompileUnit_GetNameTableKind" getDICompileUnitNameTableKind :: + Ptr DICompileUnit -> IO DebugNameTableKind + foreign import ccall unsafe "LLVM_Hs_DICompileUnit_GetDWOId" getDICompileUnitDWOId :: Ptr DICompileUnit -> IO Word64 @@ -493,6 +495,9 @@ foreign import ccall unsafe "LLVM_Hs_DICompileUnit_GetMacros" getDICompileUnitMacros :: Ptr DICompileUnit -> IO (TupleArray DIMacroNode) + +foreign import ccall unsafe "LLVM_Hs_DICompileUnit_GetRangesBaseAddress" getDICompileUnitRangesBaseAddress :: + Ptr DICompileUnit -> IO LLVMBool -- DIFlags foreign import ccall unsafe "LLVM_Hs_DIFlags_GetFlag" getDIFlag :: diff --git a/src/LLVM/Internal/FFI/MetadataC.cpp b/src/LLVM/Internal/FFI/MetadataC.cpp --- a/src/LLVM/Internal/FFI/MetadataC.cpp +++ b/src/LLVM/Internal/FFI/MetadataC.cpp @@ -284,8 +284,8 @@ // DIBasicType -DIBasicType* LLVM_Hs_Get_DIBasicType(LLVMContextRef ctx, uint16_t tag, MDString *name, uint64_t sizeInBits, uint32_t alignInBits, unsigned encoding) { - return DIBasicType::get(*unwrap(ctx), tag, name, sizeInBits, alignInBits, encoding); +DIBasicType* LLVM_Hs_Get_DIBasicType(LLVMContextRef ctx, uint16_t tag, MDString *name, uint64_t sizeInBits, uint32_t alignInBits, unsigned encoding, DINode::DIFlags flags) { + return DIBasicType::get(*unwrap(ctx), tag, name, sizeInBits, alignInBits, encoding, flags); } @@ -539,17 +539,18 @@ DICompileUnit *unit, Metadata *templateParams, DISubprogram *declaration, Metadata *variables, Metadata *thrownTypes) { LLVMContext &c = *unwrap(ctx); + DISubprogram::DISPFlags spFlags = DISubprogram::toSPFlags(isLocal, isDefinition, isOptimized, virtuality); if (isDefinition) { return DISubprogram::getDistinct( c, scope, name, linkageName, file, - line, type, isLocal, isDefinition, scopeLine, containingType, - virtuality, virtualIndex, thisAdjustment, flags, isOptimized, unit, + line, type, scopeLine, containingType, + virtualIndex, thisAdjustment, flags, spFlags, unit, templateParams, declaration, variables, thrownTypes); } else { return DISubprogram::get( c, scope, name, linkageName, file, - line, type, isLocal, isDefinition, scopeLine, containingType, - virtuality, virtualIndex, thisAdjustment, flags, isOptimized, unit, + line, type, scopeLine, containingType, + virtualIndex, thisAdjustment, flags, spFlags, unit, templateParams, declaration, variables, thrownTypes); } } @@ -620,12 +621,13 @@ DIFile* file, unsigned line, DIType* type, LLVMBool isLocalToUnit, LLVMBool isDefinition, DIDerivedType* declaration, + Metadata* templateParams, uint32_t alignInBits) { LLVMContext &c = *unwrap(ctx); return DIGlobalVariable::get(c, scope, name, linkageName, file, line, type, isLocalToUnit, isDefinition, - declaration, + declaration, templateParams, alignInBits); } @@ -651,14 +653,14 @@ unsigned sourceLanguage, DIFile* file, MDString* producer, LLVMBool isOptimized, MDString* flags, unsigned runtimeVersion, MDString* splitDebugFilename, unsigned emissionKind, Metadata* enumTypes, Metadata* retainedTypes, Metadata* globalVariables, Metadata* importedEntities, Metadata* macros, uint64_t dwoid, LLVMBool splitDebugInlining, - LLVMBool debugInfoForProfiling, LLVMBool gnuPubnames) { + LLVMBool debugInfoForProfiling, unsigned nameTableKind, LLVMBool debugBaseAddress) { LLVMContext &c = *unwrap(ctx); return DICompileUnit::getDistinct (c, sourceLanguage, file, producer, isOptimized, flags, runtimeVersion, splitDebugFilename, emissionKind, enumTypes, retainedTypes, globalVariables, importedEntities, macros, dwoid, splitDebugInlining, - debugInfoForProfiling, gnuPubnames); + debugInfoForProfiling, nameTableKind, debugBaseAddress); } unsigned LLVM_Hs_DICompileUnit_GetLanguage(DICompileUnit* cu) { @@ -673,10 +675,6 @@ return cu->getDebugInfoForProfiling(); } -LLVMBool LLVM_Hs_DICompileUnit_GetGnuPubnames(DICompileUnit* cu) { - return cu->getGnuPubnames(); -} - LLVMBool LLVM_Hs_DICompileUnit_GetOptimized(DICompileUnit* cu) { return cu->isOptimized(); } @@ -701,6 +699,10 @@ return cu->getEmissionKind(); } +unsigned LLVM_Hs_DICompileUnit_GetNameTableKind(DICompileUnit* cu) { + return static_cast(cu->getNameTableKind()); +} + uint64_t LLVM_Hs_DICompileUnit_GetDWOId(DICompileUnit* cu) { return cu->getDWOId(); } @@ -723,6 +725,10 @@ MDTuple* LLVM_Hs_DICompileUnit_GetMacros(DICompileUnit* cu) { return cast_or_null(cu->getRawMacros()); +} + +LLVMBool LLVM_Hs_DICompileUnit_GetRangesBaseAddress(DICompileUnit* cu) { + return cu->getRangesBaseAddress(); } // DIFlags diff --git a/src/LLVM/Internal/FFI/OrcJITC.cpp b/src/LLVM/Internal/FFI/OrcJITC.cpp --- a/src/LLVM/Internal/FFI/OrcJITC.cpp +++ b/src/LLVM/Internal/FFI/OrcJITC.cpp @@ -1,5 +1,6 @@ #include "llvm/Support/Error.h" +#include "LLVM/Internal/FFI/ErrorHandling.hpp" #include "LLVM/Internal/FFI/OrcJIT.h" #include "LLVM/Internal/FFI/Target.hpp" #include "llvm/ExecutionEngine/JITSymbol.h" @@ -103,10 +104,10 @@ T data; }; -typedef llvm::orc::CompileOnDemandLayer LLVMCompileOnDemandLayer; +typedef llvm::orc::LegacyCompileOnDemandLayer LLVMCompileOnDemandLayer; typedef LLVMCompileOnDemandLayer *LLVMCompileOnDemandLayerRef; -typedef llvm::orc::IRTransformLayer< +typedef llvm::orc::LegacyIRTransformLayer< CompileLayer, std::function(std::unique_ptr)>> LLVMIRTransformLayer; @@ -148,7 +149,7 @@ static LLVMJITSymbolFlags wrap(JITSymbolFlags f) { unsigned r = 0; #define ENUM_CASE(x) \ - if ((char)(f & JITSymbolFlags::x)) \ + if (f & JITSymbolFlags::x) \ r |= (unsigned)LLVMJITSymbolFlag##x; LLVM_HS_FOR_EACH_JIT_SYMBOL_FLAG(ENUM_CASE) #undef ENUM_CASE @@ -176,9 +177,9 @@ CompileLayer *LLVM_Hs_createIRCompileLayer(LinkingLayer *linkingLayer, LLVMTargetMachineRef tm) { TargetMachine *tmm = unwrap(tm); - return new CompileLayerT>( - IRCompileLayer(*linkingLayer, - SimpleCompiler(*tmm))); + return new CompileLayerT>( + LegacyIRCompileLayer(*linkingLayer, + SimpleCompiler(*tmm))); } CompileLayer *LLVM_Hs_createCompileOnDemandLayer( @@ -264,14 +265,14 @@ LinkingLayer *LLVM_Hs_createObjectLinkingLayer( ExecutionSession *es, LLVMSymbolResolverRef (*symbolResolver)(VModuleKey)) { - return new LinkingLayerT( - RTDyldObjectLinkingLayer(*es, [symbolResolver](VModuleKey k) { - return RTDyldObjectLinkingLayer::Resources{ + return new LinkingLayerT( + LegacyRTDyldObjectLinkingLayer(*es, [symbolResolver](VModuleKey k) { + return LegacyRTDyldObjectLinkingLayer::Resources{ std::make_shared(), *symbolResolver(k)}; })); } -// /* Fuctions that work on all object layers */ +/* Fuctions that work on all object layers */ void LLVM_Hs_LinkingLayer_dispose(LinkingLayer *linkingLayer) { delete linkingLayer; @@ -371,9 +372,15 @@ ExecutionSession *es, const char *triple, JITTargetAddress errorHandler) { // We copy the string so that it can be freed on the Haskell side. std::string tripleStr(triple); - return llvm::orc::createLocalCompileCallbackManager( - Triple(std::move(tripleStr)), *es, errorHandler) - .release(); + auto ccMgr = + llvm::orc::createLocalCompileCallbackManager(Triple(std::move(tripleStr)), *es, errorHandler); + if (!ccMgr) { + std::string errMsg; + raw_string_ostream errStream(errMsg); + errStream << ccMgr.takeError(); + reportFatalError(errStream.str()); + } + return std::move(*ccMgr).release(); } void LLVM_Hs_disposeCallbackManager( diff --git a/src/LLVM/Internal/FFI/PassManagerC.cpp b/src/LLVM/Internal/FFI/PassManagerC.cpp --- a/src/LLVM/Internal/FFI/PassManagerC.cpp +++ b/src/LLVM/Internal/FFI/PassManagerC.cpp @@ -10,6 +10,8 @@ #include "llvm/Transforms/Vectorize.h" #include "llvm/Transforms/Instrumentation.h" #include "llvm/Transforms/Instrumentation/BoundsChecking.h" +#include "llvm/Transforms/Instrumentation/MemorySanitizer.h" +#include "llvm/Transforms/Instrumentation/ThreadSanitizer.h" #include "llvm/Transforms/Utils.h" #include "llvm/CodeGen/Passes.h" #include "llvm-c/Target.h" @@ -151,13 +153,13 @@ LLVMPassManagerRef PM, LLVMBool trackOrigins ) { - unwrap(PM)->add(createMemorySanitizerPass(trackOrigins)); + unwrap(PM)->add(createMemorySanitizerLegacyPassPass(trackOrigins)); } void LLVM_Hs_AddThreadSanitizerPass( LLVMPassManagerRef PM ) { - unwrap(PM)->add(createThreadSanitizerPass()); + unwrap(PM)->add(createThreadSanitizerLegacyPassPass()); } void LLVM_Hs_AddBoundsCheckingPass(LLVMPassManagerRef PM) { @@ -166,10 +168,10 @@ void LLVM_Hs_AddLoopVectorizePass( LLVMPassManagerRef PM, - LLVMBool noUnrolling, - LLVMBool alwaysVectorize + LLVMBool interleaveOnlyWhenForced, + LLVMBool vectorizeOnlyWhenForced ) { - unwrap(PM)->add(createLoopVectorizePass(noUnrolling, alwaysVectorize)); + unwrap(PM)->add(createLoopVectorizePass(interleaveOnlyWhenForced, vectorizeOnlyWhenForced)); } void LLVM_Hs_PassManagerBuilderSetLibraryInfo( diff --git a/src/LLVM/Internal/Instruction.hs b/src/LLVM/Internal/Instruction.hs --- a/src/LLVM/Internal/Instruction.hs +++ b/src/LLVM/Internal/Instruction.hs @@ -139,10 +139,12 @@ attrs <- callInstAttributeList i fv <- liftIO $ FFI.getCallSiteCalledValue i f <- decodeM fv - args <- forM (leftBiasedZip [1..nOps-3] (parameterAttributes attrs)) $ \(j, pAttrs) -> - (, fromMaybe [] pAttrs) <$> op (j-1) - rd <- successor (nOps - 2) - ed <- successor (nOps - 1) + let argIndices = if nOps >= 4 then [0 .. nOps - 4] else [] + args <- + forM (leftBiasedZip argIndices (parameterAttributes attrs)) $ \(j, pAttrs) -> + (, fromMaybe [] pAttrs) <$> op j + rd <- successor (nOps - 3) + ed <- successor (nOps - 2) return A.Invoke { A.callingConvention' = cc, A.returnAttributes' = returnAttributes attrs, diff --git a/src/LLVM/Internal/Operand.hs b/src/LLVM/Internal/Operand.hs --- a/src/LLVM/Internal/Operand.hs +++ b/src/LLVM/Internal/Operand.hs @@ -302,6 +302,12 @@ , (FFI.LineTablesOnly, A.LineTablesOnly) ] +genCodingInstance [t|A.DebugNameTableKind|] ''FFI.DebugNameTableKind + [ (FFI.NameTableKindDefault, A.NameTableKindDefault) + , (FFI.NameTableKindGNU, A.NameTableKindGNU) + , (FFI.NameTableKindNone, A.NameTableKindNone) + ] + instance DecodeM DecodeAST A.DICompileUnit (Ptr FFI.DICompileUnit) where decodeM p = do language <- decodeM =<< liftIO (FFI.getDICompileUnitLanguage p) @@ -315,7 +321,6 @@ dwoid <- decodeM =<< liftIO (FFI.getDICompileUnitDWOId p) splitDebugInlining <- decodeM =<< liftIO (FFI.getDICompileUnitSplitDebugInlining p) debugInfoForProfiling <- decodeM =<< liftIO (FFI.getDICompileUnitDebugInfoForProfiling p) - gnuPubnames <- decodeM =<< liftIO (FFI.getDICompileUnitGnuPubnames p) enums <- decodeM =<< liftIO (FFI.getDICompileUnitEnumTypes p) retainedTypes' <- decodeM =<< liftIO (FFI.getDICompileUnitRetainedTypes p) let toRetainedType :: A.MDRef A.DIScope -> DecodeAST (A.MDRef (Either A.DIType A.DISubprogram)) @@ -327,6 +332,8 @@ globals <- decodeM =<< liftIO (FFI.getDICompileUnitGlobalVariables p) entities <- decodeM =<< liftIO (FFI.getDICompileUnitImportedEntities p) macros <- decodeM =<< liftIO (FFI.getDICompileUnitMacros p) + nameTableKind <- decodeM =<< liftIO (FFI.getDICompileUnitNameTableKind p) + debugBaseAddress <- decodeM =<< liftIO (FFI.getDICompileUnitRangesBaseAddress p) pure A.CompileUnit { A.language = language , A.file = file @@ -344,7 +351,8 @@ , A.dWOId = dwoid , A.splitDebugInlining = splitDebugInlining , A.debugInfoForProfiling = debugInfoForProfiling - , A.gnuPubnames = gnuPubnames + , A.nameTableKind = nameTableKind + , A.debugBaseAddress = debugBaseAddress } instance EncodeM EncodeAST A.DICompileUnit (Ptr FFI.DICompileUnit) where @@ -365,15 +373,15 @@ dwoid <- encodeM dWOId splitDebugInlining <- encodeM splitDebugInlining debugInfoForProfiling <- encodeM debugInfoForProfiling - gnuPubnames <- encodeM gnuPubnames + nameTableKind <- encodeM nameTableKind + debugBaseAddress <- encodeM debugBaseAddress Context c <- gets encodeStateContext liftIO $ FFI.getDICompileUnit c language file producer optimized flags runtimeVersion debugFileName emissionKind enums retainedTypes globals imports macros dwoid splitDebugInlining - debugInfoForProfiling - gnuPubnames + debugInfoForProfiling nameTableKind debugBaseAddress instance EncodeM EncodeAST A.DIScope (Ptr FFI.DIScope) where encodeM (A.DIFile f) = FFI.upCast <$> (encodeM f :: EncodeAST (Ptr FFI.DIFile)) @@ -422,6 +430,7 @@ , (FFI.DwAtE_signed_char, A.SignedCharEncoding) , (FFI.DwAtE_unsigned, A.UnsignedEncoding) , (FFI.DwAtE_unsigned_char, A.UnsignedCharEncoding) + , (FFI.DwAtE_UTF, A.UTFEncoding) ] genCodingInstance [t|A.ChecksumKind|] ''FFI.ChecksumKind @@ -555,15 +564,17 @@ align <- liftIO (FFI.getTypeAlignInBits (FFI.upCast diTy)) name <- decodeM =<< liftIO (FFI.getTypeName (FFI.upCast diTy)) encoding <- decodeM =<< liftIO (FFI.getBasicTypeEncoding diTy) - pure (A.BasicType name size align encoding tag) + flags <- decodeM =<< liftIO (FFI.getTypeFlags (castPtr diTy :: Ptr FFI.DIType)) + pure (A.BasicType name size align encoding tag flags) instance EncodeM EncodeAST A.DIBasicType (Ptr FFI.DIBasicType) where encodeM A.BasicType {..} = do tag <- encodeM tag name <- encodeM name encoding <- encodeM encoding + flags <- encodeM flags Context c <- gets encodeStateContext - liftIO (FFI.getDIBasicType c tag name sizeInBits alignInBits encoding) + liftIO (FFI.getDIBasicType c tag name sizeInBits alignInBits encoding flags) instance EncodeM EncodeAST A.DISubroutineType (Ptr FFI.DISubroutineType) where @@ -680,6 +691,7 @@ , A.local = local , A.definition = definition , A.staticDataMemberDeclaration = decl + , A.templateParams = [] , A.alignInBits = align } @@ -694,8 +706,9 @@ local <- encodeM local definition <- encodeM definition dataMemberDeclaration <- encodeM staticDataMemberDeclaration + templateParams <- encodeM templateParams Context c <- gets encodeStateContext - liftIO (FFI.getDIGlobalVariable c scope name linkageName file line type' local definition dataMemberDeclaration alignInBits) + liftIO (FFI.getDIGlobalVariable c scope name linkageName file line type' local definition dataMemberDeclaration templateParams alignInBits) instance DecodeM DecodeAST A.DILocalVariable (Ptr FFI.DILocalVariable) where decodeM p = do @@ -975,10 +988,21 @@ A.DW_OP_StackValue -> [FFI.DwOp_stack_value] A.DW_OP_Swap -> [FFI.DwOp_swap] A.DW_OP_ConstU arg -> [FFI.DwOp_constu, arg] + A.DW_OP_Lit0 -> [FFI.DwOp_lit0] A.DW_OP_PlusUConst arg -> [FFI.DwOp_plus_uconst, arg] A.DW_OP_Plus -> [FFI.DwOp_plus] A.DW_OP_Minus -> [FFI.DwOp_minus] A.DW_OP_Mul -> [FFI.DwOp_mul] + A.DW_OP_Div -> [FFI.DwOp_div] + A.DW_OP_Mod -> [FFI.DwOp_mod] + A.DW_OP_Not -> [FFI.DwOp_not] + A.DW_OP_Or -> [FFI.DwOp_or] + A.DW_OP_Xor -> [FFI.DwOp_xor] + A.DW_OP_And -> [FFI.DwOp_and] + A.DW_OP_Shr -> [FFI.DwOp_shr] + A.DW_OP_Shra -> [FFI.DwOp_shra] + A.DW_OP_Shl -> [FFI.DwOp_shl] + A.DW_OP_Dup -> [FFI.DwOp_dup] A.DW_OP_Deref -> [FFI.DwOp_deref] A.DW_OP_XDeref -> [FFI.DwOp_xderef] @@ -1064,6 +1088,7 @@ expectElems "constu" i 1 arg <- FFI.getDIExpressionElement diExpr (i + 1) (A.DW_OP_ConstU arg:) <$> go (i + 2) + FFI.DwOp_lit0 -> (A.DW_OP_Lit0 :) <$> go (i + 1) FFI.DwOp_plus_uconst -> do expectElems "uconst" i 1 arg <- FFI.getDIExpressionElement diExpr (i + 1) @@ -1071,6 +1096,16 @@ FFI.DwOp_plus -> (A.DW_OP_Plus :) <$> go (i + 1) FFI.DwOp_minus -> (A.DW_OP_Minus :) <$> go (i + 1) FFI.DwOp_mul -> (A.DW_OP_Mul :) <$> go (i + 1) + FFI.DwOp_div -> (A.DW_OP_Div :) <$> go (i + 1) + FFI.DwOp_mod -> (A.DW_OP_Mod :) <$> go (i + 1) + FFI.DwOp_not -> (A.DW_OP_Not :) <$> go (i + 1) + FFI.DwOp_or -> (A.DW_OP_Or :) <$> go (i + 1) + FFI.DwOp_xor -> (A.DW_OP_Xor :) <$> go (i + 1) + FFI.DwOp_and -> (A.DW_OP_And :) <$> go (i + 1) + FFI.DwOp_shr -> (A.DW_OP_Shr :) <$> go (i + 1) + FFI.DwOp_shra -> (A.DW_OP_Shra :) <$> go (i + 1) + FFI.DwOp_shl -> (A.DW_OP_Shl :) <$> go (i + 1) + FFI.DwOp_dup -> (A.DW_OP_Dup :) <$> go (i + 1) FFI.DwOp_deref -> (A.DW_OP_Deref :) <$> go (i + 1) FFI.DwOp_xderef -> (A.DW_OP_XDeref :) <$> go (i + 1) _ -> throwM (DecodeException ("Unknown DW_OP " <> show op)) diff --git a/src/LLVM/Internal/Type.hs b/src/LLVM/Internal/Type.hs --- a/src/LLVM/Internal/Type.hs +++ b/src/LLVM/Internal/Type.hs @@ -147,6 +147,7 @@ `ap` (decodeM =<< liftIO (FFI.getArrayLength t)) `ap` (decodeM =<< liftIO (FFI.getElementType t)) [typeKindP|Token|] -> return A.TokenType + [typeKindP|Label|] -> return A.LabelType _ -> error $ "unhandled type kind " ++ show k createNamedType :: A.Name -> EncodeAST (Ptr FFI.Type, Maybe ShortByteString) diff --git a/src/LLVM/Transforms.hs b/src/LLVM/Transforms.hs --- a/src/LLVM/Transforms.hs +++ b/src/LLVM/Transforms.hs @@ -80,8 +80,8 @@ -- here begin the vectorization passes | LoopVectorize { - noUnrolling :: Bool, - alwaysVectorize :: Bool + interleaveOnlyWhenForced :: Bool, + vectorizeOnlyWhenForced :: Bool } | SuperwordLevelParallelismVectorize @@ -106,8 +106,8 @@ -- | Defaults for the 'LoopVectorize' pass defaultLoopVectorize :: Pass defaultLoopVectorize = LoopVectorize { - noUnrolling = False, - alwaysVectorize = True + interleaveOnlyWhenForced = False, + vectorizeOnlyWhenForced = False } -- | See . diff --git a/test/LLVM/Test/Metadata.hs b/test/LLVM/Test/Metadata.hs --- a/test/LLVM/Test/Metadata.hs +++ b/test/LLVM/Test/Metadata.hs @@ -82,6 +82,7 @@ , SignedCharEncoding , UnsignedEncoding , UnsignedCharEncoding + , UTFEncoding ] instance Arbitrary ChecksumInfo where @@ -98,7 +99,7 @@ arbitrary = oneof [DIBasicType <$> arbitrary] instance Arbitrary DIBasicType where - arbitrary = BasicType <$> arbitrarySbs <*> arbitrary <*> arbitrary <*> arbitrary <*> arbitrary + arbitrary = BasicType <$> arbitrarySbs <*> arbitrary <*> arbitrary <*> arbitrary <*> arbitrary <*> genDIFlags genDIArrayType :: Maybe (MDRef DIType) -> Gen DICompositeType genDIArrayType elTy = @@ -277,11 +278,13 @@ roundtripDIDerivedType :: TestTree roundtripDIDerivedType = testProperty "roundtrip DIDerivedType" $ \baseType -> - forAll (genDIDerivedType Nothing Nothing (MDRef baseTypeID)) $ \diDerivedType -> ioProperty $ + forAll (QC.elements [Nothing, Just (MDRef baseTypeID)]) $ \baseType' -> + forAll (genDIDerivedType Nothing Nothing baseType') $ \diDerivedType -> ioProperty $ withContext $ \context -> runEncodeAST context $ do let mod = defaultModule { moduleDefinitions = [ NamedMetadataDefinition "dummy" [derivedTypeID] + , NamedMetadataDefinition "dummy2" [baseTypeID] , MetadataNodeDefinition derivedTypeID (DINode (DIScope (DIType (DIDerivedType diDerivedType)))) , MetadataNodeDefinition baseTypeID (DINode (DIScope (DIType baseType))) ] @@ -297,7 +300,7 @@ , ConstType, VolatileType, RestrictType, AtomicType, Member, Inheritance, Friend ] -genDIDerivedType :: Maybe (MDRef DIFile) -> Maybe (MDRef DIScope) -> MDRef DIType -> Gen DIDerivedType +genDIDerivedType :: Maybe (MDRef DIFile) -> Maybe (MDRef DIScope) -> Maybe (MDRef DIType) -> Gen DIDerivedType genDIDerivedType file scope baseType = DerivedType <$> arbitrary @@ -392,10 +395,14 @@ <*> arbitrary <*> arbitrary <*> arbitrary + <*> arbitrary instance Arbitrary DebugEmissionKind where arbitrary = QC.elements [NoDebug, FullDebug, LineTablesOnly] +instance Arbitrary DebugNameTableKind where + arbitrary = QC.elements [NameTableKindDefault, NameTableKindGNU, NameTableKindNone] + roundtripDIVariable :: TestTree roundtripDIVariable = testProperty "roundtrip DIVariable" $ \diFile diType -> forAll (genDIVariable Nothing (Just (MDRef fileID)) (Just (MDRef typeID))) $ \diVariable -> ioProperty $ @@ -441,6 +448,7 @@ <*> arbitrary <*> arbitrary <*> pure Nothing + <*> pure [] <*> arbitrary instance Arbitrary A.DIInheritance where @@ -597,6 +605,7 @@ let mod = defaultModule { moduleDefinitions = [ NamedMetadataDefinition "dummy" [paramID] + , NamedMetadataDefinition "dummyTy" [tyID] , MetadataNodeDefinition paramID (DINode (DITemplateParameter param)) , MetadataNodeDefinition tyID (DINode (DIScope (DIType diType))) ] @@ -611,8 +620,8 @@ genDITemplateParameter :: Metadata -> MDRef DIType -> Gen DITemplateParameter genDITemplateParameter value ty = - oneof [ DITemplateTypeParameter <$> arbitrarySbs <*> pure ty - , DITemplateValueParameter <$> arbitrarySbs <*> pure ty <*> pure value <*> arbitrary + oneof [ DITemplateTypeParameter <$> arbitrarySbs <*> pure (Just ty) + , DITemplateValueParameter <$> arbitrarySbs <*> pure Nothing <*> pure (Just value) <*> arbitrary ] roundtripDINamespace :: TestTree @@ -668,11 +677,22 @@ [ DwOpFragment <$> (DW_OP_LLVM_Fragment <$> arbitrary <*> arbitrary) , pure DW_OP_StackValue , pure DW_OP_Swap + , pure DW_OP_Lit0 , DW_OP_ConstU <$> arbitrary , DW_OP_PlusUConst <$> arbitrary , pure DW_OP_Plus , pure DW_OP_Minus , pure DW_OP_Mul + , pure DW_OP_Div + , pure DW_OP_Mod + , pure DW_OP_Not + , pure DW_OP_Or + , pure DW_OP_Xor + , pure DW_OP_And + , pure DW_OP_Shr + , pure DW_OP_Shra + , pure DW_OP_Shl + , pure DW_OP_Dup , pure DW_OP_Deref , pure DW_OP_XDeref ] @@ -690,6 +710,21 @@ withContext $ \context -> do a <- withModuleFromLLVMAssembly' context fStr moduleAST pure () + , testCase "test/debug_metadata_3.ll" $ do + fStr <- B.readFile "test/debug_metadata_3.ll" + withContext $ \context -> do + a <- withModuleFromLLVMAssembly' context fStr moduleAST + pure () + , testCase "test/debug_metadata_4.ll" $ do + fStr <- B.readFile "test/debug_metadata_4.ll" + withContext $ \context -> do + a <- withModuleFromLLVMAssembly' context fStr moduleAST + pure () + , testCase "test/debug_metadata_5.ll" $ do + fStr <- B.readFile "test/debug_metadata_5.ll" + withContext $ \context -> do + a <- withModuleFromLLVMAssembly' context fStr moduleAST + pure () ] globalMetadata = testCase "global" $ do @@ -891,7 +926,8 @@ , dWOId = 0 , splitDebugInlining = True , debugInfoForProfiling = False - , gnuPubnames = False + , nameTableKind = NameTableKindDefault + , debugBaseAddress = False } , MetadataNodeDefinition (MetadataNodeID 3) $ DINode . DIScope . DIFile $ @@ -911,7 +947,7 @@ \!0 = !{i32 2, !\"Debug Info Version\", i32 3}\n\ \!1 = distinct !DICompileUnit(language: DW_LANG_C99, file: !2, producer: \"clang version 6.0.0 (tags/RELEASE_600/final)\", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug)\n\ \!2 = !DIFile(filename: \"main.c\", directory: \"/\")\n\ - \!3 = distinct !DISubprogram(name: \"main\", scope: null, isLocal: false, isDefinition: true, isOptimized: false, unit: !1)\n" + \!3 = distinct !DISubprogram(name: \"main\", scope: null, spFlags: DISPFlagDefinition, unit: !1)\n" strCheck ast s, testCase "metadata on global variables" $ do let ast = Module "" "" Nothing Nothing @@ -952,7 +988,8 @@ , dWOId = 0 , splitDebugInlining = True , debugInfoForProfiling = False - , gnuPubnames = False + , nameTableKind = NameTableKindDefault + , debugBaseAddress = False } , MetadataNodeDefinition (MetadataNodeID 3) $ DINode . DIVariable . DIGlobalVariable $ @@ -966,6 +1003,7 @@ , local = False , definition = True , staticDataMemberDeclaration = Nothing + , templateParams = [] , alignInBits = 0 } , MetadataNodeDefinition (MetadataNodeID 4) (DIExpression (Expression [])) @@ -974,7 +1012,7 @@ O.File "main.c" "/" Nothing , MetadataNodeDefinition (MetadataNodeID 6) $ DINode . DIScope . DIType . DIBasicType $ - BasicType "" 0 0 Nothing BaseType + BasicType "" 0 0 Nothing BaseType [] ] s = "; ModuleID = ''\n\ diff --git a/test/LLVM/Test/Optimization.hs b/test/LLVM/Test/Optimization.hs --- a/test/LLVM/Test/Optimization.hs +++ b/test/LLVM/Test/Optimization.hs @@ -282,6 +282,7 @@ ] } mOut <- do + initializeAllTargets let triple = "x86_64" (target, _) <- lookupTarget Nothing triple withTargetOptions $ \targetOptions -> do diff --git a/test/LLVM/Test/Regression.hs b/test/LLVM/Test/Regression.hs --- a/test/LLVM/Test/Regression.hs +++ b/test/LLVM/Test/Regression.hs @@ -11,6 +11,7 @@ import qualified LLVM.AST.Constant as C import LLVM.AST.Global hiding (metadata) import LLVM.AST.Type +import LLVM.IRBuilder import LLVM.Context import LLVM.Exception @@ -189,6 +190,10 @@ withContext $ \context -> do withModuleFromAST context ast (\_ -> return ()) +emptyName :: AST.Module +emptyName = defaultModule { moduleDefinitions = defs } + where defs = execModuleBuilder emptyModuleBuilder (extern "f" [i32, i64] void) + tests :: TestTree tests = testGroup @@ -212,4 +217,8 @@ , testCase "Reusing variable names across functions is allowed" (shouldNotThrow reuseAcrossFunctions) + , testCase + "Empty names do not collide" $ do + moduleStr <- withContext $ \cxt -> withModuleFromAST cxt emptyName moduleLLVMAssembly + moduleStr @?= "; ModuleID = ''\nsource_filename = \"\"\n\ndeclare void @f(i32, i64)\n" ] diff --git a/test/debug_metadata_3.ll b/test/debug_metadata_3.ll new file mode 100644 --- /dev/null +++ b/test/debug_metadata_3.ll @@ -0,0 +1,5759 @@ +; ModuleID = '/home/firefox/firefox/mozilla-unified/widget/LSBUtils.cpp' +source_filename = "/home/firefox/firefox/mozilla-unified/widget/LSBUtils.cpp" +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-pc-linux-gnu" + +%class.nsTSubstring = type { %"class.mozilla::detail::nsTStringRepr" } +%"class.mozilla::detail::nsTStringRepr" = type { i8*, i32, i16, i16 } +%"class.std::vector" = type { %"struct.std::_Vector_base" } +%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base, std::allocator > >::_Vector_impl" } +%"struct.std::_Vector_base, std::allocator > >::_Vector_impl" = type { %"class.std::__cxx11::basic_string"*, %"class.std::__cxx11::basic_string"*, %"class.std::__cxx11::basic_string"* } +%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string, std::allocator >::_Alloc_hider", i64, %union.anon } +%"struct.std::__cxx11::basic_string, std::allocator >::_Alloc_hider" = type { i8* } +%union.anon = type { i64, [8 x i8] } +%"class.std::allocator.0" = type { i8 } +%"struct.base::LaunchOptions" = type { i8, %"class.std::map", %"class.std::vector.6", %"class.mozilla::UniquePtr" } +%"class.std::map" = type { %"class.std::_Rb_tree" } +%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree, std::pair, std::__cxx11::basic_string >, std::_Select1st, std::__cxx11::basic_string > >, std::less >, std::allocator, std::__cxx11::basic_string > > >::_Rb_tree_impl" } +%"struct.std::_Rb_tree, std::pair, std::__cxx11::basic_string >, std::_Select1st, std::__cxx11::basic_string > >, std::less >, std::allocator, std::__cxx11::basic_string > > >::_Rb_tree_impl" = type { %"struct.std::_Rb_tree_key_compare", %"struct.std::_Rb_tree_header" } +%"struct.std::_Rb_tree_key_compare" = type { %"struct.std::less" } +%"struct.std::less" = type { i8 } +%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 } +%"struct.std::_Rb_tree_node_base" = type { i32, %"struct.std::_Rb_tree_node_base"*, %"struct.std::_Rb_tree_node_base"*, %"struct.std::_Rb_tree_node_base"* } +%"class.std::vector.6" = type { %"struct.std::_Vector_base.7" } +%"struct.std::_Vector_base.7" = type { %"struct.std::_Vector_base, std::allocator > >::_Vector_impl" } +%"struct.std::_Vector_base, std::allocator > >::_Vector_impl" = type { %"struct.std::pair"*, %"struct.std::pair"*, %"struct.std::pair"* } +%"struct.std::pair" = type { i32, i32 } +%"class.mozilla::UniquePtr" = type { %"struct.mozilla::Pair" } +%"struct.mozilla::Pair" = type { %"struct.mozilla::detail::PairHelper" } +%"struct.mozilla::detail::PairHelper" = type { %"struct.base::LaunchOptions::ForkDelegate"* } +%"struct.base::LaunchOptions::ForkDelegate" = type { i32 (...)** } +%"class.std::allocator" = type { i8 } +%"class.std::initializer_list" = type { %"class.std::__cxx11::basic_string"*, i64 } +%"class.mozilla::DefaultDelete" = type { i8 } +%struct._IO_FILE = type { i32, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, %struct._IO_marker*, %struct._IO_FILE*, i32, i32, i64, i16, i8, [1 x i8], i8*, i64, %struct._IO_codecvt*, %struct._IO_wide_data*, %struct._IO_FILE*, i8*, i64, i32, [20 x i8] } +%struct._IO_marker = type opaque +%struct._IO_codecvt = type opaque +%struct._IO_wide_data = type opaque +%"class.mozilla::Scoped" = type { %struct._IO_FILE* } +%"struct.std::_Rb_tree_node" = type { %"struct.std::_Rb_tree_node_base", %"struct.__gnu_cxx::__aligned_membuf" } +%"struct.__gnu_cxx::__aligned_membuf" = type { [64 x i8] } +%"struct.std::pair.11" = type { %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string" } +%"class.__gnu_cxx::new_allocator" = type { i8 } +%"class.__gnu_cxx::__normal_iterator" = type { %"struct.std::pair"* } +%"class.std::move_iterator" = type { %"struct.std::pair"* } +%"class.std::allocator.8" = type { i8 } +%"class.__gnu_cxx::new_allocator.9" = type { i8 } + +$_ZN4base13LaunchOptionsD2Ev = comdat any + +$_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EED2Ev = comdat any + +$_ZN7mozilla9UniquePtrIN4base13LaunchOptions12ForkDelegateENS_13DefaultDeleteIS3_EEED2Ev = comdat any + +$_ZNSt12_Vector_baseISt4pairIiiESaIS1_EED2Ev = comdat any + +$_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_S5_ESt10_Select1stIS8_ESt4lessIS5_ESaIS8_EED2Ev = comdat any + +$_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_S5_ESt10_Select1stIS8_ESt4lessIS5_ESaIS8_EE8_M_eraseEPSt13_Rb_tree_nodeIS8_E = comdat any + +$_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_S5_ESt10_Select1stIS8_ESt4lessIS5_ESaIS8_EE12_M_drop_nodeEPSt13_Rb_tree_nodeIS8_E = comdat any + +$_ZNSt4pairIKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_ED2Ev = comdat any + +$_ZNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EED2Ev = comdat any + +$_ZNSt12_Destroy_auxILb0EE9__destroyIPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEEvT_S9_ = comdat any + +$_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE19_M_range_initializeIPKS5_EEvT_SB_St20forward_iterator_tag = comdat any + +$_ZNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE11_M_allocateEm = comdat any + +$_ZNSt16allocator_traitsISaINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE8allocateERS6_m = comdat any + +$_ZN9__gnu_cxx13new_allocatorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEE8allocateEmPKv = comdat any + +$_ZNSt20__uninitialized_copyILb0EE13__uninit_copyIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEPS7_EET0_T_SC_SB_ = comdat any + +$_ZNSt6vectorISt4pairIiiESaIS1_EE12emplace_backIJS1_EEEvDpOT_ = comdat any + +$_ZNSt6vectorISt4pairIiiESaIS1_EE17_M_realloc_insertIJS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_ = comdat any + +$_ZNKSt6vectorISt4pairIiiESaIS1_EE12_M_check_lenEmPKc = comdat any + +$_ZNSt12_Vector_baseISt4pairIiiESaIS1_EE11_M_allocateEm = comdat any + +$_ZNSt16allocator_traitsISaISt4pairIiiEEE8allocateERS2_m = comdat any + +$_ZN9__gnu_cxx13new_allocatorISt4pairIiiEE8allocateEmPKv = comdat any + +$_ZN7mozilla21ScopedCloseFileTraits7releaseEP8_IO_FILE = comdat any + +@.str = private unnamed_addr constant [6 x i8] c"-idrc\00", align 1 +@.str.1 = private unnamed_addr constant [2 x i8] c"r\00", align 1 +@.str.2 = private unnamed_addr constant [85 x i8] c"Distributor ID:\09%255[^\0A]\0ADescription:\09%255[^\0A]\0ARelease:\09%255[^\0A]\0ACodename:\09%255[^\0A]\0A\00", align 1 +@.str.3 = private unnamed_addr constant [21 x i8] c"/usr/bin/lsb_release\00", align 1 +@.str.5 = private unnamed_addr constant [27 x i8] c"fatal: STL threw bad_alloc\00", align 1 +@.str.6 = private unnamed_addr constant [26 x i8] c"vector::_M_realloc_insert\00", align 1 + +; Function Attrs: minsize nounwind optsize sspstrong uwtable +define hidden zeroext i1 @_ZN7mozilla6widget3lsb13GetLSBReleaseER12nsTSubstringIcES4_S4_S4_(%class.nsTSubstring* dereferenceable(16), %class.nsTSubstring* dereferenceable(16), %class.nsTSubstring* dereferenceable(16), %class.nsTSubstring* dereferenceable(16)) local_unnamed_addr #0 !dbg !2908 { + %5 = alloca [2 x i32], align 4 + %6 = alloca %"class.std::vector", align 8 + %7 = alloca [2 x %"class.std::__cxx11::basic_string"], align 8 + %8 = alloca %"class.std::allocator.0", align 1 + %9 = alloca %"class.std::allocator.0", align 1 + %10 = alloca %"struct.base::LaunchOptions", align 8 + %11 = alloca %"struct.std::pair", align 4 + %12 = alloca i32, align 4 + %13 = alloca [256 x i8], align 16 + %14 = alloca [256 x i8], align 16 + %15 = alloca [256 x i8], align 16 + %16 = alloca [256 x i8], align 16 + call void @llvm.dbg.value(metadata %class.nsTSubstring* %0, metadata !2915, metadata !DIExpression()), !dbg !3579 + call void @llvm.dbg.value(metadata %class.nsTSubstring* %1, metadata !2916, metadata !DIExpression()), !dbg !3580 + call void @llvm.dbg.value(metadata %class.nsTSubstring* %2, metadata !2917, metadata !DIExpression()), !dbg !3581 + call void @llvm.dbg.value(metadata %class.nsTSubstring* %3, metadata !2918, metadata !DIExpression()), !dbg !3582 + %17 = tail call i32 @access(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.3, i64 0, i64 0), i32 4) #7, !dbg !3583 + %18 = icmp eq i32 %17, 0, !dbg !3585 + br i1 %18, label %19, label %85, !dbg !3586 + +;