ruby-llvm 18.1.7 → 18.2.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 4bda8c1e9b39947ab7023efaaca880f460712765bed7db90f13671f4604642f7
-  data.tar.gz: e1a7aefc5e08bb131c9bec9bfd5f2c11ae41e42385be00eea4acc16507d1c723
+  metadata.gz: e48eb7aeebc6f8fb6de9c900065168d2b2ed555ca4e294bf1a96e47959344069
+  data.tar.gz: c61c5cbf456724538e18cbc9b70660fba586e9af8cc5811a98e74f589166e808
 SHA512:
-  metadata.gz: eb8286217d9f1c92f0c52f41112279113c1bd255ce5eac5342bd044d99cd3d642f4f5509d8e7e2eaa17fac0e91e6a89f1c114b21fec0501040cd01f3d1ad6689
-  data.tar.gz: 372f498dcbbb775191badd8eca79ac993d5ee44a665438baba1097443d4ed0185150beced4af7a72a7105bd0048048ec9ae2e170d43be67bf6791f6c0d2c8319
+  metadata.gz: faac90c796d9eab92633734c0c323a1b959118ae4558c7ac2dbffbe3f019dc64b876de72a678ced189a31b2fa34cd04fe7d3352cb3571638618c181844186f33
+  data.tar.gz: 7a3549ffad064a6aedfe6a84146ab4be41434d093c5856315d49ca854bd8ba17bd0bd543e9c396b292b399ddcfd230d35cbfbb302c6cdde2642532b923bc7ea9

data/ext/ruby-llvm-support/Rakefile

@@ -31,7 +31,6 @@ def find_llvm_config
   check_for('llvm-config',
             %W(llvm-config-#{LLVM_VERSION} llvm-config),
             'LLVM_CONFIG') do |llvm_config|
-
     begin
       actual_version = `#{llvm_config} --version`.strip
       actual_maj, actual_min, _ = actual_version.split('.')

data/lib/llvm/config.rb

@@ -1,13 +1,14 @@
 # Generated by ruby-llvm. Please do not change this file by hand.
 module LLVM
   module CONFIG
-    VERSION = "18.1.0"
-    COMPONENTS = ["aarch64", "aarch64asmparser", "aarch64codegen", "aarch64desc", "aarch64disassembler", "aarch64info", "aarch64utils", "aggressiveinstcombine", "all", "all-targets", "amdgpu", "amdgpuasmparser", "amdgpucodegen", "amdgpudesc", "amdgpudisassembler", "amdgpuinfo", "amdgputargetmca", "amdgpuutils", "analysis", "arm", "armasmparser", "armcodegen", "armdesc", "armdisassembler", "arminfo", "armutils", "asmparser", "asmprinter", "avr", "avrasmparser", "avrcodegen", "avrdesc", "avrdisassembler", "avrinfo", "binaryformat", "bitreader", "bitstreamreader", "bitwriter", "bpf", "bpfasmparser", "bpfcodegen", "bpfdesc", "bpfdisassembler", "bpfinfo", "cfguard", "codegen", "codegentypes", "core", "coroutines", "coverage", "debuginfobtf", "debuginfocodeview", "debuginfodwarf", "debuginfogsym", "debuginfologicalview", "debuginfomsf", "debuginfopdb", "demangle", "dlltooldriver", "dwarflinker", "dwarflinkerclassic", "dwarflinkerparallel", "dwp", "engine", "executionengine", "extensions", "filecheck", "frontenddriver", "frontendhlsl", "frontendoffloading", "frontendopenacc", "frontendopenmp", "fuzzercli", "fuzzmutate", "globalisel", "hexagon", "hexagonasmparser", "hexagoncodegen", "hexagondesc", "hexagondisassembler", "hexagoninfo", "hipstdpar", "instcombine", "instrumentation", "interfacestub", "interpreter", "ipo", "irprinter", "irreader", "jitlink", "lanai", "lanaiasmparser", "lanaicodegen", "lanaidesc", "lanaidisassembler", "lanaiinfo", "libdriver", "lineeditor", "linker", "loongarch", "loongarchasmparser", "loongarchcodegen", "loongarchdesc", "loongarchdisassembler", "loongarchinfo", "lto", "m68k", "m68kasmparser", "m68kcodegen", "m68kdesc", "m68kdisassembler", "m68kinfo", "mc", "mca", "mcdisassembler", "mcjit", "mcparser", "mips", "mipsasmparser", "mipscodegen", "mipsdesc", "mipsdisassembler", "mipsinfo", "mirparser", "msp430", "msp430asmparser", "msp430codegen", "msp430desc", "msp430disassembler", "msp430info", "native", "nativecodegen", "nvptx", "nvptxcodegen", "nvptxdesc", "nvptxinfo", "objcarcopts", "objcopy", "object", "objectyaml", "option", "orcdebugging", "orcjit", "orcshared", "orctargetprocess", "passes", "perfjitevents", "powerpc", "powerpcasmparser", "powerpccodegen", "powerpcdesc", "powerpcdisassembler", "powerpcinfo", "profiledata", "remarks", "riscv", "riscvasmparser", "riscvcodegen", "riscvdesc", "riscvdisassembler", "riscvinfo", "riscvtargetmca", "runtimedyld", "scalaropts", "selectiondag", "sparc", "sparcasmparser", "sparccodegen", "sparcdesc", "sparcdisassembler", "sparcinfo", "support", "symbolize", "systemz", "systemzasmparser", "systemzcodegen", "systemzdesc", "systemzdisassembler", "systemzinfo", "tablegen", "target", "targetparser", "textapi", "textapibinaryreader", "transformutils", "ve", "veasmparser", "vecodegen", "vectorize", "vedesc", "vedisassembler", "veinfo", "webassembly", "webassemblyasmparser", "webassemblycodegen", "webassemblydesc", "webassemblydisassembler", "webassemblyinfo", "webassemblyutils", "windowsdriver", "windowsmanifest", "x86", "x86asmparser", "x86codegen", "x86desc", "x86disassembler", "x86info", "x86targetmca", "xcore", "xcorecodegen", "xcoredesc", "xcoredisassembler", "xcoreinfo", "xray", "xtensa", "xtensaasmparser", "xtensacodegen", "xtensadesc", "xtensadisassembler", "xtensainfo"]
+    VERSION = "19.1.0"
+    COMPONENTS = ["aarch64", "aarch64asmparser", "aarch64codegen", "aarch64desc", "aarch64disassembler", "aarch64info", "aarch64utils", "aggressiveinstcombine", "all", "all-targets", "amdgpu", "amdgpuasmparser", "amdgpucodegen", "amdgpudesc", "amdgpudisassembler", "amdgpuinfo", "amdgputargetmca", "amdgpuutils", "analysis", "arm", "armasmparser", "armcodegen", "armdesc", "armdisassembler", "arminfo", "armutils", "asmparser", "asmprinter", "avr", "avrasmparser", "avrcodegen", "avrdesc", "avrdisassembler", "avrinfo", "binaryformat", "bitreader", "bitstreamreader", "bitwriter", "bpf", "bpfasmparser", "bpfcodegen", "bpfdesc", "bpfdisassembler", "bpfinfo", "cfguard", "codegen", "codegendata", "codegentypes", "core", "coroutines", "coverage", "debuginfobtf", "debuginfocodeview", "debuginfodwarf", "debuginfogsym", "debuginfologicalview", "debuginfomsf", "debuginfopdb", "demangle", "dlltooldriver", "dwarflinker", "dwarflinkerclassic", "dwarflinkerparallel", "dwp", "engine", "executionengine", "extensions", "filecheck", "frontenddriver", "frontendhlsl", "frontendoffloading", "frontendopenacc", "frontendopenmp", "fuzzercli", "fuzzmutate", "globalisel", "hexagon", "hexagonasmparser", "hexagoncodegen", "hexagondesc", "hexagondisassembler", "hexagoninfo", "hipstdpar", "instcombine", "instrumentation", "interfacestub", "interpreter", "ipo", "irprinter", "irreader", "jitlink", "lanai", "lanaiasmparser", "lanaicodegen", "lanaidesc", "lanaidisassembler", "lanaiinfo", "libdriver", "lineeditor", "linker", "loongarch", "loongarchasmparser", "loongarchcodegen", "loongarchdesc", "loongarchdisassembler", "loongarchinfo", "lto", "m68k", "m68kasmparser", "m68kcodegen", "m68kdesc", "m68kdisassembler", "m68kinfo", "mc", "mca", "mcdisassembler", "mcjit", "mcparser", "mips", "mipsasmparser", "mipscodegen", "mipsdesc", "mipsdisassembler", "mipsinfo", "mirparser", "msp430", "msp430asmparser", "msp430codegen", "msp430desc", "msp430disassembler", "msp430info", "native", "nativecodegen", "nvptx", "nvptxcodegen", "nvptxdesc", "nvptxinfo", "objcarcopts", "objcopy", "object", "objectyaml", "option", "orcdebugging", "orcjit", "orcshared", "orctargetprocess", "passes", "perfjitevents", "powerpc", "powerpcasmparser", "powerpccodegen", "powerpcdesc", "powerpcdisassembler", "powerpcinfo", "profiledata", "remarks", "riscv", "riscvasmparser", "riscvcodegen", "riscvdesc", "riscvdisassembler", "riscvinfo", "riscvtargetmca", "runtimedyld", "sandboxir", "scalaropts", "selectiondag", "sparc", "sparcasmparser", "sparccodegen", "sparcdesc", "sparcdisassembler", "sparcinfo", "support", "symbolize", "systemz", "systemzasmparser", "systemzcodegen", "systemzdesc", "systemzdisassembler", "systemzinfo", "tablegen", "target", "targetparser", "textapi", "textapibinaryreader", "transformutils", "ve", "veasmparser", "vecodegen", "vectorize", "vedesc", "vedisassembler", "veinfo", "webassembly", "webassemblyasmparser", "webassemblycodegen", "webassemblydesc", "webassemblydisassembler", "webassemblyinfo", "webassemblyutils", "windowsdriver", "windowsmanifest", "x86", "x86asmparser", "x86codegen", "x86desc", "x86disassembler", "x86info", "x86targetmca", "xcore", "xcorecodegen", "xcoredesc", "xcoredisassembler", "xcoreinfo", "xray", "xtensa", "xtensaasmparser", "xtensacodegen", "xtensadesc", "xtensadisassembler", "xtensainfo"]
     TARGETS_BUILT = ["AArch64", "AMDGPU", "ARM", "AVR", "BPF", "Hexagon", "Lanai", "LoongArch", "Mips", "MSP430", "NVPTX", "PowerPC", "RISCV", "Sparc", "SystemZ", "VE", "WebAssembly", "X86", "XCore", "M68k", "Xtensa"]
     HOST_TARGET = "x86_64-pc-linux-gnu"
     BUILD_MODE = "RelWithDebInfo"
-    CFLAGS = "-I/usr/lib/llvm-18/include  -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS"
-    CXXFLAGS = "-I/usr/lib/llvm-18/include -std=c++17   -fno-exceptions -funwind-tables -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS"
-    LDFLAGS = "-L/usr/lib/llvm-18/lib"
+    CFLAGS = "-I/usr/lib/llvm-19/include  -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS"
+    CXXFLAGS = "-I/usr/lib/llvm-19/include -std=c++17   -fno-exceptions -funwind-tables -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS"
+    LDFLAGS = "-L/usr/lib/llvm-19/lib"
+    LIBS = "-lLLVM-19"
   end
 end

data/lib/llvm/core/attribute.rb

@@ -3,11 +3,9 @@
 module LLVM
   # wrapper for LLVMAttributeRef
   class Attribute
-
     include PointerIdentity
 
     class << self
-
       def new(from)
         case from
         when String, Symbol
@@ -89,7 +87,6 @@ module LLVM
           0
         end
       end
-
     end
 
     def kind
@@ -188,6 +185,5 @@ module LLVM
         return C.get_string_attribute_value(self, size_ptr)
       end
     end
-
   end
 end

data/lib/llvm/core/builder.rb

@@ -2,6 +2,8 @@
 
 module LLVM
   class Builder
+    extend Gem::Deprecate
+
     # Important: Call #dispose to free backend memory after use.
     def initialize
       @ptr = C.create_builder()
@@ -173,17 +175,32 @@ module LLVM
     end
 
     def invoke2(type, fun, args, normal, exception, name = "")
-      raise ArgumentError, "Trying to build LLVM call with non-function: #{fun.inspect}" if !fun.is_a?(LLVM::Function)
-
-      type ||= fun.return_type
-      must_be_type!(type)
+      type, fun = call2_infer_function_and_type(type, fun)
 
-      s = args.size
-      FFI::MemoryPointer.new(FFI.type_size(:pointer) * s) do |args_ptr|
+      arg_count = args.size
+      invoke_ins = nil
+      FFI::MemoryPointer.new(FFI.type_size(:pointer) * arg_count) do |args_ptr|
         args_ptr.write_array_of_pointer(args)
-        ins = C.build_invoke2(self, type, fun, args_ptr, s, normal, exception, name)
-        return Instruction.from_ptr(ins)
+        ins = C.build_invoke2(self, type, fun, args_ptr, arg_count, normal, exception, name)
+        invoke_ins = InvokeInst.from_ptr(ins)
       end
+
+      if fun.is_a?(Function)
+        invoke_ins.call_conv = fun.call_conv
+      end
+
+      invoke_ins
+    end
+
+    # @return LLVM::Value
+    def landing_pad(type, personality_function, num_clauses, name = '')
+      C.build_landing_pad(self, type, personality_function, num_clauses, name)
+    end
+
+    def landing_pad_cleanup(type, personality_function, num_clauses, name = '')
+      lp = landing_pad(type, personality_function, num_clauses, name)
+      C.set_cleanup(lp, 1)
+      lp
     end
 
     # Builds an unwind Instruction.
@@ -479,9 +496,11 @@ module LLVM
     # @param [String] name Name of the result in LLVM IR
     # @return [LLVM::Instruction] The negated operand
     # @LLVMinst sub
+    # @deprecated
     def nuw_neg(arg, name = "")
       Instruction.from_ptr(C.build_nuw_neg(self, arg, name))
     end
+    deprecate :nuw_neg, "neg", 2025, 3
 
     # Boolean negation.
     # @param [LLVM::Value] arg Integer or vector of integers
@@ -505,7 +524,15 @@ module LLVM
     # @param [String] name The name of the result in LLVM IR
     # @return [LLVM::Instruction] A pointer to the malloced array
     def array_malloc(ty, sz, name = "")
-      Instruction.from_ptr(C.build_array_malloc(self, LLVM::Type(ty), sz, name))
+      size = case sz
+      when LLVM::Value
+        sz
+      when Integer
+        LLVM.i(32, sz)
+      else
+        raise ArgumentError, "Unknown size parameter for array_malloc: #{sz}"
+      end
+      Instruction.from_ptr(C.build_array_malloc(self, LLVM::Type(ty), size, name))
     end
 
     # Stack allocation.
@@ -588,7 +615,7 @@ module LLVM
     # @LLVMinst gep2
     # @see http://llvm.org/docs/GetElementPtr.html
     # may return Instruction or GlobalVariable
-    def gep2(type, ptr, indices, name)
+    def gep2(type, ptr, indices, name = '')
       must_be_value!(ptr)
 
       type ||= must_infer_type!(ptr)
@@ -618,7 +645,7 @@ module LLVM
     def inbounds_gep2(type, ptr, indices, name = "")
       must_be_value!(ptr)
 
-      type = must_infer_type!(ptr)
+      type ||= must_infer_type!(ptr)
       must_be_type!(type)
 
       indices = Array(indices)
@@ -642,13 +669,13 @@ module LLVM
       struct_gep2(nil, ptr, idx, name)
     end
 
-    def struct_gep2(type, ptr, idx, name)
+    def struct_gep2(type, ptr, idx, name = "")
       must_be_value!(ptr)
 
       type ||= must_infer_type!(ptr)
       must_be_type!(type)
 
-      ins = C.build_struct_gep2(self, type, ptr, idx, name)
+      ins = C.build_struct_gep2(self, type, ptr, idx.to_i, name)
       Instruction.from_ptr(ins)
     end
 
@@ -838,6 +865,7 @@ module LLVM
     # @param [LLVM::Type, #ty] ty
     # @param [String] name The name of the result in LLVM IR
     # @return [LLVM::Instruction]
+    # Cast pointer to other type
     def pointer_cast(val, ty, name = "")
       Instruction.from_ptr(C.build_pointer_cast(self, val, LLVM::Type(ty), name))
     end
@@ -850,6 +878,15 @@ module LLVM
       Instruction.from_ptr(C.build_int_cast(self, val, LLVM::Type(ty), name))
     end
 
+    # @param [LLVM::Value] val
+    # @param [LLVM::Type, #ty] ty
+    # @param [String] name The name of the result in LLVM IR
+    # @param [bool] signed whether to sign or zero extend
+    # @return [LLVM::Instruction]
+    def int_cast2(val, ty, signed, name = "")
+      Instruction.from_ptr(C.build_int_cast2(self, val, LLVM::Type(ty), signed, name))
+    end
+
     # @param [LLVM::Value] val
     # @param [LLVM::Type, #ty] ty
     # @param [String] name The name of the result in LLVM IR
@@ -998,6 +1035,8 @@ module LLVM
     # @return [LLVM::Instruction] The extracted element
     # @LLVMinst extractelement
     def extract_element(vector, idx, name = "")
+      must_be_value!(vector)
+      must_be_value!(idx)
       error = element_error(vector, idx)
 
       raise ArgumentError, "Error building extract_element with #{error}" if error
@@ -1014,12 +1053,11 @@ module LLVM
     # @return [LLVM::Instruction] A vector the same type as 'vector'
     # @LLVMinst insertelement
     def insert_element(vector, elem, idx, name = "")
+      must_be_value!(vector)
+      must_be_value!(elem)
+      must_be_value!(idx)
       error = element_error(vector, idx)
 
-      error ||= if !elem.is_a?(LLVM::Value)
-        "elem: #{elem.inspect}"
-      end
-
       raise ArgumentError, "Error building insert_element with #{error}" if error
 
       ins = C.build_insert_element(self, vector, elem, idx, name)
@@ -1045,6 +1083,7 @@ module LLVM
     # @return [LLVM::Instruction] The extracted value
     # @LLVMinst extractvalue
     def extract_value(aggregate, idx, name = "")
+      must_be_value!(aggregate)
       error = value_error(aggregate, idx)
 
       raise ArgumentError, "Error building extract_value with #{error}" if error
@@ -1061,12 +1100,10 @@ module LLVM
     # @return [LLVM::Instruction] An aggregate value of the same type as 'aggregate'
     # @LLVMinst insertvalue
     def insert_value(aggregate, elem, idx, name = "")
+      must_be_value!(aggregate)
+      must_be_value!(elem)
       error = value_error(aggregate, idx)
 
-      error ||= if !elem.is_a?(LLVM::Value)
-        "elem: #{elem.inspect}"
-      end
-
       raise ArgumentError, "Error building insert_value with #{error}" if error
 
       ins = C.build_insert_value(self, aggregate, elem, idx, name)
@@ -1096,18 +1133,34 @@ module LLVM
     # @return [LLVM::Instruction] The integer difference between the two
     #   pointers
     def ptr_diff(lhs, rhs, name = "")
-      Instruction.from_ptr(C.build_ptr_diff(lhs, rhs, name))
+      ptr_diff2(nil, lhs, rhs, name)
+    end
+
+    def ptr_diff2(type, lhs, rhs, name = "")
+      must_be_value!(lhs)
+      must_be_value!(rhs)
+
+      type ||= begin
+        lhs_type = must_infer_type!(lhs)
+        rhs_type = must_infer_type!(lhs)
+        raise ArgumentError, "ptr_diff types must match: [#{lhs_type}] [#{rhs_type}]" if lhs_type != rhs_type
+
+        lhs_type
+      end
+      must_be_type!(type)
+
+      Instruction.from_ptr(C.build_ptr_diff2(self, type, lhs, rhs, name))
     end
 
     private
 
     def must_be_value!(value)
-      raise "must be a Value, got #{value.class.name}" unless Value === value
+      raise ArgumentError, "must be a Value, got #{value.class.name}" unless Value === value
     end
 
     def must_be_type!(type)
       type2 = LLVM.Type(type)
-      raise "must be a Type (LLVMTypeRef), got #{type2.class.name}" unless Type === type2
+      raise ArgumentError, "must be a Type (LLVMTypeRef), got #{type2.class.name}" unless Type === type2
     end
 
     def must_infer_type!(value)
@@ -1121,7 +1174,7 @@ module LLVM
       when Instruction
         must_infer_instruction_type!(ptr)
       else
-        raise "#{ptr.class.name} #{ptr}"
+        raise ArgumentError, "Cannot infer type from [#{ptr}] with type [#{ptr.type}]"
       end
     end
 
@@ -1130,7 +1183,7 @@ module LLVM
       when :get_element_ptr
         must_infer_gep!(ptr)
       when :alloca
-        Type.from_ptr(C.get_allocated_type(ptr))
+        ptr.allocated_type
       when :load
         ptr.type
       else
@@ -1148,23 +1201,32 @@ module LLVM
       when :array, :vector
         source_type.element_type
       else
-        debugger
+        raise ArgumentError
       end
     end
 
     def element_error(vector, idx)
       if !vector.is_a?(LLVM::Value)
+        # :nocov:
+        # already handled
         "non-value: #{vector.inspect}"
+        # :nocov:
       elsif vector.type.kind != :vector
         "non-vector: #{vector.type.kind}"
       elsif !idx.is_a?(LLVM::Value)
+        # :nocov:
+        # already handled
         "index: #{idx}"
+        # :nocov:
       end
     end
 
     def value_error(aggregate, idx)
       if !aggregate.is_a?(LLVM::Value)
+        # :nocov:
+        # already handled
         "non-value: #{aggregate.inspect}"
+        # :nocov:
         # TODO: fix this
       elsif !aggregate.type.aggregate?
         "non-aggregate: #{aggregate.type.kind}"

data/lib/llvm/core/module.rb

@@ -81,7 +81,7 @@ module LLVM
         Type.from_ptr(C.get_type_by_name(@module, name.to_s), nil)
       end
 
-      alias [] named
+      alias_method :[], :named
     end
 
     # Returns an Enumerable of all the GlobalVariables in the module.
@@ -251,6 +251,5 @@ module LLVM
     def dump
       C.dump_module(self)
     end
-
   end
 end

data/lib/llvm/core/type.rb

@@ -11,6 +11,8 @@ module LLVM
       ty = case kind
       when :integer
         IntType.allocate
+      when :float, :double
+        RealType.allocate
       when :function
         FunctionType.allocate
       when :struct
@@ -24,9 +26,7 @@ module LLVM
     end
 
     # Returns a symbol representation of the types kind (ex. :pointer, :vector, :array.)
-    def kind
-      @kind
-    end
+    attr_reader :kind
 
     # Returns the size of the type.
     def size
@@ -46,7 +46,7 @@ module LLVM
       when :pointer
         LLVM.Void
       else
-        raise "element_type not supported for kind: #{kind}"
+        raise ArgumentError, "element_type not supported for kind: #{kind}"
       end
     end
 
@@ -57,11 +57,18 @@ module LLVM
 
     # Returns a null ConstantExpr of this type.
     def null
-      ConstantExpr.from_ptr(C.const_null(self))
+      # ConstantExpr.from_ptr(C.const_null(self))
+      Constant.null(self)
     end
 
     def poison
-      ConstantExpr.from_ptr(C.get_poison(self))
+      # ConstantExpr.from_ptr(C.get_poison(self))
+      Constant.poison(self)
+    end
+
+    def undef
+      # ConstantExpr.from_ptr(C.get_undef(self))
+      Constant.undef(self)
     end
 
     # Creates a pointer type with this type and the given address space.
@@ -71,7 +78,9 @@ module LLVM
 
     # Print the type's representation to stdout.
     def dump
+      # :nocov:
       C.dump_type(self)
+      # :nocov:
     end
 
     # Build string of LLVM type representation.
@@ -95,6 +104,14 @@ module LLVM
       C.is_literal_struct(self)
     end
 
+    def ===(other)
+      if other.is_a?(LLVM::Value)
+        return self == other.type
+      end
+
+      super
+    end
+
     # Creates an array type of Type with the given size.
     # arrays can be size >= 0, https://llvm.org/docs/LangRef.html#array-type
     def self.array(ty, sz = 0)
@@ -178,18 +195,98 @@ module LLVM
     #  from_ptr(C.opaque_type, :pointer)
     # end
 
-    def self.rec
-      h = opaque
-      ty = yield h
-      h.refine(ty)
-      ty
+    # def self.rec
+    #   h = opaque
+    #   ty = yield h
+    #   h.refine(ty)
+    #   ty
+    # end
+
+    def self.integer(width)
+      IntType.from_ptr(C.int_type(width), :integer)
+    end
+
+    class << self
+      alias_method :i, :integer
+    end
+
+    def self.float
+      RealType.from_ptr(C.float_type, kind: :float)
+    end
+
+    def self.double
+      RealType.from_ptr(C.double_type, kind: :double)
     end
   end
 
   class IntType < Type
+    def all_ones
+      from_ptr(C.const_all_ones(self))
+    end
+
     def width
       C.get_int_type_width(self)
     end
+
+    def from_i(int, options = {})
+      signed = case options
+      when true, false
+        options
+      when Hash
+        options.fetch(:signed, true)
+      else
+        raise ArgumentError
+      end
+      # return poison if !fits_width?(int, width, signed)
+
+      ptr = C.const_int(self, int, signed ? 1 : 0)
+      val = from_ptr(ptr)
+      val.to_i(signed) == int ? val : poison
+    end
+
+    # unused
+    private def fits_width?(int, width, signed)
+      # :nocov:
+      if signed
+        int.bit_length < width || int == 1
+      else
+        int >= 0 && int.bit_length <= width
+      end
+      # :nocov:
+    end
+
+    def from_ptr(ptr)
+      ConstantInt.from_ptr(ptr)
+    end
+
+    def parse(str, radix = 10)
+      # from_ptr(C.const_int_of_string(self, str, radix))
+      from_i(str.to_i(radix))
+    end
+
+    def type
+      self
+    end
+  end
+
+  class RealType < Type
+    # given an array of values, return the type that will fit all of them
+    # currently only works for floats and doubles
+    def self.fits(values)
+      values.detect { |v| v.type.to_s == 'double' } ? double : float
+    end
+
+    def from_f(value)
+      ConstantReal.from_ptr(C.const_real(self, value))
+    end
+
+    def parse(str)
+      ConstantReal.from_ptr(C.const_real_of_string(self, str))
+    end
+
+    def type
+      self
+    end
   end
 
   class FunctionType < Type
@@ -247,8 +344,10 @@ module LLVM
   # Creates a Type from the given object.
   def Type(ty)
     case ty
-    when LLVM::Type then ty
-    else ty.type
+    when LLVM::Type
+      ty
+    else
+      ty.type
     end
   end
 
@@ -287,4 +386,42 @@ module LLVM
     LLVM::Type.void
   end
 
+  def void
+    LLVM::Type.void
+  end
+
+  def i(width, value = nil)
+    type = LLVM::Type.i(width)
+    value ? type.from_i(value) : type
+  end
+
+  def double(value = nil)
+    type = LLVM::Type.double
+    value ? type.from_f(value) : type
+  end
+
+  def float(value = nil)
+    type = LLVM::Type.float
+    value ? type.from_f(value) : type
+  end
+
+  def ptr
+    LLVM::Type.pointer
+  end
+
+  # for compatibility
+  # Create a float LLVM::ContantReal from a Ruby Float (value).
+  def Float(value)
+    float(value)
+  end
+
+  # for compatibility
+  # Create a double LLVM::ContantReal from a Ruby Float (value).
+  def Double(value)
+    double(value)
+  end
+
+  # for compatibility
+  Float = float.freeze
+  Double = double.freeze
 end