ruby-llvm 3.5.0 → 13.0.1

data/test/equality_test.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require "test_helper"
 require "llvm/core"
 
@@ -14,9 +16,9 @@ class EqualityTestCase < Minitest::Test
   def assert_equalities(options)
     map = {
       :equal     => method(:assert_equal),
-      :not_equal => lambda {|n, m, name| assert n != m, name  },
+      :not_equal => lambda {|n, m, name| assert n != m, name },
       :same      => method(:assert_same),
-      :not_same  => lambda {|n, m, name| assert !n.equal?(m), name  },
+      :not_same  => lambda {|n, m, name| assert !n.equal?(m), name },
       :eql       => lambda {|n, m, name| assert n.eql?(m), name  },
       :not_eql   => lambda {|n, m, name| assert !n.eql?(m), name },
     }
@@ -26,7 +28,6 @@ class EqualityTestCase < Minitest::Test
         callable.call(n, m, name.to_s)
       end
     end
-
   end
 
   def test_int_value
@@ -88,4 +89,3 @@ class EqualityTestCase < Minitest::Test
   end
 
 end
-

data/test/function_test.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require "test_helper"
 require "llvm/core"
 
@@ -30,6 +32,33 @@ class FunctionTest < Minitest::Test
     end
   end
 
+  def helper_test_attribute(name)
+    with_function [], LLVM.Void do |fun|
+      assert_equal 0, fun.attribute_count
+      assert_equal [], fun.attributes
+
+      fun.add_attribute(name)
+      assert_equal 1, fun.attribute_count
+      assert_equal [34], fun.attributes
+
+      assert_equal false, fun.verify
+
+      fun.remove_attribute(name)
+      assert_equal 0, fun.attribute_count
+      assert_equal [], fun.attributes
+
+      assert_equal false, fun.verify
+    end
+  end
+
+  def test_add_attribute_old_name
+    helper_test_attribute(:no_unwind_attribute)
+  end
+
+  def test_add_attribute_new_name
+    helper_test_attribute(:nounwind)
+  end
+
 end
 
 class FunctionTypeTest < Minitest::Test

data/test/generic_value_test.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require "test_helper"
 
 class GenericValueTestCase < Minitest::Test
@@ -8,7 +10,7 @@ class GenericValueTestCase < Minitest::Test
 
   def test_from_i
     assert_equal 2, LLVM::GenericValue.from_i(2).to_i
-    assert_equal 2 ,LLVM::GenericValue.from_i(2.2).to_i
+    assert_equal 2, LLVM::GenericValue.from_i(2.2).to_i
   end
 
   def test_from_float

data/test/instruction_test.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require "test_helper"
 
 class InstructionTestCase < Minitest::Test
@@ -28,5 +30,3 @@ class InstructionTestCase < Minitest::Test
     assert_equal entry, inst2.parent
   end
 end
-
-

data/test/integer_test.rb

@@ -0,0 +1,28 @@
+# frozen_string_literal: true
+
+require "test_helper"
+
+class IntegerTestCase < Minitest::Test
+
+  def test_const_zext
+    assert i = LLVM::Int8.from_i(-1)
+    assert_equal 'i8 -1', i.to_s
+    assert_equal :integer, i.type.kind
+    assert_equal 8, i.type.width
+    assert zext = i.zext(LLVM::Int64)
+    assert_equal 'i64 255', zext.to_s
+    assert_equal :integer, zext.type.kind
+    assert_equal 64, zext.type.width
+  end
+
+  def test_const_sext
+    assert i = LLVM::Int8.from_i(-1)
+    assert_equal 'i8 -1', i.to_s
+    assert_equal :integer, i.type.kind
+    assert_equal 8, i.type.width
+    assert sext = i.sext(LLVM::Int64)
+    assert_equal 'i64 -1', sext.to_s
+    assert_equal :integer, sext.type.kind
+    assert_equal 64, sext.type.width
+  end
+end

data/test/ipo_test.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require "test_helper"
 require "llvm/core"
 require 'llvm/transforms/ipo'
@@ -39,7 +41,7 @@ class IPOTestCase < Minitest::Test
     assert fns.include?(main)
 
     # optimize
-    engine = LLVM::JITCompiler.new(mod)
+    engine = LLVM::MCJITCompiler.new(mod)
     passm  = LLVM::PassManager.new(engine)
 
     passm.gdce!

data/test/linker_test.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require 'test_helper'
 require 'llvm/core'
 require 'llvm/linker'
@@ -34,13 +36,4 @@ class LinkerTestCase < Minitest::Test
 
     assert_equal 42, run_function_on_module(@mod1, 'main').to_i
   end
-
-  def test_link_into_and_destroy
-    create_modules
-    @mod2.link_into_and_destroy(@mod1)
-
-    assert_nil @mod2.to_ptr
-
-    assert_equal 42, run_function_on_module(@mod1, 'main').to_i
-  end
 end

data/test/mcjit_test.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require 'test_helper'
 
 class MCJITTestCase < Minitest::Test
@@ -35,6 +37,9 @@ class MCJITTestCase < Minitest::Test
 
     engine = LLVM::MCJITCompiler.new(mod, :opt_level => 0)
 
+    # TODO: fix or replace find_function
+    skip
+
     ['foo', :foo].each do |name|
       engine.functions[name].tap do |fun|
         assert fun, "function named #{name.inspect}"
@@ -77,7 +82,10 @@ class MCJITTestCase < Minitest::Test
       assert_equal engine.modules, ret, '#<< returns self'
     end
 
-    assert engine.functions[:bar]
+    # TODO: fix or replace find_function
+    skip
+
+    refute_nil engine.functions[:bar]
     engine.modules.delete(mod2).tap do |ret|
       assert_instance_of LLVM::Module, ret, '#delete returns module'
       assert_equal mod2, ret
@@ -88,7 +96,7 @@ class MCJITTestCase < Minitest::Test
   def test_accessors
     main_mod = LLVM::Module.new('main')
     engine = LLVM::MCJITCompiler.new(main_mod, :opt_level => 0)
-    assert_match /^e-/, engine.data_layout.to_s
-    assert_match /gnu/, engine.target_machine.triple
+    assert_match(/^e-/, engine.data_layout.to_s)
+    assert_match(/gnu/, engine.target_machine.triple)
   end
 end

data/test/memory_access_test.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require "test_helper"
 
 class MemoryAccessTestCase < Minitest::Test

data/test/module_test.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require "test_helper"
 require "tempfile"
 
@@ -54,7 +56,8 @@ class ModuleTestCase < Minitest::Test
 
   def test_to_s
     mod = LLVM::Module.new('test_print')
-    assert_equal mod.to_s, "; ModuleID = 'test_print'\n"
+    assert_equal mod.to_s,
+      "; ModuleID = 'test_print'\nsource_filename = \"test_print\"\n"
   end
 
   def test_dump
@@ -75,4 +78,18 @@ class ModuleTestCase < Minitest::Test
     end
   end
 
+  def test_module_properties
+    mod = LLVM::Module.new('mod')
+
+    assert_equal '', mod.triple
+
+    mod.triple = 'x86-linux-gnu'
+    assert_equal 'x86-linux-gnu', mod.triple
+
+    assert_equal '', mod.data_layout
+
+    mod.data_layout = 'e-p:32:32'
+    assert_equal 'e-p:32:32', mod.data_layout
+  end
+
 end

data/test/parameter_collection_test.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require "test_helper"
 
 class ParameterCollectionTestCase < Minitest::Test

data/test/pass_manager_builder_test.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require 'test_helper'
 require 'llvm/config'
 require 'llvm/transforms/builder'
@@ -7,8 +9,7 @@ class PassManagerBuilderTest < Minitest::Test
     LLVM.init_jit
     @builder = LLVM::PassManagerBuilder.new
 
-    machine = LLVM::Target.by_name('x86-64').create_machine('x86-linux-gnu')
-    @pass_manager = LLVM::PassManager.new(machine)
+    @pass_manager = LLVM::PassManager.new
   end
 
   def teardown
@@ -51,4 +52,23 @@ class PassManagerBuilderTest < Minitest::Test
       @builder.build_with_lto(@pass_manager, false, 0)
     end
   end
+
+  PASSES = [
+    'always_inline!',
+    'adce!',
+    'tailcallelim!',
+    'fun_attrs!',
+    'mergefunc!',
+  ].freeze
+
+  describe "PassManager Passes" do
+    before do
+      assert @pass_manager = LLVM::PassManager.new
+    end
+    PASSES.each do |pass|
+      it "should return '#{pass}'" do
+        assert_nil @pass_manager.send(pass)
+      end
+    end
+  end
 end

data/test/phi_test.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require "test_helper"
 
 class PhiTest < Minitest::Test

data/test/select_test.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require "test_helper"
 
 class SelectTestCase < Minitest::Test

data/test/struct_test.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require "test_helper"
 
 class StructTestCase < Minitest::Test

data/test/target_test.rb

@@ -1,4 +1,5 @@
 # encoding: ascii-8bit
+# frozen_string_literal: true
 
 require "test_helper"
 require 'tempfile'
@@ -56,9 +57,6 @@ class TargetTestCase < Minitest::Test
     assert_equal 'x86-linux-gnu', mach.triple
     assert_equal 'i686', mach.cpu
     assert_equal '', mach.features
-
-    layout = mach.data_layout
-    assert_equal 'e-m:e-p:32:32-f64:32:64-f80:32-n8:16:32-S128', layout.to_s
   end
 
   def test_emit
@@ -74,29 +72,27 @@ class TargetTestCase < Minitest::Test
 
     Tempfile.open('emit') do |tmp|
       mach.emit(mod, tmp.path)
-      assert_match %r{xorl\t%eax, %eax}, tmp.read
+      data = tmp.read
+      assert_match(/xorl\t%eax, %eax/, data)
+      assert_equal 218, data.length
     end
 
+    # despite the above test, in LLVM <= 11 the objdump output was:
+    # 00000000 <main>:
+    #    0:   66 31 c0                xor    %ax,%ax
+    #    3:   66 c3                   retw
+    # In LLVM 13, the objdump output is:
+    # 00000000 <main>:
+    #    0:   31 c0                   xor    %eax,%eax
+    #    2:   c3                      ret
     Tempfile.open('emit') do |tmp|
       mach.emit(mod, tmp.path, :object)
-      assert_match %r{\x66\x31\xc0}, File.read(tmp.path, mode: 'rb')
+      data = File.read(tmp.path, mode: 'rb')
+      assert_match(/\x31\xc0\xc3/, data)
+      assert_equal 528, data.length
     end
   end
 
-  def test_module_properties
-    mod = LLVM::Module.new('mod')
-
-    assert_equal '', mod.triple
-
-    mod.triple = 'x86-linux-gnu'
-    assert_equal 'x86-linux-gnu', mod.triple
-
-    assert_equal '', mod.data_layout
-
-    mod.data_layout = 'e-p:32:32'
-    assert_equal 'e-p:32:32', mod.data_layout
-  end
-
   def test_data_layout
     layout_be = LLVM::TargetDataLayout.new('E')
     assert_equal :big_endian, layout_be.byte_order
@@ -104,7 +100,7 @@ class TargetTestCase < Minitest::Test
     desc = "e-p:32:32:32-S0-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f16:16:16-f32:32:32-f64:64:64-f128:128:128-v64:64:64-v128:128:128-a0:0:64"
     layout = LLVM::TargetDataLayout.new(desc)
 
-    assert_equal "e-p:32:32", layout.to_s
+    assert_equal desc, layout.to_s
     assert_equal :little_endian, layout.byte_order
     assert_equal 4, layout.pointer_size
     assert_equal 4, layout.pointer_size(0)

data/test/test_helper.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 $LOAD_PATH.unshift(File.join(File.dirname(__FILE__), "..", "lib"))
 
 begin
@@ -17,6 +19,9 @@ rescue LoadError
 end
 
 require "minitest/autorun"
+require 'minitest/reporters'
+
+Minitest::Reporters.use! Minitest::Reporters::SpecReporter.new
 
 require "llvm/core"
 require "llvm/execution_engine"
@@ -46,7 +51,7 @@ def define_function(host_module, function_name, argument_types, return_type)
 end
 
 def run_function_on_module(host_module, function_name, *argument_values)
-  LLVM::JITCompiler.new(host_module).
+  LLVM::MCJITCompiler.new(host_module).
     run_function(host_module.functions[function_name], *argument_values)
 end
 

data/test/type_test.rb

@@ -1,7 +1,11 @@
+# frozen_string_literal: true
+
 require "test_helper"
 
 class TypeTestCase < Minitest::Test
 
+  extend MiniTest::Spec::DSL
+
   def test_element_type
     pointer = LLVM.Pointer(LLVM::Int32.type)
     pointee = pointer.element_type
@@ -12,4 +16,47 @@ class TypeTestCase < Minitest::Test
     assert_nil pointee.element_type
   end
 
+  TO_S_TESTS = [
+    [LLVM.Struct(LLVM::Int32, LLVM::Int32), '{ i32, i32 }'],
+    [LLVM.Struct(LLVM::Int32, LLVM::Int32, "s1"), '%s1 = type { i32, i32 }'],
+    [LLVM::Type.struct([LLVM::Int32, LLVM::Int32], true), '<{ i32, i32 }>'],
+    [LLVM::Type.struct([LLVM::Int32, LLVM::Int32], true, "s2"), '%s2 = type <{ i32, i32 }>'],
+
+    [LLVM.Array(LLVM::Int8), '[0 x i8]'],
+    [LLVM.Array(LLVM::Int8, 42), '[42 x i8]'],
+    [LLVM::Type.array(LLVM::Int1), '[0 x i1]'],
+    [LLVM::Type.array(LLVM::Int1, 42), '[42 x i1]'],
+
+    [LLVM.Vector(LLVM::Int8, 42), '<42 x i8>'],
+    [LLVM::Type.vector(LLVM::Int1, 42), '<42 x i1>'],
+
+    [LLVM.Void, 'void'],
+    [LLVM::Type.void, 'void'],
+
+    [LLVM.Pointer(LLVM::Int8), 'i8*'],
+    [LLVM::Type.pointer(LLVM::Int1), 'i1*'],
+
+    [LLVM.Function([LLVM::Int8], LLVM.Void), 'void (i8)'],
+    [LLVM.Function([LLVM::Int8], LLVM::Int8), 'i8 (i8)'],
+    [LLVM.Function([], LLVM::Int8), 'i8 ()'],
+    [LLVM.Function([], LLVM.Void), 'void ()'],
+    [LLVM::Type.function([LLVM::Int1], LLVM.Void), 'void (i1)'],
+    [LLVM::Type.function([LLVM::Int1], LLVM::Int1), 'i1 (i1)'],
+    [LLVM::Type.function([], LLVM::Int1), 'i1 ()'],
+    [LLVM::Type.function([], LLVM.Void), 'void ()'],
+  ].freeze
+
+  describe "LLVM::Type#to_s" do
+    TO_S_TESTS.each do |(type, string)|
+      it "should return '#{string}'" do
+        assert type.is_a?(LLVM::Type)
+        assert_equal string, type.to_s
+      end
+    end
+
+    it 'should have 22 dynamic tests' do
+      assert_equal 22, TO_S_TESTS.size
+    end
+  end
+
 end

data/test/vector_test.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require "test_helper"
 
 class VectorTestCase < Minitest::Test