JPH0414144A - コンパイル処理方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔概要〕 Ｃ０ＢＯＬコンパイラやＦ］ＲＴＲＡＮコンパイラなど
のデータ処理装置におけるコンパイル処理方法に関し コンパイラにおける意味解析処理の手続き中から、アー
キテクチャ依存部分を分離し、テーブル化することによ
り、コンパイラの開発効率を向上させることを目的とし 計算機アーキテクチャに依存しない汎用的な意味解析を
行い、原始プログラムから汎用中間言を生成する意味解
析処理過程と、汎用中間言と計算機アーキテクチャに応
じた中間言との対応情報が格納された中間言用スケルト
ンテーブルを使用し。

汎用中間言を計算機アーキテクチャに依存した中間型に
変換するアーキテクチャ依存処理過程とを備え、意味解
析およびコード生成の双方でテーブルを用いたスケルト
ン展開を行うように構成する。

〔産業上の利用分野〕

本発明は、Ｃ０ＢＯＬコンパイラやＦＯＲＴＲＡＮコン
パイラなどのデータ処理装置におけるコンパイル処理方
法に関する。

〔従来の技術〕

第６図は従来技術の例を示す。

第６図において、１１はコンパイル対象となる原始プロ
グラム、１３はアーキテクチャに依存したコード生成に
使用されるコード生成用スケルトンテーブル、１６は意
味解析結果の中間的なテキストである中間型、１７は最
適化中間型、１８はコンパイル結果の目的プログラム、
６０は意味解析処理、６１は最適化処理、６２はコード
生成処理を表す。

Ｃ０ＢＯＬの原始プログラム１１を翻訳する場合を例に
して、従来技術を説明する。

意味解析処理６０では、原始プログラム１１を入力し、
その意味解析を行って、中間型１６を出力する。ここで
は、外部１０進で定義された変数Ｂ、　Ｃを、内部１０
進に変換し５それについて内部１０進加算命令を用いて
加算する中間型１６を生成している。

最適化処理６１では、中間型１６についての実行論理の
変更や不要な手続きの削除などの最適化を行い５その結
果を最適化中間型１７として出力する。

コード生成処理６２では、コート生成用スケルトンテー
ブル１３を用いて最適化中間型１７から目的プログラム
１８を生成する処理を行う。コード生成用スケルトンテ
ーブル１３は、ターゲットとなる計算機アーキテクチャ
に依存したコードの形式をテーブルとして持つものであ
る。コード生成処理６２において、最適化中間型１７の
中間型をもとにしてコード生成用スケルトンテーブル１
３を検索することにより、出力するコードを決定する。

目的プログラム１８におけるＰＡＣＫ命令は外部１０進
（ゾーン形式）を内部１０進（パンク形式）に変換する
命令、ＡＰ命令は、内部１０進を加算する命令、ＵＮＰ
Ｋ命令は、内部１０進を外部１０進に変換する命令であ
る。中間型１６における一時域のＴ３は、目的プログラ
ム１８では一時域のＴ２に重ねられている。

従来技術では、コード生成処理６２の中で、アーキテク
チャに依存したコード生成を行うためのコード生成用ス
ケルトンテーブル１３が用いられていたが、意味解析処
理６０では、アーキテクチャに依存した部分を処理する
ための手続きが、意味解析の処理の中に混在していた。

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

従来技術では１例えば第６図に示すように、コンパイラ
の意味解析処理６０部分で、計算機アーキテクチャに依
存した中間型１６を出力し、コード生成処理６２部分で
は、その中間型１６または最適化中間型１７とコード生
成用スケルトンテーブル１３とをもとにして、生成する
コードを決定していた。

これは、対象となるアーキテクチャにおいて高性能なオ
ブジェクトを生成するために２中間言１６の出力元であ
る意味解析処理６０部分で、計算機アーキテクチャを意
識しなければならなかったためである。しかし、意味解
析処理６０部分にアーキテクチャに依存した処理を混在
させると対象アーキテクチャが変更になるごとに、意味
解析の手続きを変更する必要が生し、開発効率が悪くな
るという問題がある。

本発明は上記問題点の解決を図り、コンパイラにおける
意味解析処理の手続き中から、アーキテクチャ依存部分
を分離し、テーブル化することにより、コンパイラの開
発効率を向上させることを目的としている。

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

第１図は本発明の原理説明図である。

第１図において、１０はＣＰＵおよびメモリなどからな
るデータ処理装置、１１はコンパイル対象となる原始プ
ログラム、１２はアーキテクチャに依存した中間型の生
成に使用される中間言用スケルトンテーブル、１３はア
ーキテクチャに依存したコード生成に使用されるコード
生成用スケルトンテーブル、１４はアーキテクチャに依
存しない意味解析結果の汎用中間型、１５は最適化され
た中間型である最適化汎用中間型、１６はアーキテクチ
ャに応じた中間型、１７は最適化された最適化中間型、
１８はコンパイル結果の目的プログラム、２０は意味解
析処理、２１は汎用中間言置適化処理、２２はアーキテ
クチャ依存処理、２３は中間言置適化処理、２４はコー
ド生成処理を表す。

意味解析処理２０では、原始プログラム１１を入力して
、所定の文法に従った意味解析を行い。

アーキテクチャに依存しない汎用中間型１４を出力する
。汎用中間言置適化処理２１では、必要に応じて汎用中
間型１４に対する最適化のための変更を行い、その結果
を最適化汎用中間型１５として出力する。

アーキテクチャ依存処理２２は、従来の意味解析に関係
するアーキテクチャに依存した処理を行う部分で、ここ
で中間言用スケルトンテーブル１２を用いることにより
、最適化汎用中間型１５から計算機アーキテクチャに依
存した中間型１６を生成する。

中間言置適化処理２３では、中間型１６についての実行
論理の変更や不要な手続きの削除などの最適化を行い、
最適化中間型１７を出力する。

コード生成処理２４では、コード生成用スケルトンテー
ブル１３を用いて、最適化中間型１７から機械語命令列
などからなる目的プログラム１８を生成する。

コード生成用スケルトンテーブル１３は、アーキテクチ
ャに依存した中間型１６または最適化中間型１７をもと
に、アーキテクチャに合致したオブジェクトコードを生
成するためのテーブルで従来から用いられていたもので
ある。

本発明では、さらに汎用中間型１４または最適化汎用中
間型１５から、アーキテクチャに依存した中間型１６を
切り分ける中間言用スケルトンテーブル１２が設けられ
、これによって、意味解析処理２０の本体部分と、アー
キテクチャ依存処理２２とを分離させる。

クチャに依存するため、アーキテクチャが変更となるご
とに変更が必要になるが、アーキテクチャに依存した部
分が手続き部分に入らないため、意味解析処理２０を各
アーキテクチャで共通化することができる。したがって
、コンパイラの効率的な開発が可能になり、保守性も向
上する。

〔作用〕

アーキテクチャ間の相違点を吸収する箇所をテーブル化
して、意味解析と分離する。そして、意味解析処理２０
では、意味解析だけに徹し２各アーキテクチヤに対して
汎用的な中間型を出力する。

アーキテクチャ依存処理２２では、意味解析処理２０．
汎用中間言置適化処理２１が出力した汎用中間型１４ま
たは最適化汎用中間型１５をもとに、中間言用スケルト
ンテーブル１２を参照することにより、汎用中間型１４
または最適化汎用中間型１５を５従来のアーキテクチャ
に依存した中間型１６に変換する処理を行う。

中間言用スケルトンテーブル１２は、アーキテ〔実施例
〕 第２圀は本発明の一実施例による展開例、第３図ないし
第５図は本発明の一実施例で用いる中間言用スケルトン
テーブルの構成例を示す。

以下、Ｃ０ＢＯＬのコンパイラについての例を説明する
が、他の計算機言語についても同様に本発明を適用する
ことが可能である。

意味解析処理では、第２図に示す原始プログラム１１を
入力すると、その意味解析を行い、汎用中間型１４を出
力する。ここで、ｒ＃ＡＤＤ　　ＡＢ、ＣＪは、変数Ｂ
と変数Ｃの加算結果を、変数Ａに代入することを示す中
間型である。この段階では、変数Ａ、Ｂ、Ｃのデータ属
性は、まだ決まっていない。

原始プログラム１１中では、変数Ａ、Ｂ、Ｃが外部ｌＯ
進で定義されているが、内部では必ずしも外部１０進で
ある必要はない。どのデータ属性で扱えば高速なオブジ
ェクトになるかは、対象となる計算機アーキテクチャに
依存する。そこで。

アーキテクチャ依存最適化により１例えば変数Ａ。

Ｂ、Ｃの属性を内部１０進とすることが決まるとその条
件に応して汎用中間型１４を中間型１６にスケルトン展
開する。

ｒＡＤＤＰ−Ｌ　　Ａ、Ｂ、Ｃｊは、内部１０進の変数
Ｂと変数Ｃを加算して、結果を内部１０進の変数Ａに代
入することを示す中間型１６である。

第２図に示す目的プログラム１８は、中間型１６にもと
づいて、最終的に出力されたオブジェクトコードであり
、　　ｒＡＰ　　Ａ、Ｂ、ＣＪは、ＢとＣとを足し、Ａ
に代入する処理を実行する内部１０進の加算命令である
。変数Ａの属性が、内部１０進に変更されたため、１つ
のＡＰ命令だけで手続きが完了している。

次に、Ｘという計算機アーキテクチャと、Ｙという計算
機アーキテクチャの２種類のアーキテクチャをサポート
する場合を例に、第１図に示す中間言用スケルトンテー
ブル１２の構成について説明する。

例えば、第３図（イ）に示す汎用中間型１４について、
アーキテクチャに依存した中間型を生成するものとする
。なお、変数の属性は、それぞれＡは外部１０進、Ｂは
内部１０進、Ｃは２進で定義されているとする。

中間言用スケルトンテーブル１２のテーブル本体は２例
えばＸアーキテクチャの場合、あらかじめ第３図（ロ）
に示すように作成され、Ｘアーキテクチャの場合、第３
図（ハ）に示すように作成される。

このテーブル本体における中間型は、それぞれ次のよう
な意味を持っている。

（ａ）ＣＶＢＰ 内部１０進を２進に変換する。

（ｂ）ＡＤＤＢ ２進同士を加算する。

（Ｃ）ＣＶＺＢ ２進を外部１０進に変換する。

（ｄ）ＣＶＰＢ ２進を内部１０進に変換する。

（ｅ）ＡＤＤＰ 内部１０進同士を加算する。

（ｆ）ＣＶＺＰ 内部１０進を外部１０進に変換する。

（６）ＡＤＤＺ 外部１０進同士を加算する。

スケルトンテーブル本体の他に、Ｘアーキテクチャの場
合、第４回（イ）に示す条件識別チーフルと、第４図（
ロ）に示す取出しビットテーブルとが用意される。一方
、Ｘアーキテクチャの場合第５図（イ）に示す条件識別
テーブルと、第５図（ロ）に示す取出しビットテーブル
とが用意される。

各条件識別テーブルにおけるＢＩＮは、演算が２進モー
ドになる条件、ＰＡＣＫは、演算が内部１０進モードに
なる条件、ＺＯＮＥは、演算が外部１０進モードになる
条件であり１条件識別テーブルには、アーキテクチャに
応して決定する演算モートの条件が記述されている。

取出しビットテーブルには２条件識別テーブルにより決
定された演算モードに対して２スケルトンチ一フル本体
から、どの中間型を取り出すべきかの情報が記述されて
いる。取出しビットテーブルにおける値が“０”ならば
、取出しを行わす“°１°゛ならば取出しを行うことを
示している。

取出しビットテーブルの上欄に表した数字と。

スケルトンテーブル本体の左側に表した数字とが対応し
ている。

アーキテクチャ依存処理の手順は、各アーキテクチャに
共通であり、以下のとおりである。

（１）条件識別テーブルを参照し、どの演算モードでの
処理が妥当かを判断する。

（２）　　その後、決定した演算モード用の取出しピン
トテーブルを参照し、出力する中間型を第３図（ロ）ま
たは（ハ）に示すスケルトンテーブル本体から取り出す
。

この例の場合、Ｘアーキテクチャでは、外部１０進の機
械語命令があり、Ｘアーキテクチャでは外部１０進の機
械語命令はない、ＸアーキテクチャとＸアーキテクチャ
とでは１条件識別テーブルの内容が異なり、特にＸアー
キテクチャで外部１０進の演算モードが選択されること
はないため。

外部１０進となるモード（ＺＯＮＥ）の条件は存在しな
い。そのため、取出しビットテーブルのＺＯＮＥモード
用のテーブルには、第５図（ロ）に示すように値が“０
”以外は設定されない。

Ｘアーキテクチャの場合、第３図（イ）に示すような汎
用中間型１４に対して、第４図（イ）に示す条件識別テ
ーブルによる条件判定を行い、各演算モードに応して２
次のような中間型を出力する。

（ａ）　　演算モードが２進（ＢＩＮ）の場合第３図（
ロ）に示す１番から３番までの中間型を出力する。

［有］）演算モードが内部１０進（ＰＡＣＫ）の場合第
３図（ロ）に示す４番から６番までの中間易を出力する
。

（Ｃ）゛　演算モードが外部１０進（ＺＯＮＥ）の場合
第３図（ロ）に示す７番から９番までの中間型を出力す
る。

一方、Ｙアーキテクチャの場合、第３図（イ）に示すよ
うな汎用中間型１４に対して、第５回（イ）に示す条件
識別テーブルによる条件判定を行い、各演算モードに応
じて１次のような中間型を出力する。

（ａ）　　演算モードが２進（ＢＩＮ）の場合第３図（
ハ）に示す１番から４番までの中間型を出力する。

０）演算モードが内部１０進（ＰＡＣＫ）の場合第３図
（ハ）に示す５番から７番までの中間型を出力する。

Ｘアーキテクチャでは、Ｘアーキテクチャとは異なり、
直接、２進を外部１０進に変換する命令がないため、−
旦、内部１０進を経由する処理（ＣＶＰＢ、ＣＶＺＰ）
の追加が必要になってい以上のように、各アーキテクチ
ャごとに、実際には、意味解析結果の中間型が違うこと
になるが中間８用スケルトンテーブルで、その違いを吸
収することができる。なお、第１図に示す中間型１６を
生成した後の中間言置適化処理２３およびコド生成処理
２４の処理は、従来と同様でよいので、その詳しい説明
を省略する。

〔発明の効果〕

以上説明したように７本発明によれば、２段スケルトン
を使用することにより、アーキテクチャに依存した部分
を手続きから分離することができ。

特に多数のアーキテクチャに対する開発効率が向上する
。また、アーキテクチャ依存部分のテーブル化によって
保守性も向上し、信頼性が高くなる。

第３図ないし第５図は本発明の一実施例で用いる中間８
用スケルトンテーブルの構成例第６図は従来技術の例を
示す。

図中、１０はデータ処理装置、１１は原始プログラム、
１２は中間８用スケルトンテーブル、１３はコード生成
用スケルトンテーブル、１４は汎用中間型、１５は最適
化汎用中間型、１６は中間型、１７は最適化中間型、１
８は目的プログラム２０は意味解析処理、２１は汎用中
間型最適化処理、２２はアーキテクチャ依存処理、２３
は中間言置適化処理、２４はコード生成処理を表す。

Claims (1)

1. 【特許請求の範囲】 原始プログラム（１１）の意味解析および最適化処理を
   行った結果の中間言（１６）から、目的プログラム（１
   ８）の対象となる計算機アーキテクチャに応じてあらか
   じめ用意されたコード生成用スケルトンテーブル（１３
   ）を使用して、出力するコードを決定するコード生成処
   理過程（２４）を備えたデータ処理装置（１０）におけ
   るコンパイル処理方法において、計算機アーキテクチャ
   に依存しない汎用的な意味解析を行い、原始プログラム
   から汎用中間言を生成する意味解析処理過程（２０）と
   、 汎用中間言と計算機アーキテクチャに応じた中間言との
   対応情報が格納された中間言用スケルトンテーブル（１
   ２）を使用し、汎用中間言を計算機アーキテクチャに依
   存した中間言に変換するアーキテクチャ依存処理過程（
   ２２）とを備え、 意味解析およびコード生成の双方でテーブルを用いたス
   ケルトン展開を行うことを特徴とするコンパイル処理方
   法。