ruby-llvm 18.1.7 → 18.2.0

data/lib/llvm/core_ffi_v2.rb

@@ -0,0 +1,353 @@
+# frozen_string_literal: true
+
+module LLVM
+  # @private
+  module C
+    attach_function :dispose_message, :LLVMDisposeMessage, [:pointer], :void
+
+    # typedef unsigned LLVMAttributeIndex;
+    typedef(:uint, :llvmattributeindex)
+
+    # void LLVMAddAttributeAtIndex
+    # (LLVMValueRef F, LLVMAttributeIndex Idx, LLVMAttributeRef A);
+    attach_function :add_attribute_at_index, :LLVMAddAttributeAtIndex, [:pointer, :llvmattributeindex, :pointer], :void
+
+    # void LLVMRemoveEnumAttributeAtIndex
+    # (LLVMValueRef F, LLVMAttributeIndex Idx, unsigned KindID);
+    attach_function :remove_enum_attribute_at_index, :LLVMRemoveEnumAttributeAtIndex, [:pointer, :llvmattributeindex, :uint], :void
+
+    # LLVMAttributeRef LLVMCreateEnumAttribute
+    # (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
+
+    # void LLVMGetAttributesAtIndex
+    # (LLVMValueRef F, LLVMAttributeIndex Idx, LLVMAttributeRef *Attrs);
+    attach_function :get_attributes_at_index, :LLVMGetAttributesAtIndex, [:pointer, :llvmattributeindex, :pointer], :void
+
+    # unsigned LLVMGetEnumAttributeKind
+    # (LLVMAttributeRef A);
+    attach_function :get_enum_attribute_kind, :LLVMGetEnumAttributeKind, [:pointer], :uint
+
+    # uint64_t LLVMGetEnumAttributeValue
+    # (LLVMAttributeRef A);
+    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], :string
+
+    # const char *LLVMGetStringAttributeValue
+    # (LLVMAttributeRef A, unsigned *Length);
+    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
+
+    # LLVMValueRef LLVMBuildGEP2(LLVMBuilderRef B, LLVMTypeRef Ty,
+    #                            LLVMValueRef Pointer, LLVMValueRef *Indices,
+    #                            unsigned NumIndices, const char *Name);
+    attach_function :build_gep2, :LLVMBuildGEP2, [:pointer, :pointer, :pointer, :pointer, :uint, :string], :pointer
+
+    # LLVMValueRef LLVMBuildInBoundsGEP2(LLVMBuilderRef B, LLVMTypeRef Ty,
+    #                                    LLVMValueRef Pointer, LLVMValueRef *Indices,
+    #                                    unsigned NumIndices, const char *Name);
+    attach_function :build_inbounds_gep2, :LLVMBuildInBoundsGEP2, [:pointer, :pointer, :pointer, :pointer, :uint, :string], :pointer
+
+    # LLVMValueRef LLVMBuildStructGEP2(LLVMBuilderRef B, LLVMTypeRef Ty,
+    #                                  LLVMValueRef Pointer, unsigned Idx,
+    #                                  const char *Name);
+    attach_function :build_struct_gep2, :LLVMBuildStructGEP2, [:pointer, :pointer, :pointer, :uint, :string], :pointer
+
+    # LLVMValueRef LLVMBuildCall2(LLVMBuilderRef, LLVMTypeRef, LLVMValueRef Fn,
+    #                             LLVMValueRef *Args, unsigned NumArgs,
+    #                             const char *Name);
+    attach_function :build_call2, :LLVMBuildCall2, [:pointer, :pointer, :pointer, :pointer, :uint, :string], :pointer
+
+    # LLVMValueRef LLVMBuildInvoke2(LLVMBuilderRef, LLVMTypeRef Ty, LLVMValueRef Fn,
+    #                               LLVMValueRef *Args, unsigned NumArgs,
+    #                               LLVMBasicBlockRef Then, LLVMBasicBlockRef Catch,
+    #                               const char *Name);
+    attach_function :build_invoke2, :LLVMBuildInvoke2, [:pointer, :pointer, :pointer, :pointer, :uint, :pointer, :pointer, :string], :pointer
+
+    # LLVMValueRef LLVMBuildPtrDiff2(LLVMBuilderRef, LLVMTypeRef ElemTy,
+    #                                LLVMValueRef LHS, LLVMValueRef RHS,
+    #                                const char *Name);
+    attach_function :build_ptr_diff2, :LLVMBuildPtrDiff2, [:pointer, :pointer, :pointer, :pointer, :string], :pointer
+
+    # LLVMTypeRef LLVMGlobalGetValueType(LLVMValueRef Global);
+    attach_function :global_get_value_type, :LLVMGlobalGetValueType, [:pointer], :pointer
+
+    # LLVMTypeRef LLVMGetGEPSourceElementType(LLVMValueRef GEP);
+    attach_function :get_gep_source_element_type, :LLVMGetGEPSourceElementType, [:pointer], :pointer
+
+    # (Not documented)
+    #
+    # @method x86amx_type()
+    # @return [FFI::Pointer(TypeRef)]
+    # @scope class
+    attach_function :x86amx_type, :LLVMX86AMXType, [], :pointer
+
+    # LLVMTypeRef LLVMGetAllocatedType(LLVMValueRef Alloca);
+    attach_function :get_allocated_type, :LLVMGetAllocatedType, [:pointer], :pointer
+
+    # LLVMTypeRef LLVMGlobalGetValueType(LLVMValueRef Global);
+    attach_function :get_value_type, :LLVMGlobalGetValueType, [:pointer], :pointer
+
+    # LLVMValueRef LLVMGetAggregateElement(LLVMValueRef C, unsigned Idx);
+    attach_function :get_aggregate_element, :LLVMGetAggregateElement, [:pointer, :int], :pointer
+
+    attach_function :get_type_by_name2, :LLVMGetTypeByName2, [:pointer, :string], :pointer
+
+    # Determine whether a structure is packed.
+    #
+    # @see llvm::StructType::isPacked()
+    #
+    # @method is_packed_struct(struct_ty)
+    # @param [FFI::Pointer(TypeRef)] struct_ty
+    # @return [Bool]
+    # @scope class
+    attach_function :is_packed_struct, :LLVMIsPackedStruct, [:pointer], :bool
+
+    # Determine whether a structure is opaque.
+    #
+    # @see llvm::StructType::isOpaque()
+    #
+    # @method is_opaque_struct(struct_ty)
+    # @param [FFI::Pointer(TypeRef)] struct_ty
+    # @return [Bool]
+    # @scope class
+    attach_function :is_opaque_struct, :LLVMIsOpaqueStruct, [:pointer], :bool
+
+    # Determine whether a structure is literal.
+    #
+    # @see llvm::StructType::isLiteral()
+    #
+    # @method is_literal_struct(struct_ty)
+    # @param [FFI::Pointer(TypeRef)] struct_ty
+    # @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
+
+    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
+
+    # (Not documented)
+    #
+    # <em>This entry is only for documentation and no real method. The FFI::Enum can be accessed via #enum_type(:atomic_rmw_bin_op).</em>
+    #
+    # === Options:
+    # :xchg ::
+    #
+    # :add ::
+    #   < Set the new value and return the one old
+    # :sub ::
+    #   < Add a value and return the old one
+    # :and_ ::
+    #   < Subtract a value and return the old one
+    # :nand ::
+    #   < And a value and return the old one
+    # :or_ ::
+    #   < Not-And a value and return the old one
+    # :xor ::
+    #   < OR a value and return the old one
+    # :max ::
+    #   < Xor a value and return the old one
+    # :min ::
+    #   < Sets the value if it's greater than the
+    #                                original using a signed comparison and return
+    #                                the old one
+    # :u_max ::
+    #   < Sets the value if it's Smaller than the
+    #                                original using a signed comparison and return
+    #                                the old one
+    # :u_min ::
+    #   < Sets the value if it's greater than the
+    #                                original using an unsigned comparison and return
+    #                                the old one
+    #
+    # @method _enum_atomic_rmw_bin_op_
+    # @return [Symbol]
+    # @scope class
+    enum :atomic_rmw_bin_op, [
+      :xchg,
+      :add,
+      :sub,
+      :and,
+      :nand,
+      :or,
+      :xor,
+      :max,
+      :min,
+      :umax,
+      :umin,
+      :fadd,
+      :fsub,
+      :fmax,
+      :fmin,
+      :uincwrap,
+      :udecwrap,
+    ]
+
+    # (Not documented)
+    #
+    # @method build_atomic_rmw(b, op, ptr, val, ordering, single_thread)
+    # @param [FFI::Pointer(BuilderRef)] b
+    # @param [Symbol from _enum_atomic_rmw_bin_op_] op
+    # @param [FFI::Pointer(ValueRef)] ptr
+    # @param [FFI::Pointer(ValueRef)] val
+    # @param [Symbol from _enum_atomic_ordering_] ordering
+    # @param [Integer] single_thread
+    # @return [FFI::Pointer(ValueRef)]
+    # @scope class
+    attach_function :build_atomic_rmw, :LLVMBuildAtomicRMW, [:pointer, :atomic_rmw_bin_op, :pointer, :pointer, :atomic_ordering, :int], :pointer
+
+    # Create a ConstantDataSequential and initialize it with a string.
+    #
+    # @see llvm::ConstantDataArray::getString()
+    #
+    # @method const_string_in_context(c, str, length, dont_null_terminate)
+    # @param [FFI::Pointer(ContextRef)] c
+    # @param [String] str
+    # @param [Integer] length
+    # @param [Integer] dont_null_terminate
+    # @return [FFI::Pointer(ValueRef)]
+    # @scope class
+    attach_function :const_string_in_context, :LLVMConstStringInContext, [:pointer, :string, :size_t, :int], :pointer
+
+    # Determine whether the specified constant instance is constant.
+    #
+    # @method is_constant(val)
+    # @param [FFI::Pointer(ValueRef)] val
+    # @return [Integer]
+    # @scope class
+    attach_function :is_constant, :LLVMIsConstant, [:pointer], :bool
+
+    # Determine whether a value instance is undefined.
+    #
+    # @method is_undef(val)
+    # @param [FFI::Pointer(ValueRef)] val
+    # @return [Integer]
+    # @scope class
+    attach_function :is_undef, :LLVMIsUndef, [:pointer], :bool
+
+    # Determine whether a value instance is null.
+    #
+    # @see llvm::Constant::isNullValue()
+    #
+    # @method is_null(val)
+    # @param [FFI::Pointer(ValueRef)] val
+    # @return [Integer]
+    # @scope class
+    attach_function :is_null, :LLVMIsNull, [:pointer], :bool
+
+    attach_function :is_poison, :LLVMIsPoison, [:pointer], :bool
+
+    # (Not documented)
+    #
+    # @method is_thread_local(global_var)
+    # @param [FFI::Pointer(ValueRef)] global_var
+    # @return [Integer]
+    # @scope class
+    attach_function :is_thread_local, :LLVMIsThreadLocal, [:pointer], :bool
+
+    # (Not documented)
+    #
+    # @method is_global_constant(global_var)
+    # @param [FFI::Pointer(ValueRef)] global_var
+    # @return [Integer]
+    # @scope class
+    attach_function :is_global_constant, :LLVMIsGlobalConstant, [:pointer], :bool
+
+    attach_function :build_int_cast2, :LLVMBuildIntCast2, [:pointer, :pointer, :pointer, :bool, :string], :pointer
+
+    # LLVMBool LLVMGetNUW(LLVMValueRef ArithInst);
+    attach_function :get_nuw, :LLVMGetNUW, [:pointer], :bool
+
+    # void LLVMSetNUW(LLVMValueRef ArithInst, LLVMBool HasNUW);
+    attach_function :set_nuw, :LLVMSetNUW, [:pointer, :bool], :void
+
+    # LLVMBool LLVMGetNSW(LLVMValueRef ArithInst);
+    attach_function :get_nsw, :LLVMGetNSW, [:pointer], :bool
+
+    # void LLVMSetNSW(LLVMValueRef ArithInst, LLVMBool HasNSW);
+    attach_function :set_nsw, :LLVMSetNSW, [:pointer, :bool], :void
+
+    # LLVMBool LLVMGetExact(LLVMValueRef DivOrShrInst);
+    attach_function :get_exact, :LLVMGetExact, [:pointer], :bool
+
+    # void LLVMSetExact(LLVMValueRef DivOrShrInst, LLVMBool IsExact);
+    attach_function :set_exact, :LLVMSetExact, [:pointer, :bool], :void
+  end
+end

data/lib/llvm/execution_engine.rb

@@ -192,7 +192,7 @@ module LLVM
         :no_frame_pointer_elim => false,
         :enable_fast_i_sel     => false,
         # TODO
-        #:mcjmm                 => nil,
+        # :mcjmm                 => nil,
       }.merge(options)
 
       super

data/lib/llvm/lljit.rb

@@ -5,7 +5,6 @@ require 'llvm/core'
 module LLVM
   # wrapper around LLVMOrcLLJITRef
   class LLJit
-
     # create lljit
     # does not automatically dispose of lljit
     # if lljit was disposed, that would dispose of builder

data/lib/llvm/{transforms/pass_builder.rb → pass_builder.rb}

@@ -10,12 +10,14 @@ module LLVM
 
     # rubocop:disable Layout/LineLength
     OPT_PASSES = {
+      # :nocov:
       '0' => 'always-inline,coro-cond(coro-early,cgscc(coro-split),coro-cleanup,globaldce),function(annotation-remarks),verify',
       '1' => 'annotation2metadata,forceattrs,inferattrs,coro-early,function<eager-inv>(lower-expect,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;no-switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,sroa<modify-cfg>,early-cse<>),openmp-opt,ipsccp,called-value-propagation,globalopt,function<eager-inv>(mem2reg,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),always-inline,require<globals-aa>,function(invalidate<aa>),require<profile-summary>,cgscc(devirt<4>(inline,function-attrs<skip-non-recursive-function-attrs>,function<eager-inv;no-rerun>(sroa<modify-cfg>,early-cse<memssa>,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,libcalls-shrinkwrap,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,reassociate,loop-mssa(loop-instsimplify,loop-simplifycfg,licm<no-allowspeculation>,loop-rotate<header-duplication;no-prepare-for-lto>,licm<allowspeculation>,simple-loop-unswitch<no-nontrivial;trivial>),simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop(loop-idiom,indvars,loop-deletion,loop-unroll-full),sroa<modify-cfg>,memcpyopt,sccp,bdce,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,coro-elide,adce,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>),function-attrs,function(require<should-not-run-function-passes>),coro-split)),deadargelim,coro-cleanup,globalopt,globaldce,elim-avail-extern,rpo-function-attrs,recompute-globalsaa,function<eager-inv>(float2int,lower-constant-intrinsics,loop(loop-rotate<header-duplication;no-prepare-for-lto>,loop-deletion),loop-distribute,inject-tli-mappings,loop-vectorize<no-interleave-forced-only;vectorize-forced-only;>,infer-alignment,loop-load-elim,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;forward-switch-cond;switch-range-to-icmp;switch-to-lookup;no-keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,vector-combine,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-unroll<O1>,transform-warning,sroa<preserve-cfg>,infer-alignment,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-mssa(licm<allowspeculation>),alignment-from-assumptions,loop-sink,instsimplify,div-rem-pairs,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),globaldce,constmerge,cg-profile,rel-lookup-table-converter,function(annotation-remarks),verify',
       '2' => 'annotation2metadata,forceattrs,inferattrs,coro-early,function<eager-inv>(lower-expect,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;no-switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,sroa<modify-cfg>,early-cse<>),openmp-opt,ipsccp,called-value-propagation,globalopt,function<eager-inv>(mem2reg,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),always-inline,require<globals-aa>,function(invalidate<aa>),require<profile-summary>,cgscc(devirt<4>(inline,function-attrs<skip-non-recursive-function-attrs>,openmp-opt-cgscc,function<eager-inv;no-rerun>(sroa<modify-cfg>,early-cse<memssa>,speculative-execution<only-if-divergent-target>,jump-threading,correlated-propagation,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,aggressive-instcombine,libcalls-shrinkwrap,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,reassociate,constraint-elimination,loop-mssa(loop-instsimplify,loop-simplifycfg,licm<no-allowspeculation>,loop-rotate<header-duplication;no-prepare-for-lto>,licm<allowspeculation>,simple-loop-unswitch<no-nontrivial;trivial>),simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop(loop-idiom,indvars,loop-deletion,loop-unroll-full),sroa<modify-cfg>,vector-combine,mldst-motion<no-split-footer-bb>,gvn<>,sccp,bdce,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,jump-threading,correlated-propagation,adce,memcpyopt,dse,move-auto-init,loop-mssa(licm<allowspeculation>),coro-elide,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>),function-attrs,function(require<should-not-run-function-passes>),coro-split)),deadargelim,coro-cleanup,globalopt,globaldce,elim-avail-extern,rpo-function-attrs,recompute-globalsaa,function<eager-inv>(float2int,lower-constant-intrinsics,loop(loop-rotate<header-duplication;no-prepare-for-lto>,loop-deletion),loop-distribute,inject-tli-mappings,loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>,infer-alignment,loop-load-elim,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;forward-switch-cond;switch-range-to-icmp;switch-to-lookup;no-keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,slp-vectorizer,vector-combine,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-unroll<O2>,transform-warning,sroa<preserve-cfg>,infer-alignment,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-mssa(licm<allowspeculation>),alignment-from-assumptions,loop-sink,instsimplify,div-rem-pairs,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),globaldce,constmerge,cg-profile,rel-lookup-table-converter,function(annotation-remarks),verify',
       '3' => 'annotation2metadata,forceattrs,inferattrs,coro-early,function<eager-inv>(lower-expect,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;no-switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,sroa<modify-cfg>,early-cse<>,callsite-splitting),openmp-opt,ipsccp,called-value-propagation,globalopt,function<eager-inv>(mem2reg,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),always-inline,require<globals-aa>,function(invalidate<aa>),require<profile-summary>,cgscc(devirt<4>(inline,function-attrs<skip-non-recursive-function-attrs>,argpromotion,openmp-opt-cgscc,function<eager-inv;no-rerun>(sroa<modify-cfg>,early-cse<memssa>,speculative-execution<only-if-divergent-target>,jump-threading,correlated-propagation,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,aggressive-instcombine,libcalls-shrinkwrap,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,reassociate,constraint-elimination,loop-mssa(loop-instsimplify,loop-simplifycfg,licm<no-allowspeculation>,loop-rotate<header-duplication;no-prepare-for-lto>,licm<allowspeculation>,simple-loop-unswitch<nontrivial;trivial>),simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop(loop-idiom,indvars,loop-deletion,loop-unroll-full),sroa<modify-cfg>,vector-combine,mldst-motion<no-split-footer-bb>,gvn<>,sccp,bdce,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,jump-threading,correlated-propagation,adce,memcpyopt,dse,move-auto-init,loop-mssa(licm<allowspeculation>),coro-elide,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>),function-attrs,function(require<should-not-run-function-passes>),coro-split)),deadargelim,coro-cleanup,globalopt,globaldce,elim-avail-extern,rpo-function-attrs,recompute-globalsaa,function<eager-inv>(float2int,lower-constant-intrinsics,chr,loop(loop-rotate<header-duplication;no-prepare-for-lto>,loop-deletion),loop-distribute,inject-tli-mappings,loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>,infer-alignment,loop-load-elim,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;forward-switch-cond;switch-range-to-icmp;switch-to-lookup;no-keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,slp-vectorizer,vector-combine,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-unroll<O3>,transform-warning,sroa<preserve-cfg>,infer-alignment,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-mssa(licm<allowspeculation>),alignment-from-assumptions,loop-sink,instsimplify,div-rem-pairs,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),globaldce,constmerge,cg-profile,rel-lookup-table-converter,function(annotation-remarks),verify',
       's' => 'annotation2metadata,forceattrs,inferattrs,coro-early,function<eager-inv>(lower-expect,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;no-switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,sroa<modify-cfg>,early-cse<>),openmp-opt,ipsccp,called-value-propagation,globalopt,function<eager-inv>(mem2reg,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),always-inline,require<globals-aa>,function(invalidate<aa>),require<profile-summary>,cgscc(devirt<4>(inline,function-attrs<skip-non-recursive-function-attrs>,function<eager-inv;no-rerun>(sroa<modify-cfg>,early-cse<memssa>,speculative-execution<only-if-divergent-target>,jump-threading,correlated-propagation,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,aggressive-instcombine,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,reassociate,constraint-elimination,loop-mssa(loop-instsimplify,loop-simplifycfg,licm<no-allowspeculation>,loop-rotate<header-duplication;no-prepare-for-lto>,licm<allowspeculation>,simple-loop-unswitch<no-nontrivial;trivial>),simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop(loop-idiom,indvars,loop-deletion,loop-unroll-full),sroa<modify-cfg>,vector-combine,mldst-motion<no-split-footer-bb>,gvn<>,sccp,bdce,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,jump-threading,correlated-propagation,adce,memcpyopt,dse,move-auto-init,loop-mssa(licm<allowspeculation>),coro-elide,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>),function-attrs,function(require<should-not-run-function-passes>),coro-split)),deadargelim,coro-cleanup,globalopt,globaldce,elim-avail-extern,rpo-function-attrs,recompute-globalsaa,function<eager-inv>(float2int,lower-constant-intrinsics,loop(loop-rotate<header-duplication;no-prepare-for-lto>,loop-deletion),loop-distribute,inject-tli-mappings,loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>,infer-alignment,loop-load-elim,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;forward-switch-cond;switch-range-to-icmp;switch-to-lookup;no-keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,slp-vectorizer,vector-combine,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-unroll<O2>,transform-warning,sroa<preserve-cfg>,infer-alignment,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-mssa(licm<allowspeculation>),alignment-from-assumptions,loop-sink,instsimplify,div-rem-pairs,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),globaldce,constmerge,cg-profile,rel-lookup-table-converter,function(annotation-remarks),verify',
       'z' => 'annotation2metadata,forceattrs,inferattrs,coro-early,function<eager-inv>(lower-expect,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;no-switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,sroa<modify-cfg>,early-cse<>),openmp-opt,ipsccp,called-value-propagation,globalopt,function<eager-inv>(mem2reg,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),always-inline,require<globals-aa>,function(invalidate<aa>),require<profile-summary>,cgscc(devirt<4>(inline,function-attrs<skip-non-recursive-function-attrs>,function<eager-inv;no-rerun>(sroa<modify-cfg>,early-cse<memssa>,speculative-execution<only-if-divergent-target>,jump-threading,correlated-propagation,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,aggressive-instcombine,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,reassociate,constraint-elimination,loop-mssa(loop-instsimplify,loop-simplifycfg,licm<no-allowspeculation>,loop-rotate<no-header-duplication;no-prepare-for-lto>,licm<allowspeculation>,simple-loop-unswitch<no-nontrivial;trivial>),simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop(loop-idiom,indvars,loop-deletion,loop-unroll-full),sroa<modify-cfg>,vector-combine,mldst-motion<no-split-footer-bb>,gvn<>,sccp,bdce,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,jump-threading,correlated-propagation,adce,memcpyopt,dse,move-auto-init,loop-mssa(licm<allowspeculation>),coro-elide,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>),function-attrs,function(require<should-not-run-function-passes>),coro-split)),deadargelim,coro-cleanup,globalopt,globaldce,elim-avail-extern,rpo-function-attrs,recompute-globalsaa,function<eager-inv>(float2int,lower-constant-intrinsics,loop(loop-rotate<no-header-duplication;no-prepare-for-lto>,loop-deletion),loop-distribute,inject-tli-mappings,loop-vectorize<no-interleave-forced-only;vectorize-forced-only;>,infer-alignment,loop-load-elim,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;forward-switch-cond;switch-range-to-icmp;switch-to-lookup;no-keep-loops;hoist-common-insts;sink-common-insts;speculate-blocks;simplify-cond-branch>,vector-combine,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-unroll<O2>,transform-warning,sroa<preserve-cfg>,infer-alignment,instcombine<max-iterations=1;no-use-loop-info;no-verify-fixpoint>,loop-mssa(licm<allowspeculation>),alignment-from-assumptions,loop-sink,instsimplify,div-rem-pairs,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-sink-common-insts;speculate-blocks;simplify-cond-branch>),globaldce,constmerge,cg-profile,rel-lookup-table-converter,function(annotation-remarks),verify',
+      # :nocov:
     }.freeze
     # rubocop:enable Layout/LineLength
 
@@ -159,7 +161,7 @@ module LLVM
 
     # @return self
     def loop_reroll!
-      add_pass('loop-reroll')
+      deprecated('loop-reroll pass was removed in LLVM 19')
     end
 
     # @return self
@@ -214,10 +216,13 @@ module LLVM
     end
 
     # @return self
-    def loweratomic!
+    def lower_atomic!
+      # TODO: change in LLVM-19
       add_pass('loweratomic')
     end
 
+    alias_method :loweratomic!, :lower_atomic!
+
     # @return self
     def partially_inline_libcalls!
       add_pass('partially-inline-libcalls')
@@ -363,10 +368,10 @@ module LLVM
       add_pass('require<basic-aa>')
     end
 
-    alias basicaa! basic_aa!
+    alias_method :basicaa!, :basic_aa!
 
     # @return self
-    def objc_arc_aa
+    def objc_arc_aa!
       add_pass('require<objc-arc-aa>')
     end
 
@@ -391,10 +396,13 @@ module LLVM
     end
 
     # @return self
-    def lowerswitch!
+    def lower_switch!
+      # TODO: change in LLVM-19
       add_pass('lowerswitch')
     end
 
+    alias_method :lowerswitch!, :lower_switch!
+
     # Inlines functions marked as "always_inline".
     # https://llvm.org/doxygen/AlwaysInliner_8h_source.html
     # https://llvm.org/doxygen/AlwaysInliner_8cpp_source.html
@@ -442,7 +450,7 @@ module LLVM
       add_pass('deadargelim')
     end
 
-    alias dae! deadargelim!
+    alias_method :dae!, :deadargelim!
 
     # ConstantMerge is designed to build up a map of available constants and eliminate duplicates when it is initialized.
     # https://llvm.org/doxygen/ConstantMerge_8cpp_source.html
@@ -452,7 +460,7 @@ module LLVM
       add_pass('constmerge')
     end
 
-    alias const_merge! constmerge!
+    alias_method :const_merge!, :constmerge!
 
     # Aggressive Dead Code Elimination
     # @return self
@@ -465,7 +473,7 @@ module LLVM
       add_pass('function-attrs')
     end
 
-    alias fun_attrs! function_attrs!
+    alias_method :fun_attrs!, :function_attrs!
 
     # @return self
     def strip!
@@ -477,12 +485,29 @@ module LLVM
       add_pass('strip-dead-prototypes')
     end
 
-    alias sdp! strip_dead_prototypes!
+    alias_method :sdp!, :strip_dead_prototypes!
 
     # @return self
-    # TODO: test this
-    def internalize!(_all_but_main = true) # rubocop:disable Style/OptionalBooleanParameter
-      add_pass('internalize')
+    # preserve_gv - true / false to support previous option of all_but_main
+    # otherwise preserve_gv is assumed to be an array of global variable names
+    # internalize<preserve-gv=GV>
+    # tests showing usage: https://github.com/llvm/llvm-project/blob/a4b429f9e4175a06cc95f054c5dab3d4bc8fa690/llvm/test/Transforms/Internalize/lists.ll#L17
+    def internalize!(preserve_gv = [])
+      preserved = case preserve_gv
+      when true
+        ['main']
+      when false
+        []
+      else
+        preserve_gv
+      end
+      preserved_string = preserved.map { |gv| "preserve-gv=#{gv}" }.join(';')
+
+      if preserved_string.empty?
+        add_pass('internalize')
+      else
+        add_pass("internalize<#{preserved_string}>")
+      end
     end
 
     # This pass implements interprocedural sparse conditional constant propagation and merging.
@@ -506,7 +531,7 @@ module LLVM
       add_pass('globaldce')
     end
 
-    alias gdce! globaldce!
+    alias_method :gdce!, :globaldce!
 
     # Bit-Tracking Dead Code Elimination pass
     # @return self
@@ -527,7 +552,7 @@ module LLVM
       add_pass('argpromotion')
     end
 
-    alias arg_promote! argpromotion!
+    alias_method :arg_promote!, :argpromotion!
 
     # The inliner pass for the new pass manager.
     # https://llvm.org/doxygen/classllvm_1_1InlinerPass.html
@@ -633,16 +658,22 @@ module LLVM
       deprecated('simplify_libcalls! / LLVMAddSimplifyLibCallsPass was removed from LLVM')
     end
 
+    # https://reviews.llvm.org/D21316
     def scalarrepl!
-      deprecated('TODO: scalarrepl')
+      deprecated('scalarrepl was removed from LLVM in 2016 - use sroa')
+      sroa!
     end
 
+    # https://reviews.llvm.org/D21316
     def scalarrepl_ssa!
-      deprecated('TODO: scalarrepl_ssa')
+      deprecated('scalarrepl_ssa was removed from LLVM in 2016 - use sroa')
+      sroa!
     end
 
+    # https://reviews.llvm.org/D21316
     def scalarrepl_threshold!(_threshold = 0)
-      deprecated('TODO: scalarrepl_threshold')
+      deprecated('scalarrepl_threshold was removed from LLVM in 2016 - use sroa')
+      sroa!
     end
 
     def bb_vectorize!

data/lib/llvm/support.rb

@@ -3,7 +3,6 @@
 require 'llvm/core_ffi'
 
 module LLVM
-
   module Support
     # @private
 

data/lib/llvm/target_ffi.rb

@@ -624,5 +624,4 @@ module LLVM::C
   # @return [nil]
   # @scope class
   attach_function :add_analysis_passes, :LLVMAddAnalysisPasses, [OpaqueTargetMachine, :pointer], :void
-
 end

data/lib/llvm/transforms/ipo.rb

@@ -113,6 +113,5 @@ module LLVM
     def strip!
       raise DeprecationError
     end
-
   end
 end

data/lib/llvm/transforms/scalar.rb

@@ -311,6 +311,5 @@ module LLVM
     def mergereturn!
       raise DeprecationError
     end
-
   end
 end

data/lib/llvm/transforms/utils.rb

@@ -5,7 +5,6 @@ require 'llvm/core'
 
 module LLVM
   class PassManager
-
     # @LLVMpass lowerswitch
     # /** See llvm::createLowerSwitchPass function. */
     # void LLVMAddLowerSwitchPass(LLVMPassManagerRef PM);

data/lib/llvm/version.rb

@@ -2,6 +2,6 @@
 
 module LLVM
   LLVM_VERSION = "18"
-  LLVM_REQUIRED_VERSION = "18.1.7"
-  RUBY_LLVM_VERSION = "18.1.7"
+  LLVM_REQUIRED_VERSION = "18.1.8"
+  RUBY_LLVM_VERSION = "18.2.0"
 end