ruby-llvm 16.0.1 → 18.1.3

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: c6e1b8f07e635723694d6a987397f074c5433bcfad6867cb1832e71333c7a13e
-  data.tar.gz: 730e751e566373dc30950c08b12eafa665403ac635ffa6d33bb5324b56cd906d
+  metadata.gz: 67a728c4318fe7c347dfc1d85e626c0c93c29011f329638585b8eac584cf0aff
+  data.tar.gz: 62e72a80da04ec235acc44fd6ef7027d3903e1b47ef59edc7e36e63b92a69296
 SHA512:
-  metadata.gz: c1bbf9522c2c6a9782d46760138ff35ad5ed41b571bdd93425b3bc4d0d89992ec04cf904ec59fda21793a9edfa14ecb749128ccb4d03fa2a4b0801c5a22a61f9
-  data.tar.gz: 917666ebfceda78a79299df2849bf653dfdd2d723615ba6e105bf56f54ab95f3580158903a8b9b4702ffd32e0764b79d246bd1aecac35faac12eabd049f2d54d
+  metadata.gz: 504c7b62dac6dbd58b072f53fc2a817b33ef6ac43a9234687c7f60ab62d29a1c9f4682cda8e0432aa96809989858c6028e5addb916997244283f249244e8b31c
+  data.tar.gz: 03a43636eeea68eb6a279a8f91d794704b8a572bb64b34baed9718778942863e461ae11d44107859264ffd6ede8d593217d3dab2eb8ebafb1bee4e9711122294

data/README.md

@@ -14,7 +14,7 @@ computationally intensive algorithms on the fly.
 Current version
 ---------------
 
-This library currently binds to LLVM-15 (specifically llvm-c 15).
+This library currently binds to LLVM-17 (specifically llvm-c 17).
 
 About version numbers
 ---------------------

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

@@ -30,10 +30,20 @@ extern "C" {
     llvm::InitializeNativeTargetAsmPrinter();
   }
 
+  // static StringRef getNameFromAttrKind(Attribute::AttrKind AttrKind)
+  // https://llvm.org/doxygen/classllvm_1_1Attribute.html
   const char* LLVMGetEnumAttributeNameForKind(const unsigned KindID) {
     const auto AttrKind = (llvm::Attribute::AttrKind) KindID;
     const auto S = llvm::Attribute::getNameFromAttrKind(AttrKind);
     return S.data();
   }
+
+  // std::string Attribute::getAsString(bool InAttrGrp = false) const
+  // https://llvm.org/doxygen/classllvm_1_1Attribute.html
+  // string must be disposed with LLVMDisposeMessage
+  const char* LLVMGetAttributeAsString(LLVMAttributeRef A) {
+    auto S = llvm::unwrap(A).getAsString();
+    return strdup(S.c_str());
+  }
 }
 

data/lib/llvm/analysis_ffi.rb

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

data/lib/llvm/config.rb

@@ -1,13 +1,13 @@
 # Generated by ruby-llvm. Please do not change this file by hand.
 module LLVM
   module CONFIG
-    VERSION = "17.0.6"
-    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", "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", "xtensa", "xtensaasmparser", "xtensacodegen", "xtensadesc", "xtensadisassembler", "xtensainfo"]
+    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"]
     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-17/include  -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS"
-    CXXFLAGS = "-I/usr/lib/llvm-17/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-17/lib"
+    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"
   end
 end

data/lib/llvm/core/attribute.rb

@@ -1,6 +1,7 @@
 # frozen_string_literal: true
 
 module LLVM
+  # wrapper for LLVMAttributeRef
   class Attribute
 
     include PointerIdentity
@@ -98,7 +99,7 @@ module LLVM
     end
 
     def value
-      return C.get_enum_attribute_value(self) if enum?
+      return enum_value if enum?
       return string_value if string?
       raise
     end
@@ -116,22 +117,52 @@ module LLVM
     end
 
     def inspect
-      return "\"#{kind}\" = \"#{value}\"" if string?
-      return "#{kind}(#{value})" if enum?
-      super
+      to_s
     end
 
     def to_s
-      return kind if enum?
-      super
+      Support::C.get_attribute_as_string(self)
     end
 
     def kind_id
       enum_kind_id
     end
 
+    def ==(other)
+      super if self.class == other.class
+
+      # strings and symbols
+      return true if to_s == other.to_s
+
+      false
+    end
+
+    def readnone?
+      enum_kind == 'readnone' || (enum_kind == 'memory' && enum_value_mem_none?)
+    end
+
+    def readonly?
+      enum_kind == 'readonly' || (enum_kind == 'memory' && enum_value_mem_read?)
+    end
+
+    def writeonly?
+      enum_kind == 'writeonly' || (enum_kind == 'memory' && enum_value_mem_write?)
+    end
+
     private
 
+    def enum_value_mem_none?
+      (enum_value & 63).zero?
+    end
+
+    def enum_value_mem_read?
+      (enum_value & 21) != 0
+    end
+
+    def enum_value_mem_write?
+      (enum_value & 42) != 0
+    end
+
     def enum_kind_id
       C.get_enum_attribute_kind(self)
     end
@@ -140,6 +171,10 @@ module LLVM
       Support::C.get_enum_attribute_name_for_kind(enum_kind_id)
     end
 
+    def enum_value
+      C.get_enum_attribute_value(self)
+    end
+
     # wraps get_string_attribute_kind
     def string_kind
       FFI::MemoryPointer.new(:uint64) do |size_ptr|

data/lib/llvm/core/bitcode_ffi.rb

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

data/lib/llvm/core/builder.rb

@@ -189,7 +189,7 @@ module LLVM
     # Builds an unwind Instruction.
     # @LLVMinst unwind
     def unwind
-      Instruction.from_ptr(C.build_unwind(self))
+      raise DeprecationError
     end
 
     # Generates an instruction with no defined semantics. Can be used to
@@ -939,18 +939,18 @@ module LLVM
     end
 
     private def call2_infer_function_and_type(type, fun)
-      fun = insert_block.parent.global_parent.functions[fun.to_s] unless fun.is_a?(LLVM::Value)
+      fun2 = fun.is_a?(LLVM::Value) ? fun : insert_block.parent.global_parent.functions[fun.to_s]
 
-      msg = "Function provided to call instruction was neither a value nor a function name: #{fun.inspect}"
-      raise ArgumentError, msg if fun.nil?
+      msg = "Function provided to call instruction was neither a value nor a function name:"
+      raise ArgumentError, "#{msg} #{fun}" if fun2.nil?
 
-      msg = "Type must be provided to call2 when function argument is not a function type: #{fun.inspect}"
-      raise ArgumentError, msg if !fun.is_a?(Function) && type.nil?
+      msg = "Type must be provided to call2 when function argument is not a function type:"
+      raise ArgumentError, "#{msg} #{fun}" if !fun2.is_a?(Function) && type.nil?
 
-      type ||= fun.function_type
+      type ||= fun2.function_type
       must_be_type!(type)
 
-      [type, fun]
+      [type, fun2]
     end
 
     def call2(type, fun, *args)

data/lib/llvm/core/module.rb

@@ -24,6 +24,10 @@ module LLVM
       @ptr = nil
     end
 
+    def clone_module
+      Module.from_ptr(C.clone_module(self))
+    end
+
     def inspect
       {
         triple: triple,

data/lib/llvm/core/pass_manager.rb

@@ -13,9 +13,8 @@ module LLVM
     #
     # @param [LLVM::ExecutionEngine, LLVM::TargetMachine] machine
     def initialize(machine = nil)
-      if machine
-        warn("[DEPRECATION] PassManager.new should be called without parameters")
-      end
+      warn("[DEPRECATION] PassManager.new should be called without parameters") if machine
+
       @ptr = C.create_pass_manager()
     end
 

data/lib/llvm/core/type.rb

@@ -60,6 +60,10 @@ module LLVM
       ConstantExpr.from_ptr(C.const_null(self))
     end
 
+    def poison
+      ConstantExpr.from_ptr(C.get_poison(self))
+    end
+
     # Creates a pointer type with this type and the given address space.
     def pointer(address_space = 0)
       Type.pointer(self, address_space)

data/lib/llvm/core/value.rb

@@ -364,8 +364,21 @@ module LLVM
     end
 
     # Creates a ConstantInt from an integer.
-    def self.from_i(n, signed = true)
-      from_ptr(C.const_int(type, n, signed ? 1 : 0))
+    def self.from_i(int, signed = true)
+      width = type.width
+      return type.poison if !fits_width?(int, width, signed)
+
+      from_ptr(C.const_int(type, int, signed ? 1 : 0))
+    end
+
+    # does int fit in width
+    # allow 1 for signed i1 (though really it's -1 to 0)
+    def self.fits_width?(int, width, signed)
+      if signed
+        int.bit_length < width || int == 1
+      else
+        int >= 0 && int.bit_length <= width
+      end
     end
 
     def self.parse(str, radix = 10)
@@ -442,22 +455,22 @@ module LLVM
 
     # Unsigned division.
     def udiv(rhs)
-      raise "constant udiv removed in LLVM 15"
+      self.class.from_i(to_ui / rhs.to_ui, false)
     end
 
     # Signed division.
     def /(rhs)
-      raise "constant sdiv removed in LLVM 15"
+      self.class.from_i(to_si / rhs.to_si, true)
     end
 
     # Unsigned remainder.
     def urem(rhs)
-      raise "constant urem removed in LLVM 15"
+      self.class.from_i(to_ui % rhs.to_ui, false)
     end
 
     # Signed remainder.
     def rem(rhs)
-      raise "constant srem removed in LLVM 15"
+      self.class.from_i(to_si % rhs.to_si, true)
     end
 
     # Boolean negation.
@@ -468,15 +481,16 @@ module LLVM
     alias not ~
 
     # Integer AND.
+    # was: self.class.from_ptr(C.const_and(self, rhs))
     def &(rhs)
-      self.class.from_ptr(C.const_and(self, rhs))
+      self.class.from_i(to_i & rhs.to_i)
     end
 
     alias and &
 
     # Integer OR.
     def |(rhs)
-      self.class.from_ptr(C.const_or(self, rhs))
+      self.class.from_i(to_i | rhs.to_i)
     end
 
     alias or |
@@ -528,25 +542,45 @@ module LLVM
       ConstantExpr.from_ptr(C.const_int_to_ptr(self, type))
     end
 
+    def to_ui
+      to_i(false)
+    end
+
+    def to_si
+      to_i(true)
+    end
+
     # constant zext
+    # was: self.class.from_ptr(C.const_z_ext(self, type))
     def zext(type)
-      self.class.from_ptr(C.const_z_ext(self, type))
+      type.from_i(to_ui)
     end
 
     # constant sext
+    # was: self.class.from_ptr(C.const_s_ext(self, type))
     def sext(type)
-      self.class.from_ptr(C.const_s_ext(self, type))
+      type.from_i(to_si)
     end
     alias_method :ext, :sext
 
     # constant trunc
+    # was: self.class.from_ptr(C.const_trunc(self, type))
     def trunc(type)
-      self.class.from_ptr(C.const_trunc(self, type))
+      type.from_i(to_i)
     end
 
     # LLVMValueRef LLVMConstSIToFP(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
+    # was: self.class.from_ptr(C.const_si_to_fp(self, type))
     def to_f(type)
-      self.class.from_ptr(C.const_si_to_fp(self, type))
+      type.from_f(to_i.to_f)
+    end
+
+    def to_i(signed = true)
+      if signed
+        C.const_int_get_sext_value(self)
+      else
+        C.const_int_get_zext_value(self)
+      end
     end
   end
 
@@ -570,7 +604,7 @@ module LLVM
 
   # Native integer type
   bits = FFI.type_size(:int) * 8
-  ::LLVM::Int = const_get("Int#{bits}")
+  ::LLVM::Int = const_get(:"Int#{bits}")
 
   # Creates a LLVM Int (subclass of ConstantInt) at the NATIVE_INT_SIZE from a integer (val).
   def self.Int(val)
@@ -600,27 +634,31 @@ module LLVM
 
     # Negation.
     def -@
-      raise "constant fneg removed in LLVM 16"
+      self.class.from_f(-to_f)
     end
 
     # Returns the result of adding this ConstantReal to rhs.
     def +(rhs)
-      raise "constant fadd removed in LLVM 15"
+      self.class.from_f(to_f + rhs.to_f)
+    end
+
+    def -(rhs)
+      self.class.from_f(to_f - rhs.to_f)
     end
 
     # Returns the result of multiplying this ConstantReal by rhs.
     def *(rhs)
-      raise "constant fmul removed in LLVM 15"
+      self.class.from_f(to_f * rhs.to_f)
     end
 
     # Returns the result of dividing this ConstantReal by rhs.
     def /(rhs)
-      raise "constant fdiv removed in LLVM 15"
+      self.class.from_f(to_f / rhs.to_f) # rubocop:disable Style/FloatDivision
     end
 
     # Remainder.
     def rem(rhs)
-      raise "constant frem removed in LLVM 15"
+      self.class.from_f(to_f.divmod(rhs.to_f).last)
     end
 
     # Floating point comparison using the predicate specified via the first
@@ -647,19 +685,31 @@ module LLVM
 
     # constant FPToSI
     # LLVMValueRef LLVMConstFPToSI(LLVMValueRef ConstantVal, LLVMTypeRef ToType);
+    # was: self.class.from_ptr(C.const_fp_to_si(self, type))
     def to_i(type)
-      self.class.from_ptr(C.const_fp_to_si(self, type))
+      type.from_i(to_f.to_i)
     end
 
     # Constant FPExt
     # this is a signed extension
+    # was: self.class.from_ptr(C.const_fp_ext(self, type))
     def ext(type)
-      self.class.from_ptr(C.const_fp_ext(self, type))
+      type.from_f(to_f)
     end
     alias_method :sext, :ext
 
+    # was: self.class.from_ptr(C.const_fp_trunc(self, type))
     def trunc(type)
-      self.class.from_ptr(C.const_fp_trunc(self, type))
+      type.from_f(to_f)
+    end
+
+    # get double from value
+    def to_f
+      double = nil
+      FFI::MemoryPointer.new(:bool, 1) do |loses_info|
+        double = C.const_real_get_double(self, loses_info)
+      end
+      double
     end
 
   end
@@ -846,6 +896,18 @@ module LLVM
       function_attributes.to_a
     end
 
+    def readnone?
+      attributes.detect(&:readnone?)
+    end
+
+    def readonly?
+      attributes.detect(&:readonly?)
+    end
+
+    def writeonly?
+      attributes.detect(&:writeonly?)
+    end
+
     def function_attributes
       AttributeCollection.new(self, -1)
     end
@@ -869,12 +931,16 @@ module LLVM
         attr_ref = case attr
         when Attribute
           attr
-        when Symbol
+        when Symbol, String
           attr_kind_id = attribute_id(attr)
-          ctx = Context.global
-          C.create_enum_attribute(ctx, attr_kind_id, 0)
+          if attr_kind_id.is_a?(Integer)
+            ctx = Context.global
+            C.create_enum_attribute(ctx, attr_kind_id, 0)
+          else
+            attr_kind_id
+          end
         else
-          raise "Adding unknown attribute type"
+          raise "Adding unknown attribute type: #{attr.inspect}"
         end
         C.add_attribute_at_index(@fun, @index, attr_ref)
       end
@@ -911,12 +977,31 @@ module LLVM
       end
 
       def attribute_id(attr_name)
+        upgrade = upgrade_attr(attr_name)
+        return upgrade if upgrade
+
         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
+
+      # Upgrade attributes from before LLVM 16
+      # readnone, readonly, writeonly
+      def upgrade_attr(attr)
+        case attr.to_sym
+        when :readnone
+          LLVM::Attribute.memory
+        when :readonly
+          LLVM::Attribute.memory(memory: :read)
+        when :writeonly
+          LLVM::Attribute.memory(memory: :write)
+        when :inaccessiblememonly
+          LLVM::Attribute.memory(inaccessiblemem: :readwrite)
+        end
+      end
+
     end
 
     # @private

data/lib/llvm/core.rb

@@ -195,6 +195,12 @@ module LLVM
     #  * @see llvm::Value::getValueID()
     #  */
     attach_function :get_value_kind, :LLVMGetValueKind, [:pointer], :value_kind
+
+    attach_function :get_poison, :LLVMGetPoison, [:pointer], :pointer
+
+    attach_function :const_int_get_sext_value, :LLVMConstIntGetSExtValue, [:pointer], :long_long
+
+    attach_function :const_int_get_zext_value, :LLVMConstIntGetZExtValue, [:pointer], :ulong_long
   end
 
   # Yields a pointer suitable for storing an LLVM output message.
@@ -239,6 +245,7 @@ module LLVM
   require 'llvm/core/value'
   require 'llvm/core/builder'
   require 'llvm/core/pass_manager'
+  require 'llvm/transforms/pass_builder'
   require 'llvm/core/bitcode'
   require 'llvm/core/attribute'
 end