ruby-llvm 3.1.0.beta.1 → 3.2.0.beta.1

data/lib/llvm/transforms/vectorize_ffi.rb

@@ -0,0 +1,31 @@
+# Generated by ffi_gen. Please do not change this file by hand.
+
+require 'ffi'
+
+module LLVM::C
+  extend FFI::Library
+  ffi_lib 'LLVM-3.2'
+  
+  def self.attach_function(name, *_)
+    begin; super; rescue FFI::NotFoundError => e
+      (class << self; self; end).class_eval { define_method(name) { |*_| raise e } }
+    end
+  end
+  
+  # (Not documented)
+  # 
+  # @method add_bb_vectorize_pass(pm)
+  # @param [FFI::Pointer(PassManagerRef)] pm 
+  # @return [nil] 
+  # @scope class
+  attach_function :add_bb_vectorize_pass, :LLVMAddBBVectorizePass, [:pointer], :void
+  
+  # See llvm::createLoopVectorizePass function.
+  # 
+  # @method add_loop_vectorize_pass(pm)
+  # @param [FFI::Pointer(PassManagerRef)] pm 
+  # @return [nil] 
+  # @scope class
+  attach_function :add_loop_vectorize_pass, :LLVMAddLoopVectorizePass, [:pointer], :void
+  
+end

data/lib/llvm/version.rb

@@ -1,4 +1,23 @@
+require 'find'
+
 module LLVM
-  LLVM_VERSION = "3.1"
-  RUBY_LLVM_VERSION = "3.1.0.beta.1"
+  LLVM_VERSION = "3.2"
+  RUBY_LLVM_VERSION = "3.2.0.beta.1"
+  LLVM_CONFIG = begin
+    variants = %W(llvm-config-#{LLVM_VERSION} llvm-config)
+    llvm_config = nil
+    catch :done do
+      paths = ENV['PATH'].split(File::PATH_SEPARATOR).select(&File.method(:directory?))
+      Find.find(*paths) do |path|
+        if variants.include?(File.basename(path))
+          actual_version = `#{path} --version`.chomp
+          if LLVM_VERSION == actual_version
+            llvm_config = path
+            throw(:done)
+          end
+        end
+      end
+    end
+    llvm_config
+  end
 end

data/test/array_test.rb

@@ -3,7 +3,7 @@ require "test_helper"
 class ArrayTestCase < Test::Unit::TestCase
 
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
   end
 
   def test_constant_array_from_size

data/test/basic_block_test.rb

@@ -3,7 +3,7 @@ require "test_helper"
 class BasicBlockTestCase < Test::Unit::TestCase
 
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
     @module = LLVM::Module.new("BasicBlockTestCase")
   end
 

data/test/basic_test.rb

@@ -4,7 +4,7 @@ class BasicTestCase < Test::Unit::TestCase
 
   def test_llvm_initialization
     assert_nothing_raised do
-      LLVM.init_x86
+      LLVM.init_jit
     end
   end
 

data/test/binary_operations_test.rb

@@ -3,7 +3,7 @@ require "test_helper"
 class BasicOperationsTestCase < Test::Unit::TestCase
 
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
   end
 
   def test_integer_binary_operations

data/test/bitcode_test.rb

@@ -3,9 +3,9 @@ require "tempfile"
 
 class BitcodeTestCase < Test::Unit::TestCase
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
   end
-  
+
   def test_bitcode
     test_module = define_module("test_module") do |mod|
       define_function(mod, "test_function", [], LLVM::Int) do

data/test/branch_test.rb

@@ -3,7 +3,7 @@ require "test_helper"
 class BranchTestCase < Test::Unit::TestCase
 
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
   end
 
   def test_branching

data/test/call_test.rb

@@ -3,7 +3,7 @@ require "test_helper"
 class CallTestCase < Test::Unit::TestCase
 
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
   end
 
   def test_simple_call

data/test/comparisons_test.rb

@@ -3,7 +3,7 @@ require "test_helper"
 class ComparisonsTestCase < Test::Unit::TestCase
 
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
   end
 
   def test_integer_comparison

data/test/conversions_test.rb

@@ -3,7 +3,7 @@ require "test_helper"
 class ConversionsTestCase < Test::Unit::TestCase
 
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
   end
 
   def test_trunc_to

data/test/double_test.rb

@@ -2,7 +2,7 @@ require "test_helper"
 
 class DoubleTestCase < Test::Unit::TestCase
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
   end
 
   def test_double
@@ -16,7 +16,7 @@ class DoubleTestCase < Test::Unit::TestCase
 
       bb = fun.basic_blocks.append
       builder.position_at_end(bb)
-      
+
       builder.ret(builder.fadd(p0, LLVM::Double(1.0)))
     end
 

data/test/equality_test.rb

@@ -3,7 +3,7 @@ require "llvm/core"
 
 class EqualityTestCase < Test::Unit::TestCase
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
   end
 
   class MyModule < LLVM::Module; end
@@ -40,7 +40,7 @@ class EqualityTestCase < Test::Unit::TestCase
                       :same      => [int1, int1],
                       :not_same  => [int1, int2, int3, int4],
                       :eql       => [int1, int2],
-                      :not_eql   => [int1, int3, int4]
+                      :not_eql   => [int1, int3]
   end
 
   def test_module
@@ -54,7 +54,7 @@ class EqualityTestCase < Test::Unit::TestCase
                       :same      => [mod1, mod1],
                       :not_same  => [mod1, mod2, mod3, mod4],
                       :eql       => [mod1, mod2],
-                      :not_eql   => [mod1, mod3, mod4]
+                      :not_eql   => [mod1, mod3]
   end
 
   def test_type
@@ -68,7 +68,7 @@ class EqualityTestCase < Test::Unit::TestCase
                       :same      => [type1, type1],
                       :not_same  => [type1, type2, type3, type4],
                       :eql       => [type1, type2],
-                      :not_eql   => [type1, type3, type4]
+                      :not_eql   => [type1, type3]
   end
 
   def test_function
@@ -84,7 +84,7 @@ class EqualityTestCase < Test::Unit::TestCase
                       :same      => [fn1, fn1],
                       :not_same  => [fn1, fn2, fn3, fn4],
                       :eql       => [fn1, fn2],
-                      :not_eql   => [fn1, fn3, fn4]
+                      :not_eql   => [fn1, fn3]
   end
 
 end

data/test/generic_value_test.rb

@@ -3,7 +3,7 @@ require "test_helper"
 class GenericValueTestCase < Test::Unit::TestCase
 
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
   end
 
   def test_from_i

data/test/instruction_test.rb

@@ -2,7 +2,7 @@ require "test_helper"
 
 class InstructionTestCase < Test::Unit::TestCase
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
     @module = LLVM::Module.new("InstructionTestCase")
   end
 

data/test/ipo_test.rb

@@ -6,7 +6,7 @@ require 'llvm/core/pass_manager'
 class IPOTestCase < Test::Unit::TestCase
 
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
   end
 
   def test_gdce

data/test/linker_test.rb

@@ -0,0 +1,46 @@
+require 'test_helper'
+require 'llvm/core'
+require 'llvm/linker'
+
+class LinkerTestCase < Test::Unit::TestCase
+  def setup
+    LLVM.init_jit
+  end
+
+  def create_modules
+    @mod1 = define_module('mod1') do |mod|
+      mod1calc = mod.functions.add("calc", [], LLVM::Int32)
+
+      mod.functions.add("main", [], LLVM::Int32) do |fn|
+        fn.basic_blocks.append.build do |builder|
+          val = builder.call(mod1calc)
+          builder.ret val
+        end
+      end
+    end
+
+    @mod2 = define_module('mod2') do |mod|
+      mod.functions.add("calc", [], LLVM::Int32) do |fn|
+        fn.basic_blocks.append.build do |builder|
+          builder.ret LLVM::Int32.from_i(42)
+        end
+      end
+    end
+  end
+
+  def test_link_into
+    create_modules
+    @mod2.link_into(@mod1)
+
+    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/memory_access_test.rb

@@ -3,7 +3,7 @@ require "test_helper"
 class MemoryAccessTestCase < Test::Unit::TestCase
 
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
   end
 
   def test_memory_access

data/test/module_test.rb

@@ -1,9 +1,10 @@
 require "test_helper"
+require "tempfile"
 
 class ModuleTestCase < Test::Unit::TestCase
 
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
   end
 
   def test_simple_module
@@ -18,4 +19,52 @@ class ModuleTestCase < Test::Unit::TestCase
     end
   end
 
+  def test_global_variable
+    yielded = false
+
+    define_module('test_globals_add') do |mod|
+      mod.globals.add(LLVM::Int32, 'i') do |var|
+        yielded = true
+        assert_not_nil var
+        assert var.kind_of?(LLVM::GlobalVariable)
+
+        assert !var.unnamed_addr?
+        var.unnamed_addr = true
+        assert var.unnamed_addr?
+      end
+    end
+
+    assert yielded, 'LLVM::Module::GlobalCollection#add takes block'
+  end
+
+  def test_dump
+    mod = LLVM::Module.new('test_print')
+    expected_pattern = /^; ModuleID = 'test_print'$/
+
+    Tempfile.open('test_dump.1') do |tmpfile|
+      # debug stream (stderr)
+      stderr_old = $stderr.dup
+      $stderr.reopen(tmpfile.path, 'a')
+      begin
+        mod.dump
+        $stderr.flush
+        assert_match expected_pattern, File.read(tmpfile.path)
+      ensure
+        $stderr.reopen(stderr_old)
+      end
+    end
+
+    Tempfile.open('test_dump.2') do |tmpfile|
+      # file descriptor
+      mod.dump(tmpfile.fileno)
+      assert_match expected_pattern, File.read(tmpfile.path)
+    end
+
+    Tempfile.open('test_dump.3') do |tmpfile|
+      # io object
+      mod.dump(tmpfile)
+      assert_match expected_pattern, File.read(tmpfile.path)
+    end
+  end
+
 end

data/test/phi_test.rb

@@ -2,7 +2,7 @@ require "test_helper"
 
 class PhiTest < Test::Unit::TestCase
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
   end
 
   def test_phi

data/test/select_test.rb

@@ -3,7 +3,7 @@ require "test_helper"
 class SelectTestCase < Test::Unit::TestCase
 
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
   end
 
   def test_select

data/test/struct_test.rb

@@ -6,7 +6,7 @@ class StructTestCase < Test::Unit::TestCase
   LLVM_PACKED = true
 
   def setup
-    LLVM.init_x86
+    LLVM.init_jit
   end
 
   def test_simple_struct
@@ -16,13 +16,13 @@ class StructTestCase < Test::Unit::TestCase
     assert_equal LLVM::Int.type, struct.element_types[0]
     assert_equal LLVM::Float.type, struct.element_types[1]
   end
-  
+
   def test_named_struct
     struct = LLVM::Struct(LLVM::Int, LLVM::Float, "struct100")
     assert_instance_of LLVM::StructType, struct
     assert_equal "struct100", struct.name
   end
-  
+
   def test_deferred_element_type_setting
     struct = LLVM::Struct("struct200")
     struct.element_types = [LLVM::Int, LLVM::Float]

data/test/target_test.rb

@@ -0,0 +1,124 @@
+require "test_helper"
+require 'llvm/version'
+
+class TargetTestCase < Test::Unit::TestCase
+
+  def setup
+    LLVM::Target.init('X86', true)
+
+    @x86 = LLVM::Target.by_name('x86')
+  end
+
+  def test_init_native
+    assert_nothing_raised { LLVM::Target.init_native }
+    assert_nothing_raised { LLVM::Target.init_native(true) }
+  end
+
+  if `#{LLVM::LLVM_CONFIG} --targets-built` =~ /ARM/
+    def test_init_arm
+      assert_nothing_raised { LLVM::Target.init('ARM') }
+      assert_nothing_raised { LLVM::Target.init('ARM', true) }
+      assert_not_nil LLVM::Target.by_name('arm')
+    end
+  end
+
+  def test_init_all
+    assert_nothing_raised { LLVM::Target.init_all }
+    assert_nothing_raised { LLVM::Target.init_all(true) }
+  end
+
+  def test_each
+    targets = LLVM::Target.each
+
+    assert_instance_of Enumerator, targets
+    assert_equal 2, targets.count
+  end
+
+  def test_target
+    assert_equal 'x86', @x86.name
+    assert_equal "32-bit X86: Pentium-Pro and above", @x86.description
+    assert_equal true, @x86.jit?
+    assert_equal true, @x86.target_machine?
+    assert_equal true, @x86.asm_backend?
+  end
+
+  def test_target_machine
+    @x86 = LLVM::Target.by_name('x86')
+    mach = @x86.create_machine('x86-linux-gnu', 'i686')
+
+    assert_equal @x86, mach.target
+    assert_equal 'x86-linux-gnu', mach.triple
+    assert_equal 'i686', mach.cpu
+    assert_equal '', mach.features
+
+    layout = mach.data_layout
+    assert_equal 'e-p:32:32:32-S128-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f16:16:16-f32:32:32-f64:32:64-f128:128:128-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32', layout.to_s
+  end
+
+  def test_emit
+    mach = @x86.create_machine('x86-linux-gnu')
+
+    mod = define_module('test') do |mod|
+      define_function(mod, 'main', [], LLVM::Int) do |builder, fun|
+        entry = fun.basic_blocks.append
+        builder.position_at_end(entry)
+        builder.ret(LLVM::Int(0))
+      end
+    end
+
+    Tempfile.open('emit') do |tmp|
+      assert_nothing_raised { mach.emit(mod, tmp.path) }
+      assert_match %r{xorl\t%eax, %eax}, tmp.read
+    end
+
+    Tempfile.open('emit') do |tmp|
+      assert_nothing_raised { mach.emit(mod, tmp.path, :object) }
+      assert_match %r{\x31\xc0\xc3}o, File.read(tmp.path, mode: 'rb')
+    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:64:64:64'
+    assert_equal 'e-p:64:64:64', mod.data_layout
+  end
+
+  def test_data_layout
+    layout_be = LLVM::TargetDataLayout.new('E')
+    assert_equal :big_endian, layout_be.byte_order
+
+    desc = "e-p:64:64:64-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 desc, layout.to_s
+    assert_equal :little_endian, layout.byte_order
+    assert_equal 8, layout.pointer_size
+    assert_equal 8, layout.pointer_size(0)
+    assert_equal LLVM::Int64.type, layout.int_ptr_type
+    assert_equal LLVM::Int64.type, layout.int_ptr_type(0)
+
+    assert_equal 19, layout.bit_size_of(LLVM::Int19.type)
+    assert_equal 3, layout.storage_size_of(LLVM::Int19.type)
+    assert_equal 4, layout.abi_size_of(LLVM::Int19.type)
+    assert_equal 4, layout.abi_alignment_of(LLVM::Int19.type)
+    assert_equal 4, layout.call_frame_alignment_of(LLVM::Int19.type)
+    assert_equal 4, layout.preferred_alignment_of(LLVM::Int19.type)
+
+    struct = LLVM.Struct(LLVM::Int8, LLVM::Int32)
+
+    assert_equal 0, layout.offset_of_element(struct, 0)
+    assert_equal 4, layout.offset_of_element(struct, 1)
+
+    assert_equal 0, layout.element_at_offset(struct, 0)
+    assert_equal 0, layout.element_at_offset(struct, 3)
+    assert_equal 1, layout.element_at_offset(struct, 4)
+  end
+end