plessl-llvmruby 0.0.3

data/test/test_read_bitcode.rb

@@ -0,0 +1,38 @@
+require 'test/unit'
+require 'llvm'
+
+include LLVM
+
+class BitcodeReadTests < Test::Unit::TestCase
+
+  def test_read_bitcode
+    bc = File.open("test/byteswap.bc").read
+    m = LLVM::Module.read_bitcode(bc)
+    assert_match(/define i32 @bswap\(i32 \%x\) nounwind/, m.inspect) 
+  end
+
+  def test_read_assembly
+    assembly =<<-END_ASSEMBLY
+    ; ModuleID = 'test/byteswap.bc'
+    target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f3
+    2:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
+    target triple = "i386-apple-darwin9"
+
+    define i32 @bswap(i32 %x) nounwind {
+    entry:
+            %tmp3 = shl i32 %x, 24          ; <i32> [#uses=1]
+            %tmp5 = shl i32 %x, 8           ; <i32> [#uses=1]
+            %tmp6 = and i32 %tmp5, 16711680         ; <i32> [#uses=1]
+            %tmp9 = lshr i32 %x, 8          ; <i32> [#uses=1]
+            %tmp1018 = and i32 %tmp9, 65280         ; <i32> [#uses=1]
+            %tmp7 = or i32 %tmp1018, %tmp3          ; <i32> [#uses=1]
+            %tmp11 = or i32 %tmp7, %tmp6            ; <i32> [#uses=1]
+            ret i32 %tmp11
+    }
+    END_ASSEMBLY
+    m = LLVM::Module.read_assembly(assembly)
+    assert_match(/define i32 @bswap\(i32 \%x\) nounwind/, m.inspect)
+    assert(m.get_function("bswap"))
+  end
+
+end

data/test/test_ruby_vm.rb

@@ -0,0 +1,172 @@
+require 'test/unit'
+require 'llvm'
+require 'ruby_vm'
+
+include LLVM
+RubyVM.start
+
+class RubyVMTests < Test::Unit::TestCase
+  def test_getinstancevariable
+    bytecode = [
+      [:putobject, nil.immediate],
+      [:getinstancevariable, :@shaka]
+    ]
+
+    obj = Object.new
+    obj.instance_variable_set(:@shaka, 'khan')
+    compiled_method = RubyVM.compile_bytecode(bytecode)
+    assert_equal('khan', RubyVM.method_send(obj, compiled_method))
+  end
+
+  def test_setinstancevariable
+    bytecode = [
+      [:putobject, 'puter'],
+      [:setinstancevariable, :@fem]
+    ]
+
+    obj = Object.new
+    compiled_method = RubyVM.compile_bytecode(bytecode)
+    RubyVM.method_send(obj, compiled_method)
+    assert_equal('puter', obj.instance_variable_get(:@fem))
+  end
+
+  def test_opt_aset
+    bytecode = [
+      [:newarray],
+      [:dup],
+      [:putobject, 0.immediate],
+      [:putobject, 'shaka'.immediate],
+      [:opt_aset],
+      [:pop]
+    ]
+  
+    ret = RubyVM.call_bytecode(bytecode, nil)
+    assert_equal(ret, ['shaka'])
+  end
+
+  def opt_cmp_tester(op, truth_table)
+    truth_table.each do |x, y, z|
+      bytecode = [
+        [:putobject, x.immediate],
+        [:putobject, y.immediate],
+        [op]
+      ]
+      ret = RubyVM.call_bytecode(bytecode, nil)
+      assert_equal(z, ret) 
+    end
+  end
+
+  def test_opt_lt
+    opt_cmp_tester(:opt_lt, [
+      [0, 1, true],
+      [1, 0, false],
+      [1, 1, false]
+    ])
+  end
+
+  def test_opt_gt
+    opt_cmp_tester(:opt_gt, [
+      [0, 1, false],
+      [1, 0, true],
+      [1, 1, false]
+    ])
+  end
+
+  def test_opt_ge
+    opt_cmp_tester(:opt_ge, [
+      [0, 1, false],
+      [1, 0, true],
+      [1, 1, true]
+    ])
+  end
+
+  def test_opt_length
+    bytecode = [
+      [:opt_length]
+    ]
+
+    ret1 = RubyVM.call_bytecode(bytecode, [])
+    assert_equal(0, ret1)
+
+    ret2 = RubyVM.call_bytecode(bytecode, [1,2,3,4,5])
+    assert_equal(5, ret2)
+  end
+
+  def test_simple_loop
+    bytecode = [
+      [:putobject, 1.immediate],
+      [:opt_plus],
+      [:dup],
+      [:putobject, 10.immediate],
+      [:opt_lt],
+      [:branchif, 0]
+    ]
+
+    ret = RubyVM.call_bytecode(bytecode, 6)
+    assert_equal(10, ret)
+  end
+
+  def test_array_loop
+    bytecode = [
+      [:dup],
+      [:setlocal, 0],
+      [:opt_length],
+      [:putobject, 1.immediate],
+      [:opt_minus],
+      [:dup],
+      [:getlocal, 0],
+      [:swap],
+      [:opt_aref],
+      [:putobject, 2.immediate],
+      [:opt_mult],
+      [:setlocal, 1],
+      [:dup],
+      [:getlocal, 0],
+      [:swap],
+      [:getlocal, 1],
+      [:opt_aset],
+      [:pop],
+      [:dup],
+      [:putobject, 0.immediate],
+      [:opt_gt],
+      [:branchif, 3],
+      [:getlocal, 0]
+    ]
+
+    ret = RubyVM.call_bytecode(bytecode, [1,2,3,4,5,6])
+    assert_equal([2,4,6,8,10,12], ret)
+  end
+
+  def test_send
+    bytecode = [
+      [:send]
+    ]
+
+    ret = RubyVM.call_bytecode(bytecode, nil)
+    assert_equal('nil', ret)
+  end
+
+  def test_putself
+    bytecode = [
+      [:putobject, 5.immediate],
+      [:putself]
+    ]
+    compiled_method = RubyVM.compile_bytecode(bytecode)
+    ret = RubyVM.method_send('me', compiled_method) 
+    assert_equal('me', ret)
+  end
+
+  def test_newhash
+    bytecode = [
+      [:putobject, 'one'.immediate],
+      [:putobject, 1.immediate],
+      [:putobject, 'two'.immediate],
+      [:putobject, 2.immediate],
+      [:putobject, 'three'.immediate],
+      [:putobject, 3.immediate],
+      [:newhash, 6]
+    ]
+    ret = RubyVM.call_bytecode(bytecode, nil)
+    assert_equal({'one' => 1, 'two' => 2, 'three' => 3}, ret)
+  end
+end

data/test/test_user.rb

@@ -0,0 +1,72 @@
+require 'test/unit'
+require 'llvm'
+
+include LLVM
+
+class UserTests < Test::Unit::TestCase
+
+  def setup
+    @assembly_byteswap=<<-EOF
+    ; ModuleID = 'byteswap.bc'
+    target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
+    target triple = "i386-apple-darwin9"
+
+    define i32 @bswap(i32 %x) nounwind {
+    entry:
+    	%tmp3 = shl i32 %x, 24		; <i32> [#uses=1]
+    	%tmp5 = shl i32 %x, 8		; <i32> [#uses=1]
+    	%tmp6 = and i32 %tmp5, 16711680		; <i32> [#uses=1]
+    	%tmp9 = lshr i32 %x, 8		; <i32> [#uses=1]
+    	%tmp1018 = and i32 %tmp9, 65280		; <i32> [#uses=1]
+    	%tmp7 = or i32 %tmp1018, %tmp3		; <i32> [#uses=1]
+    	%tmp11 = or i32 %tmp7, %tmp6		; <i32> [#uses=1]
+    	ret i32 %tmp11
+    }
+    EOF
+
+    m = LLVM::Module.read_assembly(@assembly_byteswap)
+    bswap = m.get_function("bswap")
+    bbs = bswap.get_basic_block_list
+    @ins = bbs[0].get_instruction_list
+  end
+
+  def test_get_operand_list
+    olist = @ins[0].get_operand_list
+    assert_equal(2, olist.size)
+  end
+
+  def test_number_of_operands
+    assert_equal(2, @ins[0].get_num_operands)  # shl instruction
+    assert_equal(1, @ins[7].get_num_operands)  # ret instruction
+  end
+
+  # TODO: find a way for testing this function
+  def test_get_operand
+    op0 = @ins[0].get_operand(0)
+    op1 = @ins[1].get_operand(1)
+    assert_equal("x",op0.name)
+  end
+
+  def test_set_operand
+    ins_before = @ins[0].inspect
+    assert_match(/\%tmp3 = shl i32 \%x, 24/, ins_before)
+    @ins[0].set_operand(0,42.llvm)
+    ins_after = @ins[0].inspect
+    assert_match(/\%tmp3 = shl i32 42, 24/, ins_after)
+  end
+
+  # TODO find a way for testing this function
+  def test_drop_all_references
+    @ins[0].drop_all_references()
+  end
+
+  def test_replace_uses_of_with
+    ins_before = @ins[0].inspect
+    assert_match(/\%tmp3 = shl i32 \%x, 24/, ins_before)
+    @ins[0].replace_uses_of_with(24.llvm,1234.llvm)
+    ins_after = @ins[0].inspect
+    assert_match(/\%tmp3 = shl i32 \%x, 1234/, ins_after)
+  end
+
+end
+

data/test/test_value.rb

@@ -0,0 +1,63 @@
+require 'test/unit'
+require 'llvm'
+
+include LLVM
+
+class ValueTests < Test::Unit::TestCase
+
+  def setup
+    @assembly=<<-EOF
+    ; ModuleID = 'constants.o'
+    target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
+    target triple = "i386-apple-darwin9"
+    @CONST_PI = constant float 0x400921FA00000000		; <float*> [#uses=0]
+
+    define float @circle_area(float %radius) nounwind {
+    entry:
+    	%tmp2 = mul float %radius, 0x400921FA00000000		; <float> [#uses=1]
+    	%tmp4 = mul float %tmp2, %radius		; <float> [#uses=1]
+    	ret float %tmp4
+    }
+
+    define i32 @add_42(i32 %x) nounwind {
+    entry:
+    	%tmp2 = add i32 %x, 42		; <i32> [#uses=1]
+    	ret i32 %tmp2
+    }
+    EOF
+
+     @m = LLVM::Module.read_assembly(@assembly)
+  end
+
+  def test_check_value_is_constant
+    add42 = @m.get_function("add_42")
+    assert(add42)
+    ins = add42.get_basic_block_list[0].get_instruction_list
+    add_ins = ins[0]
+    assert_equal(false,add_ins.get_operand(0).is_constant())
+    assert_equal(true,add_ins.get_operand(1).is_constant())
+  end
+
+  def test_get_integer_constant_values
+    add42 = @m.get_function("add_42")
+    assert(add42)
+    ins = add42.get_basic_block_list[0].get_instruction_list
+    add_ins = ins[0]
+    assert(add_ins.get_operand(1).is_constant())
+    assert(add_ins.get_operand(1).is_int_constant())
+    assert_equal(42,add_ins.get_operand(1).get_int_constant_value())
+  end
+
+  def test_get_float_constant_values
+    circle_area = @m.get_function("circle_area")
+    assert(circle_area)
+    ins = circle_area.get_basic_block_list[0].get_instruction_list
+    add_ins = ins[0]
+    assert_equal(false,add_ins.get_operand(0).is_constant())
+    assert_equal(true,add_ins.get_operand(1).is_constant())
+    assert_equal(true,add_ins.get_operand(1).is_float_constant())
+    assert_in_delta(3.14159, add_ins.get_operand(1).get_float_constant_value(), 2 ** -20)
+  end
+
+end
+

metadata

@@ -0,0 +1,87 @@
+--- !ruby/object:Gem::Specification 
+name: plessl-llvmruby
+version: !ruby/object:Gem::Version 
+  version: 0.0.3
+platform: ruby
+authors: 
+- Thomas Bagby
+- Christian Plessl
+autorequire: 
+bindir: bin
+cert_chain: []
+
+date: 2008-10-27 00:00:00 -07:00
+default_executable: 
+dependencies: []
+
+description: 
+email: 
+- tomatobagby@gmail.com
+- christian@plesslweb.ch
+executables: []
+
+extensions: 
+- ext/extconf.rb
+extra_rdoc_files: 
+- README
+- COPYING
+files: 
+- README
+- COPYING
+- Rakefile
+- lib/llvm.rb
+- lib/ruby_vm.rb
+- lib/version.rb
+- ext/llvm_basicblock.cpp
+- ext/llvm_function.cpp
+- ext/llvm_instruction.cpp
+- ext/llvm_module.cpp
+- ext/llvm_use.cpp
+- ext/llvm_user.cpp
+- ext/llvm_value.cpp
+- ext/llvmruby.c
+- ext/llvmruby.h
+- ext/extconf.rb
+- test/test_basic.rb
+- test/test_basic_block.rb
+- test/test_instructions.rb
+- test/test_read_bitcode.rb
+- test/test_ruby_vm.rb
+- test/test_user.rb
+- test/test_value.rb
+- test/byteswap.bc
+- test/static.o
+has_rdoc: true
+homepage: 
+post_install_message: 
+rdoc_options: []
+
+require_paths: 
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+required_rubygems_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+requirements: []
+
+rubyforge_project: 
+rubygems_version: 1.2.0
+signing_key: 
+specification_version: 2
+summary: Ruby bindings to LLVM
+test_files: 
+- test/test_basic.rb
+- test/test_basic_block.rb
+- test/test_instructions.rb
+- test/test_read_bitcode.rb
+- test/test_ruby_vm.rb
+- test/test_user.rb
+- test/test_value.rb