Support for module metadata (#150)

Author: maleadt

.appveyor.yml

@@ -1,7 +1,7 @@
 environment:
   matrix:
-  - julia_version: 0.7
   - julia_version: 1.0
+  - julia_version: 1.1
   - julia_version: latest
 
 platform:

.gitlab-ci.yml

@@ -5,6 +5,7 @@ include:
   - 'https://raw.githubusercontent.com/JuliaGPU/gitlab-ci/master/templates/v4/common.yml'
   - 'https://raw.githubusercontent.com/JuliaGPU/gitlab-ci/master/templates/v4/test_v1.0.yml'
   - 'https://raw.githubusercontent.com/JuliaGPU/gitlab-ci/master/templates/v4/test_v1.1.yml'
+  - 'https://raw.githubusercontent.com/JuliaGPU/gitlab-ci/master/templates/v4/test_v1.2.yml'
   - 'https://raw.githubusercontent.com/JuliaGPU/gitlab-ci/master/templates/v4/test_dev.yml'
   - 'https://raw.githubusercontent.com/JuliaGPU/gitlab-ci/master/templates/v4/coverage_v1.1.yml'
 

.travis.yml

@@ -5,8 +5,8 @@ os:
   - osx
 
 julia:
-  - 0.7
   - 1.0
+  - 1.1
   - nightly
 
 notifications:

lib/8.0/libLLVM_common.jl

@@ -483,26 +483,6 @@ const LLVMErrorSuccess = 0
 mutable struct LLVMOpaqueError end
 const LLVMErrorRef = Ptr{LLVMOpaqueError}
 const LLVMErrorTypeId = Ptr{Cvoid}
-# const LLVM_DEFAULT_TARGET_TRIPLE = "x86_64-linux-gnu"
-# const LLVM_ENABLE_THREADS = 1
-# const LLVM_HAS_ATOMICS = 1
-# const LLVM_HOST_TRIPLE = "x86_64-linux-gnu"
-# const LLVM_NATIVE_ARCH = X86
-# const LLVM_NATIVE_ASMPARSER = LLVMInitializeX86AsmParser
-# const LLVM_NATIVE_ASMPRINTER = LLVMInitializeX86AsmPrinter
-# const LLVM_NATIVE_DISASSEMBLER = LLVMInitializeX86Disassembler
-# const LLVM_NATIVE_TARGET = LLVMInitializeX86Target
-# const LLVM_NATIVE_TARGETINFO = LLVMInitializeX86TargetInfo
-# const LLVM_NATIVE_TARGETMC = LLVMInitializeX86TargetMC
-# const LLVM_ON_UNIX = 1
-# const LLVM_USE_INTEL_JITEVENTS = 0
-# const LLVM_USE_OPROFILE = 0
-# const LLVM_USE_PERF = 0
-# const LLVM_VERSION_MAJOR = 8
-# const LLVM_VERSION_MINOR = 0
-# const LLVM_VERSION_PATCH = 0
-# const LLVM_VERSION_STRING = "8.0.0"
-# const LLVM_FORCE_ENABLE_STATS = 0
 
 # Skipping MacroDefinition: LLVM_TARGET ( TargetName ) void LLVMInitialize ## TargetName ## TargetInfo ( void ) ;
 # Skipping MacroDefinition: LLVM_TARGET ( TargetName ) void LLVMInitialize ## TargetName ## Target ( void ) ;

lib/libLLVM_extra.jl

@@ -94,7 +94,7 @@ end
 
 else
 
-if LLVM.libllvm_version < v"8.0.0"
+if libllvm_version < v"8.0"
 
 function LLVMAddNVVMReflectPass(PM::LLVMPassManagerRef, smversion)
     @apicall(:LLVMExtraAddNVVMReflectPass,Cvoid,(LLVMPassManagerRef,), PM)
@@ -161,3 +161,12 @@ function LLVMGetSourceLocation(V::LLVMValueRef, index, Name, Filename, Line, Col
 end
 
 end
+
+if libllvm_version >= v"8.0"
+    @cenum(LLVMDebugEmissionKind,
+        LLVMDebugEmissionKindNoDebug = 0,
+        LLVMDebugEmissionKindFullDebug = 1,
+        LLVMDebugEmissionKindLineTablesOnly = 2,
+        LLVMDebugEmissionKindDebugDirectivesOnly = 3,
+    )
+end

src/core/instructions.jl

@@ -45,6 +45,7 @@ predicate_real(inst::Instruction) = API.LLVMGetFCmpPredicate(ref(inst))
 
 
 ## metadata iteration
+# TODO: doesn't actually iterate, since we can't list the available keys
 
 @enum(MD, MD_dbg = 0,
           MD_tbaa = 1,
@@ -72,8 +73,6 @@ predicate_real(inst::Instruction) = API.LLVMGetFCmpPredicate(ref(inst))
 
 export InstructionMetadataDict
 
-# doesn't print, because we don't have length. we can't iterate keys?
-
 struct InstructionMetadataDict <: AbstractDict{MD,MetadataAsValue}
     inst::Instruction
 end

src/core/metadata.jl

@@ -1,4 +1,4 @@
-export MDString, MDNode, operands
+export MDString, MDNode, operands, Metadata
 
 @checked struct MetadataAsValue <: Value
     ref::reftype(Value)
@@ -12,7 +12,7 @@ const MDString = MetadataAsValue
 
 MDString(val::String) = MDString(API.LLVMMDString(val, Cuint(length(val))))
 
-MDString(val::String, ctx::Context) = 
+MDString(val::String, ctx::Context) =
     MDString(API.LLVMMDStringInContext(ref(ctx), val, Cuint(length(val))))
 
 function Base.convert(::Type{String}, md::MDString)
@@ -38,3 +38,17 @@ function operands(md::MDNode)
     API.LLVMGetMDNodeOperands(ref(md), ops)
     return Value[Value(op) for op in ops]
 end
+
+
+@checked struct Metadata
+    ref::API.LLVMMetadataRef
+end
+reftype(::Type{Metadata}) = API.LLVMMetadataRef
+
+function Metadata(val::Value)
+    return Metadata(LLVM.API.LLVMValueAsMetadata(ref(val)))
+end
+
+function Value(md::Metadata, ctx::Context)
+    return MetadataAsValue(API.LLVMMetadataAsValue(ref(ctx), ref(md)))
+end

src/core/module.jl

@@ -176,3 +176,31 @@ function Base.getindex(iter::ModuleFunctionSet, name::String)
     objref == C_NULL && throw(KeyError(name))
     return Function(objref)
 end
+
+
+## module flag iteration
+# TODO: doesn't actually iterate, since we can't list the available keys
+
+if libllvm_version >= v"8.0"
+
+export flags
+
+struct ModuleFlagDict <: AbstractDict{String,Metadata}
+    mod::Module
+end
+
+flags(mod::Module) = ModuleFlagDict(mod)
+
+Base.haskey(iter::ModuleFlagDict, name::String) =
+    API.LLVMGetModuleFlag(ref(iter.mod), name, length(name)) != C_NULL
+
+function Base.getindex(iter::ModuleFlagDict, name::String)
+    objref = API.LLVMGetModuleFlag(ref(iter.mod), name, length(name))
+    objref == C_NULL && throw(KeyError(name))
+    return Metadata(objref)
+end
+
+Base.push!(iter::ModuleFlagDict, behavior::LLVM.API.LLVMModuleFlagBehavior, name::String, val::Metadata) =
+    API.LLVMAddModuleFlag(ref(iter.mod), behavior, name, length(name), ref(val))
+
+end

src/core/value/constant.jl

@@ -151,7 +151,7 @@ export GlobalValue,
        unnamed_addr, unnamed_addr!,
        alignment, alignment!
 
-parent(val::GlobalValue) = LLVM.Module(API.LLVMGetGlobalParent(ref(val)))
+parent(val::GlobalValue) = Module(API.LLVMGetGlobalParent(ref(val)))
 
 isdeclaration(val::GlobalValue) = convert(Core.Bool, API.LLVMIsDeclaration(ref(val)))
 

src/debuginfo.jl

@@ -3,3 +3,8 @@ export DEBUG_METADATA_VERSION, strip_debuginfo!
 DEBUG_METADATA_VERSION() = API.LLVMDebugMetadataVersion()
 
 strip_debuginfo!(mod::Module) = API.LLVMStripModuleDebugInfo(ref(mod))
+
+if libllvm_version >= v"8.0"
+set_subprogram!(func::Function, sp::Metadata) = LLVM.API.LLVMSetSubprogram(ref(func), ref(sp))
+get_subprogram(func::Function) = Metadata(LLVM.API.LLVMGetSubprogram(ref(func)))
+end