JPS5960640A - コンパイラ処理方法 - Google Patents
コンパイラ処理方法Info
- Publication number
- JPS5960640A JPS5960640A JP17157382A JP17157382A JPS5960640A JP S5960640 A JPS5960640 A JP S5960640A JP 17157382 A JP17157382 A JP 17157382A JP 17157382 A JP17157382 A JP 17157382A JP S5960640 A JPS5960640 A JP S5960640A
- Authority
- JP
- Japan
- Prior art keywords
- statement
- processing
- compiler
- expression
- module
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
（Ａｌ 発明の技術分野
本発明は、コンパイラ処理方法、％ｆ例えばＰＬ／ｌや
Ｃ０ＢＯＬ 、 ＦＯＲ’ｌ’ＲＡＮなどにおけるＩＩ
’文の式全評価してオブジェクト・プログラムを生成す
るに当って、ＩＦ文内の各スカラ式についての出現頻度
に対応した表現を与えて記述された重みづけＩＦ文を処
理できる重みづけＩＦ文処理部をもうけ、最適なロード
・モジュールを得るようにしたコンパイラ処理方法に関
するものである。
Ｃ０ＢＯＬ 、 ＦＯＲ’ｌ’ＲＡＮなどにおけるＩＩ
’文の式全評価してオブジェクト・プログラムを生成す
るに当って、ＩＦ文内の各スカラ式についての出現頻度
に対応した表現を与えて記述された重みづけＩＦ文を処
理できる重みづけＩＦ文処理部をもうけ、最適なロード
・モジュールを得るようにしたコンパイラ処理方法に関
するものである。
（Ｂｌ 技術の背負と問題点
例えばＰＬ／ｌなどで記述されたソース・プログラムに
おいては、第１図（ＡＪＫ示される如＠ＩＦ文が記述さ
れることが多い。該ＩＦ文はｒ Ａ、 ＝ Ｂであるか
Ａ＝Ｃである場合Ｋｘ ｘ ｘ Ｋ進む」ことを意味し
ているが、このようなＩＦ文は例えはアセンブラ形式で
記述すれば第１図（Ｂ１図示の如き形にコンパイルされ
る。即ち。
おいては、第１図（ＡＪＫ示される如＠ＩＦ文が記述さ
れることが多い。該ＩＦ文はｒ Ａ、 ＝ Ｂであるか
Ａ＝Ｃである場合Ｋｘ ｘ ｘ Ｋ進む」ことを意味し
ているが、このようなＩＦ文は例えはアセンブラ形式で
記述すれば第１図（Ｂ１図示の如き形にコンパイルされ
る。即ち。
（１）Ａをレジスタ＠ｏ２にロードし、（２）Ｂをり０
２の内容と比較し、 （３） 等しけ力、ばＸＸＸにブランチし、ｆ４）
（３１でなければ、Ｃを＠０２の内容と比較し。
２の内容と比較し、 （３） 等しけ力、ばＸＸＸにブランチし、ｆ４）
（３１でなければ、Ｃを＠０２の内容と比較し。
（５）等しければ×××にブランチする。
の如くコンパイルされる。しかし、この場合、テークＡ
、 Ｂ 、 Ｃ−・の態様に応じて、成る処理に関連
しては、先［Ａ＝Ｃをチェックし、Ａ〜Ｃの場合に限ぎ
ってＡ＝Ｂをチェックすることが望寸しいことが生じる
。このようなことは、Ａ〜ＣであってＡ＝Ｂである頻度
がＡｋ８であってＡ＝Ｃである頻度にくらべて小さい場
合などに現われると考えてよい。或いは、第４図に於て
、例えばＹ力司５なるイはをもつ場合があり、その時り
の次元は１０なので、プログラムは異常終了することに
なる。
、 Ｂ 、 Ｃ−・の態様に応じて、成る処理に関連
しては、先［Ａ＝Ｃをチェックし、Ａ〜Ｃの場合に限ぎ
ってＡ＝Ｂをチェックすることが望寸しいことが生じる
。このようなことは、Ａ〜ＣであってＡ＝Ｂである頻度
がＡｋ８であってＡ＝Ｃである頻度にくらべて小さい場
合などに現われると考えてよい。或いは、第４図に於て
、例えばＹ力司５なるイはをもつ場合があり、その時り
の次元は１０なので、プログラムは異常終了することに
なる。
これを避ける為、スカラ式Ａ＝Ｄ（Ｙｌの評価は、スカ
ラ弐Ｂ＝Ｃが真である場合のみ行なうように指示したい
場合に現われることもある。
ラ弐Ｂ＝Ｃが真である場合のみ行なうように指示したい
場合に現われることもある。
（Ｃ１発明の目的と構成
本発明は上記の寓をコンパイラ内で正しく処理できるよ
うにすることを目的としており、本発明のコンパイラ処
理方法は、与えられたソース・プログラムを読込んで文
解析処理部にて文解析を行い、次いで式の評価処理部に
゛て上記解析された文に含まれる式についての評価を行
って、オブジェクト・プログラムを生成するコンパイラ
・システムにおいて、上記式の評価処理部内に、ＩＦ文
内の各スカラ式についての出現頻度に対応した表現を与
えて記述された重みづけＩ Ｆ文に対応して当Ｖ重みづ
けＩ Ｆ文を処理する重みづけＩＦ’文処理モジュール
をもうけ、該重みづけＩＩｉ’文処理子処理モジュール
えられた重みづけＩＦ文ｒ対して、各スカラ式について
の出現類Ｗ ｔ＋Ｖにソートする処よう構成され、肖該
通常のＩＦ文の形に処理されたＩＦ′５ｃを上記式の評
価処理部内の既存の１１文処理モジュールに引渡すよう
にし、目的とするオブジェクト・プログラムを生成する
ことを特徴としている。以下図面を径間しつつ曲明する
。
うにすることを目的としており、本発明のコンパイラ処
理方法は、与えられたソース・プログラムを読込んで文
解析処理部にて文解析を行い、次いで式の評価処理部に
゛て上記解析された文に含まれる式についての評価を行
って、オブジェクト・プログラムを生成するコンパイラ
・システムにおいて、上記式の評価処理部内に、ＩＦ文
内の各スカラ式についての出現頻度に対応した表現を与
えて記述された重みづけＩ Ｆ文に対応して当Ｖ重みづ
けＩ Ｆ文を処理する重みづけＩＦ’文処理モジュール
をもうけ、該重みづけＩＩｉ’文処理子処理モジュール
えられた重みづけＩＦ文ｒ対して、各スカラ式について
の出現類Ｗ ｔ＋Ｖにソートする処よう構成され、肖該
通常のＩＦ文の形に処理されたＩＦ′５ｃを上記式の評
価処理部内の既存の１１文処理モジュールに引渡すよう
にし、目的とするオブジェクト・プログラムを生成する
ことを特徴としている。以下図面を径間しつつ曲明する
。
（１））発明の実施例
第２図は本発明による処理の一実施例態様を説明する勝
明図、第３図は本発明の一実施例構成を示す。
明図、第３図は本発明の一実施例構成を示す。
第２図（Ａ）図示の場合、第１図（Ａ１図示と同じ概念
を衣わすＩＦ’文であるが、スカラ式Ａ＝Ｂとスカラ式
Ｃ＝Ｄとの夫々の出現頻度が夫々１０％と５０饅とであ
ることを ＰＲＯＢ ｆ ｔ （スカラ式）） の形で１１ ＜を記述することによって指示している。
を衣わすＩＦ’文であるが、スカラ式Ａ＝Ｂとスカラ式
Ｃ＝Ｄとの夫々の出現頻度が夫々１０％と５０饅とであ
ることを ＰＲＯＢ ｆ ｔ （スカラ式）） の形で１１ ＜を記述することによって指示している。
この出胡、頻度ｉは、ソース・プログラム全記述する段
１４で一般には判明している。このために、当該出現頻
瓦全例えば上述の如く記述することによって、コンパイ
ラに通知できるようにする。このようなＩ Ｆ文を本発
明においては、皿みづけＩＦ’文と呼ぶ。
１４で一般には判明している。このために、当該出現頻
瓦全例えば上述の如く記述することによって、コンパイ
ラに通知できるようにする。このようなＩ Ｆ文を本発
明においては、皿みづけＩＦ’文と呼ぶ。
これに対応して、コンパイラは、納２図（Ｂ１図示の如
く、あたかもＩＦ’文として Ｉ Ｆ Ａ ＝ Ｃｌ Ａ ＝ Ｂ
ＴＨＥＮ ＧＯ’ｌ’Ｏｘ ｘ ｘ
；、として与えられていたかのようにオブジェクト
。
く、あたかもＩＦ’文として Ｉ Ｆ Ａ ＝ Ｃｌ Ａ ＝ Ｂ
ＴＨＥＮ ＧＯ’ｌ’Ｏｘ ｘ ｘ
；、として与えられていたかのようにオブジェクト
。
プログラムを生成する。部ち
（６）Ａをレジスタ（ロ）０２にロードし、（７）Ｃを
（ψ０２の内容と比較し、 （８）等しければｘｘｘにブランチし、（９１（８１で
なければ、Ｂを＠０２の内容と比較し、（Ｄ 等しけれ
ばｘｘｘにブランチする。
（ψ０２の内容と比較し、 （８）等しければｘｘｘにブランチし、（９１（８１で
なければ、Ｂを＠０２の内容と比較し、（Ｄ 等しけれ
ばｘｘｘにブランチする。
の如くコンパイルするようにされる。
第３図は本発明の一実施例構成を示している。
図中の符号ｌはソース・プログラム、２１″ｉ、コンパ
イラ、３はオブジェクト・プログラム、４はテキスト読
込み処理部であってソース−プログラム３の各テキスト
を読み込んでチェーンづけを行うもの、５は文解析処理
部であってＤｏ文やＩＰ文や（）ＯＴＯ文などの解析を
行うもの、６は式の評価処理部であって式の計算方法の
帷立を行うもの、７はオブジェク）％成処理部であって
オブジェクト・コードを生成するもの、８は本発明にお
いて用怠きれる重みづけＩＦ文処理モジュール、８は既
存のＩ Ｐ文処理モジュールを衣わしている。また１０
は、上記重みづけＩＦ文処理モジュル８における一実施
例処理態様を表わしている。
イラ、３はオブジェクト・プログラム、４はテキスト読
込み処理部であってソース−プログラム３の各テキスト
を読み込んでチェーンづけを行うもの、５は文解析処理
部であってＤｏ文やＩＰ文や（）ＯＴＯ文などの解析を
行うもの、６は式の評価処理部であって式の計算方法の
帷立を行うもの、７はオブジェク）％成処理部であって
オブジェクト・コードを生成するもの、８は本発明にお
いて用怠きれる重みづけＩＦ文処理モジュール、８は既
存のＩ Ｐ文処理モジュールを衣わしている。また１０
は、上記重みづけＩＦ文処理モジュル８における一実施
例処理態様を表わしている。
コンパイラ２は、与えられたソース・プログラム１を読
込んで目的とするオブジェクト・プログラム３を生成す
るものであるが、一般に、第３図図示の如＜、（＋）テ
キスト読込み処理部４、（ｌｔ文解析処理部５ 、（＋
：＋ｉ式の評価処理部６ 、（ｌｖ）オブジェクト生成
処理部７をもっている。そして、既存のコンパイラ２に
おいては、式の評価処理部６内にＩＦ文処理モジュール
９が用意され、第１図自Ａ）図示の如く、ＩＦ文が ＴＦ Ａ＝ＢＩＡ＝Ｃ の如く与えらｈ、ると、第１図（Ｂｌの如き形にオプジ
−エクトを生、成せしめる機能をもっている。勿論、
ＩＦ文が ＩＦ Ａ＝ＣＩＡ＝Ｂ の如く与えられると、第２図（Ｂｌの如き形にオブジェ
クト全生成せしめる機能をもっている。
込んで目的とするオブジェクト・プログラム３を生成す
るものであるが、一般に、第３図図示の如＜、（＋）テ
キスト読込み処理部４、（ｌｔ文解析処理部５ 、（＋
：＋ｉ式の評価処理部６ 、（ｌｖ）オブジェクト生成
処理部７をもっている。そして、既存のコンパイラ２に
おいては、式の評価処理部６内にＩＦ文処理モジュール
９が用意され、第１図自Ａ）図示の如く、ＩＦ文が ＴＦ Ａ＝ＢＩＡ＝Ｃ の如く与えらｈ、ると、第１図（Ｂｌの如き形にオプジ
−エクトを生、成せしめる機能をもっている。勿論、
ＩＦ文が ＩＦ Ａ＝ＣＩＡ＝Ｂ の如く与えられると、第２図（Ｂｌの如き形にオブジェ
クト全生成せしめる機能をもっている。
本発明の場合、式の評価処理部６内に、厘みづけＩＦ文
処理モジュール８を用意している。該徂みづけＩＦ文処
理モジュール８においては、一実施例処理態様１０に示
す如く、与えられた京みづけＩＦ文内の各スカラ式に対
応している出現頻度ｉに着目し、 ＰＲＯＢ （１０（Ａ＝Ｂ） ） ＰＲＯＢ （ＦＩＯ（Ａ＝ Ｃ） ） を１つ１つの°エレメントとして、出現頻度ｉの大きい
順にソートし、その結果として例えは図示の如く、 Ｉ Ｐ ＰＲＯＢ （５０（Ａ＝ Ｃ）） ＩＰＲＯ
Ｂ（１０（Ａ＝Ｂ） ）を得る。そして、湧該記述中の
余分の記述、月ＩＪち図示の場合にはｌ”’ ＰＲＯＢ
Ｊや「（」やｒ）Ｊヤｒ５ｏＪや「１０」を削除し、 ＩＰ’ Ａ＝ＣＩＡ＝Ｂ を得る。この記述は、第３図図示のＩ Ｆ文処理モジュ
ール９が処理可能な記述であり、当該ｎ１シ述のＩ Ｐ
文はＩＰ文処理モジュール９に引渡さｆする。
処理モジュール８を用意している。該徂みづけＩＦ文処
理モジュール８においては、一実施例処理態様１０に示
す如く、与えられた京みづけＩＦ文内の各スカラ式に対
応している出現頻度ｉに着目し、 ＰＲＯＢ （１０（Ａ＝Ｂ） ） ＰＲＯＢ （ＦＩＯ（Ａ＝ Ｃ） ） を１つ１つの°エレメントとして、出現頻度ｉの大きい
順にソートし、その結果として例えは図示の如く、 Ｉ Ｐ ＰＲＯＢ （５０（Ａ＝ Ｃ）） ＩＰＲＯ
Ｂ（１０（Ａ＝Ｂ） ）を得る。そして、湧該記述中の
余分の記述、月ＩＪち図示の場合にはｌ”’ ＰＲＯＢ
Ｊや「（」やｒ）Ｊヤｒ５ｏＪや「１０」を削除し、 ＩＰ’ Ａ＝ＣＩＡ＝Ｂ を得る。この記述は、第３図図示のＩ Ｆ文処理モジュ
ール９が処理可能な記述であり、当該ｎ１シ述のＩ Ｐ
文はＩＰ文処理モジュール９に引渡さｆする。
即ち、第２図（Ｂ）図示の如き形のオブジェクト、プロ
グラムを生成するように働らく。
グラムを生成するように働らく。
なお、上記説明において、ソース・プログラムにおける
Ｉ Ｐ文を重みづけＩＦ’文の形で最初から記述するも
のとしてぴ明したが、例えばソース・プログラムにおい
ては最初通常のＩＦ文の形で記述しておいて後から上記
出現頻肝を評価し、必要なら重みづけＩＦ文の形にする
ことが許される。
Ｉ Ｐ文を重みづけＩＦ’文の形で最初から記述するも
のとしてぴ明したが、例えばソース・プログラムにおい
ては最初通常のＩＦ文の形で記述しておいて後から上記
出現頻肝を評価し、必要なら重みづけＩＦ文の形にする
ことが許される。
また、厘みづけＩＦ文の記述形態は、上記に限らｈるも
のではない。
のではない。
（Ｅｌ 発明の詳細
な説明した如く、本発明によれば、コンパイラにおいて
自動的に最適なロードモジュールをつくることができ、
ソース・プログラム作成者の共相を軽減することができ
る。
自動的に最適なロードモジュールをつくることができ、
ソース・プログラム作成者の共相を軽減することができ
る。
第１図および第４図は従来の問題点を説明するｄ−明図
、第２図は不発明による処理の一実施例態様を説明する
説明図、第３図は本発明の一実施例構成を示す。 図中、１はソース・プログラム、２はコンパイラ、３は
オブジェクト・プログラム、４はテキスト読込み処理部
、５は文解析処退部、６は式の評価処理部、７はオブジ
ェクト生成処理部、８は重みづけ１２文処理モジュール
、９は既存の１２文処理モジュールを表わす。 特許出願人 富士ＪＩＩＪ株式会社 代理人弁理士 珠 １） 寛 （外１名）業）図 才２ｍ
、第２図は不発明による処理の一実施例態様を説明する
説明図、第３図は本発明の一実施例構成を示す。 図中、１はソース・プログラム、２はコンパイラ、３は
オブジェクト・プログラム、４はテキスト読込み処理部
、５は文解析処退部、６は式の評価処理部、７はオブジ
ェクト生成処理部、８は重みづけ１２文処理モジュール
、９は既存の１２文処理モジュールを表わす。 特許出願人 富士ＪＩＩＪ株式会社 代理人弁理士 珠 １） 寛 （外１名）業）図 才２ｍ
Claims (1)
- 与えられたソース・プログラムを読込んで文解析処理部
にて文解析を行い２次いで式の計画処理部にて上記解析
された文に含まれる式についての評価を行って、オブジ
ェクト・プログラムを生成するコンパイラ・システムに
おいて、上記式の評価処理部内に、ＩＦ文内の各スカラ
式についての出現頻度に対応［７た表現を考えて記述さ
れた重みづけＩＦ文に対応して当該重みづけＩＦ文を処
理する重みづけＩＦ文処理モジュールをもうけ、該和み
づけＩＦ文処理モジュールは、与えらねた重みづけＩＦ
文に対して、各スカラ式についての用油する処理と全実
行するよう構成され、当該通常のＩＦ文の形に処理され
たＩＦ’文を上記式の評価処理部内の既存のＩＦ’文処
理モジュールに引渡すようにし、目的とするオブジェク
ト・プログラムを生成することを特徴とするコンパイラ
処理方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP17157382A JPS5960640A (ja) | 1982-09-30 | 1982-09-30 | コンパイラ処理方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP17157382A JPS5960640A (ja) | 1982-09-30 | 1982-09-30 | コンパイラ処理方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPS5960640A true JPS5960640A (ja) | 1984-04-06 |
Family
ID=15925648
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP17157382A Pending JPS5960640A (ja) | 1982-09-30 | 1982-09-30 | コンパイラ処理方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPS5960640A (ja) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH06180651A (ja) * | 1992-12-11 | 1994-06-28 | Nec Corp | 範囲指定が可能なｃａｓｅ構造の処理方式 |
| US5511198A (en) * | 1993-04-28 | 1996-04-23 | Fujitsu Limited | Optimizing compiler for shortening execution time of object program |
| JP2006309430A (ja) * | 2005-04-27 | 2006-11-09 | Matsushita Electric Ind Co Ltd | コンパイラによる最適化方法 |
-
1982
- 1982-09-30 JP JP17157382A patent/JPS5960640A/ja active Pending
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH06180651A (ja) * | 1992-12-11 | 1994-06-28 | Nec Corp | 範囲指定が可能なｃａｓｅ構造の処理方式 |
| US5511198A (en) * | 1993-04-28 | 1996-04-23 | Fujitsu Limited | Optimizing compiler for shortening execution time of object program |
| JP2006309430A (ja) * | 2005-04-27 | 2006-11-09 | Matsushita Electric Ind Co Ltd | コンパイラによる最適化方法 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| IL97177A (en) | Method for creating a consecutive circle | |
| Floyd | Toward interactive design of correct programs | |
| JPS5960640A (ja) | コンパイラ処理方法 | |
| Tischler et al. | Static analysis of programs as an aid to debugging | |
| Arthur Jr et al. | Choice of software and programs in meta-analysis research: Does it make a difference? | |
| Desel et al. | A test case generator for the validation of high-level Petri nets | |
| Abrams | A comparative sampling of the systems for producing computer-drawn flowcharts | |
| Dixon et al. | Rapid prototyping by means of abstract module specifications written as trace axioms | |
| JPH01177165A (ja) | 配列の定義／引用関係検査方式 | |
| de Oliveira Baptista et al. | MECHANISM FOR DEVELOPING SCIENTIFIC CONCEPTS | |
| Hammer | An alternative approach to macro processing | |
| JPH04140803A (ja) | 期待値データ生成方式 | |
| JPH04365134A (ja) | コンパイラのエラー情報出力方式 | |
| Gehani | Generic procedures: an implementation and an undecidability result | |
| VASZIL | Multiset grammars, multiset automata, and membrane systems | |
| JPH08249193A (ja) | プログラムの言語仕様範囲の検査方式 | |
| Lemoine et al. | Validating requirements: the evolutionary approach | |
| JPH03266029A (ja) | 論理型言語処理システムにおけるリスト出力方法 | |
| BARBACCI et al. | Durra: An integrated approach to software specification, modeling, and rapid prototyping(Final Report) | |
| Law | Robustness of confidence intervals for transient simulations | |
| Malone | Managing the validation process | |
| Donat et al. | Capturing the logical structure of requirements for the automatic generation of test specifications | |
| JPH03260865A (ja) | ベクトル化処理方式 | |
| Berryman | QuickBASIC, version 4.5 | |
| JPS6260037A (ja) | コンパイラの目的プログラムの自動検査方式 |