Changeset 389 for azure_iot_hub/trunk/asp3_dcre/tecsgen/tecslib/core/optimize.rb

Timestamp:

May 22, 2019, 10:03:37 PM (5 years ago)

Author:

coas-nagasima

Message:

ビルドが通るよう更新

File:

• azure_iot_hub/trunk/asp3_dcre/tecsgen/tecslib/core/optimize.rb (modified) (25 diffs, 1 prop)

azure_iot_hub/trunk/asp3_dcre/tecsgen/tecslib/core/optimize.rb

@@ -6 +6 @@
 #   Copyright (C) 2008-2018 by TOPPERS Project
 #--
-#   上記著作権è€
-は，以下の(1)～(4)ã®æ¡ä»¶ã‚’æº€ãŸã™å ´åˆã«é™ã‚Šï¼Œæœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§
-#   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
-#   変・再é
-å¸ƒï¼ˆä»¥ä¸‹ï¼Œåˆ©ç”¨ã¨å‘¼ã¶ï¼‰ã™ã‚‹ã“とを無償で許諾する．
-#   (1) æœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å½¢ã§åˆ©ç”¨ã™ã‚‹å ´åˆã«ã¯ï¼Œä¸Šè¨˜ã®è‘—ä½œ
-#       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
-#       スコード中に含まれていること．
-#   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
-#       用できる形で再é
-å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œå†é
-å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨
-#       è€
-マニュアルなど）に，上記の著作権表示，この利用条件および下記
-#       の無保証規定を掲載すること．
-#   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
-#       用できない形で再é
-å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œæ¬¡ã®ã„ずれかの条件を満たすこ
-#       と．
-#     (a) 再é
-å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨è€
-マニュアルなど）に，上記の著
-#         作権表示，この利用条件および下記の無保証規定を掲載すること．
-#     (b) 再é
-å¸ƒã®å½¢æ
-‹ã‚’，別に定める方法によって，TOPPERSプロジェクトに
-#         å ±å‘Šã™ã‚‹ã“ã¨ï¼Ž
-#   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
-#       害からも，上記著作権è€
-およびTOPPERSプロジェクトをå
-è²¬ã™ã‚‹ã“と．
-#       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
-#       由に基づく請求からも，上記著作権è€
-およびTOPPERSプロジェクトを
-#       å
-è²¬ã™ã‚‹ã“と．
+#   上記著作権者は，以下の(1)～(4)の条件を満たす場合に限り，本ソフトウェ
+#   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
+#   変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
+#   (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
+#       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
+#       スコード中に含まれていること．
+#   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
+#       用できる形で再配布する場合には，再配布に伴うドキュメント（利用
+#       者マニュアルなど）に，上記の著作権表示，この利用条件および下記
+#       の無保証規定を掲載すること．
+#   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
+#       用できない形で再配布する場合には，次のいずれかの条件を満たすこ
+#       と．
+#     (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
+#         作権表示，この利用条件および下記の無保証規定を掲載すること．
+#     (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
+#         報告すること．
+#   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
+#       害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
+#       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
+#       由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
+#       免責すること．
 #  
-#   本ソフトウェアは，無保証で提供されているものである．上記著作権è€
-お
-#   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
-#   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
-#   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
-#   ã®è²¬ä»»ã‚’è² ã‚ãªã„ï¼Ž
+#   本ソフトウェアは，無保証で提供されているものである．上記著作権者お
+#   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
+#   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
+#   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
+#   の責任を負わない．
 #  
 #   $Id$
@@ -58 +43 @@
 Other processes are setting ID for each cell and setting domain information
 
-このファイルには、意味解析からコード生成の間で行うべき処理が含まれる．
-最適化もその一つである．
-その他に、セル毎の ID 付け、ドメインわけを行う．
-コード生成対象となるセルを対象に処理を行うものが含まれる．
+このファイルには、意味解析からコード生成の間で行うべき処理が含まれる．
+最適化もその一つである．
+その他に、セル毎の ID 付け、ドメインわけを行う．
+コード生成対象となるセルを対象に処理を行うものが含まれる．
 =end
 
 class Namespace
 
-  #===  各セルに ID （整数値）を割付ける
+  #===  各セルに ID （整数値）を割付ける
   def set_cell_id_and_domain
-    # celltype の各セルに ID を割付ける
+    # celltype の各セルに ID を割付ける
     @celltype_list.each { |t|
       t.set_cell_id_and_domain
     }
 
-    # サブネームスペースの各セルに ID を割付ける
+    # サブネームスペースの各セルに ID を割付ける
     @namespace_list.each { |n|
       n.set_cell_id_and_domain
@@ -80 +65 @@
 
   def optimize
-    # celltype の最適化
+    # celltype の最適化
     @celltype_list.each { |t|
       t.optimize
     }
 
-    # サブネームスペースの最適化
+    # サブネームスペースの最適化
     @namespace_list.each { |n|
       n.optimize
@@ -92 +77 @@
 
   def reset_optimize
-    # celltype の最適化
+    # celltype の最適化
     @celltype_list.each { |t|
       t.reset_optimize
     }
 
-    # サブネームスペースの最適化
+    # サブネームスペースの最適化
     @namespace_list.each { |n|
       n.reset_optimize
@@ -106 +91 @@
 class Celltype
 
-  ID_BASE = 1               # reset_optimize でリセットする
+  ID_BASE = 1               # reset_optimize でリセットする
   @@ID_BASE = ID_BASE
 
@@ -114 +99 @@
   end
 
-  #=== 各セルに ID （整数値）を割付ける
+  #=== 各セルに ID （整数値）を割付ける
   def set_cell_id
 
@@ -122 +107 @@
 
     if $unique_id then
-      @id_base = @@ID_BASE   # id をシステムå
-¨ä½“で連番にする
+      @id_base = @@ID_BASE   # id をシステム全体で連番にする
     else
-      @id_base = 1           # base を常に 1 から始める
+      @id_base = 1           # base を常に 1 から始める
     end
 
@@ -131 +115 @@
     no_id_specified_cells = []
 
-    # プロトタイプを除いた数を求める
+    # プロトタイプを除いた数を求める
     @cell_list.each{ |c|
       if c.is_generate? then
@@ -148 +132 @@
     }
 
-    @ordered_cell_list = []   # id = 1 が添数 0 ã«æ ¼ç´ã•ã‚Œã‚‹
-    # ID 指定されているセルに id 番号を与える
+    @ordered_cell_list = []   # id = 1 が添数 0 に格納される
+    # ID 指定されているセルに id 番号を与える
     id_specified_cells.each{ |c|
       id = c.get_specified_id
@@ -169 +153 @@
       end
       @ordered_cell_list[ id - 1 ] = c
-      # é€šã—ç•ªå·ã¨ã™ã‚‹å ´åˆã®ãŸã‚ @id_base ã‚’åŠ ãˆã‚‹
+      # 通し番号とする場合のため @id_base を加える
       c.set_id( @id_base - 1 + id )
       if $verbose then
@@ -176 +160 @@
     }
 
-    # ID 指定されていないセルに id 番号を与える
+    # ID 指定されていないセルに id 番号を与える
     i = 0
     no_id_specified_cells.each{ |c|
@@ -243 +227 @@
 
     @domain_roots.each{ |dn, regions|
-      # domain_type ã¯ä¸€ã¤ã®ãƒŽãƒ¼ãƒ‰ã«ä¸€ã¤ã—ã‹ãªã„ã®ã§ã€ä¸€ã¤ã®è¦ç´ ã‚’ç„¡æ¡ä»¶ã§å–ã‚Šå‡ºã™
+      # domain_type は一つのノードに一つしかないので、一つの要素を無条件で取り出す
       if regions.length > 1 then
         if $verbose then
@@ -259 +243 @@
   def optimize
 
-    # port の参ç
-§ã™ã‚‹ã‚»ãƒ«ã‚¿ã‚¤ãƒ—の数、セルの数を求める
+    # port の参照するセルタイプの数、セルの数を求める
     if $verbose then
       print "=== optimizing celltype #{get_namespace_path.to_s} ===\n"
@@ -271 +254 @@
   end
 
-  #=== Celltype#呼び口最適化
+  #=== Celltype#呼び口最適化
   def optimize_call
     @port.each{ |port|
       next if port.get_port_type != :CALL
       if port.is_omit? then
-        # 呼び口最適化実施
+        # 呼び口最適化実施
         @b_cp_optimized = true
-        @n_call_port_omitted_in_CB += 1               # CB で省略する呼び口
-        port.set_skelton_useless                      # スケルトン関数不要最適化
-        port.set_VMT_useless                          # VMT 不要最適化 (直接受け口関数を呼出す)
+        @n_call_port_omitted_in_CB += 1               # CB で省略する呼び口
+        port.set_skelton_useless                      # スケルトン関数不要最適化
+        port.set_VMT_useless                          # VMT 不要最適化 (直接受け口関数を呼出す)
         if $verbose then
           print "optimized by omit: port: #{port.get_name} : o\n"
@@ -301 +284 @@
       end
 
-      port_cells = []    # 呼びå
-ˆã‚»ãƒ«
-      port_ports = []    # 呼びå
-ˆã®ãƒãƒ¼ãƒˆ
-
-      # セルの参ç
-§ã™ã‚‹ã‚»ãƒ«ã‚’集める（ポートも一緒に集める）
+      port_cells = []    # 呼び先セル
+      port_ports = []    # 呼び先のポート
+
+      # セルの参照するセルを集める（ポートも一緒に集める）
       @cell_list.each{ |cell|
 
@@ -319 +299 @@
         if j then
           if j.get_array_member2 then
-            # 呼び口é
-åˆ—ã®å ´åˆã€å
-¨éƒ¨ã®çµåˆå
-ˆã‚’集める
+            # 呼び口配列の場合、全部の結合先を集める
             j.get_array_member2.each { |j2|
               if j2 then
                 port_cells << j2.get_rhs_cell
-                port_ports << j2.get_rhs_port   # 右辺のポート
+                port_ports << j2.get_rhs_port   # 右辺のポート
               else
-                # optional ã§ã€ã‚ã‚‹æ·»æ•°ã®ã¿åˆæœŸåŒ–ã•ã‚Œã¦ã„ãªã„ï¼ˆã™ã¹ã¦åˆæœŸåŒ–ã•ã‚Œãªã„å ´åˆã¯ã€ä¸‹ï¼‰
+                # optional で、ある添数のみ初期化されていない（すべて初期化されない場合は、下）
                 port_cells << nil
                 port_ports << nil
@@ -334 +311 @@
             }
           else
-            # å
-¨ã¦ã®çµåˆå
-ˆã‚’集める
+            # 全ての結合先を集める
             port_cells << j.get_rhs_cell
-            port_ports << j.get_rhs_port   # 右辺のポート
+            port_ports << j.get_rhs_port   # 右辺のポート
           end
         else
-          # optional で初期化されていない（nil ã‚’è¦ç´ ã«åŠ ãˆã¦ãŠãï¼‰
+          # optional で初期化されていない（nil を要素に加えておく）
           port_cells << nil
-          port_ports << nil   # 右辺のポート
+          port_ports << nil   # 右辺のポート
         end
       }
 
-      # é‡è¤‡è¦ç´ ã‚’å–ã‚Šé™¤ã
+      # 重複要素を取り除く
       port_cells.uniq!
       port_ports.uniq!
 
-      # 呼び口の呼びå
-ˆãŒä¸€ã¤ã®ãƒãƒ¼ãƒˆã けか？
+      # 呼び口の呼び先が一つのポートだけか？
       if port_ports.length == 1 then
 
-        # 呼び口é
-åˆ—ãŒå¯å¤‰é•·ã®å ´åˆã€æœ€é©åŒ–ã—ãªã„
-             # mikan 呼び口é
-åˆ—è¦ç´ 数マクロ不å
-·åˆæš«å®šå¯¾ç­–
-             # より望ましい修正は、受け口へのポインタは省略するが、é
-åˆ—個数は出力する(#_CP_#, #_TCP_#)
-             # さらにé
-åˆ—個数が定数化できるのであれば、定数マクロを出力 (#_NCPA_#)
+        # 呼び口配列が可変長の場合、最適化しない
+             # mikan 呼び口配列要素数マクロ不具合暫定対策
+             # より望ましい修正は、受け口へのポインタは省略するが、配列個数は出力する(#_CP_#, #_TCP_#)
+             # さらに配列個数が定数化できるのであれば、定数マクロを出力 (#_NCPA_#)
         next if port.get_array_size == "[]"
 
-        # 呼び口最適化実施
+        # 呼び口最適化実施
         @b_cp_optimized = true
 
-        # 呼びå
-ˆãŒä¸€ã¤ã®ã‚»ãƒ«ã けか？
+        # 呼び先が一つのセルだけか？
         if port_cells.length == 1 then
 
-          # 呼び口は optional で初期化されていない、または受け口はé
-åˆ—ではないか？
+          # 呼び口は optional で初期化されていない、または受け口は配列ではないか？
           if port_ports[0] == nil || port_ports[0].get_array_size == nil then
 
-            @n_call_port_omitted_in_CB += 1               # CB で省略する呼び口
-            port.set_cell_unique                          # セル一つだけ最適化
-            port.set_skelton_useless                      # スケルトン関数不要最適化
-            port.set_VMT_useless                          # VMT 不要最適化 (直接受け口関数を呼出す)
+            @n_call_port_omitted_in_CB += 1               # CB で省略する呼び口
+            port.set_cell_unique                          # セル一つだけ最適化
+            port.set_skelton_useless                      # スケルトン関数不要最適化
+            port.set_VMT_useless                          # VMT 不要最適化 (直接受け口関数を呼出す)
 
             if $verbose then
@@ -386 +353 @@
             end
           else
-            port.set_VMT_useless                          # VMT 不要最適化 (スケルトン関数を呼出す)
+            port.set_VMT_useless                          # VMT 不要最適化 (スケルトン関数を呼出す)
 
             if $verbose then
@@ -393 +360 @@
           end
 
-        else  # 呼びå
-ˆãŒè¤‡æ•°ã®ã‚»ãƒ«ï¼ˆå˜ä¸€ã®ãƒãƒ¼ãƒˆï¼‰
-
-          # 呼び口は optional で初期化されていない、または受け口はé
-åˆ—ではないか？
+        else  # 呼び先が複数のセル（単一のポート）
+
+          # 呼び口は optional で初期化されていない、または受け口は配列ではないか？
           if port_ports[0] == nil || port_ports[0].get_array_size == nil then
             if ! @singleton then
-              port.set_skelton_useless                    # スケルトン関数不要最適化
-              port.set_VMT_useless                        # VMT 不要最適化 (スケルトン関数 or 受け口関数を呼出す)
+              port.set_skelton_useless                    # スケルトン関数不要最適化
+              port.set_VMT_useless                        # VMT 不要最適化 (スケルトン関数 or 受け口関数を呼出す)
 
               if $verbose then
@@ -407 +372 @@
               end
             else
-              port.set_VMT_useless                           # VMT 不要最適化 (スケルトン関数 or 受け口関数を呼出す)
+              port.set_VMT_useless                           # VMT 不要最適化 (スケルトン関数 or 受け口関数を呼出す)
 
               if $verbose then
@@ -417 +382 @@
 
         port.set_only_callee( port_ports[0], port_cells[0] )
-           # set_cell_unique ã§ãªã„å ´åˆ cell は意味がない
+           # set_cell_unique でない場合 cell は意味がない
 
       end
@@ -426 +391 @@
   end
 
-  #=== Celltype#受け口最適化
-  # optimize_entry は、呼び口最適化の結果を使用している
+  #=== 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|
 
@@ -449 +412 @@
         j = jl.get_item( port.get_name )
 
-        if j then    # optional ã§çµåˆã•ã‚Œã¦ã„ãªã„å ´åˆ nil
+        if j then    # optional で結合されていない場合 nil
           if j.get_array_member2 then
-            # 呼び口é
-åˆ—
+            # 呼び口配列
             j.get_array_member2.each { |j2|
               if j2 then
-                port2 = j2.get_rhs_port   # 右辺のポート
-                # 受け口側の最適化可能性を設定
+                port2 = j2.get_rhs_port   # 右辺のポート
+                # 受け口側の最適化可能性を設定
                 port2.set_entry_VMT_skelton_useless( b_VMT_useless, b_skelton_useless )
               #else
-              #  optional で呼び口é
-åˆ—è¦ç´ が初期化されていない
+              #  optional で呼び口配列要素が初期化されていない
               end
             }
           else
-            port2 = j.get_rhs_port      # 右辺のポート
-            # 受け口側の最適化可能性を設定
+            port2 = j.get_rhs_port      # 右辺のポート
+            # 受け口側の最適化可能性を設定
             port2.set_entry_VMT_skelton_useless( b_VMT_useless, b_skelton_useless )
           end
@@ -473 +434 @@
   end
 
-  #Celltype# リセットする
+  #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          # 生成セル個数
+    @@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
@@ -488 +449 @@
   end
 
-  #Celltype# ヘッダは include されているか
-  #hname::Symbol : ヘッダ名
-  #RETURN:: bool_t: false インクルードされていない、true インクルードされている
-  # #_ISH_#, #_ICT_# でヘッダが取り込まれているかチェックする
-  # false ãŒè¿”ã£ãŸå ´åˆã€hname は登録されて、次回の呼び出しでは true が返る
+  #Celltype# ヘッダは include されているか
+  #hname::Symbol : ヘッダ名
+  #RETURN:: bool_t: false インクルードされていない、true インクルードされている
+  # #_ISH_#, #_ICT_# でヘッダが取り込まれているかチェックする
+  # false が返った場合、hname は登録されて、次回の呼び出しでは true が返る
   def header_included?( hname )
     if @included_header[ hname ] == nil then