Merge pull request #216 from maleadt/tb/undef_constant

Undef is a Constant.

Author: maleadt

src/core/value/constant.jl

@@ -7,14 +7,6 @@ all_ones(typ::LLVMType) = Value(API.LLVMConstAllOnes(typ))
 isnull(val::Value) = convert(Core.Bool, API.LLVMIsNull(val))
 
 
-@checked struct UndefValue <: User
-    ref::API.LLVMValueRef
-end
-identify(::Type{Value}, ::Val{API.LLVMUndefValueValueKind}) = UndefValue
-
-UndefValue(typ::LLVMType) = UndefValue(API.LLVMGetUndef(typ))
-
-
 abstract type Constant <: User end
 
 # forward declarations
@@ -32,6 +24,14 @@ identify(::Type{Value}, ::Val{API.LLVMConstantPointerNullValueKind}) = PointerNu
 PointerNull(typ::PointerType) = PointerNull(API.LLVMConstPointerNull(typ))
 
 
+@checked struct UndefValue <: Constant
+    ref::API.LLVMValueRef
+end
+identify(::Type{Value}, ::Val{API.LLVMUndefValueValueKind}) = UndefValue
+
+UndefValue(typ::LLVMType) = UndefValue(API.LLVMGetUndef(typ))
+
+
 ## scalar
 
 export ConstantInt, ConstantFP

test/core.jl

@@ -312,6 +312,7 @@ Context() do ctx
 
     let val = UndefValue(typ)
         @test isundef(val)
+        @test val isa LLVM.Constant
     end
 
     end