tecscde 0.6.0

data/lib/tecsgen/core/location.rb

@@ -0,0 +1,116 @@
+#
+#  TECS Generator
+#      Generator for TOPPERS Embedded Component System
+#
+#   Copyright (C) 2008-2017 by TOPPERS Project
+#--
+#   上記著作権者は，以下の(1)〜(4)の条件を満たす場合に限り，本ソフトウェ
+#   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
+#   変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
+#   (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
+#       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
+#       スコード中に含まれていること．
+#   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
+#       用できる形で再配布する場合には，再配布に伴うドキュメント（利用
+#       者マニュアルなど）に，上記の著作権表示，この利用条件および下記
+#       の無保証規定を掲載すること．
+#   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
+#       用できない形で再配布する場合には，次のいずれかの条件を満たすこ
+#       と．
+#     (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
+#         作権表示，この利用条件および下記の無保証規定を掲載すること．
+#     (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
+#         報告すること．
+#   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
+#       害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
+#       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
+#       由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
+#       免責すること．
+#
+#   本ソフトウェアは，無保証で提供されているものである．上記著作権者お
+#   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
+#   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
+#   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
+#   の責任を負わない．
+#
+#   $Id: location.rb 2640 2017-06-03 11:27:12Z okuma-top $
+#++
+
+class TECSGEN
+  #------ manupulate location information --------#
+  def self.new_cell_location(cell_location)
+    @@current_tecsgen.new_cell_location cell_location
+  end
+
+  def new_cell_location(cell_location)
+    @cell_location_list << cell_location
+  end
+
+  def get_cell_location_list
+    @cell_location_list
+  end
+
+  def self.new_join_location(join_location)
+    @@current_tecsgen.new_join_location join_location
+  end
+
+  def new_join_location(join_location)
+    @join_location_list << join_location
+  end
+
+  def get_join_location_list
+    @join_location_list
+  end
+
+#==  Cell_location
+  # tecscde の位置情報
+  class Cell_location
+    #=== Join_location#initialize
+    # cell_nspath::NamespacePath
+    # x,y,w,h::Expression
+    # port_location_list::[ [Symbol(ep_or_cp_name), Symbol(edge_name), Expression(offset)], ... ]
+    # ep_name::Symbol
+    def initialize(cell_nspath, x, y, w, h, port_location_list)
+      # p "Cell_location: #{cell_nspath}, #{x}, #{y}, #{w}, #{h}, #{port_location_list}"
+      @cell_nspath = cell_nspath
+      @x = x.eval_const nil
+      @y = y.eval_const nil
+      @w = w.eval_const nil
+      @h = h.eval_const nil
+      @port_location_list = port_location_list
+
+      TECSGEN.new_cell_location self
+    end
+
+    def get_location
+      [@cell_nspath, @x, @y, @w, @h, @port_location_list]
+    end
+  end # Cell_location
+
+  #==  Join_location
+  # tecscde の位置情報
+  class Join_location
+    @@join_location_list = []
+
+    #=== Join_location#initialize
+    # cp_cell_nspath::NamespacePath
+    # cp_name::Symbol
+    # ep_cell_nspath::NamespacePath
+    # ep_name::Symbol
+    # bar_list::[[Symbol (VBar or HBar), Expression(position mm)], ....]
+    def initialize(cp_cell_nspath, cp_name, ep_cell_path, ep_name, bar_list)
+      # p "Join_location  #{cp_cell_nspath}, #{cp_name}, #{ep_cell_path}, #{ep_name} #{bar_list}"
+      @cp_cell_nspath = cp_cell_nspath
+      @cp_name = cp_name
+      @ep_cell_path = ep_cell_path
+      @ep_name = ep_name
+      @bar_list = bar_list
+
+      TECSGEN.new_join_location self
+    end
+
+    def get_location
+      [@cp_cell_nspath, @cp_name, @ep_cell_path, @ep_name, @bar_list]
+    end
+  end # Join_location
+end # TECSGEN

data/lib/tecsgen/core/messages.rb

@@ -0,0 +1,101 @@
+#
+#  TECS Generator
+#      Generator for TOPPERS Embedded Component System
+#
+#   Copyright (C) 2008-2017 by TOPPERS Project
+#--
+#   上記著作権者は，以下の(1)〜(4)の条件を満たす場合に限り，本ソフトウェ
+#   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
+#   変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
+#   (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
+#       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
+#       スコード中に含まれていること．
+#   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
+#       用できる形で再配布する場合には，再配布に伴うドキュメント（利用
+#       者マニュアルなど）に，上記の著作権表示，この利用条件および下記
+#       の無保証規定を掲載すること．
+#   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
+#       用できない形で再配布する場合には，次のいずれかの条件を満たすこ
+#       と．
+#     (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
+#         作権表示，この利用条件および下記の無保証規定を掲載すること．
+#     (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
+#         報告すること．
+#   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
+#       害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
+#       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
+#       由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
+#       免責すること．
+#
+#   本ソフトウェアは，無保証で提供されているものである．上記著作権者お
+#   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
+#   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
+#   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
+#   の責任を負わない．
+#
+#   $Id: messages.rb 2633 2017-04-02 06:02:05Z okuma-top $
+#++
+
+#== TECS の生成する各国語化必要な文字列
+# 現状、エラーメッセージは英語のみ
+# 生成ファイルのコメントとして出力される文字列
+class TECSMsg
+  #=== TECSMsg#生成するヘッダやテンプレートなどに含めるコメントの取得
+  # CDL の文字コードに合わせて、文字コード変換を行う
+  def self.get(msg)
+    str = @@comment[msg]
+    if $ENCODING_TECSGEN == $ENCODING_CDL || $ENCODING_CDL == Encoding::BINARY
+      return str
+    else
+      return str.encode($ENCODING_CDL)
+    end
+  end
+
+ #=== TECSMsg#ローカライズされたエラーメッセージを得る
+ # body::String   : "S0001 error message body"  の形式
+ # S0001 の部分が使用される
+ # Generator.error2 から呼び出される
+  def self.get_error_message(body)
+    body =~ /^[A-Z0-9]+/ # エラー番号を取り出す
+    num = $&
+    if num
+      msg = @@error_message[num.to_sym]
+    else
+      msg = nil
+    end
+    if msg.nil?
+      m = body
+    else
+      m = num + " " + msg
+    end
+    return m
+  end
+
+ #=== TECSMsg#ローカライズされたウォーニングメッセージを得る
+ # Generator.warning2 から呼び出される
+  def self.get_warning_message(body)
+    body =~ /^[A-Z0-9]+/ # ウォーニング番号を取り出す
+    num = $&
+    msg = @@warning_message[num.to_sym]
+    if msg.nil?
+      m = body
+    else
+      m = num + " " + msg
+    end
+    return m
+  end
+
+ #=== TECSMsg#ローカライズされた情報メッセージを得る
+ # Generator.info2 から呼び出される
+  def self.get_info_message(body)
+    body =~ /^[A-Z0-9]+/ # 情報番号を取り出す
+    num = $&
+    msg = @@info_message[num.to_sym]
+    if msg.nil?
+      m = body
+    else
+      m = num + " " + msg
+    end
+    return m
+  end
+end

data/lib/tecsgen/core/optimize.rb

@@ -0,0 +1,456 @@
+#
+#  TECS Generator
+#      Generator for TOPPERS Embedded Component System
+#
+#   Copyright (C) 2008-2018 by TOPPERS Project
+#--
+#   上記著作権者は，以下の(1)〜(4)の条件を満たす場合に限り，本ソフトウェ
+#   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
+#   変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
+#   (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
+#       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
+#       スコード中に含まれていること．
+#   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
+#       用できる形で再配布する場合には，再配布に伴うドキュメント（利用
+#       者マニュアルなど）に，上記の著作権表示，この利用条件および下記
+#       の無保証規定を掲載すること．
+#   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
+#       用できない形で再配布する場合には，次のいずれかの条件を満たすこ
+#       と．
+#     (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
+#         作権表示，この利用条件および下記の無保証規定を掲載すること．
+#     (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
+#         報告すること．
+#   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
+#       害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
+#       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
+#       由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
+#       免責すること．
+#
+#   本ソフトウェアは，無保証で提供されているものである．上記著作権者お
+#   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
+#   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
+#   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
+#   の責任を負わない．
+#
+#   $Id: optimize.rb 2831 2018-03-18 06:16:30Z okuma-top $
+#++
+
+=begin
+This file includes the processes between semantics analysis and code generation.
+Optimize is one of them.
+Other processes are setting ID for each cell and setting domain information
+
+このファイルには、意味解析からコード生成の間で行うべき処理が含まれる．
+最適化もその一つである．
+その他に、セル毎の ID 付け、ドメインわけを行う．
+コード生成対象となるセルを対象に処理を行うものが含まれる．
+=end
+
+class Namespace
+  #===  各セルに ID （整数値）を割付ける
+  def set_cell_id_and_domain
+    # celltype の各セルに ID を割付ける
+    @celltype_list.each {|t|
+      t.set_cell_id_and_domain
+    }
+
+    # サブネームスペースの各セルに ID を割付ける
+    @namespace_list.each {|n|
+      n.set_cell_id_and_domain
+    }
+  end
+
+  def optimize
+    # celltype の最適化
+    @celltype_list.each {|t|
+      t.optimize
+    }
+
+    # サブネームスペースの最適化
+    @namespace_list.each {|n|
+      n.optimize
+    }
+  end
+
+  def reset_optimize
+    # celltype の最適化
+    @celltype_list.each {|t|
+      t.reset_optimize
+    }
+
+    # サブネームスペースの最適化
+    @namespace_list.each {|n|
+      n.reset_optimize
+    }
+  end
+end
+
+class Celltype
+  ID_BASE = 1 # reset_optimize でリセットする
+  @@ID_BASE = ID_BASE
+
+  def set_cell_id_and_domain
+    set_cell_id
+    set_domain
+  end
+
+  #=== 各セルに ID （整数値）を割付ける
+  def set_cell_id
+    if $verbose
+      print("=== id for the cells of celltype #{get_namespace_path} ===\n")
+    end
+
+    if $unique_id
+      @id_base = @@ID_BASE   # id をシステム全体で連番にする
+    else
+      @id_base = 1           # base を常に 1 から始める
+    end
+
+    id_specified_cells = []
+    no_id_specified_cells = []
+
+    # プロトタイプを除いた数を求める
+    @cell_list.each{|c|
+      if c.is_generate?
+        # c.set_id( @id_base + @n_cell_gen )
+        id = c.get_specified_id
+        if id
+          id_specified_cells << c
+        else
+          no_id_specified_cells << c
+        end
+
+        # p "#{c.get_name} #{@id_base+@n_cell_gen}"
+        @@ID_BASE     += 1
+        @n_cell_gen   += 1
+      end
+    }
+
+    @ordered_cell_list = [] # id = 1 が添数 0 に格納される
+    # ID 指定されているセルに id 番号を与える
+    id_specified_cells.each{|c|
+      id = c.get_specified_id
+      if id > 0
+        if id >= @n_cell_gen
+          cdl_error("S3001 $1: id too large $2 (max=$3)", c.get_name, id, @n_cell_gen)
+          next
+        end
+      else
+        if - id >= @n_cell_gen
+          cdl_error("S3002 $1: id too large $2 (max=$3)", c.get_name, id, @n_cell_gen)
+          next
+        end
+        id = @n_cell_gen + id + 1
+      end
+
+      if @ordered_cell_list[id - 1]
+        cdl_error("S3003 $1: id number '$2' conflict with $3", c.get_name, id, @ordered_cell_list[id - 1].get_name)
+      end
+      @ordered_cell_list[id - 1] = c
+      # 通し番号とする場合のため @id_base を加える
+      c.set_id(@id_base - 1 + id)
+      if $verbose
+        print("#{c.get_name}: id=#{c.get_id}  specified id=#{c.get_specified_id}\n")
+      end
+    }
+
+    # ID 指定されていないセルに id 番号を与える
+    i = 0
+    no_id_specified_cells.each{|c|
+      while !@ordered_cell_list[i].nil?
+        i += 1
+      end
+      @ordered_cell_list[i] = c
+      c.set_id(@id_base + i)
+      if $verbose
+        print("#{c.get_name}: id=#{c.get_id}\n")
+      end
+    }
+    if @n_cell_gen > 0 && i >= @n_cell_gen
+      raise "id over id=#{i} N=#{@n_cell_gen}"
+    end
+  end
+
+  def set_domain
+    domain_cells = {}
+    @cell_list.each{|c|
+      if c.is_generate?
+        dr = c.get_region.get_domain_root
+        if dr.get_domain_type
+          dn = dr.get_domain_type.get_name
+        else
+          dn = nil
+        end
+        if @domain_roots[dn]
+          @domain_roots[dn] << dr
+        else
+          @domain_roots[dn] = [dr]
+        end
+        if domain_cells[dr]
+          domain_cells[dr] << c
+        else
+          domain_cells[dr] = [c]
+        end
+      end
+    }
+
+    @domain_roots.each{|dn, drs|
+      drs.uniq!
+      if $verbose && dn
+        print "[domain] celltype=#{@name} domainType=#{dn} domainRootRegions={"
+        delim = ""
+        drs.each{|r|
+          print delim, r.get_name
+          delim = ", "
+        }
+        print "}\n"
+        drs.each{|r|
+          print "[domain] celltype=#{@name} domainRootRegion=#{r.get_name} domainType=#{dn} domainKind=#{r.get_domain_root.get_domain_type.get_kind} domainCells={"
+          delim = ""
+          domain_cells[r].each{|c|
+            print delim, c.get_name
+            delim = ", "
+          }
+          print "}\n"
+        }
+      end
+    }
+    if @domain_roots.length > 1
+      p @domain_roots
+      raise "ambigous DomainType"
+    end
+
+    @domain_roots.each{|dn, regions|
+      # domain_type は一つのノードに一つしかないので、一つの要素を無条件で取り出す
+      if regions.length > 1
+        cdl_info("I9999 celltype '$1' has cells in multi-domain.\n", @name)
+        if @idx_is_id == false
+          cdl_info("I9999 celltype '$1' forcely set idx_is_id\n", @name)
+        end
+        @idx_is_id_act = true
+      end
+    }
+  end
+
+  def optimize
+    # port の参照するセルタイプの数、セルの数を求める
+    if $verbose
+      print "=== optimizing celltype #{get_namespace_path} ===\n"
+    end
+
+    optimize_call
+    if $unopt_entry == false
+      optimize_entry
+    end
+  end
+
+  #=== Celltype#呼び口最適化
+  def optimize_call
+    @port.each{|port|
+      next if port.get_port_type != :CALL
+      if port.is_omit?
+        # 呼び口最適化実施
+        @b_cp_optimized = true
+        @n_call_port_omitted_in_CB += 1               # CB で省略する呼び口
+        port.set_skelton_useless                      # スケルトン関数不要最適化
+        port.set_VMT_useless                          # VMT 不要最適化 (直接受け口関数を呼出す)
+        if $verbose
+          print "optimized by omit: port: #{port.get_name} : o\n"
+        end
+        next
+      elsif port.is_dynamic?
+        if $verbose
+          print "unoptimized by dynamic: port: #{port.get_name}\n"
+        end
+        next
+      elsif port.is_ref_desc?
+        if $verbose
+          print "unoptimized by ref_desc: port: #{port.get_name}\n"
+        end
+        next
+      end
+
+      if $verbose
+        print "optimizing port : #{port.get_name}\n"
+      end
+
+      port_cells = []    # 呼び先セル
+      port_ports = []    # 呼び先のポート
+
+      # セルの参照するセルを集める（ポートも一緒に集める）
+      @cell_list.each{|cell|
+
+        if !cell.is_generate?
+          next
+        end
+
+        jl = cell.get_join_list
+        j = jl.get_item(port.get_name)
+
+        if j
+          if j.get_array_member2
+            # 呼び口配列の場合、全部の結合先を集める
+            j.get_array_member2.each {|j2|
+              if j2
+                port_cells << j2.get_rhs_cell
+                port_ports << j2.get_rhs_port # 右辺のポート
+              else
+                # optional で、ある添数のみ初期化されていない（すべて初期化されない場合は、下）
+                port_cells << nil
+                port_ports << nil
+              end
+            }
+          else
+            # 全ての結合先を集める
+            port_cells << j.get_rhs_cell
+            port_ports << j.get_rhs_port # 右辺のポート
+          end
+        else
+          # optional で初期化されていない（nil を要素に加えておく）
+          port_cells << nil
+          port_ports << nil # 右辺のポート
+        end
+      }
+
+      # 重複要素を取り除く
+      port_cells.uniq!
+      port_ports.uniq!
+
+      # 呼び口の呼び先が一つのポートだけか？
+      if port_ports.length == 1
+
+        # 呼び口配列が可変長の場合、最適化しない
+             # mikan 呼び口配列要素数マクロ不具合暫定対策
+             # より望ましい修正は、受け口へのポインタは省略するが、配列個数は出力する(#_CP_#, #_TCP_#)
+             # さらに配列個数が定数化できるのであれば、定数マクロを出力 (#_NCPA_#)
+        next if port.get_array_size == "[]"
+
+        # 呼び口最適化実施
+        @b_cp_optimized = true
+
+        # 呼び先が一つのセルだけか？
+        if port_cells.length == 1
+
+          # 呼び口は optional で初期化されていない、または受け口は配列ではないか？
+          if port_ports[0].nil? || port_ports[0].get_array_size.nil?
+
+            @n_call_port_omitted_in_CB += 1               # CB で省略する呼び口
+            port.set_cell_unique                          # セル一つだけ最適化
+            port.set_skelton_useless                      # スケルトン関数不要最適化
+            port.set_VMT_useless                          # VMT 不要最適化 (直接受け口関数を呼出す)
+
+            if $verbose
+              print "cell_unique, VMT_useless & skelton_useless optimize\n"
+            end
+          else
+            port.set_VMT_useless                          # VMT 不要最適化 (スケルトン関数を呼出す)
+
+            if $verbose
+              print "VMT_useless optimize\n"
+            end
+          end
+
+        else # 呼び先が複数のセル（単一のポート）
+
+          # 呼び口は optional で初期化されていない、または受け口は配列ではないか？
+          if port_ports[0].nil? || port_ports[0].get_array_size.nil?
+            if !@singleton
+              port.set_skelton_useless                    # スケルトン関数不要最適化
+              port.set_VMT_useless                        # VMT 不要最適化 (スケルトン関数 or 受け口関数を呼出す)
+
+              if $verbose
+                print "VMT_useless & skelton useless optimize\n"
+              end
+            else
+              port.set_VMT_useless # VMT 不要最適化 (スケルトン関数 or 受け口関数を呼出す)
+
+              if $verbose
+                print "VMT_useless optimize\n"
+              end
+            end
+          end
+        end
+
+        port.set_only_callee(port_ports[0], port_cells[0])
+           # set_cell_unique でない場合 cell は意味がない
+
+      end
+
+      # debug
+      dbgPrint "#{port.get_name} : # of cells : #{port_cells.length}  # of ports : #{port_ports.length}\n"
+    }
+  end
+
+  #=== Celltype#受け口最適化
+  # optimize_entry は、呼び口最適化の結果を使用している
+  def optimize_entry
+    # 受け口最適化の設定
+    @port.each{|port|
+      next if port.get_port_type != :CALL
+
+      # 呼び口側の最適化状態
+      b_VMT_useless     = port.is_VMT_useless?
+      b_skelton_useless = port.is_skelton_useless?
+
+      # セルの参照するセルを集める（ポートも一緒に集める）
+      @cell_list.each{|cell|
+
+        if !cell.is_generate?
+          next
+        end
+
+        jl = cell.get_join_list
+        j = jl.get_item(port.get_name)
+
+        if j # optional で結合されていない場合 nil
+          if j.get_array_member2
+            # 呼び口配列
+            j.get_array_member2.each {|j2|
+              if j2
+                port2 = j2.get_rhs_port # 右辺のポート
+                # 受け口側の最適化可能性を設定
+                port2.set_entry_VMT_skelton_useless(b_VMT_useless, b_skelton_useless)
+              # else
+              #  optional で呼び口配列要素が初期化されていない
+              end
+            }
+          else
+            port2 = j.get_rhs_port # 右辺のポート
+            # 受け口側の最適化可能性を設定
+            port2.set_entry_VMT_skelton_useless(b_VMT_useless, b_skelton_useless)
+          end
+        end
+      }
+    }
+  end
+
+  # Celltype# リセットする
+  def reset_optimize
+    @@ID_BASE = ID_BASE      # 本当は一回だけでよい
+    @id_base = 1             # set_cell_id でリセットされるので不要
+
+    @b_cp_optimized = false  # 呼び口最適化
+    @n_call_port_omitted_in_CB = 0 # 呼び口最適化により不生成となったポートの数
+    @n_cell_gen = 0 # 生成セル個数
+    @port.each{|p|
+      p.reset_optimize
+    }
+    @included_header = {}
+    @domain_roots = {}
+  end
+
+  # Celltype# ヘッダは include されているか
+  # hname::Symbol : ヘッダ名
+  # RETURN:: bool_t: false インクルードされていない、true インクルードされている
+  # #_ISH_#, #_ICT_# でヘッダが取り込まれているかチェックする
+  # false が返った場合、hname は登録されて、次回の呼び出しでは true が返る
+  def header_included?(hname)
+    if @included_header[hname].nil?
+      @included_header[hname] = true
+      return false
+    else
+      return true
+    end
+  end
+end