JPH01274241A - 命令列生成方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明はコンパイラにおいて他・の手続きを呼び出す命
令列の生成方式に関し、特に関数をアーギュメントとす
る場合の命令列生成方式に関する。

〔従来の技術〕

一般に、手続き間の呼出しによるオーバヘッドは、アー
ギュメントの受は渡し、レジスタの退避／復元等の時間
により相対的に大きくなるという（頃向がある。

このような状況において、従来の命令列生成方式では、
組込み関数のようにコンパイラと一体となって提供され
る関数との間には特殊な呼出し手順を設定し、前述のオ
ーバヘッドができるだけ少な（なるような呼出し命令列
を生成していた。

しかし、アーギュメントとして渡されてきた関数につい
ては、組込み関数であるかユーザ定義の関数であるかの
判定ができないために、コンパイラは常にユーザ定義の
関数であるとみなして一般的な呼出し手順で呼出し命令
列を生成していた。

〔発明が解決しようとする課題〕

上述した従来の命令列生成方式では、アーギュメントと
して渡されてきた関数についてコンパイラはユーザ定義
の関数として一般的な呼出し手順での呼出し命令列を生
成するので、組込み関数であると認識して特殊な呼出し
手順で呼び出す呼出し命令列より効率の悪い呼出し命令
列が生成され、実行時性能が低下するという欠点がある
。

また、組込み関数自身の入口も、特殊な呼出し手順で呼
ばれた場合と、−ｉ的な呼出し手順で呼ばれた場合との
２つを用意しなければならないという欠点がある。

本発明の目的は、上述の点に鑑み、アーギュメントとし
て渡されてきた関数が組込み関数である場合の関数呼出
しの実行時性能を向上させることができるとともに、組
込み関数が１つの入口をもつだけでよくなるようにした
命令列生成方式を提供することにある。

〔課題を解決するための手段〕

本発明の命令列生成方式は、高級言語で記述されたソー
スプログラムを翻訳してオブジェクトプログラムを生成
するコンパイラをもつ計算機システムにおいて、ソース
プログラムを構文解析して中間テキストを生成するテキ
スト生成手段と、このテキスト生成手段により生成され
た中間テキストから関数をアーギュメントとして他の手
続きを呼び出す中間テキストを検出する手続き呼出しテ
キスト検出手段と、この手続き呼出しテキスト検出手段
により検出された中間テキストから生成される命令列に
組込み関数かユーザ定義の関数かを示す関数判定情報を
付加する関数判定情報付加命令列生成手段と、前記テキ
スト生成手段により生成された中間テキストからアーギ
ュメントとして渡されてきた関数を引用している中間テ
キストを検出する関数引用テキスト検出手段と、この関
数引用テキスト検出手段により検出された中間テキスト
からアーギュメントとして渡されてきた関数が組込み関
数であるかユーザ定義の関数であるかを前記関数判定情
報付加命令列生成手段により付加された関数判定情報に
基づいて判定させ組込み関数であるならば組込み関数専
用の呼出し手順によって組込み関数を呼び出す命令列を
、ユーザ定義の関数であるならばユーザ定義の関数を呼
び出す命令列を実行させるような命令列を生成する関数
引用部命令列生成手段とを有する。

〔作用〕

本発明の命令列生成方式では、テキスト生成手段がソー
スプログラムを構文解析して中間テキストを生成し、手
続き呼出しテキスト検出手段がテキスト生成手段により
生成された中間テキストから関数をアーギュメントとし
て他の手続きを呼び出す中間テキストを検出し、関数判
定情報付加命令列生成手段が手続き呼出しテキスト検出
手段により検出された中間テキストから生成される命令
列に組込み関数かユーザ定義の関数かを示す関数判定情
報を付加し、関数引用テキスト検出手段がテキスト生成
手段により生成された中間テキストからアーギュメント
として渡されてきた関数を引用している中間テキストを
検出し、関数引用部命令列生成手段が関数引用テキスト
検出手段により検出された中間テキストからアーギュメ
ントとして渡されてきた関数が組込み関数であるかユー
ザ定義の関数であるかを関数判定情報付加命令列生成手
段により付加された関数判定情報に基づいて判定させ組
込み関数であるならば組込み関数専用の呼出し手順によ
って組込み関数を呼び出す命令列を、ユーザ定義の関数
であるならばユーザ定義の関数を呼び出す命令列を実行
させるような命令列を生成する。

〔実施例〕

次に、本発明について図面を参照して詳細に説明する。

第１図は、本発明の一実施例の命令列生成方式が適用さ
れたコンパイラ２の構成を示すブロック図である。この
コンパイラ２は、ソースプログラム１を入力して、中間
テキスト（群）（以下、単にテキストという）４に一旦
変換した後に、オブジェクトプログラム３を出力する。

コンパイラ２は、テキスト生成手段２１と、テキスト読
込み手段２２と、手続き呼出しテキスト検出手段２３と
、関数引用テキスト検出手段２４と、オブジェクトプロ
グラム生成手段２５とを含んで構成されている。

手続き呼出しテキスト検出手段２３は、テキスト４が他
の手続きを呼んでいるテキストかどうかを判定する判定
部２３１（判定Ｉ）と、テキスト４が関数をアーギュメ
ントとしてもっているテキストかどうかを判定する判定
部２３２（判定■）とを含んでいる。

関数引用テキスト検出手段２４は、テキスト４が関数を
引用しているテキストかどうかを判定する判定部２４１
（判定■）と、テキスト４における関数がアーギュメン
トとして渡されたものかどうかを判定する判定部２４２
（判定■）とを含んでいる。

オブジェクトプログラム生成手段２５は、関数判定情報
付加命令列生成手段２５１と、関数引用部命令列生成手
段２５２と、通常命令列生成手段２５３とを含んでいる
。

次に、このように構成された本実施例の命令列生成方式
の動作について説明する。

コンパイラ２が起動されると、テキスト生成手段２１は
、入力されたソースプログラム１を構文解析し、テキス
ト４を生成する。

生成されたテキスト４はテキスト読込み手段２２によっ
て読み込まれ、手続き呼出しテキスト検出手段２３は、
まず判定■によりテキスト４が他の手続きを呼んでいる
テキストかどうかを判定する。

テキスト４が他の手続きを呼んでいるテキストである場
合には、手続き呼出しテキスト検出手段２３は、次に判
定■によりテキスト４においてアーギュメントとして関
数を使用しているかどうかを判定する。テキスト４が関
数をアーギュメントとしてもつテキストであると判定さ
れた場合には、オブジェクトプログラム生成手段２５中
の関数判定情報付加命令列生成手段２５１に進む。

関数判定情報付加命令列生成手段２５１は、アーギュメ
ントである関数が組込み関数であるかユーザ定義の関数
であるかの情報を関数判定情報のフラグとしてアーギュ
メントに付加した手続き呼出しの命令列を生成する。

一方、テキスト読込み手段２２により読み込まれてきた
テキスト４が判定Ｉまたは判定■の条件を満たさなかっ
た場合には、アーギュメントとして渡されてきた関数を
引用しているテキストを検出する関数引用テキスト検出
手段２４に進む。

関数引用テキスト検出手段２４は、まず判定■によりテ
キスト４が関数を引用しているテキストであるかどうか
を判定する。テキスト４が関数を引用しているテキスト
である場合には、関数引用テキスト検出手段２４は、次
に判定■によりテキスト４で引用されている関数がアー
ギュメントとして渡されてきた関数かどうかを判定する
。テキスト４がアーギュメントとして渡されてきた関数
を引用しているテキストである場合には、オブジェクト
プログラム生成手段２５中の関数引用部命令列生成手段
２５２に進む。

関数引用部命令列生成手段２５２は、アーギュメントと
して渡されてきた関数が組込み関数であるかユーザ定義
の関数であるかをアーギュメントに付加された関数判定
情報のフラグの値に基づいて実行時に判定させ、組込み
関数であるならば組込み関数専用の特殊な呼出し手順に
よって組込み関数を呼び出す呼出し命令列を、ユーザ定
義の関数であるならば一般的な呼出し手順でユーザ定義
の関数を呼び出す呼出し命令列を実行させるような命令
列を生成する。

さらに、テキスト読込み手段２２により読み込まれてき
たテキストが判定■または判定■の条件をも満たさなか
った場合は、オブジェクトプログラム生成手段２５中の
通常命令列生成手段２５３に進む。

通常命令列生成手段２５３は、通常の命令列を生成する
。

このようにして、関数判定情報付加命令列生成手段２５
１．関数引用部命令列生成手段２５２および通常命令列
生成手段２５３を含むオブジェクトプログラム生成手段
２５によってオブジェクトプログラム３が生成される。

第２図は、ＦＯＲＴＲＡＮ言語で記述されたソースプロ
グラム５において、組込み関数ＳＩＮをアーギュメント
として手続き５ＵＢＩを呼んでいる文５１と、ユーザ定
義の関数ＡＡＡをアーギュメントとして同し手続き５Ｕ
ＢＩを呼んでいる文５２との一例をそれぞれ示す図であ
る。

第２図における組込み関数ＳＩＮをアーギュメントとし
て手続き５ＵＢＩを呼んでいる文５１から生成されたテ
キストからは、関数判定情報付加命令列生成手段２５１
により関数判定情報のフラグの値を組込み関数ならば０
１ユーザ定義の関数ならば１とすると、値Ｏをもつ関数
判定情報のフラグを対応アーギュメントに付加して手続
き５ＵＢＩを呼び出す命令列が生成される。

同様に、ユーザ定義の関数ＡＡＡをアーギュメントにし
て手続き５ＵＢＩを呼んでいる文５２から生成されたテ
キストからは、値１をもつ関数判定情報のフラグを対応
アーギュメントに付加して手続き５ＵＢＩを呼び出す命
令列が生成される。

第３図は、ＦＯＲＴＲＡＮ言語で記述されたソースプロ
グラム５において、手続き５ＵＢＩ中でアーギュメント
として渡されてきた関数Ｆを引用している文５３の一例
を示す図である。

第３図におけるアーギュメントとして渡されてきた関数
Ｆを引用している文５３から生成されたテキストからは
、関数引用部命令列生成手段２５２により第４図中に示
す関数引用部命令列６１が生成される。

関数引用部命令列６１は、関数判定命令列６１１゜組込
み関数専用の呼出し命令列６１２およびユーザ定義の関
数呼出し命令列６１３からなっている。

間数判定命令列６１１は、関数判定情報のフラグの値が
０１すなわちアーギュメントとして渡されてきた関数が
組込み関数であるならば、組込み関数専用の呼出し命令
列６１２に制御を移し、関数判定情報のフラグの値が１
、すなわちアーギュメントとして渡されてきた関数がユ
ーザ定義の関数であるならば、ユーザ定義の関数呼出し
命令列６１３に制御を移すような命令列である。

このため、ソースプログラム１　（５）が翻訳されたオ
ブジェクトプログラム３が実行されると、アーギュメン
トとして渡されてきた関数が組込み関数であるかユーザ
定義の関数であるかに応じて最適な呼出しがなされるこ
とになる。

〔発明の効果〕

以上説明したように本発明は、コンパイラ中に手続き呼
出しテキスト検出手段、関数判定情報付加命令列生成手
段、関数引用テキスト検出手段および関数引用部命令列
生成手段を設けたことにより、アーギュメントとして受
は取った組込み関数の呼出し時における実行時性能を向
上させることができる効果がある。

また、組込み関数においては１つの入口をもつだけでよ
くなるという効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例の命令列生成方式が適用され
たコンパイラの構成を示すブロック図、第２図は関数を
アーギュメントとして他の手続きを呼んでいる文を含む
ＦＯＲＴＲＡＮ言語で記述されたソースプログラムの一
例を示す図、第３図はアーギュメントとして渡されてき
た関数を引用している文を含むＦＯＲＴＲＡＮ言語で記
述されたソースプログラムの一例を示す図、第４図はア
ーギュメントとして渡されてきた関数を引用している文
に対して生成される関数引用部命令列の一例を示す図で
ある。 図において、 １・・・ソースプログラム、 ２・・・コンパイラ、 ３・・・オブジェクトプログラム、 ４・・・中間テキスト、 ２１・・・テキスト生成手段、 ２２・・・テキスト読込み手段、 ２３・・・手続き呼出しテキスト検出手段、２４・・・
関数引用テキスト検出手段、２５・・・オブジェクトプ
ログラム生成手段、２３１　、２３２　、２４１　、２
４２　　・・・判定部（判定■〜判定■）、 ２５１　　・・関数判定情報付加命令列生成手段、２５
２　　・・関数引用部命令列生成手段、２５３　　・・
通常命令列生成手段である。

Claims (1)

1. 【特許請求の範囲】 高級言語で記述されたソースプログラムを翻訳してオブ
   ジェクトプログラムを生成するコンパイラをもつ計算機
   システムにおいて、 ソースプログラムを構文解析して中間テキストを生成す
   るテキスト生成手段と、 このテキスト生成手段により生成された中間テキストか
   ら関数をアーギュメントとして他の手続きを呼び出す中
   間テキストを検出する手続き呼出しテキスト検出手段と
   、 この手続き呼出しテキスト検出手段により検出された中
   間テキストから生成される命令列に組込み関数かユーザ
   定義の関数かを示す関数判定情報を付加する関数判定情
   報付加命令列生成手段と、前記テキスト生成手段により
   生成された中間テキストからアーギュメントとして渡さ
   れてきた関数を引用している中間テキストを検出する関
   数引用テキスト検出手段と、 この関数引用テキスト検出手段により検出された中間テ
   キストからアーギュメントとして渡されてきた関数が組
   込み関数であるかユーザ定義の関数であるかを前記関数
   判定情報付加命令列生成手段により付加された関数判定
   情報に基づいて判定させ組込み関数であるならば組込み
   関数専用の呼出し手順によって組込み関数を呼び出す命
   令列を、ユーザ定義の関数であるならばユーザ定義の関
   数を呼び出す命令列を実行させるような命令列を生成す
   る関数引用部命令列生成手段と、 を有することを特徴とする命令列生成方式。