JPS64725B2 - - Google Patents
Info
- Publication number
- JPS64725B2 JPS64725B2 JP17231579A JP17231579A JPS64725B2 JP S64725 B2 JPS64725 B2 JP S64725B2 JP 17231579 A JP17231579 A JP 17231579A JP 17231579 A JP17231579 A JP 17231579A JP S64725 B2 JPS64725 B2 JP S64725B2
- Authority
- JP
- Japan
- Prior art keywords
- psv
- instruction
- program
- perform
- intermediate language
- 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.)
- Expired
Links
Landscapes
- Devices For Executing Special Programs (AREA)
Description
【発明の詳細な説明】
本発明は、COBOLのPERFORM命令における
目的プログラムの最適化方式に関するものであ
る。
目的プログラムの最適化方式に関するものであ
る。
COBOLのPERFORM命令には書き方がいくつ
かあるが、以下の説明では書き方の違いは依存し
ないので、基本的な書き方のみを示す。
かあるが、以下の説明では書き方の違いは依存し
ないので、基本的な書き方のみを示す。
PERFORM手続き名―１〔THRU―手続き名―
２〕 PERFORM命令の機能は、手続き名―１に制
御を移し、手続き名―１（または手続き名―２）
に属する最後の命令を実行した後に制御を
PERFORM命令の次に戻すことである。IBM、
OS F2／F4／X3では共に第１図に示すように１
つのPERFORM命令で指定された手続きの実行
中に、それと出口を共有する他のPERFORM命
令の実行を許している。図中、，，…は制
御の移行順序を示している。
PERFORM命令をコンパイルする従来の方法
は、基本的には出口に行先変更可能な分岐命令を
生成し、PERFORMでは出口の行先に復帰アド
レスを設定して飛べばよいが、それだけでは第１
図の第２番目のPERFORM命令で第１番目の
PERFORMの設定した復帰アドレスを破壊して
しまうので、実際には先ず出口の行先を退避して
から復帰アドレスを設定して飛び、帰つてきたあ
と出口の行先を復元するという作業が行われる。
第２図において、PSV1とPSV2は退避域、VNは
分岐先アドレス、GN1とGN2は復帰先アドレス
GO VNは分岐命令をそれぞれ示している。第２
図に示すようにPERFORM Ａ THRU Ｃは PSV1←VN VN←GN1 GO Ａ GN1 VN←PSV1 という命令列に変換される。
は、基本的には出口に行先変更可能な分岐命令を
生成し、PERFORMでは出口の行先に復帰アド
レスを設定して飛べばよいが、それだけでは第１
図の第２番目のPERFORM命令で第１番目の
PERFORMの設定した復帰アドレスを破壊して
しまうので、実際には先ず出口の行先を退避して
から復帰アドレスを設定して飛び、帰つてきたあ
と出口の行先を復元するという作業が行われる。
第２図において、PSV1とPSV2は退避域、VNは
分岐先アドレス、GN1とGN2は復帰先アドレス
GO VNは分岐命令をそれぞれ示している。第２
図に示すようにPERFORM Ａ THRU Ｃは PSV1←VN VN←GN1 GO Ａ GN1 VN←PSV1 という命令列に変換される。
PSV1←VNでは出口の分岐先アドレスが退避
域PSV1に退避され、VN←GN1では復帰点アド
レスが分岐先アドレスで指定された記憶場所に格
納され、GO ＡではアドレスＡに飛び、GN1
VN←PSV1は退避域PSV1の内容が分岐先アドレ
スVNで指定された記憶場所にセツトされること
を示している。
域PSV1に退避され、VN←GN1では復帰点アド
レスが分岐先アドレスで指定された記憶場所に格
納され、GO ＡではアドレスＡに飛び、GN1
VN←PSV1は退避域PSV1の内容が分岐先アドレ
スVNで指定された記憶場所にセツトされること
を示している。
PERFORM Ｂ THRU Ｃも
PSV2←VN
VN ←GN2
GO Ｂ
GN2 VN←PSV2
という命令列に変換される。
従来技術においては、PERFORM命令が入れ
子になつているかを翻訳時に検出できなかつたた
め、常に上記のような展開形が生成されていた。
このため、第３図のような単純の場合には冗長な
オブジエクトを生成していることになり、改善の
余地があつた。第３図において〓印は不要な命令
を示している。
子になつているかを翻訳時に検出できなかつたた
め、常に上記のような展開形が生成されていた。
このため、第３図のような単純の場合には冗長な
オブジエクトを生成していることになり、改善の
余地があつた。第３図において〓印は不要な命令
を示している。
本発明は、PERFORM命令を含むプログラム
を展開するとき、不要な命令を含まないように目
的プログラムに展開できるようになつた目的プロ
グラムの最適化方式を提供することを目的として
いる。そしてそのため、本発明の目的プログラム
の最適化方式は、PERFORM Ａ THRU Ｃな
るPERFORM命令を PSV←VN VN ←GN GO Ａ GN VN←PSV なる中間言語の命令列に展開すると共に、上記
PERFORM命令で指定されたプログラム・ルー
チンに対応する中間言語のプログラム・ルーチン
の出口に自動復帰機構GO VNを配置して、
PERFORM命令を含むCOBOLのプログラムを中
間言語のプログラムに展開し、該中間言語のプロ
グラムを最適化し最適化された中間言語のプログ
ラムを機械語の目的プログラムに変換する目的プ
ログラムの最適化方式において、 (イ) 自動復帰機構に到るすべてのパスでVN←
GN又はVN←PSVが存在すること、 (ロ) そのパス上で最後に実行されるのはVN←
GNであること、 の２条件を共に満すとき、その自動復帰機構を使
用するPERFORMの展開形の中のPSV←VNお
よびVN←PSVなる中間言語の命令を削除するこ
とを特徴とするものである。
を展開するとき、不要な命令を含まないように目
的プログラムに展開できるようになつた目的プロ
グラムの最適化方式を提供することを目的として
いる。そしてそのため、本発明の目的プログラム
の最適化方式は、PERFORM Ａ THRU Ｃな
るPERFORM命令を PSV←VN VN ←GN GO Ａ GN VN←PSV なる中間言語の命令列に展開すると共に、上記
PERFORM命令で指定されたプログラム・ルー
チンに対応する中間言語のプログラム・ルーチン
の出口に自動復帰機構GO VNを配置して、
PERFORM命令を含むCOBOLのプログラムを中
間言語のプログラムに展開し、該中間言語のプロ
グラムを最適化し最適化された中間言語のプログ
ラムを機械語の目的プログラムに変換する目的プ
ログラムの最適化方式において、 (イ) 自動復帰機構に到るすべてのパスでVN←
GN又はVN←PSVが存在すること、 (ロ) そのパス上で最後に実行されるのはVN←
GNであること、 の２条件を共に満すとき、その自動復帰機構を使
用するPERFORMの展開形の中のPSV←VNお
よびVN←PSVなる中間言語の命令を削除するこ
とを特徴とするものである。
以下、本発明を図面を参照しつつ説明する。
第３図の〓印の命令は、下記の２条件が共に満
たされるとき不要であり、削除してもプログラム
の論理には何らの影響も与えない。
たされるとき不要であり、削除してもプログラム
の論理には何らの影響も与えない。
(イ) 自動復帰機構に到る全てのパスでVN←GNx
またはVN←PSVnが存在する。
またはVN←PSVnが存在する。
(ロ) そのパス上で最後に実行されるのは、VN←
GNxである。
GNxである。
なお、自動復帰機構とは第３図のGO VNのこと
である。
である。
次に、上記２条件を満たすか否かの判定方法を
述べる。
述べる。
(a) プログラムを、１入力・１出力でその中では
制御が記述順に流れるような命令の集まり（以
下、ブロツクという）に分割する。
制御が記述順に流れるような命令の集まり（以
下、ブロツクという）に分割する。
(b) 各ブロツクごとに、各VNに対して１ビツト
対応するビツト・ベクトル〓ｂを以下のように
定義する。たゞし、Vbは〓ｂの成分である。
対応するビツト・ベクトル〓ｂを以下のように
定義する。たゞし、Vbは〓ｂの成分である。
Vb＝０：ｂの出口でVNは
VN←GNxの結果を持つ
１：ｂの出口でVNは初期値または
VN←PSVxの結果を持つ
(c) ブロツクｂに対して関数fbを次のように定義
する。
する。
fb（Ｖ）＝０：ｂ中にVNの代入があり、
最後が VN←GNx
１：ｂ中にVNの代入があり、
最後がVN←PSVx
Ｖ：ｂ中にVNの代入がない
(d) ブロツクｂに制御が渡つてくる直前のブロツ
ク（Immediate Predecessorと呼ぶ）をb1，b2
…，bnとするとき Vb＝fb（Vb1∨Vb2∨…∨Vbn） … によつてVb1…，VbnからVbが求まる。たゞ
し、プログラムの入口ブロツクでは Vb＝fb (1) とする。
ク（Immediate Predecessorと呼ぶ）をb1，b2
…，bnとするとき Vb＝fb（Vb1∨Vb2∨…∨Vbn） … によつてVb1…，VbnからVbが求まる。たゞ
し、プログラムの入口ブロツクでは Vb＝fb (1) とする。
(e) 式をプログラムの入口から順に適用するこ
とにより、すべてのブロツクでVbが求まる。
自動復帰機構GO VNの存在するブロツクにお
いてVb＝０であれば条件(1)、(2)が満されてお
り、Vb＝１ならば満されていない。
とにより、すべてのブロツクでVbが求まる。
自動復帰機構GO VNの存在するブロツクにお
いてVb＝０であれば条件(1)、(2)が満されてお
り、Vb＝１ならば満されていない。
第４図は一般的なコンパイラの構成図である。
ソース・プログラム（原始プログラム）は中間言
語への展開フエーズによつて中間言語（VN←
PSVやGO VN）に展開され、最適化フエーズに
よつて以下に述べる最適化が行われ、コード生成
フエーズにおいて機械命令（ロードやストア）な
どに展開され、目的プログラムとなる。
ソース・プログラム（原始プログラム）は中間言
語への展開フエーズによつて中間言語（VN←
PSVやGO VN）に展開され、最適化フエーズに
よつて以下に述べる最適化が行われ、コード生成
フエーズにおいて機械命令（ロードやストア）な
どに展開され、目的プログラムとなる。
第５図は最適化フエーズの処理を示すフローチ
ヤートである。ブロツク分割段階でプログラムを
ブロツクに分割すると共に、各ブロツク内での各
VNへの代入の存否を調べて、関数fb（Ｖ）の形
式を定める。フローグラフ作成段階ではブロツク
内の制御の移行を解析し、第６図の左側のような
フローグラフを作成する。ビツト・ベクトル〓ｂ
の計算段階では、入口から順に各ブロツクについ
ての関数fb（Ｖ）を適用することによりVbの値を
求める。
ヤートである。ブロツク分割段階でプログラムを
ブロツクに分割すると共に、各ブロツク内での各
VNへの代入の存否を調べて、関数fb（Ｖ）の形
式を定める。フローグラフ作成段階ではブロツク
内の制御の移行を解析し、第６図の左側のような
フローグラフを作成する。ビツト・ベクトル〓ｂ
の計算段階では、入口から順に各ブロツクについ
ての関数fb（Ｖ）を適用することによりVbの値を
求める。
以上が終つたら、各VNについてGO VNのあ
るブロツクでのVbの値を調べ、VNのPSVへの
退避（PSV←VN）や回復（VN←PSV）が不要
であるのでこれらを全て削除することにより最適
化を行う。
るブロツクでのVbの値を調べ、VNのPSVへの
退避（PSV←VN）や回復（VN←PSV）が不要
であるのでこれらを全て削除することにより最適
化を行う。
第６図はフローグラフ、fb（Ｖ）の値およびVb
の値の１例を示している。
の値の１例を示している。
第７図は自動復帰機構の存在するブロツクにお
いてVbが零であるか否かを検出する装置のブロ
ツク図である。第７図において、１ないし６は単
位計算回路、７は論理「０」の定数発生回路、８
は論理「１」の定数発生回路、９はOR回路、１
０は切換スイツチ、１１は出力端子をそれぞれ示
している。関数fbの値はこの切換スイツチ１０の
位置に対応する。フローグラフのブロツクb1，
b2，…b6のそれぞれに単位計算回路１，２，…６
のそれぞれを対応させ、関数fbの値に従つて切換
スイツチ１０の位置を設定する。そして、これら
の単位計算回路１，２，…，６をフローグラフに
従つて結線し入口の単位計算回路１に定数「１」
を入力する。GO VNの存在するブロツクに対応
する単位計算回路３の出力が論理「０」であれば
最適化可能である。実際にはこの最適化処理はソ
フトウエアにより行われるが、その機能は第７図
の装置の機能と同等である。
いてVbが零であるか否かを検出する装置のブロ
ツク図である。第７図において、１ないし６は単
位計算回路、７は論理「０」の定数発生回路、８
は論理「１」の定数発生回路、９はOR回路、１
０は切換スイツチ、１１は出力端子をそれぞれ示
している。関数fbの値はこの切換スイツチ１０の
位置に対応する。フローグラフのブロツクb1，
b2，…b6のそれぞれに単位計算回路１，２，…６
のそれぞれを対応させ、関数fbの値に従つて切換
スイツチ１０の位置を設定する。そして、これら
の単位計算回路１，２，…，６をフローグラフに
従つて結線し入口の単位計算回路１に定数「１」
を入力する。GO VNの存在するブロツクに対応
する単位計算回路３の出力が論理「０」であれば
最適化可能である。実際にはこの最適化処理はソ
フトウエアにより行われるが、その機能は第７図
の装置の機能と同等である。
第８図は第６図の中間言語のプログラムを最適
化した結果を示している。
化した結果を示している。
以上の説明から明らかなように、本発明によれ
ば、PERFORM命令を含むソース・プログラム
を命令数の少ない効率的な機械語命令のプログラ
ムに展開することが出来る。
ば、PERFORM命令を含むソース・プログラム
を命令数の少ない効率的な機械語命令のプログラ
ムに展開することが出来る。
第１図はPERFORM命令が入れ子構造になつ
ているCOBOLプログラムの１例を示す図、第２
図はPERFORM命令の中間言語への展開の従来
例を示す図、第３図はPERFORM命令を含むプ
ログラムにおいて出口アドレスの退避および出口
アドレスの回復不要の場合を示す図、第４図は一
般的なコンパイラの構成図、第５図は第４図の最
適化フエーズの処理を示すフローチヤート、第６
図はフローグラフとfbの値とVbの値の１例を示
す図、第７図は最適化フエーズの処理を行う装置
のブロツク図、第８図は第６図の中間言語のプロ
グラムを最適化した結果を示す図である。 １ないし６…単位計算回路、７…論理「０」の
定数発生回路、８…論理「１」の定数発生回路、
９…OR回路、１０…切換スイツチ、１１…出力
端子。
ているCOBOLプログラムの１例を示す図、第２
図はPERFORM命令の中間言語への展開の従来
例を示す図、第３図はPERFORM命令を含むプ
ログラムにおいて出口アドレスの退避および出口
アドレスの回復不要の場合を示す図、第４図は一
般的なコンパイラの構成図、第５図は第４図の最
適化フエーズの処理を示すフローチヤート、第６
図はフローグラフとfbの値とVbの値の１例を示
す図、第７図は最適化フエーズの処理を行う装置
のブロツク図、第８図は第６図の中間言語のプロ
グラムを最適化した結果を示す図である。 １ないし６…単位計算回路、７…論理「０」の
定数発生回路、８…論理「１」の定数発生回路、
９…OR回路、１０…切換スイツチ、１１…出力
端子。
Claims (1)
- 【特許請求の範囲】 １ PERFORM Ａ THRU ＣなるPERFORM
命令を PSV←VN VN ←GN GO Ａ GN VN←PSV なる中間言語の命令列に展開すると共に、上記
PERFORM命令で指定されたプログラム・ルー
チンに対応する中間言語のプログラム・ルーチン
の出口に自動復帰機構GO VNを配置して、
PERFORM命令を含むCOBOLのプログラムを中
間言語のプログラムに展開し、該中間言語のプロ
グラムを最適化し、最適化された中間言語のプロ
グラムを機械語の目的プログラムに変換する目的
プログラムの最適化方式において、 (イ) 自動復帰機構に到るすべてのパスでVN←
GN又はVN←PSVが存在すること、 (ロ) そのパス上で最後に実行されるのはVN←
GNであること、 の２条件を共に満すとき、その自動復帰機構を使
用するPERFORM命令の展開形の中のPSV←
VNおよびVN←PSVなる中間言語の命令を削除
することを特徴とするCOBOLのPERFORM命令
における目的プログラムの最適化方式、 ただし、VNは自動復帰機構の復帰先アドレス
を示す変数、GNはPERFORM命令の展開形の中
に定義される自動復帰機構からの復帰点を示すア
ドレス、PSVはPERFORM命令毎に確保された
復帰先アドレスの退避域、PSV←VNは変数VN
を退避域PSVに退避する命令、VN←GNはアド
レスGNを変数VNに代入する命令、GO Ａはア
ドレスＡにジヤンプする命令、VN←PSVは退避
域PSVの内容を変数VNに代入する命令を示して
いる。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP17231579A JPS5697152A (en) | 1979-12-29 | 1979-12-29 | Optimizing system for objective program |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP17231579A JPS5697152A (en) | 1979-12-29 | 1979-12-29 | Optimizing system for objective program |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPS5697152A JPS5697152A (en) | 1981-08-05 |
| JPS64725B2 true JPS64725B2 (ja) | 1989-01-09 |
Family
ID=15939630
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP17231579A Granted JPS5697152A (en) | 1979-12-29 | 1979-12-29 | Optimizing system for objective program |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPS5697152A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US11006926B2 (en) | 2018-02-27 | 2021-05-18 | Siemens Medical Solutions Usa, Inc. | Region of interest placement for quantitative ultrasound imaging |
Families Citing this family (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US4567574A (en) * | 1983-03-14 | 1986-01-28 | International Business Machines Corporation | Optimizing cobol object code instruction path length with respect to perform statements |
| JPS62207390A (ja) * | 1986-03-07 | 1987-09-11 | Mitsubishi Heavy Ind Ltd | 赤熱コ−クス乾式消火設備におけるコ−クス装入ホツパ内の可燃ガス処理制御方法 |
-
1979
- 1979-12-29 JP JP17231579A patent/JPS5697152A/ja active Granted
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US11006926B2 (en) | 2018-02-27 | 2021-05-18 | Siemens Medical Solutions Usa, Inc. | Region of interest placement for quantitative ultrasound imaging |
Also Published As
| Publication number | Publication date |
|---|---|
| JPS5697152A (en) | 1981-08-05 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JPH0522936B2 (ja) | ||
| JPS64725B2 (ja) | ||
| JPH0528088A (ja) | ハードウエア構成情報の自動作成方法 | |
| JP3461185B2 (ja) | ロードモジュールへのソースコード行番号登録方法および装置 | |
| JPS6022373B2 (ja) | プログラマブル制御装置のプログラム変換機構 | |
| US20240202522A1 (en) | Device and method for generating deep learning model graph and abstract syntax tree for integrated compiler | |
| US12373195B2 (en) | Method of programming a software module associated with a firmware unit of a device | |
| JP2585793B2 (ja) | コンパイラシステム | |
| JPH11154093A (ja) | プログラムコンパイラ及びコンパイラ用プログラムを記録した記録媒体 | |
| JPH0117175B2 (ja) | ||
| JPS6126692B2 (ja) | ||
| JP3240647B2 (ja) | コンピュータ言語の構造化処理方式 | |
| JPH0228174B2 (ja) | ||
| JPS63269229A (ja) | 文字列操作系命令コンパイル処理方式 | |
| JPH05100866A (ja) | コンパイル・リンク方式 | |
| JPH01287486A (ja) | テストパターンプログラム生成装置 | |
| JPH06103113A (ja) | 差分テストデバック支援方法 | |
| JPH04205422A (ja) | プログラム自動翻訳結合及び選択方法 | |
| JP2004139369A (ja) | 定数アドレス領域を指示するポインタ解析方法 | |
| JPS62219129A (ja) | コンパイラにおける和計算の部分展開処理方式 | |
| JPH0128414B2 (ja) | ||
| JPH06119203A (ja) | デバック行削除装置 | |
| JPS60126735A (ja) | コンパイル方式 | |
| JPS60220468A (ja) | ベクトル演算制御方式 | |
| JPS62182843A (ja) | 高速コンパイル／リンク方式 |