rucc 0.1.0

data/lib/rucc/type/check.rb

@@ -0,0 +1,39 @@
+module Rucc
+  class Type
+    module Check
+      # @param [Type] ty
+      # @return [Boolean]
+      def is_arithtype(ty)
+        is_inttype(ty) || is_flotype(ty)
+      end
+
+      # @param [Type] ty
+      # @return [Boolean]
+      def is_inttype(ty)
+        case ty.kind
+        when Kind::BOOL, Kind::CHAR, Kind::SHORT, Kind::INT, Kind::LONG, Kind::LLONG
+          true
+        else
+          false
+        end
+      end
+
+      # @param [Type] ty
+      # @return [Boolean]
+      def is_flotype(ty)
+        case ty.kind
+        when Kind::FLOAT, Kind::DOUBLE, Kind::LDOUBLE
+          true
+        else
+          false
+        end
+      end
+
+      # @param [Type] ty
+      # @return [Boolean]
+      def is_string(ty)
+        ty.kind == Kind::ARRAY && ty.ptr.kind == Kind::CHAR
+      end
+    end
+  end
+end

data/lib/rucc/type/conv.rb

@@ -0,0 +1,29 @@
+require "rucc/util"
+
+module Rucc
+  class Type
+    module Conv
+      # C11 6.3.1.8: Usual arithmetic conversions
+      # @param [Type] t
+      # @param [Type] u
+      # @return [Type]
+      def usual_arith_conv(t, u)
+        Util.assert!{ Type.is_arithtype(t) }
+        Util.assert!{ Type.is_arithtype(u) }
+        if (t.kind < u.kind)
+          # Make t the larger type
+          t, u = u, t
+        end
+        return t if Type.is_flotype(t)
+        Util.assert!{ Type.is_inttype(t) && t.size >= Type::INT.size }
+        Util.assert!{ Type.is_inttype(u) && u.size >= Type::INT.size }
+        return t if t.size > u.size
+        Util.assert!{ t.size == u.size }
+        return t if t.usig == u.usig
+        r = t.dup
+        r.usig = true
+        r
+      end
+    end
+  end
+end

data/lib/rucc/type_info.rb

@@ -0,0 +1,21 @@
+module Rucc
+  # Only used in parser
+  module TypeInfo
+    # kind
+    VOID   = "TypeInfo::VOID"
+    BOOL   = "TypeInfo::BOOL"
+    CHAR   = "TypeInfo::CHAR"
+    INT    = "TypeInfo::INT"
+    FLOAT  = "TypeInfo::FLOAT"
+    DOUBLE = "TypeInfo::DOUBLE"
+
+    # size
+    SHORT = "TypeInfo::SHORT"
+    LONG  = "TypeInfo::LONG"
+    LLONG = "TypeInfo::LLONG"
+
+    # sig
+    SIGNED   = "TypeInfo::SIGNED"
+    UNSIGNED = "TypeInfo::UNSIGNED"
+  end
+end

data/lib/rucc/utf.rb

@@ -0,0 +1,126 @@
+module Rucc
+  module UTF
+    class << self
+      # @param(return) [String] b
+      # @param [Integer] rune
+      def write_utf8(b, rune)
+        # In ruby, default encoding is UTF-8, so `String#<<` can append rune
+        # as UTF-8 string
+        b << rune
+
+        # if rune < 0x80
+        #   b << rune
+        #   return
+        # end
+        # if rune < 0x800
+        #   b << (0xC0 | (rune >> 6))
+        #   b << (0x80 | (rune & 0x3F))
+        #   return
+        # end
+        # if rune < 0x10000
+        #   b << (0xE0 | (rune >> 12))
+        #   b << (0x80 | ((rune >> 6) & 0x3F))
+        #   b << (0x80 | (rune & 0x3F))
+        #   return
+        # end
+        # if rune < 0x200000
+        #   b << (0xF0 | (rune >> 18))
+        #   b << (0x80 | ((rune >> 12) & 0x3F))
+        #   b << (0x80 | ((rune >> 6) & 0x3F))
+        #   b << (0x80 | (rune & 0x3F))
+        #   return
+        # end
+        # raise "invalid UCS character: \\U#{format("%08d", rune)}"
+        # error("invalid UCS character: \\U%08x", rune);
+      end
+
+      # @param [String] str
+      # @return [String]
+      def to_utf16(str)
+        b = ""
+        bytes = str.bytes
+        while bytes.size > 0
+          rune, bytes = read_rune(bytes)
+          if rune < 0x10000
+            write16(b, rune)
+          else
+            write16(b, (rune >> 10) + 0xD7C0)
+            write16(b, (rune & 0x3FF) + 0xDC00)
+          end
+        end
+        b
+      end
+
+      # @param [String] str
+      # @return [String]
+      def to_utf32(str)
+        b = ""
+        bytes = str.bytes
+        while bytes.size > 0
+          rune, bytes = read_rune(bytes)
+          write32(b, rune)
+        end
+        b
+      end
+
+      # @param(return) [String] b
+      # @param [Integer] rune
+      def write16(b, rune)
+        b << (rune & 0xFF)
+        b << (rune >> 8)
+      end
+
+      # @param(return) [String] b
+      # @param [Integer] rune
+      def write32(b, rune)
+        write16(b, rune & 0xFFFF)
+        write16(b, rune >> 16)
+      end
+
+      # @param [<Integer>] s
+      # @return [<Integer, <Integer>>]
+      def read_rune(s)
+        len = count_leading_ones(s[0])
+        if len == 0
+          return s[0], s[1..-1]
+        end
+        if len > s.size
+          raise "invalid UTF-8 sequence"
+          # error("invalid UTF-8 sequence");
+        end
+        1.upto(len - 1).each do |i|
+          if (s[i] & 0xC0) != 0x80
+            raise "invalid UTF-8 continuation byte"
+            # error("invalid UTF-8 continuation byte");
+          end
+        end
+
+        case len
+        when 2
+          r = ((s[0] & 0x1F) << 6) | (s[1] & 0x3F)
+          return r, s[2..-1]
+        when 3
+          r = ((s[0] & 0xF) << 12) | ((s[1] & 0x3F) << 6) | (s[2] & 0x3F)
+          return r, s[3..-1]
+        when 4
+          r = ((s[0] & 0x7) << 18) | ((s[1] & 0x3F) << 12) | ((s[2] & 0x3F) << 6) | (s[3] & 0x3F)
+          return r, s[4..-1]
+        else
+          raise "invalid UTF-8 sequence"
+          # error("invalid UTF-8 sequence");
+        end
+      end
+
+      # @param [Integer] c
+      # @return [Integer]
+      def count_leading_ones(c)
+        7.downto(0).each do |i|
+          if (c & (1 << i)) == 0
+            return 7 - i
+          end
+        end
+        8
+      end
+    end
+  end
+end

data/lib/rucc/util.rb

@@ -0,0 +1,111 @@
+module Rucc
+  module Util
+    class << self
+      ##
+      # Quote
+      ##
+
+      # @param [Char] c
+      # @return [char, NilClass] nil when c is not escapetable
+      def quote(c)
+        case c
+        when '"'  then '\\"'
+        when "\\" then '\\\\'
+        when "\b" then '\\b'
+        when "\f" then '\\f'
+        when "\n" then '\\n'
+        when "\r" then '\\r'
+        when "\t" then '\\t'
+        when "\v" then '\\x0b'
+        else           nil
+        end
+      end
+
+      # @param(return) [String] b
+      # @param [Char] c
+      def quote_append(b, c)
+        q = quote(c)
+        if q
+          b << q
+        elsif Libc.isprint(c)
+          b << c
+        else
+          # TODO(south37) Fix this dirty hack.
+          # In current impl, "\u00ff" (utf-8 two byte string) and "\xff" (one byte string) can not be distinguished.
+          # By using byte array from the beginning, these can be expressed differently.
+          if c.ord <= 0xff
+            # One byte
+            b << ("\\x%02x" % c.ord)
+          else
+            # Multi bytes
+            c.bytes.each do |byte|
+              b << ("\\x%02x" % byte)
+            end
+          end
+        end
+      end
+
+      # @param [String] str
+      # @param [Char] c
+      # @return [String]
+      def quote_cstring(str)
+        b = ""
+        while (c = str[0])
+          quote_append(b, c)
+          str = str[1..-1]
+        end
+        b
+      end
+
+      # @param [Integer] c
+      def quote_char(c)
+        return "\\\\" if c == '\\'.ord
+        return "\\'"  if c == '\''.ord
+        "%c" % c
+      end
+
+      # @param [Integer] n
+      # @return [Integer]
+      def ceil8(n)
+        rem = n % 8
+        (rem == 0) ? n : (n - rem + 8)
+      end
+
+      ##
+      # Error
+      ##
+
+      # @param [Token] tok
+      # @param [String] message
+      # @raise [RuntimeError]
+      def errort!(tok, message)
+        raise_error(token_pos(tok), "ERROR", message)
+      end
+
+      # @param [Token] tok
+      # @return [String]
+      def token_pos(tok)
+        f = tok.file
+        if !f
+          return "(unknown)"
+        end
+        name = f.name || "(unknown)"
+        "#{name}:#{tok.line}:#{tok.column}"
+      end
+
+      def raise_error(pos, label, message)
+        raise "[#{label}] #{pos}: #{message}"
+      end
+
+      ##
+      # Assert
+      ##
+
+      class AssertError < RuntimeError; end
+
+      def assert!(&block)
+        raise AssertError.new("Assertion failed!") if !block.call
+      end
+    end
+  end
+end

data/lib/rucc/version.rb

@@ -0,0 +1,3 @@
+module Rucc
+  VERSION = "0.1.0"
+end

data/rucc.gemspec

@@ -0,0 +1,38 @@
+
+lib = File.expand_path("../lib", __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require "rucc/version"
+
+Gem::Specification.new do |spec|
+  spec.name          = "rucc"
+  spec.version       = Rucc::VERSION
+  spec.authors       = ["Nao Minami"]
+  spec.email         = ["south37777@gmail.com"]
+
+  spec.summary       = %q{C compiler written in Ruby.}
+  spec.description   = %q{C compiler written in Ruby.}
+  spec.homepage      = "https://github.com/south37/rucc"
+  spec.license       = "MIT"
+
+  # Prevent pushing this gem to RubyGems.org. To allow pushes either set the 'allowed_push_host'
+  # to allow pushing to a single host or delete this section to allow pushing to any host.
+  if spec.respond_to?(:metadata)
+    spec.metadata["allowed_push_host"] = "https://rubygems.org"
+  else
+    raise "RubyGems 2.0 or newer is required to protect against " \
+      "public gem pushes."
+  end
+
+  spec.files         = `git ls-files -z`.split("\x0").reject do |f|
+    f.match(%r{^(test|spec|features)/})
+  end
+  spec.bindir        = "exe"
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ["lib"]
+
+  spec.add_development_dependency "bundler", "~> 1.16"
+  spec.add_development_dependency "rake", "~> 10.0"
+  spec.add_development_dependency "rspec", "~> 3.7.0"
+  spec.add_development_dependency "pry"
+  spec.add_development_dependency "pry-byebug"
+end

metadata

@@ -0,0 +1,201 @@
+--- !ruby/object:Gem::Specification
+name: rucc
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Nao Minami
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2018-01-25 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.16'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.16'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 3.7.0
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 3.7.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'
+- !ruby/object:Gem::Dependency
+  name: pry-byebug
+  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: C compiler written in Ruby.
+email:
+- south37777@gmail.com
+executables:
+- rucc
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".rspec"
+- ".travis.yml"
+- Gemfile
+- Gemfile.lock
+- LICENCE
+- README.md
+- Rakefile
+- Vagrantfile
+- bin/console
+- bin/rspec
+- bin/setup
+- exe/rucc
+- include/8cc.h
+- include/float.h
+- include/iso646.h
+- include/rucc.h
+- include/stdalign.h
+- include/stdarg.h
+- include/stdbool.h
+- include/stddef.h
+- include/stdnoreturn.h
+- lib/rucc.rb
+- lib/rucc/case.rb
+- lib/rucc/decl.rb
+- lib/rucc/enc.rb
+- lib/rucc/engine.rb
+- lib/rucc/file_io.rb
+- lib/rucc/file_io_list.rb
+- lib/rucc/gen.rb
+- lib/rucc/int_evaluator.rb
+- lib/rucc/k.rb
+- lib/rucc/keyword.rb
+- lib/rucc/kind.rb
+- lib/rucc/label_gen.rb
+- lib/rucc/lexer.rb
+- lib/rucc/lexer/impl.rb
+- lib/rucc/lexer/preprocessor.rb
+- lib/rucc/lexer/preprocessor/cond_incl.rb
+- lib/rucc/lexer/preprocessor/constructor.rb
+- lib/rucc/lexer/preprocessor/pragma.rb
+- lib/rucc/lexer/preprocessor/special_macro.rb
+- lib/rucc/libc.rb
+- lib/rucc/m.rb
+- lib/rucc/macro.rb
+- lib/rucc/node.rb
+- lib/rucc/node/conv.rb
+- lib/rucc/op.rb
+- lib/rucc/operator.rb
+- lib/rucc/option.rb
+- lib/rucc/parser.rb
+- lib/rucc/parser/break.rb
+- lib/rucc/parser/builtin.rb
+- lib/rucc/parser/continue.rb
+- lib/rucc/parser/do.rb
+- lib/rucc/parser/ensure.rb
+- lib/rucc/parser/enum.rb
+- lib/rucc/parser/expr.rb
+- lib/rucc/parser/for.rb
+- lib/rucc/parser/func.rb
+- lib/rucc/parser/func_call.rb
+- lib/rucc/parser/goto.rb
+- lib/rucc/parser/if.rb
+- lib/rucc/parser/initializer.rb
+- lib/rucc/parser/label.rb
+- lib/rucc/parser/return.rb
+- lib/rucc/parser/struct_and_union.rb
+- lib/rucc/parser/switch.rb
+- lib/rucc/parser/while.rb
+- lib/rucc/pos.rb
+- lib/rucc/rmap.rb
+- lib/rucc/s.rb
+- lib/rucc/static_label_gen.rb
+- lib/rucc/t.rb
+- lib/rucc/tempname_gen.rb
+- lib/rucc/token.rb
+- lib/rucc/token_gen.rb
+- lib/rucc/type.rb
+- lib/rucc/type/check.rb
+- lib/rucc/type/conv.rb
+- lib/rucc/type_info.rb
+- lib/rucc/utf.rb
+- lib/rucc/util.rb
+- lib/rucc/version.rb
+- rucc.gemspec
+homepage: https://github.com/south37/rucc
+licenses:
+- MIT
+metadata:
+  allowed_push_host: https://rubygems.org
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.7.3
+signing_key: 
+specification_version: 4
+summary: C compiler written in Ruby.
+test_files: []