ikra 0.0.1 → 0.0.2

data/lib/types/types/union_type.rb

@@ -0,0 +1,239 @@
+# No explicit `require`s. This file should be includes via types.rb
+
+require "forwardable"
+require "set"
+
+module Ikra
+    module Types
+
+        # Represents a possibly polymorphic type consisting of 0..* instances of {RubyType}. Only 
+        # primitive types or class types are allowed for these inner types, but not union types.
+        class UnionType
+            include RubyType
+            include Enumerable
+            extend Forwardable
+
+            def_delegator :@types, :each
+
+            # @return [Set<RubyType>] Inner types
+            attr_accessor :types
+
+            def ==(other)
+                return other.class == self.class && other.types == self.types
+            end
+
+            def dup
+                result = super
+                result.types = @types.dup
+                return result
+            end
+            
+            def initialize(*types)
+                # Check arguments
+                types.each do |type|
+                    if type.is_union_type?
+                        raise AssertionError.new(
+                            "Union type not allowed as inner type of union type")
+                    end
+                end
+
+                @types = Set.new(types)
+            end
+
+            def empty?
+                return @types.empty?
+            end
+
+            # Removes all type information.
+            def clear!
+                @types.clear
+            end
+
+            # Removes all singleton types contained in `union_type` from this type.
+            def remove!(union_type)
+                if union_type.is_singleton?
+                    raise AssertionError.new("Union type expected")
+                else
+                    @types.delete_if do |type|
+                        union_type.include?(type)
+                    end
+                end
+            end
+
+            def size
+                return @types.size
+            end
+
+            def to_c_type
+                if is_singleton?
+                    return @types.first.to_c_type
+                else
+                    return "union_t"
+                end
+            end
+
+            def c_size
+                if is_singleton?
+                    return @types.first.c_size
+                else
+                    return "sizeof(union_t)"
+                end
+            end
+
+            def to_ruby_type
+                if is_singleton?
+                    return @types.first.to_ruby_type
+                else
+                    raise NotImplementedError.new
+                end
+            end
+
+            def to_ffi_type
+                if is_singleton?
+                    return @types.first.to_ffi_type
+                else
+                    raise NotImplementedError.new
+                end
+            end
+
+            def is_primitive?
+                if is_singleton?
+                    return @types.first.is_primitive?
+                else
+                    return false
+                end
+            end
+
+            def is_union_type?
+                return true
+            end
+
+            def to_union_type
+                return self
+            end
+
+            def is_singleton?
+                return @types.size == 1
+            end
+
+            # Returns the single inner type or raises an error if this union type contains more than one inner type.
+            # @return [RubyType] Inner type
+            def singleton_type
+                if !is_singleton?
+                    raise AssertionError.new(
+                        "Union type is not singleton (found #{@types.size} types)")
+                end
+
+                return @types.first
+            end
+
+            # Merges all inner types of the argument into this union type.
+            # @param [UnionType] union_type The other union type
+            # @return [Bool] true if the argument added new inner types to this union type
+            def expand(union_type)
+                if not union_type.is_union_type?
+                    raise AssertionError.new(
+                        "Cannot expand with non-union type: #{union_type}")
+                end
+
+                is_expanded = false
+
+                for type in union_type
+                    is_expanded = is_expanded | add(type)
+                end
+
+                return is_expanded
+            end
+
+            # Merges all inner types of the argument into this union type.
+            # @param [UnionType] union_type The other union type
+            # @return [UnionType] self
+            def expand_return_type(union_type)
+                expand(union_type)
+                return self
+            end
+
+            # Adds a singleton type to this union type.
+            # @return True if the type was extended
+            def add(singleton_type)
+                if singleton_type.is_union_type?
+                    raise AssertionError.new("Singleton type expected")
+                end
+
+                if singleton_type == PrimitiveType::Int && include?(PrimitiveType::Float)
+                    # Special rule: Coerce int to float
+                    return false
+                elsif singleton_type == PrimitiveType::Float && include?(PrimitiveType::Int)
+                    # Special rule: Coerce int to float
+                    @types.delete(PrimitiveType::Int)
+                    @types.add(singleton_type)
+                    return true
+                else
+                    is_expanded = !@types.include?(singleton_type)
+                    @types.add(singleton_type)
+                    return is_expanded
+                end
+            end
+
+            # Determines if this union type contains a specific singleton type.
+            # @param [RubyType] singleton_type The other type
+            # @return [Bool] true if the type is included
+            def include?(singleton_type)
+                if singleton_type.is_union_type?
+                    raise AssertionError.new("Union type can never be included in union type")
+                end
+
+                @types.include?(singleton_type)
+            end
+
+            def include_all?(union_type)
+                if not union_type.is_union_type?
+                    raise AssertionError.new("Union type expected")
+                end
+
+                return (union_type.types - @types).size == 0
+            end
+
+            # Alias for {#include_all?}
+            def <=(union_type)
+                return union_type.include_all?(self)
+            end
+
+            def to_s
+                return "U{#{@types.to_a.join(", ")}}"
+            end
+
+            class << self
+                def create_int
+                    return new(PrimitiveType::Int)
+                end
+
+                def create_float
+                    return new(PrimitiveType::Float)
+                end
+
+                def create_bool
+                    return new(PrimitiveType::Bool)
+                end
+
+                def create_void
+                    return new(PrimitiveType::Void)
+                end
+
+                def create_nil
+                    return new(PrimitiveType::Nil)
+                end
+
+                def create_unknown
+                    return new(UnknownType::Instance)
+                end
+
+                def parameter_hash_to_s(hash)
+                    return hash.map do |name, type|
+                        name.to_s + ": " + type.to_s
+                    end.join(", ")
+                end
+            end
+        end
+    end
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: ikra
 version: !ruby/object:Gem::Version
-  version: 0.0.1
+  version: 0.0.2
 platform: ruby
 authors:
 - Matthias Springer
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2016-08-04 00:00:00.000000000 Z
+date: 2017-04-17 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: ffi
@@ -70,6 +70,90 @@ dependencies:
     - - ">="
       - !ruby/object:Gem::Version
         version: 0.8.2
+- !ruby/object:Gem::Dependency
+  name: ruby2ruby
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 1.3.1
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 1.3.1
+- !ruby/object:Gem::Dependency
+  name: sexp_processor
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 3.2.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 3.2.0
+- !ruby/object:Gem::Dependency
+  name: ruby_parser
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 2.3.1
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 2.3.1
+- !ruby/object:Gem::Dependency
+  name: file-tail
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 1.0.10
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 1.0.10
+- !ruby/object:Gem::Dependency
+  name: bacon
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: pry
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
 description: GPGPU Accelerator for Array-based Computations
 email: matthias.springer@acm.org
 executables: []
@@ -77,24 +161,50 @@ extensions: []
 extra_rdoc_files: []
 files:
 - lib/ast/builder.rb
+- lib/ast/host_section_builder.rb
+- lib/ast/interpreter.rb
 - lib/ast/lexical_variables_enumerator.rb
-- lib/ast/method_definition.rb
 - lib/ast/nodes.rb
 - lib/ast/printer.rb
-- lib/ast/translator.rb
+- lib/ast/ssa_generator.rb
 - lib/ast/visitor.rb
 - lib/config/configuration.rb
 - lib/config/os_configuration.rb
+- lib/cpu/cpu_implementation.rb
 - lib/entity.rb
 - lib/ikra.rb
 - lib/parsing.rb
+- lib/resources/cuda/allocate_device_memory.cpp
+- lib/resources/cuda/allocate_host_memory.cpp
+- lib/resources/cuda/allocate_memcpy_environment_to_device.cpp
+- lib/resources/cuda/ast/assignment.cpp
 - lib/resources/cuda/block_function_head.cpp
+- lib/resources/cuda/entry_point.cpp
 - lib/resources/cuda/env_builder_copy_array.cpp
+- lib/resources/cuda/free_device_memory.cpp
+- lib/resources/cuda/free_memory_for_command.cpp
 - lib/resources/cuda/header.cpp
+- lib/resources/cuda/header_structs.cpp
+- lib/resources/cuda/host_section_block_function_head.cpp
+- lib/resources/cuda/host_section_entry_point.cpp
+- lib/resources/cuda/host_section_free_device_memory.cpp
+- lib/resources/cuda/host_section_launch_parallel_section.cpp
+- lib/resources/cuda/host_section_malloc_memcpy_device_to_host.cpp
 - lib/resources/cuda/kernel.cpp
-- lib/resources/cuda/kernel_launcher.cpp
+- lib/resources/cuda/launch_kernel.cpp
+- lib/resources/cuda/memcpy_device_to_host.cpp
+- lib/resources/cuda/memcpy_device_to_host_expr.cpp
+- lib/resources/cuda/reduce_body.cpp
 - lib/resources/cuda/soa_header.cpp
-- lib/scope.rb
+- lib/resources/cuda/stencil_array_reconstruction.cpp
+- lib/resources/cuda/stencil_body.cpp
+- lib/resources/cuda/struct_definition.cpp
+- lib/ruby_core/array.rb
+- lib/ruby_core/array_command.rb
+- lib/ruby_core/core.rb
+- lib/ruby_core/interpreter.rb
+- lib/ruby_core/math.rb
+- lib/ruby_core/ruby_integration.rb
 - lib/sourcify/Gemfile
 - lib/sourcify/HISTORY.txt
 - lib/sourcify/LICENSE
@@ -277,24 +387,56 @@ files:
 - lib/sourcify/spec/raw_scanner/slash_operator_shared_spec.rb
 - lib/sourcify/spec/run_build.sh
 - lib/sourcify/spec/spec_helper.rb
+- lib/symbolic/host_section.rb
+- lib/symbolic/input.rb
+- lib/symbolic/input_visitor.rb
 - lib/symbolic/symbolic.rb
 - lib/symbolic/visitor.rb
+- lib/translator/array_command_struct_builder.rb
+- lib/translator/ast_translator.rb
 - lib/translator/block_translator.rb
-- lib/translator/command_translator.rb
+- lib/translator/commands/array_combine_command.rb
+- lib/translator/commands/array_identity_command.rb
+- lib/translator/commands/array_index_command.rb
+- lib/translator/commands/array_reduce_command.rb
+- lib/translator/commands/array_stencil_command.rb
+- lib/translator/commands/array_zip_command.rb
+- lib/translator/commands/command_translator.rb
+- lib/translator/cuda_errors.rb
+- lib/translator/environment_builder.rb
+- lib/translator/host_section/array_host_section_command.rb
+- lib/translator/host_section/array_in_host_section_command.rb
+- lib/translator/host_section/ast_translator.rb
+- lib/translator/host_section/parallel_section_invocation_visitor.rb
+- lib/translator/host_section/program_builder.rb
+- lib/translator/input_translator.rb
+- lib/translator/kernel_builder.rb
+- lib/translator/kernel_launcher/for_loop_kernel_launcher.rb
+- lib/translator/kernel_launcher/kernel_launcher.rb
+- lib/translator/kernel_launcher/while_loop_kernel_launcher.rb
 - lib/translator/last_returns_visitor.rb
-- lib/translator/local_variables_enumerator.rb
-- lib/translator/method_translator.rb
+- lib/translator/program_builder.rb
+- lib/translator/program_launcher.rb
+- lib/translator/struct_type.rb
 - lib/translator/translator.rb
+- lib/translator/variable_classifier_visitor.rb
 - lib/type_aware_array.rb
-- lib/types/array_type.rb
-- lib/types/class_type.rb
-- lib/types/object_tracer.rb
-- lib/types/primitive_type.rb
-- lib/types/ruby_extension.rb
-- lib/types/ruby_type.rb
-- lib/types/type_inference.rb
-- lib/types/union_type.rb
-homepage: https://github.com/prg-titech/ikra-ruby
+- lib/types/inference/ast_inference.rb
+- lib/types/inference/clear_types_visitor.rb
+- lib/types/inference/command_inference.rb
+- lib/types/inference/input_inference.rb
+- lib/types/inference/object_tracer.rb
+- lib/types/inference/ruby_extension.rb
+- lib/types/inference/symbol_table.rb
+- lib/types/types.rb
+- lib/types/types/array_command_type.rb
+- lib/types/types/array_type.rb
+- lib/types/types/class_type.rb
+- lib/types/types/primitive_type.rb
+- lib/types/types/ruby_type.rb
+- lib/types/types/struct_type.rb
+- lib/types/types/union_type.rb
+homepage: https://prg-titech.github.io/ikra-ruby/
 licenses:
 - MIT
 metadata: {}