Only perform reference checks on debug builds.

Author: maleadt

src/core/instructions.jl

@@ -15,9 +15,11 @@ end
 
 @inline function refcheck(::Type{T}, ref::API.LLVMValueRef) where T<:Instruction
     ref==C_NULL && throw(UndefRefError())
-    T′ = identify(Instruction, ref)
-    if T != T′
-        error("invalid conversion of $T′ instruction reference to $T")
+    @static if Base.JLOptions().debug_level >= 2
+        T′ = identify(Instruction, ref)
+        if T != T′
+            error("invalid conversion of $T′ instruction reference to $T")
+        end
     end
 end
 

src/core/metadata.jl

@@ -14,9 +14,11 @@ end
 
 @inline function refcheck(::Type{T}, ref::API.LLVMMetadataRef) where T<:Metadata
     ref==C_NULL && throw(UndefRefError())
-    T′ = identify(Metadata, ref)
-    if T != T′
-        error("invalid conversion of $T′ metadata reference to $T")
+    @static if Base.JLOptions().debug_level >= 2
+        T′ = identify(Metadata, ref)
+        if T != T′
+            error("invalid conversion of $T′ metadata reference to $T")
+        end
     end
 end
 

src/core/type.jl

@@ -16,9 +16,11 @@ end
 
 @inline function refcheck(::Type{T}, ref::API.LLVMTypeRef) where T<:LLVMType
     ref==C_NULL && throw(UndefRefError())
-    T′ = identify(LLVMType, ref)
-    if T != T′
-        error("invalid conversion of $T′ type reference to $T")
+    @static if Base.JLOptions().debug_level >= 2
+        T′ = identify(LLVMType, ref)
+        if T != T′
+            error("invalid conversion of $T′ type reference to $T")
+        end
     end
 end
 

src/core/value.jl

@@ -17,9 +17,11 @@ end
 
 @inline function refcheck(::Type{T}, ref::API.LLVMValueRef) where T<:Value
     ref==C_NULL && throw(UndefRefError())
-    T′ = identify(Value, ref)
-    if T != T′
-        error("invalid conversion of $T′ value reference to $T")
+    @static if Base.JLOptions().debug_level >= 2
+        T′ = identify(Value, ref)
+        if T != T′
+            error("invalid conversion of $T′ value reference to $T")
+        end
     end
 end
 

test/core.jl

@@ -33,7 +33,9 @@ Context() do ctx
     @test typeof(typ.ref) == LLVM.API.LLVMTypeRef                 # untyped
 
     @test typeof(LLVM.IntegerType(typ.ref)) == LLVM.IntegerType   # type reconstructed
-    @test_throws ErrorException LLVM.FunctionType(typ.ref)        # wrong type
+    if Base.JLOptions().debug_level >= 2
+        @test_throws ErrorException LLVM.FunctionType(typ.ref)    # wrong type
+    end
     @test_throws UndefRefError LLVM.FunctionType(LLVM.API.LLVMTypeRef(C_NULL))
 
     @test typeof(typ.ref) == LLVM.API.LLVMTypeRef
@@ -202,7 +204,9 @@ LLVM.Module("SomeModule"; ctx) do mod
     @test typeof(val.ref) == LLVM.API.LLVMValueRef                # untyped
 
     @test typeof(LLVM.Instruction(val.ref)) == LLVM.AllocaInst    # type reconstructed
-    @test_throws ErrorException LLVM.Function(val.ref)            # wrong
+    if Base.JLOptions().debug_level >= 2
+        @test_throws ErrorException LLVM.Function(val.ref)        # wrong
+    end
     @test_throws UndefRefError LLVM.Function(LLVM.API.LLVMValueRef(C_NULL))
 
     @test typeof(Value(val.ref)) == LLVM.AllocaInst               # type reconstructed