JPH05233370A - 機械語命令テーブル参照テスト網羅度チェック方式 - Google Patents

Abstract

(57)【要約】 【構成】コンパイラ１のオブジェクト生成部のテストに
おいて、オペランドの条件に応じて、出力すべき機械語
命令をテーブル化し、その機械語命令テーブルを参照す
ることによって、機械語命令を生成する。参照された機
械語命令テーブルのアドレスをアドレステーブル３に出
力する。そのアドレステーブル３を使用して、参照され
た機械語命令テーブルの一覧表を出力して、機械語命令
テーブルのテストが、より効率的により確実に行えるよ
うにする。 【効果】機械語命令テーブルのテストが、より効率的に
より確実に行える。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、機械語命令テーブル参
照テスト網羅度チェック方式に関し、特に、コンパイラ
のオブジェクト生成部のテストにおいて、オペランドの
条件に応じて出力すべき機械語命令をテーブル化し、そ
の機械語命令テーブルを参照することによって機械語命
令を生成するコンパイラの機械語命令テーブル参照テス
ト網羅度チェック方式に関する。

【０００２】

【従来の技術】ソースプログラムを翻訳して中間的なテ
キストから機械語に変換するときに、機械語命令テーブ
ルを参照することによって機械語命令を生成するコンパ
イラでは、機械語命令テーブルの設計がコンパイラの品
質および性能に大きく影響する。そのために、コンパイ
ラのテストにおいても、機械語命令テーブルの内容をす
べて入念にチェックする必要があり、テストですべての
機械語命令テーブルの内容が参照されたかどうかという
情報が品質を保証する際に重要となっている。

【０００３】従来の機械語命令テーブル参照テスト網羅
度チェック方式のその１は、人手で、コンパイラが出力
したオブジェクトリストを参照しながら、機械語命令テ
ーブルの設計書と照らし合わせ、前後の関係からその時
点でのオペランド等の条件を考慮にいれて、参照された
機械語命令テーブルの内容を見つけだしている。

【０００４】また、その２は、機械語命令テーブルが選
択された時点で機械語命令テーブルへのポインタの内容
を出力できるように、コンパイラにデバックトレースル
ーチンを埋め込むかデバッガを使うかなどしてアドレス
を出力している。そして、そのアドレスをもとに、人手
で、リンクマップから機械語命令テーブルの相対アドレ
スを計算し、機械語命令テーブルのマップリストより、
参照された機械語命令テーブルの内容を求めている。

【０００５】

【発明が解決しようとする課題】上述した従来の機械語
命令テーブル参照テスト網羅度チェック方式その１は、
人手でコンパイラが出力したオブジェクトリストと機械
語命令テーブル設計書とを照らし合わせているので、第
一に、オペランド等の条件を判定することをはじめ、ほ
とんどが人手によって行われるために、ある程度の知識
を必要として時間もかかるという欠点を有するととも
に、第二に、機械語命令テーブルによっては、全部また
は一部の機械語命令列が同じ並びになっているものもあ
り、オブジェクトリスト上の前後関係からだけでは、正
確に機械語命令テーブルを決定できないことがあるとい
う欠点を有している。

【０００６】また、その２は、選択された機械語命令テ
ーブルの内容へのポインタを出力しているので、上記の
ように機械語命令テーブルを決定できない場合は無くな
るが、相対アドレスの計算や相対アドレスから機械語命
令テーブルをサーチするのが人手であるために、時間が
かかったり、間違いを生じ易いという欠点を有してい
る。

【０００７】

【課題を解決するための手段】本発明の機械語命令テー
ブル参照テスト網羅度チェック方式は、コンパイラのオ
ブジェクト生成部のテストにおける機械語命令テーブル
参照テスト網羅度チェック方式において、オペランドの
条件に応じて出力すべき機械語命令をテーブル化し、そ
の機械語命令テーブルを参照することによって機械語命
令を生成する場合に、参照された前記機械語命令テーブ
ルの各モジュール単位の先頭アドレスおよび参照された
前記機械語命令テーブルのアドレスのテーブルであるア
ドレステーブルと、四則演算等に分類された前記機械語
命令テーブルのモジュール単位に対してその処理内容が
すぐわかるようにつけられた名標および前記機械語命令
テーブルのモジュール単位内の相対アドレスの対応をと
った名標テーブルと、前記名標テーブルを作成する名標
テーブル作成手段と、前記アドレステーブルおよび前記
名標テーブルを入力して参照された前記機械語命令テー
ブルの名標および相対アドレスの一覧表を出力するテス
ト網羅度チェック手段とを有して構成されている。

【０００８】

【実施例】以下に、本発明の実施例について図面を参照
して説明する。

【０００９】図１は、本発明の機械語命令テーブル参照
テスト網羅度チェック方式の一実施例を示ブロック図で
ある。図１に示すように、本実施例は、コンパイラ１、
アドレス出力手段２、アドレステーブル３、名標テーブ
ル４、網羅度チェック手段５、名標テーブル作成手段６
を有して構成されている。

【００１０】また、図２は、本実施例の処理の一例を示
す流れ図である。図２に示すように、本実施例の処理
は、語彙・構文・意味解析手段７、中間語入力手段８、
機械語命令テーブル選択手段９、アドレス出力手段２、
網羅度チェック手段５、名標テーブル作成手段６、アド
レステーブル入力手段１０、相対アドレス計算手段１
１、参照判定手段１２、参照機械語命令テーブル一覧出
力手段１３、アドレステーブル３、名標テーブル４、機
械語命令テーブルファイル１４、ソースファイル１５、
中間語ファイル１６、一覧表１７、機械語命令テーブル
マップリスト１８、参照フィールド１９により構成され
ている。

【００１１】次に、本実施例の処理について図２を基に
して説明する。

【００１２】まず、語彙・構文・意味解析手段７は、ソ
ースファイル１５を入力し、中間語に翻訳して、中間語
ファイル１６に出力する。また、中間語入力手段８は、
中間語ファイル１６を入力し、その内容に応じて、機械
語命令テーブル内の各グループ、たとえば、加算，乗
算，比較などを決定して、機械語命令テーブル選択手段
９に制御を渡す。中間語ファイル１６を読み終えれば、
処理を終了する。

【００１３】また、機械語命令テーブル選択手段９は、
機械語命令テーブルの各グループより、機械語命令テー
ブルを決定するためのオペランドの条件調査と、それに
基づいて、機械語命令テーブルの選択を行う。同じ加算
であっても、オペランドがレジスタ上かメモリ上か定数
かなどによって、出力すべき機械語命令が異なるためで
ある。これは、ＣＰＵによって、機械語命令ごとにオペ
ランド種別の制約があり、より最適な機械語命令列を出
力するためには、このオペランド条件を十分に考慮しな
くてはならないからである。そこで、機械語命令テーブ
ルは、可能なオペランド条件の組み合わせのすべてに対
応して作成している。機械語命令テーブル選択手段９で
は、中間語ファイル１６の情報より、オペランド条件を
調査し、その情報をもとに、機械語命令テーブルファイ
ル１４をサーチして、該当する機械語命令テーブルを選
択する。次に、アドレス出力手段２に制御を移す。

【００１４】そこで、アドレス出力手段２は、機械語命
令テーブルの各モジュールの先頭アドレスと、機械語命
令テーブル選択手段９によって選択された機械語命令テ
ーブル内のアドレスとを外部ファイルであるアドレステ
ーブル３に出力する。機械語命令テーブル選択手段９の
サーチは、機械語命令テーブルへのアドレスを機械語命
令単位に更新していくことによっておこなわれるので、
サーチしたときに条件が一致したアドレスを出力する。
機械語命令テーブルの各モジュールの先頭アドレスは、
相対アドレス計算手段１１によって参照される。アドレ
ス出力手段２が終了したら、中間語入力手段８に制御を
戻す。

【００１５】一方、名標テーブル作成手段６は、コンパ
イラとは別に動作する。各々の機械語命令テーブルのモ
ジュール単位に、その処理内容がすぐわかる名標がつけ
られている。名標テーブル作成手段６は、機械語命令テ
ーブルをコンパイルする際に出力した機械語命令テーブ
ルマップリスト１８を基に、名標やその相対アドレスだ
けを残し、不必要な部分を削除して名標とその相対アド
レスとの対応表を作り、それを名標テーブル４として外
部ファイルに出力する。

【００１６】次に、網羅度チェック手段５は、コンパイ
ラ１によって出力されたアドレステーブル３と名標テー
ブル４とを入力し、参照された機械語命令テーブルの一
覧表１７を出力する一連の動作を制御する。最初に、ア
ドレステーブル入力手段１０に制御を移す。アドレステ
ーブル入力手段１０は、コンパイラ１によって出力され
たアドレステーブル３を逐次読み込み、相対アドレス計
算手段１１に制御を移す。ただし、アドレステーブル３
を読み終えた場合には、参照機械語命令テーブル一覧出
力手段１３に制御を移す。

【００１７】そして、相対アドレス計算手段１１では、
アドレステーブル３の機械語命令テーブルへの絶対アド
レスを各モジュールの相対アドレスへ変換する。機械語
命令テーブルは四則演算，比較，代入等の動作に応じて
各々のモジュールに分けられている。そして、アドレス
出力手段２で出力された機械語命令テーブルへのアドレ
スは、絶対アドレスになっている。相対アドレス計算手
段１１では、各モジュールの先頭アドレスをアドレステ
ーブル３から入力し、絶対アドレスと各々のモジュール
の先頭アドレスとを比較し、モジュールを決定する。次
に、そのモジュールの先頭アドレスから、絶対アドレス
をそのモジュールの相対アドレスに変換する。次に、参
照判定手段１２に制御を移す。

【００１８】そこで、参照判定手段１２では、名標テー
ブル４を読み込み、相対アドレス計算手段１１で求めた
相対アドレスより、名標テーブル４をサーチする。名標
テーブル４は、機械語命令テーブルのモジュールごと
に、名標とその相対アドレスとの対応をとったテーブル
である。参照判定手段１２では、はじめに名標テーブル
４を読み込み、名標に対応して参照フィールド１９を設
ける。この参照フィールド１９は、すべてオフにしてお
く。次に、相対アドレス計算手段１１で決定されたモジ
ュールと相対アドレスとを基に名標テーブルを読み、相
対アドレスと一致する名標をサーチする。サーチされた
名標に対応する参照フィールド１９を参照し、オフであ
れば、参照フィールド１９をオンにする。対応する参照
フィールド１９が、オンであれば、そのままにしてお
く。再び、アドレステーブル入力手段１０に制御を移
し、以上をアドレステーブル３を全部読み終えるまで繰
り返す。

【００１９】最後に、参照機械語命令テーブル一覧出力
手段１３は、名標テーブル４の参照フィールド１９を参
照し、名標とその機械語命令テーブルのモジュールの各
内容とが参照されたかどうかを一覧表１７として出力す
る。

【００２０】

【発明の効果】以上説明したように、本発明の機械語命
令テーブル参照テスト網羅度チェック方式は、機械語命
令テーブルを参照することによって機械語命令を生成す
るコンパイラで、コンパイラの性能および品質に大きく
影響する機械語命令テーブルの参照情報を簡単にすばや
く出力することができるという効果を有している。ま
た、これにより、未参照の機械語命令テーブルのテスト
が行えるようにテストプログラムを追加するなど、機械
語命令テーブルに関するテストが、より効率的により確
実に行えることにより、コンパイラの十分な品質を保証
することが可能になるという効果を有している。

【図面の簡単な説明】

【図１】本発明の機械語命令テーブル参照テスト網羅度
チェック方式の一実施例を示すブロック図である。

【図２】本実施例の処理の一例を示す流れ図である。

【符号の説明】

１ コンパイラ ２ アドレス出力手段 ３ アドレステーブル ４ 名標テーブル ５ 網羅度チェック手段 ６ 名標テーブル作成手段

Claims (1)

【特許請求の範囲】
1. 【請求項１】 コンパイラのオブジェクト生成部のテス
   トにおける機械語命令テーブル参照テスト網羅度チェッ
   ク方式において、オペランドの条件に応じて出力すべき
   機械語命令をテーブル化し、その機械語命令テーブルを
   参照することによって機械語命令を生成する場合に、参
   照された前記機械語命令テーブルの各モジュール単位の
   先頭アドレスおよび参照された前記機械語命令テーブル
   のアドレスのテーブルであるアドレステーブルと、四則
   演算等に分類された前記機械語命令テーブルのモジュー
   ル単位に対してその処理内容がすぐわかるようにつけら
   れた名標および前記機械語命令テーブルのモジュール単
   位内の相対アドレスの対応をとった名標テーブルと、前
   記名標テーブルを作成する名標テーブル作成手段と、前
   記アドレステーブルおよび前記名標テーブルを入力して
   参照された前記機械語命令テーブルの名標および相対ア
   ドレスの一覧表を出力するテスト網羅度チェック手段と
   を有することを特徴とする機械語命令テーブル参照テス
   ト網羅度チェック方式。