JPH02133826A - コンパイラ構成方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 産業上の利用分野 本発明は、高級プログラミング言語で記述された原始プ
ログラムを、特定の計算機向き目的プログラムに翻訳す
るコンパイラを、複数の計算機向き言語に対して効率よ
（構成するためのフンバイラ構成方式に関する。

従来の技術 従来、コンパイラは、原始プログラムを入力とし、翻訳
されるもとのプログラミング言語に依存する構文解析処
理と対象計算機における資源の利用方法を規定する処理
とを行って木構造あるいは３番地コードと呼ばれる中間
的なコードを生成するフロントエンドと、その中間的な
コードを対象の計算機向きの目的プログラム言語に変換
するコート°生成部とを作成することによって構成され
ていた。

第１４図、第１５図は、それぞれ、典型的なコンパイラ
の構成と、そのフロントエンド°を構成する工程の一例
で、３８は高級プログラム言語でかかれたソース・プロ
グラム、３８は構文解析処理と対象計算機における資源
利用方法を規定する処理を行な　うコンハ゛イラフロン
トＩント°、　　４０　はコンパイラフロントＩント°
から出力される中間フード、４１は中間コードを読み込
み目的計算機向き言語に変換するコンパイラのコート°
生成部、４２はコード生成部が出力した目的計算機向き
言語、４３は原始プログラムがかかれる高級プログラミ
ング言語の仕様、４４は計算機向き言語の仕様、４５は
それらのデータから設計されるフロントエンドの内部仕
様を示す。

フロントエンド°の開発において、まず、ソースプログ
ラムがかかれるプログラミング言語の仕様４３と、対象
とする計算機向き言語の仕様４４が与えられる。

それらをもとに、　コンパイラフロントエンド°の内部
仕様４５が設計され、　コンｉ“イラフロントエント°
３３が構成される。　そして、もし、ある特定の計算機
向き言語のためのコンパイラフロントエンド のためのフロントエンド°を得ようとするときも第１５
図のような工程を経る必要があった。

発明が解決しようとする課題 しかしながら、上記のような方法で複数の計算機向き言
語に対応するためのコンパイラを構成する場合には、対
象となる計算機向き言語ごとにフロントエンド°をつく
り直し、設計・開発・品質保証をやり直さなければなら
ないなどの生産性の低下をまねいていた。

本発明は、かかる点にかんがみ、特定の計算機向き言語
へのコンバイラフ０ントエントを速やかに構成する方式
を提供するものである。

課題を解決するための手段 本発明は、対象の計算機向き言語のための処理をする部
品と、特定の計算機向き言語に依存しない構文解析部と
を別個に準備し、対象の計算機向き言語のための処理を
する部品のみを対象の計算機の種類に合わせて準備する
ことによって、複数の計算機向き言語へのコンパイラの
開発を容易にするコンパイラ構成方式である。

作　　　用 特定の計算機向き言語に依存しない構文解析部分は、−
度作成すれば、コンパイラが対象とする計算機向き言語
が複数あっても、再開発の必要がない。また、計算機は
、その特徴（たとえば、レジスタ構成など）や、計算機
向き言語の定型句（たとえば、１つの号）゛ルーチン・
干ジュールの入口と出口を書き表すための計算機向き言
語の列）に従って、少数のグループにわけられるので、
その基準ごとに、計算機向き言語のための処理をする部
品のライブラリを用意し、対象となる計算機の仕様をそ
の基準に照らして、そのライブラリのうちから適切な部
品を選びだし、前記構文解析部に結合する〜ことにより
、コンバイラフ０ントエントを容易に構成することがで
きる。

実施例 第１図は、ブロク゛ラミンク°言語をＣとし、計算機向
き言語を、　　モトローラ社６８００Ｏｃｐｕ用アｔン
ブラ、　及び、　インテル社８０３８Ｂｃｐｕ用ア七ン
フ”うとしたときの、本発明の実施例を示すものである
。

この図において、１はプログラミング言語Ｃの言語仕様
、２は対象とする７をンブラ言語の仕様、３はゴンバイ
ラフロントエント°のう　ちア七ンフ゛う言語に依存し
ないｙｔンフ゛う言語非依存部の内部仕様、４は各種の
ｙｔンフ゛う言語の処理をするためのア七ンブラ言語依
存部品の内部仕様、５はコンバイラフ０ントエントの中
でプログラムの構文解析を行なう、アｔンフ゛う言語に
依存しない部分であるアｔンブラ言語非依存部、５１、
５２、５３、５　４はコンバイラフ０ントエント°の処
理におけるアｔンブラ依存部分である、アドレス処理（
プログラムの中で使用する変数を計算機の実際の主記憶
に割り当てる処理）、レジスタ処理（プログラムの中で
明示的にレジスタに割り付けるようにかかれた変数に対
して計算機のレジスタ構成をもとに実際にレジスタを割
り当てる）、局所変数処理（関数内で一時的に使用され
る変数の主記憶への割付や、そのための主記憶領域の確
保）、及び、定型句処理（関数の入口・出口を実現する
ためのアｔンフ“う言語の列や、　アｔンブラソースの
へ）ダ・フッタを生成する）　をそれぞれ表し、６は７
ｔンブラ言語の処理をする各部品をあつめた部品ライブ
ラリ、８１は部品ライブラリ６のうちモトローラ６８０
００ｃｐｕのために用意したモトローラ８８０００用部
品、６２は部品ライブラリのうちインテル８０３８８ｃ
ｐｕのために用意したインテル８０３８Ｇ用部品、７は
ア七ンブラ非依存部５に部品ライブラリ６から適当な部
品を選択して結合することによって得られるコンバイラ
フ０ントエント°である。

以上のように構成された本実施例におけるコンハ゛イラ
フロントＩ訃′の構成工程について説明する。

モトトラ８８０００のためのコンパイラを開発した際、
まず、プログラミング言語Ｃの仕様ｌからア七ンブラ非
依存部の内部仕様３が設計され、それをもとに、構文解
析だけを行ないアセンフ゛う言語のための処理を行なわ
ないアｔンブラ言語非依存部５が開発されている。　　
　一方、　モトローラ［１８０００のアｔンフ゛う言語
の仕様２から、Ｙｔンブラ言語に依存した処理を行なう
ための内部仕様４が設計され、モトローラＧ３０００用
のア七ンブラ言語の処理を行なうための部品Ｇ１が開発
される。

そして、アｔンブラ言語非依存部５で欠けている、アｔ
ンフ゛う言語に依存する処理を行なう、アドレス処理５
１、　Ｖｔ’ス９処理５２、局所変数処理５３、定型句
処理５４に、モトローラ８８０００用部品６１を結合す
ることによりモトローラ６８０００用のコンパイラフロ
ントエンドこの時点で、ア七ンフ゛う言語によらない構
文解析部５の開発が終わっている。　　ここで、インテ
ル８０３８Ｇのためのコンパイラが必要になったとする
。このとき、　８０３８Ｂ用アｔンフ゛う言語の仕様２
から、　１１０３８６アセンブラ依存部品の内部仕様４
を設計し、８０３８Ｂ用の部品を開発し、それらの部品
をア七ンフ゛う非依存部５に結合することにより、　８
０３８６用のコンパイラフロントエンド°７を得ること
ができる。

６８０００用Ｃコンハ゛イラフロントエント°が得られ
ている　と　きの８０３８６用Ｃコンパイラフロントエ
ンド”の構成過程の概要は以上であるが、以下、その詳
細について、第２図から第１３図までの図を用いて説明
する。

第２図において、８は、）゛ロク゛ラミンク゛言語Ｃで
かかれたソースフ゛ロク゛ラムの例を示す。

第３図において、９、工０は、それぞれ、ソースブロク
゛ラム８から、　　モトローラ６８０００用コンハ゛イ
ラ、　　インテル８０３Ｂ［Ｊ１１コンハ゛イラによ　
って生成されたアｔンブラソースである。

まず、　　Ｉｌｉ８０００用Ｃコンパイラフロントエン
ド′における、　　アｔンフ゛う言語非依存部と６８０
００用ア七ンブラ部品６１の働きを、Ｃソースブロク゛
ラム８を入力と　し、　　スタックフレーム構造１２を
実現するようなｅｓｏｏｏ用アｔンブラソース９を得る
過程を例として説明し、それから、それぞれのアｔンフ
゛う依存部品を取り替えることによって、Ｃソースブロ
ク°ラム８を入力とし、スタックフレーム構造１３を実
現するような８０３８６用アｔンフ゛ラソースを得る　
ための８０３８６用Ｃフンバイラフロントエン１ごが得
られることを示す。

ＣコンパイラフロントエンドがＣソースブロク′ラム８
　を処理した際に解決すべき内容について、アドレス処
理５１については第５図と第６図と第１０図、レジ゛ス
タ処理５２については第７図と第１１図、局所変数処理
５３については第８図と第１２図、定型句処理５４につ
いては第４図と第９図と第１３図を用いてそれぞれ説明
する。

第５図において、１２、１．３はそれぞれ、Ｈローラ６
８０００とインテル８０３８Ｇにおいて、　　ソースツ
ブ■り゛ラム８で宣言された局所変数と関数の実引数の
主記憶への割当て方（スタックフレームの構造という）
の違いを示すものである。同図で、Ａ６がＧ８０００ｃ
ｐｕにおけるフレームネ。

インタを保持するレジ゛スタ、　ｅｂｌ）が、８０３８
Ｇｃｐｕにおけるフレームネ゛インタを保持するレジ゛
スクである。

第６図は、　　６８０００用Ｃコンハ　イラフロントエ
ンドにおけるアドレス処理部の・きを示したものである
。同図において、　１４は関数ｓｕｂの仮引数のリスト
をアセンブラ言語非依存部５内のテ゛−夕として表現し
た関数ｓｕｂの引数り訃、　１５はアトルスが決定され
ていない引数のシン木゛ルＣをアセンフ゛う言語非依存
部５内のテ゛−夕として表現したＣのシンネ゛ルテーフ
゛ル、　１６は６８０００に合せて設計したスタックフ
レームＩ２に合うような引数アト°レスを求めるための
、Ｇ８０００用アドレス処理部、　　１　６　１　は６
８０００月］アドレス処理部の号フ゛システムであ　リ
、　　Ｉｌｉ８０００ｃｐｕのイ士様とブロク゛ラミン
ク゛言語の実現ネ°り汁をも　とに、　　アドレス　（
フレームボインヶからのオフセツト）を算出するアドレ
ズ算出部、１６２は主記憶・レジ゛スタ間のテ゛−夕並
びの対応（エンテ゛イアンという）などのＨＯＯＯｃｐ
ｕの仕様と、引数の大きさに関わりな　く使用されるス
タックの量　（ハ゛イアスという）、　スタックを使用
するときの単位（スクフクハ゛ウンタ゛りという）など
のブロク゛ラミンク゛言語の実現ネ゛り汁を格納したテ
ーフ゛ルである８８０００用引数アト“レス決定情報、
　１７はＧ８０ＱＯ用アト。

シス処理部１Ｇによってアドνズが算出され、完成した
Ｃのシンネ゛ルテーブルである。

第６図において、７ｔンブラ言語非依存部５は、Ｃソー
スブロケ゛ラムを読み込んだ時点で、関数ｓｕｂの引数
リスト１４と７）パレスが計算されていない未完成のＣ
のンンボルテーフ゛ルＩ５を内部 テ°−夕として作成している。ここまでは、アｔンフ゛
う言語に依存しない処理である。６８０００用アドレズ
処理部１６のアト″レス算出部ＩＧ＋は、６８０００用
アト°レス決定情報１８２を参照して、８８０００に合
ったスタックフレーム構造１２を実現するように７ト°
レスを算出する。Ｇ３０００ｃｐｕはリトルエンテ°イ
アンである（しジスタ内のテ゛−夕を主記憶に転送した
際にその下位バイトのテ°−夕はど高位アドレスの主記
憶上におかれる）ので、Ｃのアドレスは次のように求め
られる。

（アト°レス）＝（バイアス）＋（スタックバウンク゛
す）＋（先にスタックに積まれている引数の大きさ） −（アト°レスを求める引数のテ°−り長）−８千４ 十〇 ＝ｌｌ このアドレスのテ°−夕を用いて、アｔンブラ言語非依
存部５は、　完成したＣのシンネ”ルテーフ゛ル１７を
つくる。　　　アト°レスのテ°−りからＣのシン本°
ルテーブルを完成する処理はｙｔｔンブラ語に依存しな
い。

以上のＣのシンネ°ルテーブル構成過程において、アト
°レス　（フレームネ°インタからのオフセット）　計
算以外は、　　アｔンブラ言語に依存しない。　　そこ
で、８０３８Ｂｃｐｕ用アト°レス計算の部分だけを開
発しｙｔンフ゛う言語非依存部５に結合することで、７
ドレス処理をおこなうことができる。

第１０図においてこれを示す。

第　１０図は、　８０３８Ｂ用ＣコンパイラフロントＩ
ント°におけるアト°レス処理部の働きを示したもので
ある。同図において、２６は関数ｓｕｂの仮引数のリス
トをアをンブラ言語非依存部５内のテ°−りとして表現
した関数ｓｕｂの引数す訃、２７はアト°レスが決定さ
れていない引数のシンネ゛ルＣをアセンブラ言語非依存
部５内のテ°−夕として表現したＣのシンネ°ルテーブ
ル、２８は８０３８Ｂに合せて設計したスタックフレー
ム１３に合うような引数アドレスを求めるための、８０
３８ｅ用アト°レス処理部、　　２８１　は８０３８［
ｉ用アト°レス処理部の９ブシステムであ　リ、　　８
０３８Ｇｃｐｕの仕様とブロク°ラミンク゛言語の実現
ネ°リシーをもとに、アト°シスを算出する訃゛レス算
出部、２８２は主記憶・レジ゛スタ間のテ°−夕並びの
対応（エンテ°イアンという）などの５ｏａｓｅｃｐｕ
の仕様と、引数の大きさに関わりなく使用されるスタッ
クの量（ハ゛イアスという）、スタックを使用するとき
の単位（スタフクバインタ゛りという）　などのブ０り
°ラミンク゛言語の実現ネ。

リシーを格納したテーフ゛ルである８０３８１１ｉ用引
数アドレス決定情報、　２９は８０３８Ｂ用アト°レス
処理部２８によってＴドしスが算出され、完成したＣの
シン本°ルテーブルである。

第１０図において、７ｔンブラ言語非依存部６は、Ｃ１
−スブＵケ゛ラムを読み込んだ時点で、関数ｓｕｂの引
数リスト２６とアドレスが計算されていない未完成のＣ
のシンネ°ルテーフール２７を内部テ°−夕として作成
している。ここまでは、　ｅｓｏｏｏ用Ｃコンパイラフ
ロントエンド°同様、　ア七ンブラ言語に依存しない処
理である。

８０３８Ｇ用アト°レス処理部２８のアドレス算出部２
８１は、８０３８６用アドレス決定情報２８２を参照し
て、８０３８１１ｉに合ったスタックフレーム構造１３
を実現するように７ト°レスを算出する。　　　　８０
３８Ｇｃｐｕはビフク°エンテ°イアンである　（しジ
スク内のテ°−夕を主記憶に転送した際にその下位ハ゛
イトのテ°−タはど低位アト°レスの主記憶上におかれ
る）ので、Ｃのアドレスは次のように求められる。

（アト°シス）＝（ハ゛イアス）＋（先にスタックに積
まれている引数の大きさ） −８＋０ ＝　　　　　８ このアドレスのテ°−りを用いて、ア七ンブラ言語非依
存部５は、完成したＣのシンネ°ルテーフ゛に２９をつ
くる。６８０００用ＣコンパイラフロントＩント°同様
、　アト°レスのテ°−シから　Ｃのシンネ°ルテーブ
ルを完成する処理はアｔンフ“う言語に依存しない。

第７図は、　　Ｇ３０００用Ｃコンハ゛イラフロントエ
ンド“におけるしジスク処理部の働きを示したものであ
る。同図において、１８は実際にレジ゛スクが割り当て
られていないしジスタ変数ｒｓをｙｔンブラ言言語非依
存部内内テ°−夕として表現したｒｓのシンネ゛ルテー
ブル、　１９はＧ８０００ｃｐｕのしジスタ構成をもと
にしジスクの割当を行なうｅｓｏｏｏ用しジスタ処理部
、　　１　θ　１　はｅｓｏｏｏレジ゛スタ処理部の号
ブシステムであり、ＨＯＯＯｃｐｕの仕様、関数内にお
けるしジスタの使用方法、及び、レジ“スタの使用状態
のテ゛−夕をもとに、しジスタ変数に対して実際のレジ
゛スタを割り当てるしジス９割当部、　　１９２はｆｉ
８０００ｃｐｕのしジスタ構成、関数内におけるしジス
クの使用方法、及び、しジスタの使用状態をまとめたｅ
ｓｏｏｏ用しジスタテ−プル８００Ｇ用しジスク処理部
によってしジスクを決定され、完成した　ｒ　ｓ　のシ
ンネ°ルテーフ゛ルである。

第７図において、アｔンブラ言語非依存部５は、Ｃソー
スを読み込んだ時点で、まだ実際にレジ゛スタが割り当
てられていないレジ゛スタ変数ｒｓの未完成のシンネ゛
ルテーブル１８を作成している。この処理は、アｔンフ
゛う言語に依存しない。Ｇ３０００用レジ゛スタ処理部
１９内のレジ′スタ割当部ｌ旧は、ｅｓｏｏｏ用レジ゛
スしテーフ゛ル１９２を参照してｒｓに対して実際のし
レジスタを割り当てる。この場合、６８０００用レジ゛
スタテーブル１９２をみると、　２ハ゛イトの大きさの
レジ゛スタＤ３が空いているのが判定できるので、レジ
゛スタ割当部１９１は、Ｄ３をｒｓに割り当てる。アｔ
ンフ。

う言語非依存部５は、その結果を用いて、完成したｒｓ
　　のシンホ　ルテ・−フ゛ル２０をつ　く　る。　レ
ジ゛スタ名から　ｒ　ｓ　のシンネ°ルテーフ゛ルを完
成させる処理は、　アｔンフ゛う言語に依存しない。

以上のｒｓのシンネ°ルテーブル構成過程において、レ
ジスタ割当以外は、アｔンフ゛う言語に依存しない。そ
こで、８０３８Ｇｃｐｕ用レジ゛スタ割当の部分だけを
開発しアｔンブラ言語非依存部５に結合することで、レ
ジ゛スク処理をおこなうことができる。第１１図におい
てこれを示す。

第１１図は、　８０３８ｅ用Ｃコンハ゛イラフロントエ
ント°におけるレジ゛スタ処理部の働きを示したもので
ある。同図において、３０は実際にレジ゛スタが割り当
てられていないしジスク変数ｒｓをアをンブラ言語非依
存部５内のテ′−夕として表現したｒｓのシンネ°ルテ
ーフ′ル、３１は８０３８Ｇｃｐｕのレジ′スタ構成を
もとにレジ゛スタの割当を行なう８０３８Ｇ用レジ゛ス
タ処理部、　　３１１は８０３８１１ｉレジ゛スタ処理
部の号ブシステムであり、　　８０３８Ｇｃｐｕの仕様
、関数内におけるレジ゛スタの使用方法、及び、レジ゛
スタの使用状態のテ°−夕をもとに、しレジスタ変数に
対して実際のレジ゛スタを割り当てるレジ゛スタ割当部
、　３１２は８０３８Ｇｃｐｕのレジ゛スタ構成、関数
内におけるしレジスタの使用方法、及び、レジ゛スタの
使用状態をまとめた８０３８１１ｉ用レジ゛スタテーフ
゛ル、　３２は８０３８Ｇ用レジ゛スタ処理部によって
レジ゛スタを決定され、完成したｒ　ｓ　のシンネ゛ル
テーフ゛ルである。

第１１図において、アｔンフ゛う言語非依存部５は、Ｃ
ｉ−スを読み込んだ時点で、まだ実際にレジ゛スタが割
り当てられていないしジスク変数ｒｓの未完成のシンネ
゛ルテーフ゛ル３０を作成している。この処理は、６８
０００用Ｃコンパイラフロントエンド い。８０３８１１ｉ用レジ゛スタ処理部３１内のレジ゛
スタ割当部３１１は、８０３８Ｇ用レジ゛スタテーブル
３１２を参照してｒｓに対して実際のνジスタを割り当
てる。この場合、ｔイス゛が２ハ゛イトのレジ゛スタｓ
ｉが空いているので、ｒｓにはｓｉが割り当てられる。

アセンフ゛う言語非依存部５は、その結果を用いて、完
成したｒｓのシンネ°ルテーブルをっ（る。

第８図は、　　Ｅｉ８０００用Ｃコンハ゛イラフロント
エンドにおける局所変数処理部の働きを示したものであ
る。　　同図において、２１は１ドレズが決定されてい
ない局所変数ｉをア七ンフ゛う言語非依存部５内のテ゛
−シとして表現し　た　ｉ　のシンネ゛ルテーブル、　
　２　２　は６８０００ｃｐｕの仕様と）。

ロク°ラミンク゛言語実現ホ゛Ｉ乃−をもとに局所変数
のアトルスを求め必要なスタックの量を求めるＧ８００
０用局所変数処理部、２２１はＩｌｉ８０００用局所変
数処理部の号ブシステムであり、局所変数の型、Ｇ８０
００ｃｐｕの仕様、及び、関数の実現ポリシーをもとに
必要なスタックの量を算出するスタック使用量算出部、
２２２はＥｉ８０００ｃｐｕの仕様と局所変数に必要な
スタック量とから、局所変数のアドレスを算出する局所
変；にアドレス算出部、２２３はＧＩＩｌｏｏＯｃｐｕ
の主記憶−レシ′スタ間のテ゛−夕並びの仕様（エンテ
“イアンという）とスタックを使用するときの単位（ハ
゛ウンタ′す）をまとめたｓｓｏｏｏ用局所変数決定情
報、２３は［ｉ８０００用局所変数処理部によって７）
’　ｌ／スが計算され、完成したｉ　のシンホ゛ルテー
ブルである。

第８図において、ア七ンブラ言語非依存部５は、Ｃソー
スを読み込んだ時点で、アドレスが定まっていない変数
ｉの未完成のシンホ゛ルテーフ゛ル２１を作成している
。

この処理は、アｔンブラ言語に依存しない。８８０００
用局所変数処理部２２内のスタック使用量算出部２２＋
は、６８０００用局所変数アドレス決定情報２２３のう
ち、スタックのハ゛ウンダリと、局所変数のテ°ータ長
から、関数ｓｕｂにおけるスタック使用量を計算する。

　これは、次のように計算できる。

（関数内で使用するスタック■） ＝［新たに宣言された局所変数のテ゛ータ長］＋（以前
に宣言された局所変数のためのスタックＪｉｌ　）（但
し、ここで、［コは、スタフクハ゛ウンタ゛り単位の切
上げを意味する６） 第８図の場合は、次のようになる。

（関数内で使用するスフツク量）：Ｑ＋４＝４８８００
０用局所変数アドレス算出部２２２は、スタック使用量
と、Ｇ３０００ｃｐｕのエンテ°イアンの情報とから局
所変数ｉのアト。

レス　（フレームポインタから　のオフセット）　を算
出する。　８８０００ｃｐｕがリトルエンテ°イアンで
あるという情報から、これは、次のようにして求められ
る。

（局所変数のアドレス） ＝−（新たに宣言された局所変数のテ゛−タ長）＋［以
前に宣言された局所変数のためのスタック量）第８図の
場合は、次のようになる。

（局所変数のアト“レス） ニー１＋０ ニーｌ アｔンブラ言語非依存部５は、その結果を用いて、完成
した　ｉのシンネ°ルテーフ゛ル２３をつくる。　ｉの
アト°シスからｉのシンネ°ルテーフ゛ルを完成させる
処理も、　アｔンフ゛う言語に依存しない。

以上のｉのシンネ°ルテーブル構成過程において、　ス
タック使用量算出と局所変数アト°シス算出以外は、ア
ｔンフ゛う言語に依存しない。　　そこで、８０３ｇＢ
ｃｐｕ用局所変数処理の部分だけを開発しｙｔンブラ言
語非依存部５に結合することで、局所変数処理をおこな
うことができる。

第１２図においてこれを示す。

第　１２図は、　８０３８Ｇ用Ｃコンハ゛イラフロント
エンドにおける局所変数処理部の働きを示したものであ
る。同図において、３３はアト°レスが決定されていな
い局所変数ｉをアセンブラ言語非依存部５内のテ゛−夕
として表現した　ｉ　のシンネ°ルテーブル、　　３４
は８０３８８ｃｐｕの仕様とフ。

Ｕり°ラミンク゛言語の実現ネ°リシーをもとに局所変
数のアト。

レスを求め必要なスタックの量を求める８０３８Ｇ用局
所変数処理部、３４１は８０３８Ｇ用局所変数処理部の
号ブシステムであり、局所変数の型、８０３８１１ｃｐ
ｕの仕様、及び、関数の実現ネ°リシーをもとに必要な
スタックの量を算出するスタック使用量算出部、３４２
は８０３８８ｃｐｕの仕様と局所変数に必要なスタック
量とから、局所変数のアドレスを算出する局所変数アト
°レス算出部、３４３は８０３８６ｃｐｕの主記憶・し
ジスタ間のテ°−り並びの仕様（Ｉンテ°イアンという
）とスタックを使用するときの単位（バウンタ。

す）をまとめた８０３８１ｉ用局所変数決定情報、３５
は８０３８［ｉ用局所変数処理部によってアト°レスが
計算され、完成したｉ　のシンネ゛ルテーフ゛ルである
。

第１２図において、アｔンブラ言語非依存部５は、Ｃｉ
−スを読み込んだ時点で、アト°レスが定まっていない
変数ｉの未完成のシンボルテーフ゛ル３３を作成してい
る。

１１ｉ８０００　ＣコンパイラフロントＩント°同様、
　　こ　の処理は、　アｔンフ゛う言語に依存しない。

８０３８Ｇ用局所変数処理部３４内のスタック使用量算
出部３４１は、８０３８ｆｉ用局所変数アト°レス決定
情報３４３のうち、　スタックのバウンダりと、　局所
変数のテ°−タ長から、関数ｓｕｂにおけるスタック使
用量を計算する。　これは、次のように計算できる。

（関数内で使用するスタック量） ＝［新たに宣言された局所変数のテ°−タ長］＋（以前
に宣言された局所変数のためのスタック量）（但し、　
ここで、　　［コ　は、　スタフクバウンダリ単位の切
上げを意味する。） 第１２図の場合は、次のようになる。

（関数内で使用するスタック量） ＝０＋４ ＝４ ８０３８Ｈ用局所変数アドレス算出部３４２は、　スタ
ック使用量と、８０３８６ｃｐｕのＩンテ°イアンの情
報とから局所変数ｌのアト。

レス　（フレームポインタからのオフセット）　を算出
する。　　　　８０３８８ｃｐｕがヒ゛フク°Ｉンテ°
イ７ンであるという情報から、　これは、次のようにし
て求められる。

（局所変数のアト°レス） ニー［新たに宣言された局所変数のテ゛−タ長］＋（以
前に宣言された局所変数のためのスタック量）（但し、
　ここで、　　［コ　は、　スタフクバウンダリ単位の
切上げを意味する。） 第８図の場合は、次のようになる。

（局所変数の７ト°レス） ニー４＋９ ニー４ アセンブラ言語非依存部５は、その結果を用いて、完成
したｉのシンネ°ルテーブル３５をつくる。

第４図において、　１１は、（トａ−ラ８８０００用ア
ｔンブラソース９と、　インテル８０３８１１ｉ用アｔ
ンフ“ラソース１０との共通の構造を示したものである
。

第９図は、　ｅｓｏｏｏ用Ｃコンハ゛イラフロントエン
ト°における定型切処理部の働きを示したものである。

　　同図において、２４はｆｉ８０００用アｔンフ゛う
の特徴と関数の実現ネ゛リシーをも　と　に、　　アｔ
ンフ゛ラソースのファイルへフタ゛、　　ファイルフッ
タ、関数へフダ、及び、関数フックを生成するｌ１ｉ８
０００用定型句処理部、２４Ｉはｅｓｏｏｏ用定型句処
理部の号ブシステムであ　リ、　　Ｃソースツブ０り°
ラムのファイル名から［１８０００アｔンフ゛うのファ
イルへフタ゛　Ｏファイルフッタを生成するＧ３０００
用フアイルへフタ゛　・　フック生成フィルタ、　　２
４２は関数名からｅｓｏｏｏアｔンフ゛うの関数へフタ
゛　・　フックを生成する８８０００用関数へ）ダ　・
　フック生成フィルタ、２５はｅｓｏｏｏ用定型句処理
部によって、生成されたｅｅｏｏｏ用定型句、２５１．
２５２．２５３．２５４はそれぞれ、６８０００用定型
句２５のうちのファイルへフタ゛、　　関数へフタ゛、
　　関数フッタ、　　及び、　　ファイルフッタである
。

第９図において、アｔンブラ言語非依存部５は、Ｃソー
スを読み込んだ時点で、ソースファイル名と、関数名と
を内部テ゛−夕として保持している。　　この処理はア
ｔンフ゛う言語に依存しない。　　　ｌ１ｉ８０００用
フアイルへフタ゛　・　フッタ生成フィルタは、　　フ
ァイル名から６８０００用定型句２５のファイルへフタ
゛２５１・フック２５４を生成する。　　一方、６８０
００用関数へフタ゛　・　フック生成フィルタは、　関
数名から適当な関数ヘッダ゛２５２・フック２５３を生
成する。

以上のファイルへフタ゛　・　フック生成、　　関数へ
フタ“　・　フック生成において、アｔンフ゛う言語に
依存する処理は、各フィルタ部に局在させることができ
、フｙ（ル名、関数名を読み込む処理は、アｔンフ゛う
言語に依存しない処理として分離できる。　そして、　
６８０００用アｔンフ゛ラソース９と８０３８１ｉ用ア
をンフ゛ラソースＩＯとは、共通の構造ＩＩをもつ。

そこで、８０３ＢＧｃｐｕ用定型句の処理の部分だけを
開発してアｔンフ゛う言語非依存部５に結合することで
、定型句処理をおこなうことができる。

第１３図においてこれを示す。

第　１３図は、　　８０３８Ｇ用Ｃコンパイラフロント
エンド”における定型句処理部の働きを示したものであ
る。　　同図において、３６は８０３Ｈ用アｔンフ゛う
の特徴と関数の実現ネ°リシーをも　とに、　　アｔン
フ゛ラソースのファイルへフタ′、　　ファイルフッタ
、関数へ）ダ、及び、関数フッタを生成する８０３８Ｇ
用定型句処理部、３６１は８０３ＢＥｉ用定型句処理部
の号フ。

システムであり、　　Ｃソースフ′ロク゛ラムのファイ
ル名から８０３８８７ｔンブラのファイルへフダ　・　
ファイルフッタを生成する８０３８Ｇ用フアイルへフタ
゛　・　フック生成フィル７、　３Ｂ２　　は関数名か
ら８０３８Ｇアｔンブラの関数へフタ゛拳フフタを生成
する８０３８ｆｉ用関数へフダ・フック生成フィルタ、
３７は８０３８ｆｉ用定型句処理部によって生成される
８０３８Ｇ用定型句、３７１．３７２．３７３．３７４
はそれぞれ、８０３８１１ｉ用定型句のうちのファイル
へフダ、　　関数へフタ′、　　関数フック、　　及び
、　　ファイルフッタである。

第１３図において、アｔンフ゛う言語非依存部５は、Ｃ
ソースを読み込んだ時点で、　コンパイルすべきファイ
ル名と、関数名とを内部テ゛−夕として保持している。

ｅｓｏｏｏ用Ｃコンハ“イラフロントエンド同様、　　
こ　の処理は、　アをンフ゛う言語に依存しない。　　
８０３８Ｇ用フアイルへフダ　−フッタ生成フィルタ３
６１は、　　ファイル名から８０３８６用アｔンフ゛ラ
ソース３７のファイルへフタ“３７Ｉψ１フタ３７４を
生成する。一方、８０３８１１ｉ用関数へフタ。

フッタ生成フィルタ３６２は、関数名から適当な関数へ
フダ３７２・フック３７３を生成する。

以上述べたよ　うに、　　８０３８１１ｉ用のコンパイ
ラフロントエンド開発においては、過去に開発の完了し
ていたアｔンフ゛う言語非依存部５をそのまま使うこと
によって、新しく開発する部分を８０３８６用部品６２
のみにとどめることができ、大幅に開発工数を削減する
ことができる。

発明の詳細 な説明したように、本発明によれば、対象となる計算機
向き言語が与えられたとき、速やかに、原始プログラム
から対象の計算機向き言語へのコンパイラのフロントエ
ンド°が得られ、その実用的効果は大きい。

【図面の簡単な説明】

第１図は本発明の一実施例のコンパイラ構成方式におい
てコンパイラフロントエンド ２図はフ゛ロク゛ラミンク”言語Ｃで書かれたソースブ
ロク゛ラムの例を示すプログラム図、第３図は第２図の
Ｃソースブロク゛ラムから得られるア七ンブラソースを
示すプログラム図、第４図はモトローラ６８０００用ア
ｔンフ′ラソースとインテル８０３８［ｉ用ア七ンブラ
ソースとの共通の構造を示す構造図、第５図は干トロー
ラ６８０００ｃｐｕとインテル８０３８Ｇｃｐｕにおけ
るスタックフレームの構造を示す構造図、第６図はｅｅ
ｏｏｏ用ＣコンバイラフロントＩント°におけるアト°
レス処理部の働きを示すブロック図、　第７図はｅａｏ
ｏｏ用Ｃコン八°イラへロントエンドにおけるしジスタ
処理部の働きを示すブロック図、第８図は６８Ｏ００用
Ｃ：Ｉ刀＼゛イラフロントエント°における局所変数処
理部の働きを示すブロック図、第９図は８８０００用Ｃ
コンハ“イラフロントエンドにおける定型句処理部の働
きを示すブロッ　り図、　第　１０図は８０３８ｆｉ用
Ｃコンパイラフロントエンド°におけるアドレス処理部
の働きを示すブロック図、第１１図は８Ｑ３８１１ｉ用
Ｃコンパイラフロントエンド°におけるしジスタ処理部
の働きを示すブロック図、第１２図は８０３８１１ｉ用
Ｃコンパイラフロントエンド°における局所変数処理部
の働きを示すブロック図、第１３図は８０３８Ｇ用Ｃコ
ンパイラフロントエンド°における定型句処理部の曇き
を示すブロック図、第１４図は典型的なコンパイラの構
成を示すブロック図、第１５図は従来の方式におけるコ
ンパイラフロントエンド°の構成過程を示す構造図であ
る。 １・・・Ｃ言語の仕様、２・・・ｙｔンフ゛う言語の仕
様、３・・・コンパイラフロントエンドのアｔンブラ言
語に依存しない部分の内部仕様、４・・・アｔンブラ言
語の処理をする各部品の内部仕様、　　５・・・Ｃコン
パイラフロントエント°のアｔンブラ言語に依存しない
部分、５１・・・アドレス処理、５２・・・レジスタ処
理、５３・・・局所変数処理、５４・・・定型句処理、
６・・・７ｔンブラ言語の処理をする各部品、６１・・
・モトローラｅｓｏｏｏ用部品、　　６２・・・インテ
ル８０３８Ｇ用部品、７・・・Ｃコンパイラのフロント
エンド、　　８　・・・Ｃソースフ゛ロケ°ラム、９・
・・干トローラＧ３０００用アｔンフ゛ラソース、　　
１０　・・・インテル８０３８Ｂ用アをンブラソース、
　　１１　・・・アをンブラソース共通の構造、　　１
２・・・Ｈｏｏｏｃｐｕにおけるスフフケフレームの構
造、　　１３・・・８０３８ｆｉｃｐｕにおけるスタッ
クフレームの構造、　　１４・・・ｅ８ｏｏｏ用Ｃコン
パイラフロントエンド ８０００用Ｃコンハ゛イラフロントエント°における未
完成のＣ　のシン参°ルテーフ゛ル、　　１　６・・・
ｅｓｏｏｏ用アト°レス処理部、　　１　６　１　・・
・Ｇ８Ｑ００用アドレス算出部、　　１　６　２・・・
ｌｌｉ８００Ｇ用引数アドレス決定情報、　　１　７・
・・６８００Ｇ用Ｃコンパイラフロントエンド°におけ
る完成した　Ｃ　のシンネ°ルテーブル、　　１　８・
・・６８０００用Ｃコンハ゛イラフロントＩンドにおけ
　る未完成の　ｒ　Ｓ　のシンネ°ルテーブル、１　９
・・・ｌｉ８０００用レジ゛スタ処理部、　　１　９　
１　・・・ｅｓｏｏｏ用レジ。 スタ割当部、　　１　９　２・・・８８０００用レジ゛
スタテーブル、　　２　０・・・６８０００用Ｃコンパ
イラフロントエンド°における完成した　ｒ　Ｓ　のシ
ンネ゛ルテーフ゛ル、　　２　１　・・・ｅｓｏｏｏ用
ｃコンパイラフロントエンド°における未完成のｉのシ
ンネ°ルテーフ゛ル、２２・・・８８０００用局所変数
処理部、２２１・・・ｅｓｏｏｏ用ス”ｔフケ使用量算
出部、２２２・・・８８０００用局所変数アト°レス算
出部、　２２３・・・ｅｅｏｏｏ用局所変数アドレス決
定情報、２３・・・Ｅｉ８０００用Ｃコンハ゛イラフロ
ントエンドにおける完成された　ｉ　のシンホ゛ルテー
フ゛ル、２４・・・８８０００用定型句処理部、２４１
・・・Ｇ８０００用ファイルへフタ゛　・フッタ生成フ
ィルタ、　　２　４　２・・・ｆｉ８００Ｇ用関数へフ
タ゛・フック生成フィルタ、　　２　５・・・Ｇ８ＯＱ
Ｏ用定型句、　　２　５　１・・・Ｇ８０００用アをン
ブラソースのファイルへフタ°、　　２　５　２・・・
６８００θ用アｔンフ゛ラソースの関数へフタ゛、　　
２　５　３・・・Ｇ８０００用ア七ン７゛ラソースの関
数フック、　　２　５　４・・・ｅｓｏｏｏ用アｔンブ
ラソースのファイルフッタ、　２　６・・・８０３８ｅ
用Ｃコンパイラフロントエンド°における関数ｓｕｂの
引数リスト、　　２　７・・・８０３８Ｇ用Ｃコンパイ
ラフロントエンド°における未完成のＣのシンネ゛ルテ
ーブル、　２８・・・８０３８ｅ用アト°レス処理部、
　　２　８　１・・・８０３８［ｉ用アト°レス算出部
、　　２　８２・・・８０３８ｆｉ用引数アトルス決定
情報、　２９・・・１１０３８６用Ｃコン八゛イラフロ
ントエンドにおける完成した　Ｃ　のシンネ゛ルテーフ
゛ル、３　０・・・８０３８Ｅｉ用Ｃコンハ“イラフロ
ントエント°における未完成のｒ　ｓ　のシンネ”ルテ
ーフ゛ル、　　３　１　・・・８０３８１１ｉ用レジ゛
スク処理部、３　１　１・・・８０３８１１ｉ用しジス
ク割当部、　３１２・・・８０３８１１ｉ用しジスタテ
−プル ける完成したｒＳのシンネ゛ルテーブル、　３３・・・
８０３８１１ｉ用Ｃコンパイラフロントエンド°におけ
る未完成の　ｉ　のシンホ゛ルテーブル。 ３４・・・８０３８Ｇ用局所変数処理部、３４１・・・
８０３８Ｇ用スタフ’）使用量算出部、３４２・・・８
０３８Ｂ用局所変数アト。 レス算出部、　３４３・・・８０３８Ｇ用局所変数７）
’　ｌ／ス決定情報、　　３　５・・・８０３８Ｇ用Ｃ
コンパイラフロントエンド°における完成されたｉのシ
ンネ°ルテーブル、３６・・・８０３８［を用定型句処
理部、　　３　６　１　・・・８０３８Ｂ用フアイルへ
）ダ・フッタ生成フィルタ、　　３　６２・・・８０３
８１１ｆ用関数へフダ・フッタ生成フィルタ、　　３　
７・・・８０３８Ｇ用定型句、　　３　７　１　・・・
８０３８１７用アｔンフ゛ラソースのファイルへフタ゛
、３　７　２・・・８０３８Ｂ用アｔンブラソースの関
数へフタ゛、　　３　７　３・・・８０３８Ｇ用アｔン
フ゛ラソースの関数フック、　　３　７　４・・・８０
３８Ｅｉ用アセンブラソースのファイルフッタ、　　３
　８・・・高級ブロク°ラミンク°言語で書かれたソー
スブロケ°ラム、　　３　９　・・・コンパイラのフロ
ントエンド°、４　０・・・コンパイラフロントエンド
４１・・・コンパイラのコート°生成部、　４２・・・
目的計算機言語フ゛ロケ゛ラム、　　４　３・・・高級
フ“ロク゛ラミンク゛言語の仕様、４４・・・計算機向
き言語の仕様、　４５・・・コンパイラフロントエンド 代理人の氏名　弁理士　粟野重孝　はか１名第 図 第 図 インテルδ感〜屑アセンヅラゾース 第 図 セす ａ 図 第 図 第 図 第 図 第 図 ６８θＯθ湖定型匂 ＝２　図 第１０図 第１２図 ！１４図 第１５図

Claims (1)

【特許請求の範囲】
1. 高級プログラミング言語でかかれた原始プログラムから
   特定の計算機向き目的プログラムへのコンパイラを開発
   する工程において、対象の計算機向き言語のための処理
   をする部品群と、特定の計算機向き言語に依存しない構
   文解析部とを別個に準備し、前記部品の中より、対象と
   なる計算機向き言語の処理をするのに適当な部品を選択
   し、それらを前記構文解析部に結合することによって、
   複数の計算機向き言語のコンパイラの開発をすることを
   特徴とするコンパイラ構成方式。