JP2000207226A - コ―ド最適化装置、言語処理装置及びコ―ド最適化方法 - Google Patents

Abstract

(57)【要約】 【課題】 プログラムのロードモジュールを生成する言
語処理系において、プログラムのコード上から不要なコ
ードを削除することによって、コードを最適化して、コ
ードの使用リソースの削減とともにコードの実行効率の
向上を実現する。 【解決手段】 入力されたプログラムのコード中で定義
されたシンボルが、生成すべきロードモジュールの実行
時に使用されるシンボルであるか否かを、各シンボルが
他のシンボルから参照されるか否かを示すシンボル参照
情報（８０、９０）に基づき判定するシンボル判定部
（３０、４０）と、判定結果に基づいて、入力されたプ
ログラムのコードから前記ロードモジュールの実行時に
使用されないシンボルに対応するコードを削除するコー
ド削除部５０とを具備する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明はコード最適化装置、
言語処理装置及びコード最適化方法に関する。特に、プ
ログラムのロードモジュールを生成する言語処理系にお
いて、プログラムのコード上から不要なコードを削除す
ることによって、コードを最適化して、コードの使用リ
ソースの削減とともにコードの実行効率の向上を実現す
るための技術に関する。

【０００２】

【従来の技術】一般に、プログラムのコードは、作成さ
れた後、所望する機能の確認のためにテストおよびデバ
ッグが繰り返し行われる。このテスト・デバッグにより
正常稼働が確認された後に、コンパイラやアセンブラな
ど、コードの言語体系に応じた言語処理システムを用い
て、プログラムソースから最終的なロードモジュールが
生成される。

【０００３】また、これらのプログラムコードの作成お
よびデバッグの過程においては、必要に応じ、プログラ
ムコードの文法チェックを行なうシンタックス・チェッ
カーなどのツールが使用されていた。

【０００４】

【発明が解決しようとする課題】しかしながら、従来の
言語処理システムには、以下の問題点があった。

【０００５】即ち、最終的に得られたプログラムコード
の中には、プログラムソース作成当初またはテスト・デ
バッグ中にコーディングされながら実際には使用されな
いコードやデータ領域が多く含まれている。

【０００６】従来の言語処理システムはこれらのコード
やデータ領域もコードの一部として、コードの全体を入
力としてそのままロードモジュールを生成していた。こ
のため、生成されるプログラムコードのサイズが増大し
ていた。このコードサイズの増大は有限なコンピュータ
のＲＡＭメモリ・ＲＯＭメモリ・ディスク等のリソース
を圧迫する。又、プログラム自体の実行効率も低下させ
る。特に、マイコン用などの組み込み用のプログラム
は、リソースの制約が厳しい。このため、必要な機能が
十分搭載できない場合も生じていた。

【０００７】また、一般に、プログラムが複雑化・高度
化するに従って、プログラムの修正の頻度も多くなる。
このため、近年のプログラムの機能の複雑・高度化は、
不要なコードやデータ領域をより増大させ、全体のコー
ドサイズをより膨大なものとしていた。

【０００８】また、従来の言語処理システムで用いられ
ていたシンタックス・チェッカーは、単に与えられたプ
ログラムソースが各プログラミング言語の文法に従って
記載されているか否かをチェックするに過ぎない。従っ
て、ソース上でコメントアウトされた箇所など、プログ
ラマーが不要であると認識した上でコメント化した箇所
以外は、一意的にコードが不要であるか否かの判断をす
ることが不可能であった。

【０００９】以上のように、本発明は、ロードモジュー
ルの実行時に実際には使用されないコードやデータ領域
も含めてロードモジュールを生成していたために、コー
ドサイズが増大化していたという問題点を解決するため
になされたものである。

【００１０】そしてその目的とするところは、ロードモ
ジュールの実行時に実際には使用されないコードを予め
検出してこれらのコードを削除することで、コードサイ
ズを削減することを可能とするコード最適化装置、言語
処理装置およびコード最適化方法を提供することにあ
る。

【００１１】また、他の目的は、この使用されないコー
ドの削除を、オブジェクトモジュールのリンクの際に行
うことによって、迅速かつ簡易に、最適化されたロード
モジュールを得ることにある。

【００１２】

【課題を解決するための手段】上記の課題を達成するた
め、本発明は、コード上のデータやブロックに付与され
るシンボルに着目した。即ち、本発明の特徴は、このシ
ンボルの相互参照情報を生成して、この相互参照情報に
基づいて不要なコードを削除する点にある。

【００１３】換言すれば、この相互参照情報を用いて、
他のシンボルから参照されないシンボルを未使用シンボ
ルとし、このシンボルに対応するコード領域・データ領
域を未使用領域としてコードから削除する点を要旨とす
る。

【００１４】ここで、シンボルとは、プログラムのコー
ド上の変数などのデータに対して付与されるデータシン
ボルと、プログラムのコード上の１または複数の命令文
からなるコードブロックに対して付与されるコードシン
ボルとに大別される。これらのシンボルは、ソースプロ
グラムの作成の際や、デバッグの際に、コード上の実ア
ドレスを意識することなく、特定の変数や命令文への容
易なアクセスを可能としている。また、コード上でシン
ボルであるか否かは、プログラミング言語のそれぞれの
文法に基づいて容易に識別することができる。

【００１５】かかる機能を実現するために、請求項１の
発明は、入力されたプログラムのコード中で定義された
シンボルが、生成すべきロードモジュールの実行時に使
用されるシンボルであるか否かを判定するシンボル判定
部と、前記シンボル判定部の判定結果に基づいて、前記
入力されたプログラムのコードから前記ロードモジュー
ルの実行時に使用されないシンボルに対応するコードを
削除するコード削除部とを具備することを特徴とするも
のである。

【００１６】上記構成によれば、ロードモジュールの実
行時に使用されないシンボルに対応するコード領域・デ
ータ領域を、不要な領域として削除することが可能とな
る。つまり、実行すべき機能は維持したまま、コードサ
イズの削減が実現される。

【００１７】また、請求項２の発明は、前記シンボル判
定部は、少なくとも、前記ロードモジュールに包含され
るシンボルが他のシンボルから参照されるか否かを示す
シンボル参照情報を生成するシンボル参照情報生成手段
と、前記シンボル参照情報を保持するシンボル参照情報
記憶手段とを具備し、前記シンボル参照情報に基づき、
処理すべきシンボルが前記ロードモジュールに包含され
る他のいずれのシンボルからも参照されない場合に、該
シンボルを使用されないシンボルと判定することによ
り、シンボルの相互参照情報に基づいて容易に処理すべ
きシンボルが実行時に使用されるか否かを判定すること
を可能とする。

【００１８】また、請求項３の発明は、前記シンボル参
照情報は、入力されたプログラムのコード中のデータに
対して定義されたデータシンボルおよび／または前記コ
ード中の１または複数の命令文に対して定義されたコー
ドシンボルのそれぞれの属性情報と、前記コードシンボ
ルのそれぞれの、他のシンボルへの依存情報とからなる
ことにより、データシンボルおよびコードシンボルのい
ずれのシンボルについても、網羅的に使用されるシンボ
ルであるか否かを判定することを可能とする。

【００１９】また、請求項４の発明は、前記属性情報
は、少なくとも各シンボルの識別子、シンボルが前記プ
ログラムのコードの外部から参照されるか否かを示すシ
ンボルタイプ、シンボルが前記データシンボルまたは前
記コードシンボルのいずれであるかを示すシンボル種
別、シンボルの対応するコード領域、およびシンボルが
実行時に使用されるか否かを示す使用フラグのいずれか
１つ以上を含むことにより、処理すべきシンボルのタイ
プ・属性に応じて柔軟に使用の判定を行うことを可能と
する。

【００２０】また、請求項５の発明は、前記シンボル判
定部は、処理すべきシンボルが前記データシンボルであ
る場合には、前記依存情報を検索し、前記コードシンボ
ルに参照されるデータシンボルの前記使用フラグを、使
用を示す値に設定することにより、不要なデータシンボ
ルに関連する不要なデータ領域の削除を容易に行うこと
を可能とする。

【００２１】また、請求項６の発明は、前記シンボル判
定部は、前記属性情報の使用フラグが使用の値を示す前
記コードシンボルについてのみ、さらに該コードシンボ
ルに参照される前記データシンボルの前記使用フラグの
設定を行うことにより、最終的に使用される可能性のあ
るデータシンボルのみについて使用の判定を行うことを
可能とする。従って、より効率よく不要なデータ領域の
削除が実現される。

【００２２】また、請求項７の発明は、前記シンボル判
定部は、処理すべきシンボルが前記コードシンボルであ
る場合には、前記依存情報を検索し、他のコードシンボ
ルに参照される前記コードシンボルの前記使用フラグ
を、使用を示す値に設定することにより、不要なコード
シンボルに関連する不要なコード領域の削除を容易に行
うことを可能とする。

【００２３】また、請求項８の発明は、前記シンボル判
定部は、前記コードシンボルの直前の命令が無条件分岐
命令である場合に、該コードシンボルの使用の判定を行
うことにより、他のシンボルから参照されなければ使用
される可能性のないコードシンボルを予め抽出すること
が可能となる。従って、より効率よく不要なコード領域
の削除が実現される。

【００２４】また、請求項９の発明は、入力されたプロ
グラムのコード中で定義されたシンボルが、生成すべき
ロードモジュールの実行時に使用されるシンボルである
か否かを判定するシンボル判定部と、前記シンボル判定
部の判定結果に基づいて、前記入力されたプログラムの
コードから前記ロードモジュールの実行時に使用されな
いシンボルに対応するコードを削除するコード削除部
と、前記コード削除部が出力するコードからロードモジ
ュールを生成するロードモジュール生成部とを具備する
ことを特徴とする。

【００２５】上記構成によれば、コード最適化の機能を
リンカが行うロードモジュールの生成の際に、同時に行
うことを可能とする。従って、既存の言語処理システム
などに容易にコード最適化機能を組み込んで、迅速に最
適化されたロードモジュールを得ることができる。

【００２６】さらに、請求項１０の発明は、入力された
プログラムのコード中で定義されたシンボルが、生成す
べきロードモジュールの実行時に使用されるシンボルで
あるか否かを判定するシンボル判定ステップと、前記シ
ンボル判定ステップの判定結果に基づいて、前記入力さ
れたプログラムのコードから前記ロードモジュールの実
行時に使用されないシンボルに対応するコードを削除す
るコード削除ステップとを具備することを特徴とする。

【００２７】上記構成によれば、ロードモジュールの実
行時に使用されないシンボルに対応するコード領域・デ
ータ領域を、不要な領域として削除することが可能とな
る。つまり、実行すべき機能は維持したまま、コードサ
イズの削減が実現される。

【００２８】また、請求項１１の発明は、プログラムの
コード中で定義されたシンボルを抽出するシンボル抽出
ステップと、該抽出されたシンボルの属性情報および該
シンボルが生成すべきロードモジュールの実行時に使用
されるか否かを示す使用フラグを記録するシンボル属性
情報テーブルを生成するシンボル属性情報テーブル生成
ステップと、前記抽出されたシンボル中で前記コード中
の１または複数の命令文に対して定義されたコードシン
ボルが参照する他のシンボル情報を記録するシンボル依
存情報テーブルを生成するシンボル依存情報テーブル生
成ステップと、前記シンボル依存情報テーブルを検索
し、他のコードシンボルから参照されるコードシンボル
の前記使用フラグを使用を示す値に設定するコードシン
ボル使用判定ステップと、前記シンボル依存情報テーブ
ルを検索し、コードシンボルから参照されるコード中の
データに対して定義されたデータシンボルの前記使用フ
ラグを使用を示す値に設定するデータシンボル使用判定
ステップと、前記使用フラグが未使用を示す値のシンボ
ルに対応するコードを削除するコード削除ステップとを
含むことを特徴とする。

【００２９】上記構成によれば、ロードモジュールの実
行時に使用されないシンボルに対応するコード領域・デ
ータ領域を、不要な領域として削除することが可能とな
る。つまり、実行すべき機能は維持したまま、コードサ
イズの削減が実現される。

【００３０】さらに、請求項１２の発明は、コンピュー
タに、入力されたプログラムのコード中で定義されたシ
ンボルが、生成すべきロードモジュールの実行時に使用
されるシンボルであるか否かを判定させるシンボル判定
ステップと、前記シンボル判定ステップの判定結果に基
づいて、前記入力されたプログラムのコードから銭ロー
ドモジュールの実行時に使用されないシンボルに対応す
るコードを削除させるコード削除ステップとを含むこと
を特徴とする。

【００３１】上記構成によれば、ロードモジュールの実
行時に使用されないシンボルに対応するコード領域・デ
ータ領域を、不要な領域として削除することが可能とな
る。つまり、実行すべき機能は維持したまま、コードサ
イズの削減が実現される。

【００３２】また、請求項１３の発明は、コンピュータ
に、プログラムのコード中で定義されたシンボルを抽出
させるシンボル抽出ステップと、該抽出されたシンボル
の属性情報および該シンボルが生成すべきロードモジュ
ールの実行時に使用されるか否かを示す使用フラグを記
録するシンボル属性情報テーブルを生成させるシンボル
属性情報テーブル生成ステップと、前記抽出されたシン
ボル中で前記コード中の１または複数の命令文に対して
定義されたコードシンボルが参照する他のシンボル情報
を記録するシンボル依存情報テーブルを生成させるシン
ボル依存情報テーブル生成ステップと、前記シンボル依
存情報テーブルを検索させ、他のコードシンボルから参
照されるコードシンボルの前記使用フラグを使用を示す
値に設定させるコードシンボル使用判定ステップと、前
記シンボル依存情報テーブルを検索させ、コードシンボ
ルから参照されるコード中のデータに対して定義された
データシンボルの前記使用フラグを使用を示す値に設定
させるデータシンボル使用判定ステップと、前記使用フ
ラグが未使用を示す値のシンボルに対応するコードを削
除させるコード削除ステップとを含むことを特徴とす
る。

【００３３】上記構成によれば、ロードモジュールの実
行時に使用されないシンボルに対応するコード領域・デ
ータ領域を、不要な領域として削除することが可能とな
る。つまり、実行すべき機能は維持したまま、コードサ
イズの削減が実現される。

【００３４】

【発明の実施の形態】以下、図面を用いて、本発明の実
施形態を詳細に説明する。

【００３５】第１の実施形態 第１の実施形態は、内部定義および外部定義のデータシ
ンボル並びに内部参照されるコードシンボルに対応する
未使用コードを削除する機能を提供するものである。こ
こで、内部定義のデータシンボルとは、例えば図６に示
すＳ１、Ｓ２、Ｓ４、Ｓ６のように、プログラムのコー
ドの内部で定義され、内部でのみ使用されるデータシン
ボルをいう。外部定義のデータシンボルとは、例えば図
６に示すＳ３、Ｓ５のように、プログラムのコードの外
部で定義され、他のコードからも使用されるデータシン
ボルをいう。また、内部参照のコードシンボルとは、例
えば図８（ａ）のＬ１、Ｌ２、Ｌ３のように、プログラ
ムの内部で定義され、内部でのみ使用されるコードシン
ボルをいう。第１の実施形態において、この未使用コー
ドの削除は、複数のリロケータブルオブジェクトから１
つのロードモジュールを生成するリンクの際に行われ
る。

【００３６】図１に示すように、本発明の第１の実施形
態に係るコード最適化装置１は、ソースプログラム７０
が入力されるソースプログラム入力部１０と、入力され
たソースプログラムのコードを解析し、シンボルおよび
各シンボルに関連する情報を抽出するシンボル情報解析
部２０と、抽出されたシンボル情報をシンボル定義情報
テーブル８０・シンボル依存情報テーブル９０に対して
登録するシンボルテーブル作成部３０と、シンボルテー
ブルにアクセスしてロードモジュール中で使用されない
未使用シンボルを検索する未使用シンボル検索部４０
と、未使用シンボルに対応する未使用コード領域を削除
するコード削除部５０と、未使用コード領域削除後のコ
ードからロードモジュールを生成し、最適化されたコー
ド９２を出力する最適化コード出力部６０とにより構成
される。

【００３７】尚、シンボル定義情報テーブル８０および
シンボル依存情報テーブル９０は、関係型データベース
・メモリ上のデータテーブルなど、アクセスのタイミン
グ・データ規模に応じて任意の配置場所・編成方式とす
ることが可能である。例えば、ソースプログラム入力部
１０・シンボル情報解析部２０・シンボルテーブル作成
部３０をアセンブラまたはコンパイラに実装し、他方未
使用シンボル検索部４０・コード削除部５０・最適化コ
ード出力部６０をリンカに実装する場合には、アセンブ
ラとリンカの処理タイミングは一般に異なる。このた
め、各テーブルを外部記憶装置上の関係型データベース
などに配置することが好ましい。一方、ソースプログラ
ム入力部１０・シンボル情報解析部２０・シンボルテー
ブル作成部３０・未使用シンボル検索部４０・コード削
除部５０・最適化コード出力部６０を専用のオプティマ
イザーやアセンブラまたはコンパイラなどに一括して実
装する場合には、処理効率の向上のため、メモリ上にこ
れらのテーブルを展開することが好ましい。尚、各テー
ブルの内容詳細は後述される。

【００３８】次に、第１の実施形態におけるハードウエ
ア構成を説明する。第１の実施形態に係るコード最適化
装置１およびこのコード最適化装置を含む言語処理装置
の実施には、以下で説明する処理を実現するプログラム
を作成し、この作成したプログラムをロードすることで
これらの処理を実行可能とするコンピュータシステムを
用いる。このコンピュータシステムには、いわゆる汎用
機、ワークステーション、ＰＣ、ＮＣ（Netowork Compu
ter）等が含まれる。第１の実施形態で用いるコンピュ
ータのハードウエアは、各種処理を行うためのＣＰＵ
と、プログラムメモリ・データメモリ等のメモリと、Ｆ
Ｄ・ＣＤ等の外部記憶装置と、キーボード・マウス等の
入力装置と、ディスプレー・プリンタ等の出力装置とを
備える。

【００３９】さらに、第１の実施形態を実施するコンピ
ュータシステムは、単一のコンピュータであってもよ
く、また例えばローカルまたはリモートにネットワーク
接続されたサーバーマシンとクライアントマシンとによ
り構成されてもよい。ソフトウエアの開発規模や開発人
員構成に応じて、ソースプログラム７０、最適化コード
９２、シンボル定義情報テーブル８０、シンボル依存情
報テーブル９０などの各データや言語処理システム自体
を適宜サーバーマシン上に配置してもよい。

【００４０】尚、上述したコード最適化装置を実現する
ためのプログラムは、各種記憶媒体に保存することがで
きる。かかる記憶媒体を、上記ハードウエアを具備する
コンピュータが読み出し、当該プログラムを実行するこ
とにより、本発明を実施することができる。ここで記憶
媒体とは、例えばメモリ・磁気ディスク・光ディスク
等、プログラムを記憶することができ、かつコンピュー
タが読みとることが可能な記憶媒体であれば、その記憶
形式はいずれの形態であってもよい。

【００４１】第１の実施形態は上記のように構成されて
おり、以下その処理の流れを順に説明する。

【００４２】まず、処理内容の説明に先立って、第１の
実施形態と言語処理システムとの関連を説明する。

【００４３】図１６に示すように、言語処理システムに
おいては、一般にまず仕様に従ってソースプログラム１
００を記述する（Ｓ１００）。このソースプログラム１
００がアセンブラ言語で記述されている場合にはアセン
ブラが、一方ソースプログラム１００が高級言語で記述
されている場合にはコンパイラが、オブジェクトプログ
ラム（モジュール）１１０を生成する（Ｓ１１０）。こ
の１または複数のオブジェクトプログラム１１０を入力
としてリンカが実行可能なロードモジュール１２０を生
成する（Ｓ１２０）。尚、ソースプログラム１００が例
えばＣ言語におけるinclude文などにより外部にあるデ
ータ定義領域などを取り込んでいる場合には、ソースプ
ログラムのコンパイル（Ｓ１１０）の前に、プリコンパ
イラなどによりinclude文を展開ステップが挿入され
る。

【００４４】この言語処理システムにおいて、第１の実
施形態は、図１のソースプログラム入力部１０・シンボ
ル情報解析部２０・シンボルテーブル作成部３０の行う
各ソースプログラムに対応するシンボル定義情報テーブ
ル８０およびシンボル依存情報テーブル９０の作成を、
アセンブルのステップ（Ｓ１１０）で行う。一方、図１
の未使用シンボル検索部４０・コード削除部５０・最適
化コード出力部６０の行うシンボル定義情報テーブル８
０およびシンボル依存情報テーブル９０に基づく未使用
シンボルの検索および未使用コードの削除を、リンクの
ステップ（Ｓ１２０）で行う。尚、以下において、特に
説明しない限り、ソースプログラムのプログラミング言
語はアセンブラとして説明する。

【００４５】次に、第１の実施形態の行う不要コード削
除の処理の概略をシンボルの種類に応じて説明する。

【００４６】（１）データシンボルに対応したコード削
除処理 図６に示すように、まずアセンブラで記述された３つの
ソースプログラム（prog1.asm,prog2.asm,prog3.asm）
をそれぞれアセンブルして対応する３つの再配置可能な
オブジェクトプログラム（prog1.rel,prog2.rel,prog3.
rel）を生成し、次にこれら３つのオブジェクトプログ
ラム（prog1.rel,prog2.rel,prog3.rel）をリンクして
１つのロードモジュールを生成する場合を想定する。図
６に示すように、prog1.asm中ではＳ１およびＳ２が変
数を定義するデータシンボルとして記述されている。同
様に、prog2.asm中ではＳ３およびＳ４が、prog3.asm中
ではＳ５およびＳ６がそれぞれ変数を定義するデータシ
ンボルとして記述されている。

【００４７】尚、extern文により、prog3.asm中で定義
されるＳ５、Ｓ６は、外部（即ち、prog2.asmの外部コ
ードであるprog3.asm）から定義される外部変数シンボ
ルであり、prog1.asmがＳ３を、prog2.asmがＳ５をそれ
ぞれ外部変数として定義して参照していることが理解さ
れる。

【００４８】このアセンブルの際に、ソースプログラム
中のシンボル（Ｓ１、Ｓ２、Ｓ３、Ｓ４、Ｓ５、Ｓ６）
が抽出され、この抽出されたシンボルの定義情報が図７
に示すシンボル定義情報テーブルに登録される。図７の
シンボル定義情報テーブルは、少なくとも入力されたプ
ログラム上で定義された全シンボルの識別子と当該シン
ボルがプログラム中で実際に使用されるか否かを示す使
用フラグとを含む。尚、アセンブルの際には、図７のシ
ンボルテーブル中の各シンボルの使用フラグは、すべて
初期値である”未使用”状態にセットされている。尚、
図７のシンボル定義情報テーブルは理解のために図１に
示すシンボル定義情報テーブル８０を簡略化して示した
ものであり、該テーブルの項目の詳細は後述される。

【００４９】次に、３つのオブジェクトプログラムをリ
ンクする際に、リンクされる３つのオブジェクトプログ
ラム中のシンボル間の相互参照の情報が検索され、他の
シンボルから参照されるシンボルの使用フラグには”使
用”の値がセットされる。図６の３つのソースコード間
では、シンボルＳ２、Ｓ３、Ｓ４、Ｓ５、Ｓ６は他のシ
ンボルから参照されるため、これらのシンボルの使用フ
ラグが”使用”に置き換えられる。従って、使用フラグ
が”未使用”であるデータシンボルＳ１に対応するデー
タ領域（”s1 db 11”のステートメントに対応するデー
タ領域）がコードから削除され、削除後のコードにより
ロードモジュールが生成される。即ち、リンカは、図７
のシンボル定義情報テーブル内の使用フラグをセット
し、かつシンボル定義情報テーブルを用いて、各オブジ
ェクトで定義されているデータシンボル（Ｓ１、Ｓ２、
Ｓ３、Ｓ４、Ｓ５、Ｓ６）が、実際にロードモジュール
中で使用されるシンボルであるか否かを使用フラグを用
いてチェックする。リンカは、この使用フラグに従い、
使用されないシンボルが検出された場合には、このデー
タシンボルに対応するデータ領域はリンクの対象外とす
ることで、使用されない不要なコードを削除する。

【００５０】（２）コードシンボルに対応したコード削
除処理 図８（ａ）に示すアセンブラコードを、第１の実施形態
を用いて処理した場合を想定する。図８（ａ）に示すよ
うに、Ｌ１、Ｌ２、Ｌ３のシンボルがそれぞれコード中
の各ブロックに付与された内部コードシンボルである。
尚、コードシンボルの使用フラグのセットにおいては、
データシンボルの場合のような他のコードシンボルから
の相互参照情報の他に、当該コードシンボルの直前の命
令の種類が考慮される。例えば、図８（ａ）のＬ１、Ｌ
２、Ｌ３の内部コードシンボルの内でＬ１の直前の命令
は、”jump L2”の無条件分岐命令である。従って、Ｌ
１のブロックは、他のブロック中で参照されない限り、
分岐されて処理されることはないブロックであることが
理解される。図８（ａ）のコード中では、Ｌ１は他のブ
ロックから参照されていない。このため、図９に示すよ
うに、オブジェクトプログラムのリンクの際に、シンボ
ル定義情報テーブル８０中ではＬ１のシンボルの使用フ
ラグは”未使用”の値がセットされる。他方、コードシ
ンボルの直前の命令が無条件分岐命令でない場合には、
たとえ他から参照されなくとも実行時に制御が渡る可能
性がある。このため、当該コードシンボルの使用フラグ
は、一律”使用”の値にセットされる。

【００５１】次に、”未使用”状態であるＬ１のシンボ
ルに後続するコードブロックＢ１が削除され、図８
（ｂ）に示す削除後のコードによるロードモジュールが
生成される。

【００５２】尚、上記ではアセンブラのソースコードの
場合を説明したが、以下にＣ言語のソースコードの場合
を説明する。図１２（ａ）に示されるソースコードを第
１の実施形態を用いて処理した場合を想定する。

【００５３】図１２（ａ）のソースプログラム上では、
add＿a＿b、str＿cpy、およびmul＿a＿bがそれぞれ１つ
のシンボルブロックに対応する関数シンボルである。図
１２（ａ）のソースプログラム上では、最初の関数シン
ボルadd＿a＿bの宣言位置から次に出現する関数シンボ
ルstr＿cpyの宣言位置までが１つのシンボルブロックを
形成する。str＿cpy以下も同様に、ある外部シンボルの
宣言位置から次の外部シンボルの宣言位置までがそれぞ
れ１つのシンボルブロックを形成する。

【００５４】シンボルテーブル作成部３０は、各ソース
プログラム毎に、１つのシンボル定義情報テーブル８０
を作成する。図１３にシンボル定義情報テーブル８０の
内容を示す。図１３から理解されるように、図１２
（ａ）のソースプログラム内で宣言されるすべての関数
シンボルの名称add＿a＿b、str＿cpy、およびmul＿a＿b
と各シンボルの使用フラグが定義されている。図１３
は、図１２（ａ）に基づいて作成されたシンボル定義情
報テーブル８０の内容を示す。add＿a＿bおよびmul＿a
＿bの関数のコードシンボルの使用フラグは”使用”の
値がセットされている。一方、str＿cpyの関数のコード
シンボルの使用フラグは”未使用”の値がセットされて
いる。

【００５５】次に、”未使用”状態であるstr＿cpyの関
数のコードシンボルに後続するコードブロックＢ３が削
除され、図１２（ｂ）に示す削除後のコードによるロー
ドモジュールが生成される。

【００５６】次に、不要なコードの判定処理に関し、主
にシンボルテーブル作成部３０および未使用シンボル検
索部４０が行う処理の詳細を説明する。

【００５７】（３）アセンブルの際の処理 まず、ソースプログラムのアセンブルの際に行われるシ
ンボルテーブル作成部３０の処理の詳細について、図２
に示すフローチャートに基づき、以下に説明する。

【００５８】図２に示すように、まずＳ１０は、ソース
プログラム７０を読み込む。Ｓ２０は、入力されたソー
スプログラム７０の字句をソースプログラムのプログラ
ミング言語の言語体系に従って解析する。Ｓ３０は、Ｓ
２０の解析結果に従い、ソースプログラム中で定義され
たシンボル情報を抽出する。Ｓ３２は、抽出されたシン
ボル情報をシンボル定義情報テーブル８０に登録する。

【００５９】図４は、シンボル定義情報テーブル８０の
各シンボルごとのエントリーの詳細の一例を示す図であ
る。図４に示すように、シンボル定義情報テーブル８０
は、抽出された各シンボルごとに、シンボル名２、シン
ボルタイプ３、シンボル種別４、格納アドレス５、シン
ボルインデックス６、および使用フラグ７の各項目を有
する。シンボル名２は、プログラム中で定義されている
シンボルの名称を示す。シンボルタイプは、データシン
ボルの場合当該シンボルが同一のコード内部で定義され
る内部定義シンボルであるか、または外部のコードで定
義されこの外部定義をコード内で宣言することで参照可
能とされる外部定義シンボルであるかのいずれかを示
す。また、コードシンボルの場合、当該シンボルが同一
のコード内部でしか参照されない内部参照シンボルであ
るか、外部のコードから参照される外部参照シンボルで
あるかのいずれかを示す。尚、ここで同一のコードと
は、特に説明しない限り同一のソースコード（例えば図
６のprog1.asm,prog2.asm,prog3.asmのそれぞれ）をい
う。

【００６０】シンボル種別４は、当該シンボルがデータ
に対して定義されたデータシンボル（例えば、図６のＳ
１、Ｓ２、Ｓ３、Ｓ４、Ｓ５、Ｓ６）であるか、コード
に対して定義されたコードシンボル（例えば、図８
（ａ）のＬ１、Ｌ２、Ｌ３）であるかのいずれかを示
す。格納アドレス５は、当該アドレスに対応するコード
領域のスタートアドレスおよび終了アドレスを示す。
尚、格納アドレス５は、マイコン用プログラムなどでＲ
ＯＭ上などに固定的に格納されるアブソリュートオブジ
ェクトモジュールであれば、絶対アドレスを用いて記述
されてよい。一方、再配置可能なモジュールであれば、
モジュールのエントリーアドレスからの相対アドレスを
用いて記述されてよい。シンボルインデックス６は、後
述するシンボル依存情報テーブル９０などから参照され
る各シンボルについての識別子であるが、直接シンボル
名２が参照される場合には不要となる。使用フラグ７
は、当該シンボルが他のシンボルから参照されるか否か
を示すフラグであり、アセンブルの段階では初期値であ
る”未使用”状態にセットされている。

【００６１】図４では、ｇｌｏｂ１、Ｌ１、ｆｕｎｃ
１、ｉｎ１の４つのシンボルのエントリーがそれぞれ登
録されている。

【００６２】次に、Ｓ３４は、さらに各コードシンボル
が他のどのシンボルを参照しているかを示すシンボル依
存情報を抽出する。コードシンボルは、コード中の１つ
のラベルから次のラベルまでを１つのシンボルブロック
として、各シンボルブロックに付与されたシンボルであ
る。図８（ａ）では、Ｌ１、Ｌ２、Ｌ３がそれぞれ該当
する。これらのコードシンボルの付与されたシンボルブ
ロック中で、他のコードシンボルやデータシンボルを参
照していた場合には、当該コードシンボルと参照される
コードシンボル・データシンボルとは依存関係を有す
る。

【００６３】Ｓ３６は、抽出されたシンボル依存情報に
従って、シンボル依存情報テーブル９０を生成する。図
５に示すように、シンボル依存情報テーブル９０は、シ
ンボルインデックス２２と各コードシンボルに包含され
る（即ち、各コードシンボルのシンボルブロック中で参
照される）シンボルインデックス２３の項目を有する。
図５では、シンボルＳ２は、Ｓ５およびＳ６のシンボル
を参照し、シンボルＳ３はＳ７のシンボルを参照するこ
とが依存情報として登録されている。

【００６４】（４）リンクの際の処理 次に、オブジェクトプログラムのリンクの際に行われる
未使用シンボル検索部４０およびコード削除部５０の処
理の詳細について、図３のフローチャートに基づき、以
下に説明する。

【００６５】図３に示すように、Ｓ４０は、アセンブラ
の出力を読み込む。Ｓ４２は、複数のオブジェクトプロ
グラムを１つのロードモジュールにリンクする場合に
は、各オブジェクトプログラムごとに作成されたシンボ
ル定義情報テーブル８０を１つのシンボル定義情報テー
ブル８０に結合する。同様に、Ｓ４４は、複数のオブジ
ェクトプログラムをリンクする場合には、各オブジェク
トプログラムごとに作成されたシンボル依存情報テーブ
ル９０を１つのシンボル依存情報テーブル９０に結合す
る。

【００６６】Ｓ４６は、結合されたシンボル依存情報テ
ーブル９０上で、包含されるシンボル２３に登録されて
いるシンボルインデックス中のコードシンボルを検索す
る。この検索されたコードシンボル中で、シンボルを含
む命令文の直前の命令文が無条件分岐命令であるコード
シンボルが抽出される。Ｓ４６は、シンボル定義情報テ
ーブル８０中の抽出されたコードシンボルに対応するシ
ンボルインデックス６のエントリーの使用フラグ７を”
使用”状態にセットする。一方、全てのコードシンボル
の中で直前の命令文が無条件分岐命令以外の命令である
コードシンボルの使用フラグ７は、包含されるシンボル
２３に登録されているか否かに拘わらず”使用”にセッ
トされる。

【００６７】尚、コードシンボルであるかデータシンボ
ルであるかは、シンボル定義情報テーブル８０中の対応
するシンボルインデックスのシンボル種別４を検索する
ことにより判定される。このＳ４６の処理により、コー
ドシンボルの使用フラグがシンボル間の相互参照情報に
従ってセットされる。

【００６８】Ｓ４８は、シンボル定義情報テーブル８０
中で、使用フラグ７が”使用”状態にセットされている
コードシンボルに関し、対応するシンボル依存情報テー
ブル９０中の包含されるシンボル２３に登録されている
データシンボルを検索する。Ｓ４８は、このデータシン
ボルのシンボルインデックス６に対応するエントリーの
使用フラグ７を”使用”状態にセットする。このＳ４８
の処理により、データシンボルの使用フラグがシンボル
間の相互参照情報に従ってセットされる。尚、コードシ
ンボルに包含されるデータシンボルの検索において、必
ずしも”使用”状態のコードシンボルのみを検索対象と
することを要さない。シンボル依存情報テーブル９０の
すべてのエントリーを検索してもよい。但し、未使用の
コードシンボルが参照するデータシンボルは結局実行時
に参照されることはない。従って、検索対象を”使用”
状態のコードシンボルに限定することによって、データ
シンボル使用のチェックを効率よく実行することが可能
となる。

【００６９】最後にＳ５０は、シンボル定義情報テーブ
ル８０上で使用フラグ７が”未使用”状態であるシンボ
ルに対応するコード部分を格納アドレス５から求め、入
力されたアセンブラ出力のコードから該当するアドレス
のコード部分を削除して削除後の最適化されたコードを
出力する。

【００７０】第１の実施形態によれば、以下のような効
果が得られる。

【００７１】すなわち、アセンブル段階で、各ソースプ
ログラムに対応したシンボルを抽出して、各シンボルの
種別、対応アドレス等のシンボル情報を記録するシンボ
ル定義情報テーブル８０を作成する。また、抽出された
シンボル中のコードシンボルについてコードシンボルに
包含されるコードシンボルおよびデータシンボルの対応
関係を記録するシンボル依存情報テーブル９０を作成す
る。また、リンク段階で、シンボル依存情報テーブル９
０およびシンボル定義情報テーブル８０のシンボル間の
相互参照情報を用いて、各シンボルが他のシンボルから
参照される場合に、当該シンボルを”使用”状態にセッ
トする。これにより、ロードモジュールを生成する際
に、”未使用”状態であるシンボルに対応するコードを
削除することによって、与えられたコード中の不要なコ
ードを削除した最適化コードを容易にえることが可能と
なる。

【００７２】不要なコードシンボルの削除によって、主
にロードモジュールの実行に係るＲＯＭ領域が削減でき
る。他方、不要なデータシンボルの削除によって、主に
ロードモジュールの実行に係るＲＡＭ領域が削減でき
る。

【００７３】また、これらの未使用シンボルの検出およ
び未使用シンボルに対応するコードの削除を、既存の言
語処理システムのリンカなどの処理に組み込むことによ
って、言語処理の処理効率を損なうことなく、迅速かつ
容易に最適化コードを得ることができる。

【００７４】尚、第１の実施形態は、アセンブラ言語で
作成されたコードの例を説明したが、第１の実施形態は
他の言語、例えばＣ言語などの高級言語にも適用できる
ことは言うまでもない。即ち、第１の実施形態は、アセ
ンブラのみならず、他の高級言語で記述されたソースプ
ログラムにもこれらの言語体系に応じてシンボル情報抽
出などを行うことで適用できる。予めシンボルを付与し
てコーディングされたソースプログラムであれば、いか
なる言語体系のソースプログラムに対してでも第１の実
施形態を適用することができる。また、アセンブラ、リ
ンカなどの言語処理システムの一部に実装されてもよい
が、専用の最適化ツールとして実施できることも言うま
でもない。また、シンボル定義情報テーブル８０および
シンボル依存情報テーブル９０は、１つのテーブルとし
て編成されてもよい。

【００７５】第２の実施形態 以下、本発明の第２の実施形態において、第１の実施形
態と異なる点についてのみ、図面を用いて詳細に説明す
る。

【００７６】第２の実施形態は、第１の実施形態の内部
コードシンボルの使用フラグの情報に基づいて、アセン
ブラソースプログラム中の外部参照されるコードシンボ
ルに対応する未使用コードを削除する機能を提供するも
のである。

【００７７】第２の実施形態において、この未使用コー
ドの削除は、複数のリロケータブルオブジェクトから１
つのロードモジュールを生成するリンクの際に行われ
る。

【００７８】第２の実施形態の機能構成（図１）および
ハードウエア構成は、第１の実施形態と同様であるた
め、説明は省略される。

【００７９】以下、第２の実施形態に係るコード最適化
装置および方法の処理の流れにつき説明する。以下で
は、図２のＳ１０が、図１０に示されるアセンブラのソ
ースプログラムを読み込んだ場合を例として説明する。

【００８０】図２のフローチャートに示される処理手順
に従い、シンボルテーブル作成部３０は、シンボル定義
情報テーブル８０およびシンボル依存情報テーブル９０
を作成する。図１０のソースプログラム上では、＿ｆｕ
ｎｃ１、＿ｆｕｎｃ２、および＿ｆｕｎｃ３がそれぞれ
１つのシンボルブロックに対応する外部シンボルであ
る。シンボル＿ｆｕｎｃ１、＿ｆｕｎｃ２、および＿ｆ
ｕｎｃ３はともに、publicステートメントで宣言されて
いることから、外部シンボルとして用いられることが理
解される。図１０のソースプログラム上では、最初の外
部シンボル＿ｆｕｎｃ１の宣言位置から次の外部シンボ
ル＿ｆｕｎｃ２の宣言位置までが１つのシンボルブロッ
クを形成する。＿ｆｕｎｃ２以下も同様に、ある外部シ
ンボルの宣言位置から次の外部シンボルの宣言位置まで
がそれぞれ１つのシンボルブロックを形成する。

【００８１】第２の実施形態においては、シンボルテー
ブル作成部３０は、各外部シンボル毎に、１つのシンボ
ル定義情報テーブル８０を作成する。図１１（ａ）に外
部シンボル＿func1に対応するシンボル定義情報テーブ
ル８０の内容を示す。図１１（ａ）から理解されるよう
に、外部シンボル＿ｆｕｎｃ１に対応するシンボルブロ
ック内で宣言されるすべてのシンボルの名称＿ｆｕｎｃ
１,＿ｌ１１,＿ｌ１２,＿ｌ１３と各シンボルの使用フ
ラグが定義されている。

【００８２】図１１（ｂ）に外部シンボル＿ｆｕｎｃ２
に対応するシンボル定義情報テーブル８０の内容を示
す。図１１（ｂ）から理解されるように、外部シンボル
＿ｆｕｎｃ２に対応するシンボルブロック内で宣言され
るすべてのシンボルの名称＿ｆｕｎｃ２,＿ｌ２１,＿ｌ
２２と各シンボルの使用フラグが定義されている。ま
た、各コードシンボルについて、当該コードシンボル中
で参照されているシンボルが、シンボル依存情報テーブ
ル９０中に登録される。図１０に示すソースプログラム
においては、内部コードシンボル＿ｌ１１のブロックお
よび＿ｌ２１中で、コードシンボル＿ｌ１１を参照して
いる。一方、他のコードシンボルは参照されていない。
従って、シンボル依存情報テーブル９０中の＿ｌ１１お
よび＿ｌ２１に包含されるシンボルとして＿ｌ１１が記
録される。

【００８３】次に、オブジェクトモジュールのリンクの
際には、未使用シンボル検索部４０は、まず、複数オブ
ジェクトモジュールをリンクする場合には、シンボル依
存情報テーブル９０を結合する。同時に、各外部コード
シンボル（外部シンボルブロック）についての図１１
（ａ）および図１１（ｂ）の各シンボル定義情報テーブ
ル８０を結合する。未使用シンボル検索部４０は、さら
に、シンボル依存情報テーブル９０に定義された他のコ
ードシンボルから参照されるコードシンボル＿ｌ１１を
検索する。ここで、内部コードシンボル＿ｌ１１の直前
は無条件分岐命令であるので、未使用シンボル検索部４
０は、シンボル定義情報テーブルの＿ｌ１１のエントリ
の使用フラグを”使用”状態にセットする。同時に、＿
ｌ１１のコードシンボルを包含する＿ｆｕｎｃ１の外部
シンボルに対応する、シンボル定義情報テーブル８０の
エントリの使用フラグも”使用”状態にセットする。シ
ンボル定義情報テーブル８０中の外部コードシンボルの
エントリ（＿ｆｕｎｃ１,＿ｆｕｎｃ２）は、各外部シ
ンボルブロックに対応するシンボル定義情報テーブル８
０中に定義される全てのシンボルの使用フラグが”未使
用”状態である場合に、当該外部シンボルブロック自体
も”未使用”であると判断されて”未使用”状態のまま
となる。一方、外部シンボルブロックに含まれるシンボ
ル中のいずれかのシンボルの使用フラグが”使用”状態
にセットされていれば、当該外部シンボルブロックの使
用フラグ自体も”使用”状態にセットされる。

【００８４】コード削除部５０は、シンボル定義情報テ
ーブル８０中で、使用フラグが”使用”状態である外部
コードシンボルに対応するコード領域を削除する。図１
０のソースプログラムの場合には、外部コードシンボル
＿ｆｕｎｃ２の使用フラグは”未使用”状態を示す。従
って、外部コードシンボル＿ｆｕｎｃ２に対応するコー
ド領域（図１０のＢ２）が削除され、削除後のコードに
基づいてオブジェクトコードがリンクされ、ロードモジ
ュールが生成される。

【００８５】第２の実施形態によれば、以下のような効
果が得られる。

【００８６】すなわち、アセンブル段階で、同一コード
内で内部参照される内部コードシンボルと、これら内部
コードシンボルを包含する外部から参照される外部コー
ドシンボルとの対応関係に応じてシンボル定義情報テー
ブル８０を作成する。また、抽出されたシンボル中のコ
ードシンボルについてコードシンボルに包含されるコー
ドシンボルおよびデータシンボルの対応関係を記録する
シンボル依存情報テーブル９０を作成する。また、リン
ク段階で、シンボル依存情報テーブル９０およびシンボ
ル定義情報テーブル８０のシンボル間の相互参照情報を
用いて、各外部コードシンボルに包含されるいずれかの
内部コードシンボルが他のシンボルから参照される場合
に、当該外部コードシンボルを”使用”状態にセットす
る。これにより、ロードモジュールを生成する際に、”
未使用”状態である外部コードシンボルに対応するコー
ドを削除することによって、与えられたコード中の不要
なコードを削除した最適化コードを容易に得ることが可
能となる。

【００８７】第３の実施形態以下、本発明の第３の実施
形態について、第１および第２の実施形態と異なる点に
ついてのみ、図面を用いて詳細に説明する。

【００８８】第３の実施形態は、１つのリロケータブル
オブジェクトから１つのロードモジュールを生成する場
合に、第１および第２の実施形態でリンクの際に行われ
ていたデータシンボル・コードシンボルに対応するコー
ド領域の削除を、アセンブルまたはコンパイルの際に同
時に行う機能を提供するものである。

【００８９】第３の実施形態の機能構成（図１）および
ハードウエア構成は、第１の実施形態と同様であるた
め、説明は省略される。

【００９０】以下、第３の実施形態に係るコード最適化
装置および方法の処理の流れにつき説明する。以下で
は、図２のＳ１０が、図１４に示されるＣ言語のソース
プログラムを読み込んだ場合を例として説明する。

【００９１】図２のフローチャートに示される処理手順
に従い、シンボルテーブル作成部３０は、シンボル定義
情報テーブル８０およびシンボル依存情報テーブル９０
を作成する。図１４のＣ言語のソースプログラム上で
は、ｇｌｏｂ１，ｇｌｏｂ２，ｇｌｏｂ３，およびｇｌ
ｏｂ４がそれぞれ変数を示すデータシンボルとして定義
されている。

【００９２】第３の実施形態においては、１つのソース
プログラムから１つのロードモジュールが作成される。
このため、図１４のソースプログラムを読み込んだ時点
で、各データシンボルが実際に使用されているか否かを
判断することができる。図１４のプログラム中では、コ
ード中の関数の中で使用されているデータシンボルは、
ｇｌｏｂ１，ｇｌｏｂ２、およびｇｌｏｂ４である。一
方、データシンボルｇｌｏｂ３はコード中で使用されて
いないことが理解される。

【００９３】シンボルテーブル作成部３０は、各ソース
プログラム毎に、１つのシンボル定義情報テーブル８０
を作成する。また、ソースプログラム中で用いられるコ
ードシンボル（関数シンボル）main,func1についてシン
ボル依存情報テーブル９０のエントリーを作成する。図
１４に示すように、main関数はｇｌｏｂ１およびｇｌｏ
ｂ２を包含するため、ｇｌｏｂ１およびｇｌｏｂ２はシ
ンボル依存情報テーブル９０中に包含されるシンボルと
して登録される。一方、func1関数はｇｌｏｂ４を包含
するため、ｇｌｏｂ４はシンボル依存情報テーブル９０
中に包含されるシンボルとして登録される（テーブル内
容は図示せず）。

【００９４】第３の実施形態では、図１の未使用シンボ
ル検索部４０、コード削除部５０、および最適化コード
出力部６０はコンパイラまたはアセンブラに実装され
る。

【００９５】即ち、図１４のソースプログラムのコンパ
イルの際には、未使用シンボル検索部４０は、図１４の
ソースプログラムに対応する１つのシンボル定義情報テ
ーブル８０および１つのシンボル依存情報テーブル９０
を検索して、シンボル間の相互参照情報に基づき、他か
ら参照されるデータシンボルの使用フラグを、初期値
の”未使用”から”使用”状態にセットする。図１４の
例では、未使用シンボル検索部４０は、まずシンボル依
存情報テーブル９０を検索する。この検索結果に基づ
き、コードシンボル（関数）から参照されるデータシン
ボルｇｌｏｂ１、ｇｌｏｂ２およびｇｌｏｂ４の使用フ
ラグを”使用”状態にセットする。

【００９６】コード削除部５０は、シンボル定義情報テ
ーブル８０中で、使用フラグが”使用”状態である関数
コードシンボルに対応するコード領域を削除する。図１
５に示すように、最終的にシンボル定義情報テーブル８
０中のｇｌｏｂ３の使用フラグのみが”未使用”状態を
示す。従って、データシンボルｇｌｏｂ３に対応するコ
ード中のデータ領域（”char glob3”に対応するデータ
領域）が削除され、削除後のコードに基づいてオブジェ
クトコードがリンクされ、ロードモジュールが生成され
る。

【００９７】第３の実施形態によれば、以下のような効
果が得られる。

【００９８】すなわち、単一のソースプログラムから１
つのロードモジュールを生成する際に、アセンブラ言語
の場合はアセンブラ、高級言語の場合にはコンパイラに
コード最適化装置を実装することができる。これによ
り、アセンブルまたはコンパイルの際に同時にコードの
最適化が行われる。従って、単一のソースプログラムか
ら１つのロードモジュールを生成するなどの比較的小規
模な開発環境においても、簡易かつ迅速にコード最適化
を実現することが可能となる。

【００９９】尚、上記ではＣ言語のコードにおけるコー
ド最適化を説明したが、第３の実施形態をアセンブラの
コードにおけるコード最適化にも適用可能であることは
言うまでもない。

【０１００】

【発明の効果】以上説明したように、本発明によれば、
以下に記載されるような効果を奏する。

【０１０１】即ち、本発明においては、コード上のシン
ボルの相互参照情報を用いてプログラム上で定義されて
いるが実際には使用されないシンボルを判定する機能を
提供する。このシンボルの使用・未使用をチェックする
ことによって、未使用のシンボルに対応するコード領域
を削除することができる。従って、ロードモジュールの
コードサイズを削減するとともに、ロードモジュールの
実行効率を向上させることが可能となる。この不要なコ
ード領域は一般にコードが複雑化・大規模化するのに対
応して増大する。従って、これら複雑・大規模化したコ
ードはさらに多くのコードサイズ削減の利益が享受でき
る。

【０１０２】このコードサイズの削減は、データシンボ
ルについてはデータ領域がロードされるＲＡＭ領域サイ
ズの削減によってもたらされる。一方、コードシンボル
についてはコードが格納されるＲＯＭ領域サイズの削減
によってもたらされる。さらに、データシンボルでかつ
シンボルの付与される変数等が初期値を有する場合に
は、ＲＯＭ・ＲＡＭ双方の領域サイズの削減によっても
たらされる。

【０１０３】また、このコード最適化（コードサイズ削
減）をオブジェクトモジュールのリンクの際に行うこと
によって、迅速に最適化されたロードモジュールを得る
ことができる。従って、このコード最適化を既存の言語
処理システムに容易に組み込み、言語処理システムの処
理効率を維持したままコードサイズの削減を実現するこ
とが可能となる。

【０１０４】このように、本発明を用いれば、不要なコ
ードの削減が実現され、ひいては限られたコンピュータ
リソースを用いてより高度な機能の実現がもたらされ
る。

【図面の簡単な説明】

【図１】本発明の第１の実施形態に係るコード最適化装
置および言語処理装置の機能構成を示すブロック図であ
る。

【図２】本発明の第１の実施形態に係るコード最適化方
法のアセンブルの際の処理アルゴリズムを示すフローチ
ャートである。

【図３】本発明の第１の実施形態に係るコード最適化方
法のリンクの際の処理アルゴリズムを示すフローチャー
トである。

【図４】本発明に係るシンボル定義情報テーブルの内容
の一例を示す図である。

【図５】本発明に係るシンボル依存情報テーブルの内容
の一例を示す図である。

【図６】第１の実施形態における入力ソースプログラム
およびロードモジュール生成までの処理の概要を説明す
る図である。

【図７】第１の実施形態におけるシンボル定義情報テー
ブルの一部の項目内容の一例を示す図である。

【図８】第１の実施形態における入力ソースプログラム
および最適化された出力コードの一例を示す図である。

【図９】第１の実施形態におけるシンボル定義情報テー
ブルの一部の項目内容の一例を示す図である。

【図１０】第２の実施形態における入力ソースプログラ
ムの一例を示す図である。

【図１１】第２の実施形態における各外部シンボルに対
応するシンボル定義情報テーブルの一部の項目内容の一
例を示す図である。

【図１２】第１の実施形態における入力ソースプログラ
ムおよび最適化された出力コードの他の一例を示す図で
ある。

【図１３】第１の実施形態におけるシンボル定義情報テ
ーブルの一部の項目内容の他の一例を示す図である。

【図１４】第３の実施形態における入力ソースプログラ
ムの一例を示す図である。

【図１５】第３の実施形態におけるシンボル定義情報テ
ーブルの一部の項目内容の一例を示す図である。

【図１６】言語処理システムのソースプログラム作成か
らロードモジュール生成までの一連の処理手順を説明す
る図である。

【符号の説明】

１ コード最適化装置 １０ ソースプログラム入力部 ２０ シンボル情報解析部 ３０ シンボルテーブル作成部 ４０ 未使用シンボル検索部 ５０ コード削除部 ６０ 最適化コード出力部 ７０ ソースプログラム ８０シンボル定義情報テーブル ９０シンボル依存情報テーブル ９２ 最適化コード

Claims (13)

【特許請求の範囲】
1. 【請求項１】 入力されたプログラムのコード中で定義
   されたシンボルが、生成すべきロードモジュールの実行
   時に使用されるシンボルであるか否かを判定するシンボ
   ル判定部と、 前記シンボル判定部の判定結果に基づいて、前記入力さ
   れたプログラムのコードから前記ロードモジュールの実
   行時に使用されないシンボルに対応するコードを削除す
   るコード削除部とを具備することを特徴とするコード最
   適化装置。
2. 【請求項２】 前記シンボル判定部は、少なくとも、 前記ロードモジュールに包含されるシンボルが他のシン
   ボルから参照されるか否かを示すシンボル参照情報を生
   成するシンボル参照情報生成手段と、 前記シンボル参照情報を保持するシンボル参照情報記憶
   手段とを具備し、 前記シンボル参照情報に基づき、処理すべきシンボルが
   前記ロードモジュールに包含される他のいずれのシンボ
   ルからも参照されない場合に、該シンボルを使用されな
   いシンボルと判定することを特徴とする請求項１に記載
   のコード最適化装置。
3. 【請求項３】 前記シンボル参照情報は、 入力されたプログラムのコード中のデータに対して定義
   されたデータシンボルおよび／または前記コード中の１
   または複数の命令文に対して定義されたコードシンボル
   のそれぞれの属性情報と、 前記コードシンボルのそれぞれの、他のシンボルへの依
   存情報とからなることを特徴とする請求項１または２に
   記載のコード最適化装置。
4. 【請求項４】 前記属性情報は、少なくとも各シンボル
   の識別子、シンボルが前記プログラムのコードの外部か
   ら参照されるか否かを示すシンボルタイプ、シンボルが
   前記データシンボルまたは前記コードシンボルのいずれ
   であるかを示すシンボル種別、シンボルの対応するコー
   ド領域、およびシンボルが実行時に使用されるか否かを
   示す使用フラグのいずれか１つ以上を含むことを特徴と
   する請求項３に記載のコード最適化装置。
5. 【請求項５】 前記シンボル判定部は、処理すべきシン
   ボルが前記データシンボルである場合には、 前記依存情報を検索し、前記コードシンボルに参照され
   るデータシンボルの前記使用フラグを、使用を示す値に
   設定することを特徴とする請求項４に記載のコード最適
   化装置。
6. 【請求項６】 前記シンボル判定部は、前記属性情報の
   使用フラグが使用の値を示す前記コードシンボルについ
   てのみ、さらに該コードシンボルに参照される前記デー
   タシンボルの前記使用フラグの設定を行うことを特徴と
   する請求項５に記載のコード最適化装置。
7. 【請求項７】 前記シンボル判定部は、処理すべきシン
   ボルが前記コードシンボルである場合には、 前記依存情報を検索し、他のコードシンボルに参照され
   る前記コードシンボルの前記使用フラグを、使用を示す
   値に設定することを特徴とする請求項４に記載のコード
   最適化装置。
8. 【請求項８】 前記シンボル判定部は、前記コードシン
   ボルの直前の命令が無条件分岐命令である場合に、該コ
   ードシンボルの使用の判定を行うことを特徴とする請求
   項７に記載のコード最適化装置。
9. 【請求項９】 入力されたプログラムのコード中で定義
   されたシンボルが、生成すべきロードモジュールの実行
   時に使用されるシンボルであるか否かを判定するシンボ
   ル判定部と、 前記シンボル判定部の判定結果に基づいて、前記入力さ
   れたプログラムのコードから前記ロードモジュールの実
   行時に使用されないシンボルに対応するコードを削除す
   るコード削除部と、 前記コード削除部が出力するコードからロードモジュー
   ルを生成するロードモジュール生成部とを具備すること
   を特徴とする言語処理装置。
10. 【請求項１０】 入力されたプログラムのコード中で定
    義されたシンボルが、生成すべきロードモジュールの実
    行時に使用されるシンボルであるか否かを判定するシン
    ボル判定ステップと、 前記シンボル判定ステップの判定結果に基づいて、前記
    入力されたプログラムのコードから前記ロードモジュー
    ルの実行時に使用されないシンボルに対応するコードを
    削除するコード削除ステップとを含むことを特徴とする
    コード最適化方法。
11. 【請求項１１】 プログラムのコード中で定義されたシ
    ンボルを抽出するシンボル抽出ステップと、 該抽出されたシンボルの属性情報および該シンボルが生
    成すべきロードモジュールの実行時に使用されるか否か
    を示す使用フラグを記録するシンボル属性情報テーブル
    を生成するシンボル属性情報テーブル生成ステップと、 前記抽出されたシンボル中で前記コード中の１または複
    数の命令文に対して定義されたコードシンボルが参照す
    る他のシンボル情報を記録するシンボル依存情報テーブ
    ルを生成するシンボル依存情報テーブル生成ステップ
    と、 前記シンボル依存情報テーブルを検索し、他のコードシ
    ンボルから参照されるコードシンボルの前記使用フラグ
    を使用を示す値に設定するコードシンボル使用判定ステ
    ップと、 前記シンボル依存情報テーブルを検索し、コードシンボ
    ルから参照されるコード中のデータに対して定義された
    データシンボルの前記使用フラグを使用を示す値に設定
    するデータシンボル使用判定ステップと、 前記使用フラグが未使用を示す値のシンボルに対応する
    コードを削除するコード削除ステップとを含むことを特
    徴とするコード最適化方法。
12. 【請求項１２】 コンピュータに、入力されたプログラ
    ムのコード中で定義されたシンボルが、生成すべきロー
    ドモジュールの実行時に使用されるシンボルであるか否
    かを判定させるシンボル判定ステップと、 前記シンボル判定ステップの判定結果に基づいて、前記
    入力されたプログラムのコードから前記ロードモジュー
    ルの実行時に使用されないシンボルに対応するコードを
    削除させるコード削除ステップとを含むことを特徴とす
    るコード最適化プログラムを記憶したコンピュータ読み
    取り可能な記憶媒体。
13. 【請求項１３】 コンピュータに、プログラムのコード
    中で定義されたシンボルを抽出させるシンボル抽出ステ
    ップと、 該抽出されたシンボルの属性情報および該シンボルが生
    成すべきロードモジュールの実行時に使用されるか否か
    を示す使用フラグを記録するシンボル属性情報テーブル
    を生成させるシンボル属性情報テーブル生成ステップ
    と、 前記抽出されたシンボル中で前記コード中の１または複
    数の命令文に対して定義されたコードシンボルが参照す
    る他のシンボル情報を記録するシンボル依存情報テーブ
    ルを生成させるシンボル依存情報テーブル生成ステップ
    と、 前記シンボル依存情報テーブルを検索させ、他のコード
    シンボルから参照されるコードシンボルの前記使用フラ
    グを使用を示す値に設定させるコードシンボル使用判定
    ステップと、 前記シンボル依存情報テーブルを検索させ、コードシン
    ボルから参照されるコード中のデータに対して定義され
    たデータシンボルの前記使用フラグを使用を示す値に設
    定させるデータシンボル使用判定ステップと、 前記使用フラグが未使用を示す値のシンボルに対応する
    コードを削除させるコード削除ステップとを含むことを
    特徴とするコード最適化プログラムを記憶したコンピュ
    ータ読み取り可能な記憶媒体。