JPH04107638A - リテラル定数割り付け方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、プログラムカウンタ相対アドレッシングモー
ドを有するプロセッサに対するコンパイラにおけるリテ
ラル定数割り付け方式に関する。

〔従来の技術〕

プロセッサの機械命令に即値として埋め込むことができ
ないリテラル定数は、−船釣にコンスタントセクション
と呼ばれる記憶域に割り付けられる。

ところで、プログラムカウンタ相対アドレッシングモー
ドを有するプロセッサに対する従来のコンパイラは、コ
ンパイル単位が複数の手続きブロックから構成されてい
る場合でもすべてのリテラル定数を一つのコンスタント
セクションに割り付け、第５図に示すようにそのコンス
タントセクション３１の先頭アドレスを保持するアドレ
スレジスタＡＲ，を用いて参照する命令を生成するか、
あるいは第６図に示すようにコンスタントセクション３
１とコードセクション３２とを記憶域上に連続して配置
し、プログラムカウンタＰＣに保持されている実行中の
命令自身のアドレスからの相対変位ｄを用いて参照する
命令を生成していた。

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

しかしながら、上述した従来のコンパイラでは、アドレ
スレジスタ八−からの相対変位ｄあるいはプログラムカ
ウンタＰＣからの相対変位ｄとしてとり得る値にハード
ウェアアーキテクチャ上の制限がある場合に、コンスタ
ントセクション３１自身の大きさあるいはコードセクシ
ョン３２の大きさによってはリテラル定数を相対変位ｄ
で参照できない場合が起きる。この場合には、コンパイ
ラの制限としてコンパイルを打ち切るか、あるいは第７
図に示すように相対変位が制限値の範囲内となるような
新しいベースアドレスをアドレスレジスタにロードして
、そのアドレスレジスタを用いて参照する命令を生成し
なければならないという欠点を有していた。

本発明は、このような従来の欠点を改善したもので、そ
の目的は、リテラル定数を効率良く参照することが可能
であって、余分な命令を生成する必要がなくなり、プロ
グラムの実行時間を短縮可能なリテラル定数割り付け方
式を提供することにある。

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

本発明のリテラル定数割り付け方式は、プログラムカウ
ンタ相対アドレッシングモードを有するプロセッサに対
して原始プログラムから目的プログラムを生成し出力す
るコンパイラにおいて、前記原始プログラムを読み込み
構文解析を行って中間テキストを生成する構文解析部と
、中間テキストから目的プログラムを生成して出力する
コード生成部とを備え、前記コード生成部は、コンスタ
ントセクションの大きさが相対変位の制限値の範囲内の
場合には、前記中間テキストに現れるリテラル定数をコ
ンスタントセクションに割り付けてアドレスレジスタか
らの相対変位で参照する命令を生成し、コンスタントセ
クションの大きさが相対変位の制限値を超える場合には
、リテラル定数をコードセクション中の各手続ブロック
の直後に割り付け、プロゲラ、ムカウンタからの相対変
位で参照する命令を生成するようになっている。

〔作用］ 本発明では、コンスタントセクションの大きさが相対変
位の制限値を超える場合には、リテラル定数をコードセ
クション中の名手続きブロックの命令列の直後に割り付
けることにより、多くのリテラル定数をもつプログラム
に対して余分な命令を生成する必要がなくなる。

〔実施例〕

以下、本発明について図面を参照して説明する。

第１図は、本発明の一実施例のリテラル定数割り付け方
式が適用されたコンパイラのブロック図である。このコ
ンパイラ２は、プログラムカウンタ相対アドレッシング
モードを有するプロセッサに対して、ブロック構造をも
つ高級言語で記述された原始プログラム１から目的プロ
グラム３を生成して出力するコイバイラであり、原始プ
ログラムＩを読み込んで構文解析を行い中間テキスト２
３を生成する構文解析部２１と、中間テキスト２３から
目的プログラム３を生成して出力するコード生成部２２
とから構成されている。

コード生成部２２は、中間テキスト２３から命令を生成
し、命令テーブル２５に登録する命令生成手段２２１と
、中間テキスト２３中に現れたリテラル定数をコンスタ
ントセクションあるいはコードセクションに割り付け、
その結果を定数テーブル２４および命令テーブル２５に
登録する定数割り付け手段２２２と、一つの手続きブロ
ックの処理終了時にコードセクション中に割り付けられ
た定数のアドレスを決定し、それに伴う命令テーブル２
５および定数テーブル２４０更新を行う定数アドレス補
正手段２２３とを有しでいる。

第２図（ａ）乃至（ｄ）を参照すると、定数テーブル２
４は、次の定数テーブルへのポインタ２４１と、同値な
定数テーブルへのポインタ２４２と、コードセクション
フラグ２４３と、セクション中のオフセット２４４と、
フィックスアップチェーンの先頭２４５と、定数の長さ
２４６と、定数値２４７とを有し、また、命令テーブル
２５は、命令情報２５１と、オペランド情報２５２とを
要素とする配列となっている。命令情報２５１は、命令
の種１！２５１１と、命令のアドレス２５１２と、オペ
ランド数２５１３とで構成され、オペランド情報２５２
は、アドレッシングモード２５２１と、レジスタ番号２
５２２と、ペースレジスタ番号２５２３と、インデック
スレジスタ番号２５２４と、オフセット２５２５と、デ
ータ長２５２６と、フィックスアップチェーン２５２７
とで構成されている。

次に、このように構成された本実施例のリテラル定数割
り付け方式において、第３図に示すような目的プログラ
ムを生成する場合を例にとって説明する。

原始プログラム１が与えられてコンパイラ２が起動され
ると、まず構文解析部２１が原始プログラム１を読み込
んで中間テキスト２３を生成する。

次に、コード生成部２２が中間テキスト２３を入力する
と、命令生成手段２２１においては、中間テキスト２３
に基づいて、命令情報２５１を登録する。次いで、各オ
ペランドに対して、オペランドがリテラル定数でない場
合にはオペランド情報２５２を登録し、オペランドがリ
テラル定数の場合には定数割り付け手段２２２を起動す
る。

定数割り付け手段２２２が起動されると、定数割り付け
手段２２２では第４図に示すようにして割り付け処理を
行う。すなわち、先づ、定数テーブル２４中の次の定数
テーブルへのポインタ２４１をたどり、同じ値のリテラ
ル定数が登録されているか探す。登録されていない場合
には、そのリテラル定数を登録する。このとき、コンス
タントセクションに割り付け可能か否かを判定し、割り
付け可能ならコードセクションフラグ２４３をオフにし
、セクション３１中のオフセット２４４にコンスタント
セクション中の相対変位をセントする。

割り付け不可能ならコードセクションフラグ２４３をオ
ンにし、セクション中のオフセット２４４に処理中の手
続きブロックの命令列の直後に割り付けられる定数群中
の相対変位をセットし、フィックスアップチェーンの先
頭２４５にオペランド情報２５２の添字の値をセットす
る。

コードセクションフラグ２４３がオフの場合には、アド
レスレジスタ相対アドレッシングモードとしてオペラン
ド情報２５２を登録し、起動元へ戻る。

コードセクションフラグ２４３がオンの場合には、同値
な定数テーブルへのポインタ２４２をたどり、アドレス
が確定している定数でプログラムカウンタからの相対変
位で参照可能なものが登録されているか探す。

登録されている場合には、プログラムカウンタ相対アド
レッシングモードとしてオペランド情報２５２を登録し
、起動元へ戻る。

登録されていない場合には、まずアドレスが未確定のも
のがなければ同値な定数テーブルのリストの先頭にフィ
ックスアップのための定数テーブル２４を登録する。次
に、プログラムカウンタ相対アドレッシングモードとし
てオペランド情報２５２を登録し、フィックスアップチ
ェーンを張った後に起動元へ戻る。

一つの手続きブロックに対して命令生成手段２２１の処
理が終了すると、定数アドレス補正手段２２３が起動さ
れ、フィックスアンプチェーンの先頭２４５に添字がセ
ットされているすべての定数テーブル２４に対して以下
の処理を行う。

すなわち、定数アドレス補正手段２２３は、セクション
中のオフセット２４４に手続きプロ・ンクの命令列の直
後のアドレスを加え、定数のアトルスを決定する。次い
で、フィックスアップチェーンの先頭２４５からフィッ
クスアップチェーン２５２７をたどり、オフセット２５
２５にセクション中のオフセット２４４と命令のアドレ
ス２５１２との差をセットする。しかる後、フィックス
アップチェーンの先頭２４５にゼロをセットし、アドレ
ス確定の状態にする。

このようにして、定数アドレス補正手段２２３の処理が
終了するとコード出力手段２２４が起動され、命令テー
ブル２５に基づいて第３図のような目的プログラム３が
生成される。

第３図かられかるように、本実施例では、コンスタント
セクション３１の先頭からの相対変位が制限値の範囲内
の場合には、そのリテラル定数をコンスタントセクショ
ン３１に割り付けてアドレスレジスタからの相対変位で
参照する命令が生成され、制限値を超える場合には、リ
テラル定数をコードセクション中の各手続きブロックの
直後に割り付け、プログラムカウンタからの相対変位で
参照する命令が生成される。

このようにして、リテラル定数をアドレスレジスタある
いはプログラムカウンタからの相対変位で効率良く参照
することができるので、余分な命令を生成する必要がな
くなる。

〔発明の効果〕

以上説明したように、本発明によれば、コンスタントセ
クションの大きさが相対変位の制限−値を超える場合に
は、リテラル定数をコードセクション中の各手続きブロ
ックの命令列の直後に割り付けるようにしているので、
多くのリテラル定数をもつプログラムに対して余分な命
令を生成する必要がなくなり、プログラムの実行時間を
短縮できるという効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例のブロック図、第２図（ａ）
乃至（ｄ）は定数テーブルおよび命令テーブルの構成例
を示す図、第３図は本発明のリテラル定数割り付け方式
においてリテラル定数が割り付けられ生成された目的プ
ログラムの一例を示す図、第４図は第３図の目的プログ
ラムを生成するときの定数テーブルおよび命令テーブル
の内容を示す図、第５図はアドレスレジスタからの相対
変位でリテラル定数を参照する仕方の一例を示す図、第
６図はプログラムカウンタからの相対変位でリテラル定
数を参照する仕方の一例を示す図、第７図はアドレスレ
ジスタからの相対変位が制限値を超える場合にリテラル
定数を参照する仕方の一例を示す図である。 図において、１・・・原始プログラム、２・・・コンパ
イラ、３・・・目的プログラム、２１・・・構文解析部
、２２・・・コード生成部、２３・・・中間テキスト、
２４・・・定数テーブル、２５・・・命令テーブル、３
１・・・コンスタントセクション、３２・・・コードセ
クション、２２１・・・命令生成手段、２２２・・・定
数割り付け手段、２２３・・・定数アドレス補正手段、
２２４・・・コード出力手段、２４１・・・次の定数テ
ーブルへのポインタ、２４２・・・同値な定数テーブル
へのポインタ、２４３・・・コードセクションフラグ、
２４４・・・セクション中のオフセット、２４５・・・
フィックスアップチェーンの先頭、２４６・・・定数の
長さ、２４７・・・定数値、２５１・・・命令情報、２
５２・・・オペランド情報、２５１１・・・命令の種類
、２５１２・・・命令のアドレス、２５１３・・・オペ
ランド数、２５２１・・・アドレッシングモード、２５
２２・・・レジスタ番号、２５２３・・・ベースレジス
タ番号、２５２４・・・インデックスレジスタ番号、２
５２５・・・オフセット、２５２６・・・データ長、２
５２７・・・フィックスアップチェーンである。 第２図 代理人　弁理士　　山　下　穣　平 第３図 アドレスレジスタ

Claims (1)

1. 【特許請求の範囲】 プログラムカウンタ相対アドレッシングモードを有する
   プロセッサに対して原始プログラムから目的プログラム
   を生成し出力するコンパイラにおいて、 前記原始プログラムを読み込み構文解析を行って中間テ
   キストを生成する構文解析部と、中間テキストから目的
   プログラムを生成して出力するコード生成部とを備え、 前記コード生成部は、コンスタントセクションの大きさ
   が相対変位の制限値の範囲内の場合には、前記中間テキ
   ストに現れるリテラル定数をコンスタントセクションに
   割り付けてアドレスレジスタからの相対変位で参照する
   命令を生成し、コンスタントセクションの大きさが相対
   変位の制限値を超える場合には、リテラル定数をコード
   セクション中の各手続ブロックの直後に割り付け、プロ
   グラムカウンタからの相対変位で参照する命令を生成す
   るようになっていることを特徴とするリテラル定数割り
   付け方式。