ruby-llvm 15.0.3 → 16.0.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 97fcfaf90ca0b317eef7e65c6b9da2429b0660c6b44f4758a88c4a13e8c5358f
-  data.tar.gz: ab7fd16b1a16d13992c7e697fba953304d9080869312656a558a5a4c4c3b9880
+  metadata.gz: eab8e45c12865b1daf5e471e0e01d59a80580a910fffb0b698c53602ce49fd66
+  data.tar.gz: e2b3bbf235ab6a378cb322e69e255b17e3f29f38af990e2c2c315b603cd8f534
 SHA512:
-  metadata.gz: be57e114f0c66e4cd720526258ccc9e5b0245d6f608d804b3aad877d74a21e8aaecfc74d9b0936cadefc9c4c09ae9feb6ed570b9f264e82ccd700e96386e0e3c
-  data.tar.gz: 80350a8cc8d9a6a34d338fb167604f1e44f2c7c6ea4aaee760f6fe818af08f90c9e8c750fcdc462f460a9a1137ec30e404ad9e9a5f3591a2ed2c2590b7f61cb6
+  metadata.gz: 6aefeb6655934955bfaa5073541d028488c053094c7e47ea6ef4562833f3c84cd52e100641a921671213d1f8d792cc8b1b839312caf0acf12a449a310cd13292
+  data.tar.gz: d8d01c13ec575e0ba7f5f9b2bdd11cb66c10bdfb6e0eb39187f151c81fa810dddfae34763d2e2bdc5cf30bacd71dc9034f1f4dab5c2c8bcfff5072710edc652b

data/ext/ruby-llvm-support/Rakefile

@@ -76,18 +76,22 @@ CLEAN.include(SUPPORT_LIB, CONFIG_MOD)
 desc "Build the shared library and config module"
 task :default => [SUPPORT_LIB, CONFIG_MOD]
 
+# -I/usr/lib/llvm-14/include/c++/v1/ is needed for CI
 file SUPPORT_LIB => %w(support.cpp) do |task|
   clang_stdlib = CXX.match?(/^clang++/) ? "-stdlib=libc++" : ""
   sh "#{CXX} -O3 -shared #{task.prerequisites.join(' ')} -l#{llvm_lib_name} " \
-     "#{invoke_llvm_config('--cxxflags --ldflags')} -fPIC #{clang_stdlib} -o #{SUPPORT_LIB}"
+     "#{invoke_llvm_config('--cxxflags --ldflags')} -I/usr/lib/llvm-14/include/c++/v1/ -fPIC #{clang_stdlib} -o #{SUPPORT_LIB}"
 end
 
 LLVM_CONFIG_OPTS = [
+  ['VERSION',      :string, '--version'],
   ['COMPONENTS',    :array,  '--components'],
   ['TARGETS_BUILT', :array,  '--targets-built'],
   ['HOST_TARGET',   :string, '--host-target'],
   ['BUILD_MODE',    :string, '--build-mode'],
   ['CFLAGS',        :string, '--cflags'],
+  ['CXXFLAGS',      :string, '--cxxflags'],
+  ['LDFLAGS',      :string, '--ldflags'],
 ].freeze
 
 file CONFIG_MOD do

data/ext/ruby-llvm-support/support.cpp

@@ -3,6 +3,7 @@
  */
 
 #include <llvm/Support/TargetSelect.h>
+#include <llvm/IR/Attributes.h>
 
 extern "C" {
   void LLVMInitializeAllTargetInfos() {
@@ -28,5 +29,11 @@ extern "C" {
   void LLVMInitializeNativeAsmPrinter() {
     llvm::InitializeNativeTargetAsmPrinter();
   }
+
+  const char* LLVMGetEnumAttributeNameForKind(const unsigned KindID) {
+    const auto AttrKind = (llvm::Attribute::AttrKind) KindID;
+    const auto S = llvm::Attribute::getNameFromAttrKind(AttrKind);
+    return S.data();
+  }
 }
 

data/lib/llvm/analysis.rb

@@ -20,6 +20,10 @@ module LLVM
       do_verification(:abort_process)
     end
 
+    def valid?
+      verify.nil?
+    end
+
     private
 
     def do_verification(action)
@@ -42,10 +46,14 @@ module LLVM
       do_verification(:abort_process)
     end
 
+    def valid?
+      verify
+    end
+
     private
 
     def do_verification(action)
-      C.verify_function(self, action) != 0
+      C.verify_function(self, action).zero?
     end
   end
 end

data/lib/llvm/analysis_ffi.rb

@@ -4,7 +4,7 @@ require 'ffi'
 
 module LLVM::C
   extend FFI::Library
-  ffi_lib ["libLLVM-15.so.1", "libLLVM.so.15", "LLVM-15"]
+  ffi_lib ["libLLVM-16.so.1", "libLLVM.so.16", "LLVM-16"]
 
   def self.attach_function(name, *_)
     begin; super; rescue FFI::NotFoundError => e

data/lib/llvm/config.rb

@@ -1,10 +1,13 @@
 # Generated by ruby-llvm. Please do not change this file by hand.
 module LLVM
   module CONFIG
-    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", "core", "coroutines", "coverage", "debuginfocodeview", "debuginfodwarf", "debuginfogsym", "debuginfomsf", "debuginfopdb", "demangle", "dlltooldriver", "dwarflinker", "dwp", "engine", "executionengine", "extensions", "filecheck", "frontendopenacc", "frontendopenmp", "fuzzercli", "fuzzmutate", "globalisel", "hexagon", "hexagonasmparser", "hexagoncodegen", "hexagondesc", "hexagondisassembler", "hexagoninfo", "instcombine", "instrumentation", "interfacestub", "interpreter", "ipo", "irreader", "jitlink", "lanai", "lanaiasmparser", "lanaicodegen", "lanaidesc", "lanaidisassembler", "lanaiinfo", "libdriver", "lineeditor", "linker", "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", "orcjit", "orcshared", "orctargetprocess", "passes", "perfjitevents", "powerpc", "powerpcasmparser", "powerpccodegen", "powerpcdesc", "powerpcdisassembler", "powerpcinfo", "profiledata", "remarks", "riscv", "riscvasmparser", "riscvcodegen", "riscvdesc", "riscvdisassembler", "riscvinfo", "runtimedyld", "scalaropts", "selectiondag", "sparc", "sparcasmparser", "sparccodegen", "sparcdesc", "sparcdisassembler", "sparcinfo", "support", "symbolize", "systemz", "systemzasmparser", "systemzcodegen", "systemzdesc", "systemzdisassembler", "systemzinfo", "tablegen", "target", "textapi", "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"]
-    TARGETS_BUILT = ["AArch64", "AMDGPU", "ARM", "AVR", "BPF", "Hexagon", "Lanai", "Mips", "MSP430", "NVPTX", "PowerPC", "RISCV", "Sparc", "SystemZ", "VE", "WebAssembly", "X86", "XCore", "M68k"]
+    VERSION = "16.0.5"
+    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", "core", "coroutines", "coverage", "debuginfocodeview", "debuginfodwarf", "debuginfogsym", "debuginfologicalview", "debuginfomsf", "debuginfopdb", "demangle", "dlltooldriver", "dwarflinker", "dwarflinkerparallel", "dwp", "engine", "executionengine", "extensions", "filecheck", "frontendhlsl", "frontendopenacc", "frontendopenmp", "fuzzercli", "fuzzmutate", "globalisel", "hexagon", "hexagonasmparser", "hexagoncodegen", "hexagondesc", "hexagondisassembler", "hexagoninfo", "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", "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", "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"]
+    TARGETS_BUILT = ["AArch64", "AMDGPU", "ARM", "AVR", "BPF", "Hexagon", "Lanai", "LoongArch", "Mips", "MSP430", "NVPTX", "PowerPC", "RISCV", "Sparc", "SystemZ", "VE", "WebAssembly", "X86", "XCore", "M68k"]
     HOST_TARGET = "x86_64-pc-linux-gnu"
-    BUILD_MODE = "Release"
-    CFLAGS = "-I/usr/lib/llvm-15/include  -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS"
+    BUILD_MODE = "RelWithDebInfo"
+    CFLAGS = "-I/usr/lib/llvm-16/include  -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS"
+    CXXFLAGS = "-I/usr/lib/llvm-16/include -std=c++17   -fno-exceptions -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS"
+    LDFLAGS = "-L/usr/lib/llvm-16/lib"
   end
 end

data/lib/llvm/core/attribute.rb

@@ -0,0 +1,158 @@
+# frozen_string_literal: true
+
+module LLVM
+  class Attribute
+
+    include PointerIdentity
+
+    class << self
+
+      def new(from)
+        case from
+        when String, Symbol
+          enum(from)
+        else
+          raise "Not implemented to create Attribute from #{from.class}"
+        end
+      end
+
+      # create a memory attribute from a hash where the keys are:
+      #   argmem, inaccessiblemem, memory
+      # and the valid values are:
+      #   read, write, readwrite
+      def memory(opts = {})
+        opts = opts.transform_keys(&:to_sym)
+        val = bit_value(opts[:argmem]) | (bit_value(opts[:inaccessiblemem]) << 2) | (bit_value(opts[:memory]) << 4)
+        enum(:memory, val)
+      end
+
+      # create enum attribute with optional value and context
+      def enum(kind, value = 0, context = Context.global)
+        attr_id = attribute_id(kind)
+        ptr = C.create_enum_attribute(context, attr_id, value)
+        from_ptr(ptr)
+      end
+
+      # create string attribute with key and value
+      def string(key, value, context = Context.global)
+        key = key.to_s
+        value = value.to_s
+        ptr = C.create_string_attribute(context, key, key.size, value, value.size)
+        from_ptr(ptr)
+      end
+
+      def last_enum
+        C.get_last_enum_attribute_kind
+      end
+
+      private
+
+      def from_ptr(ptr)
+        return if ptr.null?
+        val = allocate
+        val.instance_variable_set(:@ptr, ptr)
+        val
+      end
+
+      def attribute_name(attr_name)
+        attr_name = attr_name.to_s
+        if /_attribute$/.match?(attr_name)
+          attr_name.chomp('_attribute').tr('_', '')
+        else
+          attr_name
+        end
+      end
+
+      def attribute_id(attr_name)
+        attr_mem = FFI::MemoryPointer.from_string(attribute_name(attr_name))
+        attr_kind_id = C.get_enum_attribute_kind_for_name(attr_mem, attr_mem.size - 1)
+
+        raise "No attribute named: #{attr_name}" if attr_kind_id.zero?
+        attr_kind_id
+      end
+
+      # returns correct 2 bits of memory value:
+      #   0 = none
+      #   1 = read
+      #   2 = write
+      #   3 = readwrite
+      def bit_value(maybe_value)
+        case maybe_value.to_s
+        when 'read'
+          1
+        when 'write'
+          2
+        when 'readwrite'
+          3
+        else
+          0
+        end
+      end
+
+    end
+
+    def kind
+      return enum_kind if enum?
+      return string_kind if string?
+      raise
+    end
+
+    def value
+      return C.get_enum_attribute_value(self) if enum?
+      return string_value if string?
+      raise
+    end
+
+    def enum?
+      C.is_enum_attribute(self)
+    end
+
+    def string?
+      C.is_string_attribute(self)
+    end
+
+    def type?
+      C.is_type_attribute(self)
+    end
+
+    def inspect
+      return "\"#{kind}\" = \"#{value}\"" if string?
+      return "#{kind}(#{value})" if enum?
+      super
+    end
+
+    def to_s
+      return kind if enum?
+      super
+    end
+
+    def kind_id
+      enum_kind_id
+    end
+
+    private
+
+    def enum_kind_id
+      C.get_enum_attribute_kind(self)
+    end
+
+    def enum_kind
+      Support::C.get_enum_attribute_name_for_kind(enum_kind_id)
+    end
+
+    # wraps get_string_attribute_kind
+    def string_kind
+      FFI::MemoryPointer.new(:uint64) do |size_ptr|
+        return C.get_string_attribute_kind(self, size_ptr)
+      end
+    end
+
+    # wraps get_string_attribute_value
+    def string_value
+      FFI::MemoryPointer.new(:uint) do |size_ptr|
+        return C.get_string_attribute_value(self, size_ptr)
+      end
+    end
+
+  end
+end

data/lib/llvm/core/bitcode.rb

@@ -36,6 +36,28 @@ module LLVM
       end
       status == 0
     end
+
+    def self.parse_ir(path_or_memory_buffer, context = Context.global)
+      memory_buffer = case path_or_memory_buffer
+      when MemoryBuffer then path_or_memory_buffer
+      else MemoryBuffer.from_file(path_or_memory_buffer)
+      end
+      FFI::MemoryPointer.new(:pointer) do |mod_ref|
+        FFI::MemoryPointer.new(:pointer) do |msg_ref|
+          status = C.parse_ir_in_context(context, memory_buffer, mod_ref, msg_ref)
+          raise msg_ref.get_pointer(0).get_string(0) if status
+          return from_ptr(mod_ref.get_pointer(0))
+        end
+      end
+    end
+
+    def write_ir!(filename)
+      FFI::MemoryPointer.new(:pointer) do |msg_ref|
+        status = C.print_module_to_file(self, filename, msg_ref)
+        raise msg_ref.get_pointer(0).get_string(0) if status != 0
+      end
+      self
+    end
   end
 
   # @private

data/lib/llvm/core/bitcode_ffi.rb

@@ -4,7 +4,7 @@ require 'ffi'
 
 module LLVM::C
   extend FFI::Library
-  ffi_lib ["libLLVM-15.so.1", "libLLVM.so.15", "LLVM-15"]
+  ffi_lib ["libLLVM-16.so.1", "libLLVM.so.16", "LLVM-16"]
 
   def self.attach_function(name, *_)
     begin; super; rescue FFI::NotFoundError => e

data/lib/llvm/core/builder.rb

@@ -563,6 +563,7 @@ module LLVM
     # @return [LLVM::Instruction] The resulting pointer
     # @LLVMinst gep
     # @see http://llvm.org/docs/GetElementPtr.html
+    # may return Instruction or GlobalVariable
     def gep(ptr, indices, name = "")
       gep2(nil, ptr, indices, name)
     end
@@ -576,6 +577,7 @@ module LLVM
     # @return [LLVM::Instruction] The resulting pointer
     # @LLVMinst gep2
     # @see http://llvm.org/docs/GetElementPtr.html
+    # may return Instruction or GlobalVariable
     def gep2(type, ptr, indices, name)
       must_be_value!(ptr)
 

data/lib/llvm/core/module.rb

@@ -24,6 +24,16 @@ module LLVM
       @ptr = nil
     end
 
+    def inspect
+      {
+        triple: triple,
+        globals: globals.count,
+        functions: functions.count,
+        lines: to_s.lines.size,
+        valid: valid?,
+      }.to_s
+    end
+
     # Get module triple.
     #
     # @return [String]

data/lib/llvm/core/value.rb

@@ -12,6 +12,26 @@ module LLVM
       val
     end
 
+    def self.from_ptr_kind(ptr)
+      return if ptr.null?
+
+      kind = C.get_value_kind(ptr)
+      case kind
+      when :instruction
+        Instruction.from_ptr(ptr)
+      when :const_int
+        Int.from_ptr(ptr)
+      when :const_fp
+        Float.from_ptr(ptr)
+      when :poison
+        Poison.from_ptr(ptr)
+      when :global_variable
+        GlobalValue.from_ptr(ptr)
+      else
+        raise "from_ptr_kind cannot handle: #{kind}"
+      end
+    end
+
     # Returns the Value type. This is abstract and is overidden by its subclasses.
     def self.type
       raise NotImplementedError, "#{name}.type() is abstract."
@@ -26,6 +46,11 @@ module LLVM
       Type.from_ptr(C.type_of(self), nil)
     end
 
+    # Returns the value's kind.
+    def kind
+      C.get_value_kind(self)
+    end
+
     def allocated_type
       Type.from_ptr(C.get_allocated_type(self), nil)
     end
@@ -412,22 +437,22 @@ module LLVM
 
     # Unsigned division.
     def udiv(rhs)
-      self.class.from_ptr(C.const_u_div(self, rhs))
+      raise "constant udiv removed in LLVM 15"
     end
 
     # Signed division.
     def /(rhs)
-      self.class.from_ptr(C.const_s_div(self, rhs))
+      raise "constant sdiv removed in LLVM 15"
     end
 
     # Unsigned remainder.
     def urem(rhs)
-      self.class.from_ptr(C.const_u_rem(self, rhs))
+      raise "constant urem removed in LLVM 15"
     end
 
     # Signed remainder.
     def rem(rhs)
-      self.class.from_ptr(C.const_s_rem(self, rhs))
+      raise "constant srem removed in LLVM 15"
     end
 
     # Boolean negation.
@@ -507,6 +532,17 @@ module LLVM
     def sext(type)
       self.class.from_ptr(C.const_s_ext(self, type))
     end
+    alias_method :ext, :sext
+
+    # constant trunc
+    def trunc(type)
+      self.class.from_ptr(C.const_trunc(self, type))
+    end
+
+    # LLVMValueRef LLVMConstSIToFP(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
+    def to_f(type)
+      self.class.from_ptr(C.const_si_to_fp(self, type))
+    end
   end
 
   def self.const_missing(const)
@@ -559,27 +595,27 @@ module LLVM
 
     # Negation.
     def -@
-      self.class.from_ptr(C.const_f_neg(self))
+      raise "constant fneg removed in LLVM 16"
     end
 
     # Returns the result of adding this ConstantReal to rhs.
     def +(rhs)
-      self.class.from_ptr(C.const_f_add(self, rhs))
+      raise "constant fadd removed in LLVM 15"
     end
 
     # Returns the result of multiplying this ConstantReal by rhs.
     def *(rhs)
-      self.class.from_ptr(C.const_f_mul(self, rhs))
+      raise "constant fmul removed in LLVM 15"
     end
 
     # Returns the result of dividing this ConstantReal by rhs.
     def /(rhs)
-      self.class.from_ptr(C.const_f_div(self, rhs))
+      raise "constant fdiv removed in LLVM 15"
     end
 
     # Remainder.
     def rem(rhs)
-      self.class.from_ptr(C.const_f_rem(self, rhs))
+      raise "constant frem removed in LLVM 15"
     end
 
     # Floating point comparison using the predicate specified via the first
@@ -603,6 +639,24 @@ module LLVM
     def fcmp(pred, rhs)
       self.class.from_ptr(C.llmv_const_f_cmp(pred, self, rhs))
     end
+
+    # constant FPToSI
+    # LLVMValueRef LLVMConstFPToSI(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
+    def to_i(type)
+      self.class.from_ptr(C.const_fp_to_si(self, type))
+    end
+
+    # Constant FPExt
+    # this is a signed extension
+    def ext(type)
+      self.class.from_ptr(C.const_fp_ext(self, type))
+    end
+    alias_method :sext, :ext
+
+    def trunc(type)
+      self.class.from_ptr(C.const_fp_trunc(self, type))
+    end
+
   end
 
   class Float < ConstantReal
@@ -802,9 +856,16 @@ module LLVM
       end
 
       def add(attr)
-        attr_kind_id = attribute_id(attr)
-        ctx = Context.global
-        attr_ref = C.create_enum_attribute(ctx, attr_kind_id, 0)
+        attr_ref = case attr
+        when Attribute
+          attr
+        when Symbol
+          attr_kind_id = attribute_id(attr)
+          ctx = Context.global
+          C.create_enum_attribute(ctx, attr_kind_id, 0)
+        else
+          raise "Adding unknown attribute type"
+        end
         C.add_attribute_at_index(@fun, @index, attr_ref)
       end
 
@@ -825,7 +886,7 @@ module LLVM
           attr_refs = p.read_array_of_type(:pointer, :read_pointer, n)
         end
 
-        attr_refs.map { |e| C.get_enum_attribute_kind(e) }
+        attr_refs.map { |e| Attribute.send(:from_ptr, e) }
       end
 
       private
@@ -939,6 +1000,17 @@ module LLVM
     def gc
       C.get_gc(self)
     end
+
+    def inspect
+      {
+        signature: to_s.lines[attribute_count == 0 ? 0 : 1],
+        type: type.to_s,
+        attributes: attribute_count,
+        valid: valid?,
+        blocks: basic_blocks.size,
+        lines: to_s.lines.size,
+      }.to_s
+    end
   end
 
   class GlobalAlias < GlobalValue
@@ -966,6 +1038,12 @@ module LLVM
   end
 
   class Instruction < User
+
+    def self.from_ptr(ptr)
+      kind = C.get_value_kind(ptr)
+      kind == :instruction ? super : LLVM::Value.from_ptr_kind(ptr)
+    end
+
     # Returns the parent of the instruction (a BasicBlock).
     def parent
       ptr = C.get_instruction_parent(self)
@@ -987,6 +1065,14 @@ module LLVM
     def opcode
       C.get_instruction_opcode(self)
     end
+
+    def inspect
+      { self.class.name => { opcode: opcode, ptr: @ptr } }.to_s
+    end
+  end
+
+  class Poison < Value
+
   end
 
   class CallInst < Instruction

data/lib/llvm/core.rb

@@ -24,10 +24,17 @@ module LLVM
     # (LLVMContextRef C, unsigned KindID, uint64_t Val);
     attach_function :create_enum_attribute, :LLVMCreateEnumAttribute, [:pointer, :uint, :uint64], :pointer
 
+    # LLVMAttributeRef LLVMCreateStringAttribute(LLVMContextRef C,
+    #   const char *K, unsigned KLength,
+    #   const char *V, unsigned VLength);
+    attach_function :create_string_attribute, :LLVMCreateStringAttribute, [:pointer, :string, :uint, :string, :uint], :pointer
+
     # unsigned LLVMGetEnumAttributeKindForName
     # (const char *Name, size_t SLen);
     attach_function :get_enum_attribute_kind_for_name, :LLVMGetEnumAttributeKindForName, [:pointer, :size_t], :uint
 
+    attach_function :get_last_enum_attribute_kind, :LLVMGetLastEnumAttributeKind, [], :uint
+
     # unsigned LLVMGetAttributeCountAtIndex
     # (LLVMValueRef F, LLVMAttributeIndex Idx);
     attach_function :get_attribute_count_at_index, :LLVMGetAttributeCountAtIndex, [:pointer, :llvmattributeindex], :uint
@@ -42,15 +49,19 @@ module LLVM
 
     # uint64_t LLVMGetEnumAttributeValue
     # (LLVMAttributeRef A);
-    attach_function :get_enum_attribute_value, :LLVMGetEnumAttributeKind, [:pointer], :uint64
+    attach_function :get_enum_attribute_value, :LLVMGetEnumAttributeValue, [:pointer], :uint64
 
     # const char *LLVMGetStringAttributeKind
     # (LLVMAttributeRef A, unsigned *Length);
-    attach_function :get_string_attribute_kind, :LLVMGetStringAttributeKind, [:pointer, :pointer], :pointer
+    attach_function :get_string_attribute_kind, :LLVMGetStringAttributeKind, [:pointer, :pointer], :string
 
     # const char *LLVMGetStringAttributeValue
     # (LLVMAttributeRef A, unsigned *Length);
-    attach_function :get_string_attribute_value, :LLVMGetStringAttributeValue, [:pointer, :pointer], :pointer
+    attach_function :get_string_attribute_value, :LLVMGetStringAttributeValue, [:pointer, :pointer], :string
+
+    attach_function :is_enum_attribute, :LLVMIsEnumAttribute, [:pointer], :bool
+    attach_function :is_string_attribute, :LLVMIsStringAttribute, [:pointer], :bool
+    attach_function :is_type_attribute, :LLVMIsTypeAttribute, [:pointer], :bool
 
     # LLVMValueRef LLVMBuildLoad2(LLVMBuilderRef, LLVMTypeRef Ty, LLVMValueRef PointerVal, const char *Name);
     attach_function :build_load2, :LLVMBuildLoad2, [:pointer, :pointer, :pointer, :string], :pointer
@@ -134,6 +145,56 @@ module LLVM
     # @return [Bool]
     # @scope class
     attach_function :is_literal_struct, :LLVMIsLiteralStruct, [:pointer], :bool
+
+    # /**
+    #  * Read LLVM IR from a memory buffer and convert it into an in-memory Module
+    #  * object. Returns 0 on success.
+    #  * Optionally returns a human-readable description of any errors that
+    #  * occurred during parsing IR. OutMessage must be disposed with
+    #  * LLVMDisposeMessage.
+    #  *
+    #  * @see llvm::ParseIR()
+    #  */
+    # LLVMBool LLVMParseIRInContext(LLVMContextRef ContextRef,
+    #                               LLVMMemoryBufferRef MemBuf, LLVMModuleRef *OutM,
+    #                               char **OutMessage);
+    attach_function :parse_ir_in_context, :LLVMParseIRInContext, [:pointer, :pointer, :pointer, :pointer], :bool
+
+    enum :value_kind, [
+      :argument, 0,
+      :basic_block, 1,
+      :memory_use, 2,
+      :memory_def, 3,
+      :memory_phi, 4,
+      :function, 5,
+      :global_alias, 6,
+      :global_ifunc, 7,
+      :global_variable, 8,
+      :block_address, 9,
+      :const_expr, 10,
+      :const_array, 11,
+      :const_struct, 12,
+      :const_vector, 13,
+      :undef, 14,
+      :const_aggregregate_zero, 15,
+      :const_data_array, 16,
+      :const_data_vector, 17,
+      :const_int, 18,
+      :const_fp, 19,
+      :const_null, 20,
+      :const_none, 21,
+      :metadata, 22,
+      :inline_asm, 23,
+      :instruction, 24,
+      :poison, 25,
+    ]
+
+    # /**
+    #  * Obtain the enumerated type of a Value instance.
+    #  *
+    #  * @see llvm::Value::getValueID()
+    #  */
+    attach_function :get_value_kind, :LLVMGetValueKind, [:pointer], :value_kind
   end
 
   # Yields a pointer suitable for storing an LLVM output message.
@@ -179,4 +240,5 @@ module LLVM
   require 'llvm/core/builder'
   require 'llvm/core/pass_manager'
   require 'llvm/core/bitcode'
+  require 'llvm/core/attribute'
 end

data/lib/llvm/core_ffi.rb

@@ -4,7 +4,7 @@ require 'ffi'
 
 module LLVM::C
   extend FFI::Library
-  ffi_lib ["libLLVM-15.so.1", "libLLVM.so.15", "LLVM-15"]
+  ffi_lib ["libLLVM-16.so.1", "libLLVM.so.16", "LLVM-16"]
 
   def self.attach_function(name, *_)
     begin; super; rescue FFI::NotFoundError => e

data/lib/llvm/execution_engine_ffi.rb

@@ -4,7 +4,7 @@ require 'ffi'
 
 module LLVM::C
   extend FFI::Library
-  ffi_lib ["libLLVM-15.so.1", "libLLVM.so.15", "LLVM-15"]
+  ffi_lib ["libLLVM-16.so.1", "libLLVM.so.16", "LLVM-16"]
 
   def self.attach_function(name, *_)
     begin; super; rescue FFI::NotFoundError => e

data/lib/llvm/linker_ffi.rb

@@ -4,7 +4,7 @@ require 'ffi'
 
 module LLVM::C
   extend FFI::Library
-  ffi_lib ["libLLVM-15.so.1", "libLLVM.so.15", "LLVM-15"]
+  ffi_lib ["libLLVM-16.so.1", "libLLVM.so.16", "LLVM-16"]
 
   def self.attach_function(name, *_)
     begin; super; rescue FFI::NotFoundError => e

data/lib/llvm/support.rb

@@ -27,6 +27,8 @@ module LLVM
           :LLVMInitializeNativeTarget, [], :void
       attach_function :initialize_native_asm_printer,
           :LLVMInitializeNativeAsmPrinter, [], :void
+
+      attach_function :get_enum_attribute_name_for_kind, :LLVMGetEnumAttributeNameForKind, [:uint], :string
     end
   end
 

data/lib/llvm/target.rb

@@ -22,8 +22,21 @@ module LLVM
     #
     # @param [String]      target      Target name in LLVM format, e.g. "X86", "ARM" or "PowerPC".
     # @param [true, false] asm_printer Initialize corresponding AsmPrinter.
+
+    module TargetModule
+      extend FFI::Library
+      ffi_lib ["libLLVM-16.so.1", "libLLVM.so.16", "LLVM-16"]
+
+      def self.safe_attach_function(*args)
+        attach_function(*args)
+      rescue FFI::NotFoundError => e
+        warn(e)
+      end
+    end
+
     def self.init(target, asm_printer = false)
-      C.module_eval do
+      target_module = TargetModule.dup
+      target_module.module_eval do
         attach_function :"initialize_target_info_#{target}",
             :"LLVMInitialize#{target}TargetInfo", [], :void
         attach_function :"initialize_target_#{target}",
@@ -33,12 +46,14 @@ module LLVM
 
         attach_function :"initialize_#{target}_asm_printer",
             :"LLVMInitialize#{target}AsmPrinter", [], :void
-        attach_function :"initialize_#{target}_asm_parser",
+        safe_attach_function :"initialize_#{target}_asm_parser",
             :"LLVMInitialize#{target}AsmParser", [], :void
-        attach_function :"initialize_#{target}_disassembler",
+        safe_attach_function :"initialize_#{target}_disassembler",
             :"LLVMInitialize#{target}Disassembler", [], :void
       end
 
+      C.extend(target_module)
+
       begin
         %W(initialize_target_info_#{target}
            initialize_target_#{target}

data/lib/llvm/target_ffi.rb

@@ -4,7 +4,7 @@ require 'ffi'
 
 module LLVM::C
   extend FFI::Library
-  ffi_lib ["libLLVM-15.so.1", "libLLVM.so.15", "LLVM-15"]
+  ffi_lib ["libLLVM-16.so.1", "libLLVM.so.16", "LLVM-16"]
 
   def self.attach_function(name, *_)
     begin; super; rescue FFI::NotFoundError => e

data/lib/llvm/transforms/builder_ffi.rb

@@ -4,7 +4,7 @@ require 'ffi'
 
 module LLVM::C
   extend FFI::Library
-  ffi_lib ["libLLVM-15.so.1", "libLLVM.so.15", "LLVM-15"]
+  ffi_lib ["libLLVM-16.so.1", "libLLVM.so.16", "LLVM-16"]
 
   def self.attach_function(name, *_)
     begin; super; rescue FFI::NotFoundError => e

data/lib/llvm/transforms/ipo.rb

@@ -84,7 +84,7 @@ module LLVM
     # /** See llvm::createPruneEHPass function. */
     # void LLVMAddPruneEHPass(LLVMPassManagerRef PM);
     def prune_eh!
-      C.add_prune_eh_pass(self)
+      warn('prune_eh! / LLVMAddPruneEHPass was removed in LLVM 16')
     end
 
     # @LLVMpass ipsccp

data/lib/llvm/transforms/ipo_ffi.rb

@@ -4,7 +4,7 @@ require 'ffi'
 
 module LLVM::C
   extend FFI::Library
-  ffi_lib ["libLLVM-15.so.1", "libLLVM.so.15", "LLVM-15"]
+  ffi_lib ["libLLVM-16.so.1", "libLLVM.so.16", "LLVM-16"]
 
   def self.attach_function(name, *_)
     begin; super; rescue FFI::NotFoundError => e

data/lib/llvm/transforms/scalar_ffi.rb

@@ -4,7 +4,7 @@ require 'ffi'
 
 module LLVM::C
   extend FFI::Library
-  ffi_lib ["libLLVM-15.so.1", "libLLVM.so.15", "LLVM-15"]
+  ffi_lib ["libLLVM-16.so.1", "libLLVM.so.16", "LLVM-16"]
 
   def self.attach_function(name, *_)
     begin; super; rescue FFI::NotFoundError => e

data/lib/llvm/transforms/vectorize_ffi.rb

@@ -4,7 +4,7 @@ require 'ffi'
 
 module LLVM::C
   extend FFI::Library
-  ffi_lib ["libLLVM-15.so.1", "libLLVM.so.15", "LLVM-15"]
+  ffi_lib ["libLLVM-16.so.1", "libLLVM.so.16", "LLVM-16"]
 
   def self.attach_function(name, *_)
     begin; super; rescue FFI::NotFoundError => e

data/lib/llvm/version.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
 module LLVM
-  LLVM_VERSION = "15"
-  LLVM_REQUIRED_VERSION = "15.0"
-  RUBY_LLVM_VERSION = "15.0.3"
+  LLVM_VERSION = "16"
+  LLVM_REQUIRED_VERSION = "16.0"
+  RUBY_LLVM_VERSION = "16.0.0"
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: ruby-llvm
 version: !ruby/object:Gem::Version
-  version: 15.0.3
+  version: 16.0.0
 platform: ruby
 authors:
 - Jesse Johnson
@@ -9,7 +9,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2023-02-25 00:00:00.000000000 Z
+date: 2023-06-01 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: ffi
@@ -192,6 +192,7 @@ files:
 - lib/llvm/analysis_ffi.rb
 - lib/llvm/config.rb
 - lib/llvm/core.rb
+- lib/llvm/core/attribute.rb
 - lib/llvm/core/bitcode.rb
 - lib/llvm/core/bitcode_ffi.rb
 - lib/llvm/core/builder.rb