JPH06180651A - 範囲指定が可能なｃａｓｅ構造の処理方式 - Google Patents
範囲指定が可能なｃａｓｅ構造の処理方式Info
- Publication number
- JPH06180651A JPH06180651A JP35241092A JP35241092A JPH06180651A JP H06180651 A JPH06180651 A JP H06180651A JP 35241092 A JP35241092 A JP 35241092A JP 35241092 A JP35241092 A JP 35241092A JP H06180651 A JPH06180651 A JP H06180651A
- Authority
- JP
- Japan
- Prior art keywords
- case
- branch
- processing
- range
- value
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】
【目的】 範囲指定が可能なＣＡＳＥ構造を処理する
際、利用者の指定した順序を変えずに効率の良いオブジ
ェクトを出力する。 【構成】 ＣＡＳＥ文で指定された値を記憶する際、す
でに記憶してある値と大小関係を比較した情報も記録す
ることにより、ブロックが実行されないときの最適な分
岐先を決定する次期判定分岐処理決定部１１と、各々の
ＣＡＳＥブロックの判定に対し、真ならば対応するＣＡ
ＳＥブロックへ、偽ならば上記次期判定分岐処理決定部
で得た最適な分岐先へ分岐する中間コードを生成する判
定分岐処理生成部１２を有するＣＡＳＥ構造処理部１か
ら構成されることを特徴とする。本発明によれば、範囲
指定が可能なＣＡＳＥ構文に対し、判定の出力順序を変
えずに、余分な判定を行わない効率的な命令の出力が可
能になる。
際、利用者の指定した順序を変えずに効率の良いオブジ
ェクトを出力する。 【構成】 ＣＡＳＥ文で指定された値を記憶する際、す
でに記憶してある値と大小関係を比較した情報も記録す
ることにより、ブロックが実行されないときの最適な分
岐先を決定する次期判定分岐処理決定部１１と、各々の
ＣＡＳＥブロックの判定に対し、真ならば対応するＣＡ
ＳＥブロックへ、偽ならば上記次期判定分岐処理決定部
で得た最適な分岐先へ分岐する中間コードを生成する判
定分岐処理生成部１２を有するＣＡＳＥ構造処理部１か
ら構成されることを特徴とする。本発明によれば、範囲
指定が可能なＣＡＳＥ構文に対し、判定の出力順序を変
えずに、余分な判定を行わない効率的な命令の出力が可
能になる。
Description
【０００１】
【産業上の利用分野】本発明は、範囲指定が可能なＣＡ
ＳＥ構造の仕様をサポートする言語で記述された原始プ
ログラムのコンパイラを有する計算機システムでのＣＡ
ＳＥ構造の処理方式に係わり、特にＣＡＳＥ文が現れる
たびに、ＣＡＳＥ文で指定された値をＳＥＬＥＣＴ Ｃ
ＡＳＥブロックごとに記憶しておいて、すでに記憶して
ある値と比較することにより、値の範囲に対してそのブ
ロックが実行されないときの最適な分岐先を決定する、
範囲指定が可能なＣＡＳＥ構造の処理方式に関する。
ＳＥ構造の仕様をサポートする言語で記述された原始プ
ログラムのコンパイラを有する計算機システムでのＣＡ
ＳＥ構造の処理方式に係わり、特にＣＡＳＥ文が現れる
たびに、ＣＡＳＥ文で指定された値をＳＥＬＥＣＴ Ｃ
ＡＳＥブロックごとに記憶しておいて、すでに記憶して
ある値と比較することにより、値の範囲に対してそのブ
ロックが実行されないときの最適な分岐先を決定する、
範囲指定が可能なＣＡＳＥ構造の処理方式に関する。
【０００２】
【従来の技術】範囲指定が可能なＣＡＳＥ構造の仕様を
サポートする言語で記述された原始プログラムをコンパ
イルするコンパイラを備えた計算機システムにおいて、
従来ＣＡＳＥ文で指定された処理への分岐先を定める値
を、昇順または降順に並べることにより余分な判定及び
分岐命令を減らす、およびＣＡＳＥ文の範囲指定と範囲
指定の間に分岐テーブルによる分岐を生成するという技
術はあった（特開平３−４３３２号公報（Ａ） ＦＯＲ
ＴＲＡＮにおけるＣＡＳＥ構造処理方式）。
サポートする言語で記述された原始プログラムをコンパ
イルするコンパイラを備えた計算機システムにおいて、
従来ＣＡＳＥ文で指定された処理への分岐先を定める値
を、昇順または降順に並べることにより余分な判定及び
分岐命令を減らす、およびＣＡＳＥ文の範囲指定と範囲
指定の間に分岐テーブルによる分岐を生成するという技
術はあった（特開平３−４３３２号公報（Ａ） ＦＯＲ
ＴＲＡＮにおけるＣＡＳＥ構造処理方式）。
【０００３】
【発明が解決しようとする課題】前述の従来技術では、
範囲指定が可能なＣＡＳＥ構造を処理する際、余分な判
定及び分岐命令を減らす、およびＣＡＳＥ文の範囲指定
と範囲指定の間に分岐テーブルによる分岐を生成するた
めに、ＣＡＳＥ文で指定された処理への分岐先を定める
値を、昇順または降順に並べていた。
範囲指定が可能なＣＡＳＥ構造を処理する際、余分な判
定及び分岐命令を減らす、およびＣＡＳＥ文の範囲指定
と範囲指定の間に分岐テーブルによる分岐を生成するた
めに、ＣＡＳＥ文で指定された処理への分岐先を定める
値を、昇順または降順に並べていた。
【０００４】しかし、この方法では最も実行される可能
性の高いＣＡＳＥブロックを利用者が意識して最初の方
に記述しても、利用者の意図が反映されず、かえって実
行速度が遅くなるという欠点があった。
性の高いＣＡＳＥブロックを利用者が意識して最初の方
に記述しても、利用者の意図が反映されず、かえって実
行速度が遅くなるという欠点があった。
【０００５】
【課題を解決するための手段】本発明の範囲指定が可能
なＣＡＳＥ構造の処理方式は、範囲指定が可能なＣＡＳ
Ｅ構造の仕様をサポートする言語で記述された原始プロ
グラムをコンパイルするコンパイラを有する計算機シス
テムにおいて、ＣＡＳＥ文が現れるたびに、ＣＡＳＥ文
で指定された値をＳＥＬＥＣＴ ＣＡＳＥブロックごと
に記憶しておいて、すでに記憶してある値と大小関係を
比較することにより、ブロックが実行されないときの最
適な分岐先を決定する次期判定分岐処理決定部と、ＣＡ
ＳＥ構造にかかる式を評価した結果に対して判定し、真
ならば対応するＣＡＳＥブロックへ、偽ならば上記次期
判定分岐処理決定部で得た最適な分岐先へ分岐する中間
コードを生成する判定分岐処理生成部を有するＣＡＳＥ
構造処理部から構成されることを特徴とする。
なＣＡＳＥ構造の処理方式は、範囲指定が可能なＣＡＳ
Ｅ構造の仕様をサポートする言語で記述された原始プロ
グラムをコンパイルするコンパイラを有する計算機シス
テムにおいて、ＣＡＳＥ文が現れるたびに、ＣＡＳＥ文
で指定された値をＳＥＬＥＣＴ ＣＡＳＥブロックごと
に記憶しておいて、すでに記憶してある値と大小関係を
比較することにより、ブロックが実行されないときの最
適な分岐先を決定する次期判定分岐処理決定部と、ＣＡ
ＳＥ構造にかかる式を評価した結果に対して判定し、真
ならば対応するＣＡＳＥブロックへ、偽ならば上記次期
判定分岐処理決定部で得た最適な分岐先へ分岐する中間
コードを生成する判定分岐処理生成部を有するＣＡＳＥ
構造処理部から構成されることを特徴とする。
【０００６】
【作用】本発明により、利用者の記述したブロックの順
序を変更することなしに、余分な判定及び分岐命令を減
らす、およびＣＡＳＥ文の範囲指定と範囲指定の間に分
岐テーブルによる分岐を生成することができるようにな
る。
序を変更することなしに、余分な判定及び分岐命令を減
らす、およびＣＡＳＥ文の範囲指定と範囲指定の間に分
岐テーブルによる分岐を生成することができるようにな
る。
【０００７】
〔第１の実施例〕以下、本発明のＦｏｒｔｒａｎコンパ
イラにおける一実施例を図面に基づき詳細に説明する。
イラにおける一実施例を図面に基づき詳細に説明する。
【０００８】図２は、本発明が適用されたコンパイラ全
体の構造を示す図である。図２の構文解析部２２がＦｏ
ｒｔｒａｎプログラムである原始プログラム２１を入力
して、構文を解析し中間コード１３に変換する。意味解
析部２３がＣＡＳＥ構造処理部１などを用いて、各文の
意味を解析し、オブジェクト・コードに近い形式の中間
コード１４に変換する。これを最適化処理部２４が最適
化を行い、コード生成部２５がオブジェクト・コード２
７を生成する。
体の構造を示す図である。図２の構文解析部２２がＦｏ
ｒｔｒａｎプログラムである原始プログラム２１を入力
して、構文を解析し中間コード１３に変換する。意味解
析部２３がＣＡＳＥ構造処理部１などを用いて、各文の
意味を解析し、オブジェクト・コードに近い形式の中間
コード１４に変換する。これを最適化処理部２４が最適
化を行い、コード生成部２５がオブジェクト・コード２
７を生成する。
【０００９】本発明はＣＡＳＥ構造処理部１に係わり、
オブジェクト・コード２７の実行効率を上げるものであ
る。ＣＡＳＥ構造処理部１のうち、本発明に係わる部分
について動作を説明する。
オブジェクト・コード２７の実行効率を上げるものであ
る。ＣＡＳＥ構造処理部１のうち、本発明に係わる部分
について動作を説明する。
【００１０】図１は、本発明の一実施例である範囲指定
が可能なＣＡＳＥ構造の処理方式の構成図である。図１
において、ＣＡＳＥ構造処理部１はＣＡＳＥ構造に関す
る文の処理を行う手段であり、次期判定分岐処理決定部
１１はＣＡＳＥ文が現れるたびに、ＣＡＳＥ文で指定さ
れたＣＡＳＥ値をＳＥＬＥＣＴ ＣＡＳＥブロックごと
に記憶しておいて、すでに記憶してある値と比較するこ
とにより、ＣＡＳＥ値の範囲に対してそのブロックが実
行されないときの最適な分岐先を決定する手段であり、
判定分岐処理生成部１２は次期判定分岐処理決定部１１
で得た情報をもとＣＡＳＥ構造に係る式を評価した結果
に対して、判定し、分岐する中間コードを生成する手段
であり、分岐テーブル生成判定部１２１は上記次期判定
分岐処理決定部１１で得た情報を元に分岐テーブルによ
る分岐を用いた方がオブジェクトプログラムが早く実行
できる一群の判定を決定する手段であり、テーブル分岐
中間コード生成部１２２は上記分岐テーブル生成判定部
１２１で決定した一群の判定に対し、テーブル分岐によ
る分岐の中間コードを出力する手段であり、中間コード
１３、１４は原始プログラム２１からオブジェクト コ
ード２７へ変換される途中の中間コードに対応するもの
である。
が可能なＣＡＳＥ構造の処理方式の構成図である。図１
において、ＣＡＳＥ構造処理部１はＣＡＳＥ構造に関す
る文の処理を行う手段であり、次期判定分岐処理決定部
１１はＣＡＳＥ文が現れるたびに、ＣＡＳＥ文で指定さ
れたＣＡＳＥ値をＳＥＬＥＣＴ ＣＡＳＥブロックごと
に記憶しておいて、すでに記憶してある値と比較するこ
とにより、ＣＡＳＥ値の範囲に対してそのブロックが実
行されないときの最適な分岐先を決定する手段であり、
判定分岐処理生成部１２は次期判定分岐処理決定部１１
で得た情報をもとＣＡＳＥ構造に係る式を評価した結果
に対して、判定し、分岐する中間コードを生成する手段
であり、分岐テーブル生成判定部１２１は上記次期判定
分岐処理決定部１１で得た情報を元に分岐テーブルによ
る分岐を用いた方がオブジェクトプログラムが早く実行
できる一群の判定を決定する手段であり、テーブル分岐
中間コード生成部１２２は上記分岐テーブル生成判定部
１２１で決定した一群の判定に対し、テーブル分岐によ
る分岐の中間コードを出力する手段であり、中間コード
１３、１４は原始プログラム２１からオブジェクト コ
ード２７へ変換される途中の中間コードに対応するもの
である。
【００１１】本実施例では、範囲指定が可能なＣＡＳＥ
構造の仕様をサポートする言語として、新しいＦｏｒｔ
ｒａｎ言語を例にあげている。
構造の仕様をサポートする言語として、新しいＦｏｒｔ
ｒａｎ言語を例にあげている。
【００１２】新しいＦｏｒｔｒａｎ言語では次の構文規
則からなる範囲指定が可能なＣＡＳＥ構造の仕様を追加
している。 ＳＥＬＥＣＴ ＣＡＳＥ構造 select-case 文 ［case文 block]… end-select文 select-case 文 ［case構造名：］SELECT CASE(case式） case文 CASE case選択子 ［case構造名］ block 実行文の集まり end-select文 END SELECT［case構造名］ case選択子 DEFAULT または （case値の範囲の並び） case値の範囲 case値 または case値： または ：case値 または case値：case値 ＦｏｒｔｒａｎにおけるＣＡＳＥ構造の規則は、ＣＡＳ
Ｅ値の範囲指定ができること、一つのブロックに対し複
数のＣＡＳＥ値やＣＡＳＥ値の範囲が指定できること、
実行されるブロックが二つ以上あるようなＣＡＳＥ値や
ＣＡＳＥ値の範囲を指定することができないこと、ｃ言
語のｂｒｅａｋ文のように明示的にブロックから出るこ
とを指定しなくても、一つのブロックしか実行されない
ことに特徴がある。
則からなる範囲指定が可能なＣＡＳＥ構造の仕様を追加
している。 ＳＥＬＥＣＴ ＣＡＳＥ構造 select-case 文 ［case文 block]… end-select文 select-case 文 ［case構造名：］SELECT CASE(case式） case文 CASE case選択子 ［case構造名］ block 実行文の集まり end-select文 END SELECT［case構造名］ case選択子 DEFAULT または （case値の範囲の並び） case値の範囲 case値 または case値： または ：case値 または case値：case値 ＦｏｒｔｒａｎにおけるＣＡＳＥ構造の規則は、ＣＡＳ
Ｅ値の範囲指定ができること、一つのブロックに対し複
数のＣＡＳＥ値やＣＡＳＥ値の範囲が指定できること、
実行されるブロックが二つ以上あるようなＣＡＳＥ値や
ＣＡＳＥ値の範囲を指定することができないこと、ｃ言
語のｂｒｅａｋ文のように明示的にブロックから出るこ
とを指定しなくても、一つのブロックしか実行されない
ことに特徴がある。
【００１３】次のプログラム片はＣＡＳＥ構造の例であ
る。
る。
【００１４】 SELECT CASE （Ｉ+ Ｊ） ！ CASE(10:20) ！ PRINT *,'10-20' ！ CASE DEFAULT ！ PRINT *,'DEFAULT' ！ CASE(30) ！ PRINT *,'30' ！ END SELECT ！ このプログラム片は（Ｉ＋Ｊ）の値が１０以上２０以下
ならば「１０−２０」を印字し、ＥＮＤ ＳＥＬＥＣＴ
文の次の実行文に制御を移し、（Ｉ＋Ｊ）の値が３０に
等しければ、「３０」を印字し、ＥＮＤ ＳＥＬＥＣＴ
文の次の実行文に制御を移し、そのいずれでもなけれ
ば、「ＤＥＦＡＵＬＴ」を印字し、ＥＮＤＳＥＬＥＣＴ
文の次の実行文に制御を移すように動作する。
ならば「１０−２０」を印字し、ＥＮＤ ＳＥＬＥＣＴ
文の次の実行文に制御を移し、（Ｉ＋Ｊ）の値が３０に
等しければ、「３０」を印字し、ＥＮＤ ＳＥＬＥＣＴ
文の次の実行文に制御を移し、そのいずれでもなけれ
ば、「ＤＥＦＡＵＬＴ」を印字し、ＥＮＤＳＥＬＥＣＴ
文の次の実行文に制御を移すように動作する。
【００１５】次に本発明の図１の示す実施例のうちＣＡ
ＳＥ構造処理部１の動作について、図３、図４、図５を
用いて説明する。
ＳＥ構造処理部１の動作について、図３、図４、図５を
用いて説明する。
【００１６】図３は本発明の一実施例を説明するための
Ｆｏｒｔｒａｎの原始プログラムである。
Ｆｏｒｔｒａｎの原始プログラムである。
【００１７】図４は従来技術によって図３のプログラム
から生成された中間コードの例である。
から生成された中間コードの例である。
【００１８】図３のような原始プログラムは標準的な構
文／意味解析の理論に基づくと図４のような中間コード
に変換される。すなわち、ＣＡＳＥ文の情報を記録して
おいて、ＥＮＤ ＳＥＬＥＣＴ文が現れたところで、各
々のＣＡＳＥの値に対応する判定分岐を行う中間コード
を出力することになる。
文／意味解析の理論に基づくと図４のような中間コード
に変換される。すなわち、ＣＡＳＥ文の情報を記録して
おいて、ＥＮＤ ＳＥＬＥＣＴ文が現れたところで、各
々のＣＡＳＥの値に対応する判定分岐を行う中間コード
を出力することになる。
【００１９】図３の３−１（以降単に３−１と書く）の
文のＣＡＳＥ値の範囲による判定分岐は、図４の４−１
と４−２（以降４−１、４−２と書く）のような２つの
中間コードに分解される。４−１はＣＡＳＥ値の範囲の
下限より小さければそのブロックを実行しないので、次
の判定の中間コードへ分岐するというものである。この
ような判定分岐を以降、下限判定分岐と呼ぶ。４−２は
ＣＡＳＥ値の範囲の上限より小さければ、４−２に制御
が渡るということは下限よりも大きいか等しいという条
件は満たしていることになるので、このブロックを実行
する分岐先へ分岐する。このような判定分岐を以降、上
限判定分岐と呼ぶ。
文のＣＡＳＥ値の範囲による判定分岐は、図４の４−１
と４−２（以降４−１、４−２と書く）のような２つの
中間コードに分解される。４−１はＣＡＳＥ値の範囲の
下限より小さければそのブロックを実行しないので、次
の判定の中間コードへ分岐するというものである。この
ような判定分岐を以降、下限判定分岐と呼ぶ。４−２は
ＣＡＳＥ値の範囲の上限より小さければ、４−２に制御
が渡るということは下限よりも大きいか等しいという条
件は満たしていることになるので、このブロックを実行
する分岐先へ分岐する。このような判定分岐を以降、上
限判定分岐と呼ぶ。
【００２０】４−１が真の場合、つまり係るＣＡＳＥ式
が２０より小さい場合、その分岐先である４−３は、判
定条件が６０に等しいことなので、決して真になること
はなく、このような、判定はむだになる。この場合、４
−４、４−５の判定も無駄で、次に真になる可能性があ
るのは、４−６ということになる。
が２０より小さい場合、その分岐先である４−３は、判
定条件が６０に等しいことなので、決して真になること
はなく、このような、判定はむだになる。この場合、４
−４、４−５の判定も無駄で、次に真になる可能性があ
るのは、４−６ということになる。
【００２１】４−５の場合も同様に、４−５が偽の場
合、つまり係るＣＡＳＥ式が５０より大きいとき、その
分岐先である４−６は決して真になることはないので、
この判定を行うことは無駄である。
合、つまり係るＣＡＳＥ式が５０より大きいとき、その
分岐先である４−６は決して真になることはないので、
この判定を行うことは無駄である。
【００２２】ＣＡＳＥ値の判定分岐をソートしてしまえ
ば、この無駄な判定は減らすことができるが、利用者の
意図した順序で判定を行わないと実行される可能性の高
い判定を後の方で行う可能性がありよくない。
ば、この無駄な判定は減らすことができるが、利用者の
意図した順序で判定を行わないと実行される可能性の高
い判定を後の方で行う可能性がありよくない。
【００２３】次期判定分岐処理決定部１１は、利用者の
指定した順序を変えないまま、無駄な判定を避けるよう
に記録してあるＣＡＳＥ文の情報に無駄な分岐をとばす
ようＣＡＳＥ値の大小関係の情報を付加する処理を行
う。
指定した順序を変えないまま、無駄な判定を避けるよう
に記録してあるＣＡＳＥ文の情報に無駄な分岐をとばす
ようＣＡＳＥ値の大小関係の情報を付加する処理を行
う。
【００２４】以下、図５、図６、図７を用いて次期判定
分岐処理決定部１１の処理を説明する。
分岐処理決定部１１の処理を説明する。
【００２５】図５は図３の原始プログラムを例に、標準
的な構文解析の理論と従来技術と本発明によるＣＡＳＥ
文の情報の差異を説明する図である。
的な構文解析の理論と従来技術と本発明によるＣＡＳＥ
文の情報の差異を説明する図である。
【００２６】図５において、ラベルとはこの判定に対し
て作るラベルである。内容とはどのような判定を行うか
を記録したものである。分岐先とはこの判定が真の時に
どのブロックを実行するかを意味する。出力順序とは原
始プログラムに記述されている順序と異なる順序で判定
を行うとき、その順序を記録するもので、この例では、
昇順に並び替えられている。
て作るラベルである。内容とはどのような判定を行うか
を記録したものである。分岐先とはこの判定が真の時に
どのブロックを実行するかを意味する。出力順序とは原
始プログラムに記述されている順序と異なる順序で判定
を行うとき、その順序を記録するもので、この例では、
昇順に並び替えられている。
【００２７】本発明によるＣＡＳＥ情報の記録による
と、記録されるＣＡＳＥ文の情報のうち範囲指定に対
し、左の枝と右の枝を付加している。左の枝はこの判定
より後に現れる、範囲指定の下限より小さいＣＡＳＥ値
を持つ判定を意味する。すなわち、下限判定によって判
定に対応するブロックが実行されないことが決定したと
きの次に行う判定である。右の枝はこの判定より後に現
れる、範囲指定の上限より大きなＣＡＳＥ値を持つ判定
を意味する。すなわち、上限判定によって判定に対応す
るブロックが実行されないことが決定したときの次に行
う判定である。
と、記録されるＣＡＳＥ文の情報のうち範囲指定に対
し、左の枝と右の枝を付加している。左の枝はこの判定
より後に現れる、範囲指定の下限より小さいＣＡＳＥ値
を持つ判定を意味する。すなわち、下限判定によって判
定に対応するブロックが実行されないことが決定したと
きの次に行う判定である。右の枝はこの判定より後に現
れる、範囲指定の上限より大きなＣＡＳＥ値を持つ判定
を意味する。すなわち、上限判定によって判定に対応す
るブロックが実行されないことが決定したときの次に行
う判定である。
【００２８】記録されるＣＡＳＥ文の情報のうち範囲指
定以外の判定に対し、右の枝だけ付加している。これは
この判定によって判定に対応するブロックが実行されな
いことが決定したときの次に行う判定である。
定以外の判定に対し、右の枝だけ付加している。これは
この判定によって判定に対応するブロックが実行されな
いことが決定したときの次に行う判定である。
【００２９】新しく記録されるＣＡＳＥ方法は必ず、ど
こかのＣＡＳＥ情報の枝になる。このようにすると原始
プログラムに書かれた判定の順序を変更することはな
い。
こかのＣＡＳＥ情報の枝になる。このようにすると原始
プログラムに書かれた判定の順序を変更することはな
い。
【００３０】ここで×は、右枝または左枝が存在しない
ことを意味し、−はここでは用いない（参照されない）
ことを意味する。
ことを意味し、−はここでは用いない（参照されない）
ことを意味する。
【００３１】標準的な構文解析の理論に基づくＣＡＳＥ
情報の記録によると、例えば、１５という値（どのブロ
ックも実行されない）を判定すると、全ての判定を行わ
なければいけない。
情報の記録によると、例えば、１５という値（どのブロ
ックも実行されない）を判定すると、全ての判定を行わ
なければいけない。
【００３２】一般的に最も実行される確率の高い判定を
最初に持ってくると実行効率はよくなるが、従来の技術
によると、例えば図５の例では、このＳＥＬＥＣＴ Ｃ
ＡＳＥブロックが実行されるときはほとんどの場合２
０：３０のブロックが実行されるとしても必ず、１０の
判定を行ってしまう。
最初に持ってくると実行効率はよくなるが、従来の技術
によると、例えば図５の例では、このＳＥＬＥＣＴ Ｃ
ＡＳＥブロックが実行されるときはほとんどの場合２
０：３０のブロックが実行されるとしても必ず、１０の
判定を行ってしまう。
【００３３】図６は図５のような本発明によるＣＡＳＥ
情報を記録するための次期判定分岐処理決定部１１の処
理を説明するブロック図である。ＣＡＳＥ構造解析部１
は、ＣＡＳＥ文が現れるたびに次期判定分岐処理決定部
１１を呼び出し、ＣＡＳＥ文の情報を記録する。
情報を記録するための次期判定分岐処理決定部１１の処
理を説明するブロック図である。ＣＡＳＥ構造解析部１
は、ＣＡＳＥ文が現れるたびに次期判定分岐処理決定部
１１を呼び出し、ＣＡＳＥ文の情報を記録する。
【００３４】図６をみると、６１は初期設定として入力
したＣＡＳＥ文の情報を現判定とし、処理中のＳＥＬＥ
ＣＴ ＣＡＳＥ情報の最初のＣＡＳＥ文の情報を対象判
定するステップ、６２は対象判定が範囲指定であるかど
うかを調べ対象判定ならばステップ６３へ、対象判定で
なければステップ６５へ実行を移すステップ、６３は現
判定の値が対象判定の値より小さいかどうかを調べ、小
さければステップ６４へ、大きければステップ６５へ実
行を移すステップ、６４は対象判定に既に左の枝が存在
するかを調べ、存在すればステップ６４１へ、しなけれ
ばステップ６４２へ実行を移すステップ、６４１は対象
判定の左の枝を対象判定とし、ステップ６２へ実行を移
すステップ、６４２は現判定を対象判定の左の枝とし処
理を終えるステップ、６５は対象判定に既に右の枝が存
在するかを調べ、存在すればステップ６５１へ、しなけ
ればステップ６５２へ実行を移すステップ、６５１は対
象判定の右の枝を対象判定とし、ステップ６２へ実行を
移すステップ、６５２は現判定を対象判定の右の枝とし
処理を終えるステップである。
したＣＡＳＥ文の情報を現判定とし、処理中のＳＥＬＥ
ＣＴ ＣＡＳＥ情報の最初のＣＡＳＥ文の情報を対象判
定するステップ、６２は対象判定が範囲指定であるかど
うかを調べ対象判定ならばステップ６３へ、対象判定で
なければステップ６５へ実行を移すステップ、６３は現
判定の値が対象判定の値より小さいかどうかを調べ、小
さければステップ６４へ、大きければステップ６５へ実
行を移すステップ、６４は対象判定に既に左の枝が存在
するかを調べ、存在すればステップ６４１へ、しなけれ
ばステップ６４２へ実行を移すステップ、６４１は対象
判定の左の枝を対象判定とし、ステップ６２へ実行を移
すステップ、６４２は現判定を対象判定の左の枝とし処
理を終えるステップ、６５は対象判定に既に右の枝が存
在するかを調べ、存在すればステップ６５１へ、しなけ
ればステップ６５２へ実行を移すステップ、６５１は対
象判定の右の枝を対象判定とし、ステップ６２へ実行を
移すステップ、６５２は現判定を対象判定の右の枝とし
処理を終えるステップである。
【００３５】図７は図５のＣＡＳＥ情報に対応する本発
明を適用したときに得るＣＡＳＥ情報の状態にさらにＣ
ＡＳＥ値１５の判定のＣＡＳＥ情報を付加したときの図
である。
明を適用したときに得るＣＡＳＥ情報の状態にさらにＣ
ＡＳＥ値１５の判定のＣＡＳＥ情報を付加したときの図
である。
【００３６】図６、図７を用いて次期判定分岐処理決定
部１１の処理を具体的に説明する。
部１１の処理を具体的に説明する。
【００３７】図６によると、ＣＡＳＥ情報の記録が図５
の状態にあるときは、さらにＣＡＳＥ （１５）という
ＣＡＳＥ文を読み込むと次のような動作でＣＡＳＥ情報
Ｌ１５を記録する。
の状態にあるときは、さらにＣＡＳＥ （１５）という
ＣＡＳＥ文を読み込むと次のような動作でＣＡＳＥ情報
Ｌ１５を記録する。
【００３８】まず、現判定Ｌ１５は値１５、対象判定Ｌ
２０は値２０：３０となる（ステップ６１）。対象判定
が範囲指定なので（ステップ６２）、現判定と対象判定
で値を比較すると、現判定が小さいので対象判定の左の
枝を調べる（ステップ６３）。左の枝が存在するので
（ステップ６４）、対象判定を左の枝のＬ１０にして、
処理を繰り返す（ステップ６４１）。次に対象判定は範
囲指定ではないので（ステップ６２）、右の枝を調べ
る。右の枝は存在しないので（ステップ６５）、現判定
を対象判定の枝に設定して処理を終える（ステップ６５
２）。
２０は値２０：３０となる（ステップ６１）。対象判定
が範囲指定なので（ステップ６２）、現判定と対象判定
で値を比較すると、現判定が小さいので対象判定の左の
枝を調べる（ステップ６３）。左の枝が存在するので
（ステップ６４）、対象判定を左の枝のＬ１０にして、
処理を繰り返す（ステップ６４１）。次に対象判定は範
囲指定ではないので（ステップ６２）、右の枝を調べ
る。右の枝は存在しないので（ステップ６５）、現判定
を対象判定の枝に設定して処理を終える（ステップ６５
２）。
【００３９】この処理の結果、図７のようなＣＡＳＥ情
報を得る。
報を得る。
【００４０】次に、図７、図８を用いて判定分岐中間コ
ード生成部１２の処理を説明する。
ード生成部１２の処理を説明する。
【００４１】図８は図３の原始プログラムに対して本発
明を適用したときに得る中間コードである。
明を適用したときに得る中間コードである。
【００４２】判定分岐処理生成部１２はＣＡＳＥ文の現
れた順序で判定を行う中間コードを生成する。このとき
上記次期判定分岐処理決定部１１で記録された、ＣＡＳ
Ｅ値の大小関係から、次の判定への分岐を決定し、中間
コードを生成する。
れた順序で判定を行う中間コードを生成する。このとき
上記次期判定分岐処理決定部１１で記録された、ＣＡＳ
Ｅ値の大小関係から、次の判定への分岐を決定し、中間
コードを生成する。
【００４３】つまり、記録してある順にＣＡＳＥの情報
を取り出し、判定分岐の中間コードと、そのＣＡＳＥ情
報の枝の判定に対しラベルを生成し、ブロックが実行さ
れないときそこに分岐する中間コードを生成する。ＣＡ
ＳＥ情報に枝が記録されていない場合、ブロックが実行
されないときはＤＥＦＡＵＬＴがあればＤＥＦＡＬＵＴ
ブロック、なければＳＥＬＥＣＴ ＣＡＳＥブロックを
抜ける無条件分岐の中間コードを生成する。
を取り出し、判定分岐の中間コードと、そのＣＡＳＥ情
報の枝の判定に対しラベルを生成し、ブロックが実行さ
れないときそこに分岐する中間コードを生成する。ＣＡ
ＳＥ情報に枝が記録されていない場合、ブロックが実行
されないときはＤＥＦＡＵＬＴがあればＤＥＦＡＬＵＴ
ブロック、なければＳＥＬＥＣＴ ＣＡＳＥブロックを
抜ける無条件分岐の中間コードを生成する。
【００４４】図７の例でいうとラベルＬ２０の情報は範
囲指定なので、２０より小さいときは左の枝のラベルＬ
１０へ分岐する中間コードを生成し、次に３０以下のと
きにＢＬＫ２０へ分岐、それ以外の場合には右の枝のＬ
６０に分岐する中間コードを生成する。次にラベルＬ６
０の情報は範囲指定でないので、６０に等しければＢＬ
Ｋ６０へ分岐、それ以外の場合には右の枝のＬ６０に分
岐する中間コードを生成する。同様の処理を繰り返す
と、図８の中間コードを得る。図４と図８を比べると、
４−１と４−４の分岐先が冗長な判定を行わない最適な
分岐先に変更されている。
囲指定なので、２０より小さいときは左の枝のラベルＬ
１０へ分岐する中間コードを生成し、次に３０以下のと
きにＢＬＫ２０へ分岐、それ以外の場合には右の枝のＬ
６０に分岐する中間コードを生成する。次にラベルＬ６
０の情報は範囲指定でないので、６０に等しければＢＬ
Ｋ６０へ分岐、それ以外の場合には右の枝のＬ６０に分
岐する中間コードを生成する。同様の処理を繰り返す
と、図８の中間コードを得る。図４と図８を比べると、
４−１と４−４の分岐先が冗長な判定を行わない最適な
分岐先に変更されている。
【００４５】ここでこの判定の順序を利用者が原始プロ
グラム上でソートして記述すると、従来技術と同じ効果
を得ることができる。従って利用者はプログラムすると
きどのブロックが実行される確率が高いか分からない場
合は、原始プログラム上でＣＡＳＥ値を並び変え、実行
される確率が高いブロックが分かっている場合は確率の
高いブロックから順に記述すれば良い。
グラム上でソートして記述すると、従来技術と同じ効果
を得ることができる。従って利用者はプログラムすると
きどのブロックが実行される確率が高いか分からない場
合は、原始プログラム上でＣＡＳＥ値を並び変え、実行
される確率が高いブロックが分かっている場合は確率の
高いブロックから順に記述すれば良い。
【００４６】〔第２の実施例〕最後に第２の実施例につ
いて、図９、図１０の例を基に分岐テーブル生成判定部
１２１とテーブル分岐中間コード生成部１２２の動作を
説明する。
いて、図９、図１０の例を基に分岐テーブル生成判定部
１２１とテーブル分岐中間コード生成部１２２の動作を
説明する。
【００４７】図９は第２の実施例を説明するＦｏｒｔｒ
ａｎの原始プログラムである。
ａｎの原始プログラムである。
【００４８】図１０は次期判定分岐処理決定部１１によ
って図９のＦｏｒｔｒａｎの原始プログラムから得たＣ
ＡＳＥ情報の図である。ただし、図１０中の‘＊’の記
号は分岐テーブル生成判定部１２１によって記録される
テーブル分岐を行うことを示す印であり、‘！’は同じ
くこのＣＡＳＥ情報が処理済みであることを示す印であ
る。
って図９のＦｏｒｔｒａｎの原始プログラムから得たＣ
ＡＳＥ情報の図である。ただし、図１０中の‘＊’の記
号は分岐テーブル生成判定部１２１によって記録される
テーブル分岐を行うことを示す印であり、‘！’は同じ
くこのＣＡＳＥ情報が処理済みであることを示す印であ
る。
【００４９】分岐テーブル生成判定部１２１は、上記次
期判定分岐処理決定部１１で作られたＣＡＳＥ値の大小
関係を表す木構造から、各々の枝について左の枝のさら
に右の枝または右の枝のさらに左の枝になっているよう
な枝を調べる。すなわち、ある範囲指定とある範囲指定
の間の値の持つ判定の一群を検出し、その枝の下にある
一群の判定に対して分岐テーブルによる分岐が高速かど
うかを判断する。分岐テーブルによる分岐が高速である
と判断したら、枝にテーブル分岐を行うという印を記録
しておく。
期判定分岐処理決定部１１で作られたＣＡＳＥ値の大小
関係を表す木構造から、各々の枝について左の枝のさら
に右の枝または右の枝のさらに左の枝になっているよう
な枝を調べる。すなわち、ある範囲指定とある範囲指定
の間の値の持つ判定の一群を検出し、その枝の下にある
一群の判定に対して分岐テーブルによる分岐が高速かど
うかを判断する。分岐テーブルによる分岐が高速である
と判断したら、枝にテーブル分岐を行うという印を記録
しておく。
【００５０】判断の基準は分岐テーブルに必要なメモリ
の量と分岐テーブルによる判定命令の減る量である。
の量と分岐テーブルによる判定命令の減る量である。
【００５１】例えば図１０を見ると、番号１０１に示す
部分が範囲指定と範囲指定に囲まれている部分であるこ
とが分かる。この部分に対して分岐テーブルによる分岐
はテーブルの大きさがアドレス１０個分で、判定命令は
範囲指定に対しては２つ必要なので５個となり、これ
は、分岐テーブルによる分岐の命令を持つ計算機システ
ムにおいてはほとんどの場合高速になる。そこでＣＡＳ
Ｅ値３１の枝にテーブル分岐の印を記録する。
部分が範囲指定と範囲指定に囲まれている部分であるこ
とが分かる。この部分に対して分岐テーブルによる分岐
はテーブルの大きさがアドレス１０個分で、判定命令は
範囲指定に対しては２つ必要なので５個となり、これ
は、分岐テーブルによる分岐の命令を持つ計算機システ
ムにおいてはほとんどの場合高速になる。そこでＣＡＳ
Ｅ値３１の枝にテーブル分岐の印を記録する。
【００５２】テーブル分岐中間コード生成部１２２は、
判定中間コードを出力する際、テーブル分岐を行う印が
あれば、そこから枝をたどることによってテーブル分岐
による分岐の中間コードを出力し、対象となる一群の判
定すべてに処理済みの印を記録する。
判定中間コードを出力する際、テーブル分岐を行う印が
あれば、そこから枝をたどることによってテーブル分岐
による分岐の中間コードを出力し、対象となる一群の判
定すべてに処理済みの印を記録する。
【００５３】例えば図１０をみると、最初にＣＡＳＥ値
３１の枝に印がついているのが分かる。そこで３１より
下にある枝に対するテーブルによる分岐の中間コードを
出力する。サーチする際には２０：３０と４０：５０の
情報を記録しておいて、３１から３９までの分岐テーブ
ルを作成する。また枝をたどり３１、３６、３３：３
５、３２の分岐先を分岐テーブルに設定しながら、各々
の枝に処理済みの印を記録する。判定を行う中間コード
を出力する際には、この出力済みの印が記録されていな
いことを確認しなくてはいけない。
３１の枝に印がついているのが分かる。そこで３１より
下にある枝に対するテーブルによる分岐の中間コードを
出力する。サーチする際には２０：３０と４０：５０の
情報を記録しておいて、３１から３９までの分岐テーブ
ルを作成する。また枝をたどり３１、３６、３３：３
５、３２の分岐先を分岐テーブルに設定しながら、各々
の枝に処理済みの印を記録する。判定を行う中間コード
を出力する際には、この出力済みの印が記録されていな
いことを確認しなくてはいけない。
【００５４】図１１は、本発明によって図９の原始プロ
グラムが変換された中間コードの例である。
グラムが変換された中間コードの例である。
【００５５】ここで１１−１は（Ｒ）の後ろのラベルの
うち、Ｒ番目のラベルに分岐することを意味するテーブ
ル分岐の中間コードである。
うち、Ｒ番目のラベルに分岐することを意味するテーブ
ル分岐の中間コードである。
【００５６】図１１をみると、判定の順序を変えずに、
分岐テーブルによる分岐の中間コードを出力することが
可能になり、３１、３２、３３：３５、３６の判定の代
わりに分岐テーブルによる分岐の中間コード一つになり
高速化がはかれたことが分かる。
分岐テーブルによる分岐の中間コードを出力することが
可能になり、３１、３２、３３：３５、３６の判定の代
わりに分岐テーブルによる分岐の中間コード一つになり
高速化がはかれたことが分かる。
【００５７】
【発明の効果】以上説明したように、本発明によれば、
範囲指定が可能なＣＡＳＥ構文の実現に当たって、判定
する命令の出力順序を変えずに、効率的な命令の出力が
可能になり、高速分岐によりオブジェクトの実行速度を
高めることが可能になる。
範囲指定が可能なＣＡＳＥ構文の実現に当たって、判定
する命令の出力順序を変えずに、効率的な命令の出力が
可能になり、高速分岐によりオブジェクトの実行速度を
高めることが可能になる。
【図１】本発明の一実施例を示す構成図。
【図２】本発明が適用されたコンパイラ全体の構造を示
す図。
す図。
【図３】本発明の一実施例を説明するためのＦｏｒｔｒ
ａｎの原始プログラム。
ａｎの原始プログラム。
【図４】従来技術によって図３のプログラムから生成さ
れた中間コードの例。
れた中間コードの例。
【図５】図３の原始プログラムを例に、標準的な構文解
析の理論と従来技術と本発明によるＣＡＳＥ文の情報の
差異を説明する図。
析の理論と従来技術と本発明によるＣＡＳＥ文の情報の
差異を説明する図。
【図６】次期判定分岐処理決定部１１の処理を説明する
図。
図。
【図７】図５のＣＡＳＥ情報に対応する本発明を適用し
たときに得るＣＡＳＥ情報の図。
たときに得るＣＡＳＥ情報の図。
【図８】図３の原始プログラムに対して本発明を適用し
たときに得る中間コード。
たときに得る中間コード。
【図９】第２の実施例を説明するＦｏｒｔｒａｎの原始
プログラム。
プログラム。
【図１０】次期判定処理決定部１１によって図９のＦｏ
ｒｔｒａｎの原始プログラムから得たＣＡＳＥ情報の
図。
ｒｔｒａｎの原始プログラムから得たＣＡＳＥ情報の
図。
【図１１】本発明によって図９の原始プログラムが変換
された中間コード。
された中間コード。
図１において １ ＣＡＳＥ情報処理部 １１ 次期判定分岐処理決定部 １２ 判定分岐処理生成部 １２１ 分岐テーブル生成判定部 １２２ テーブル分岐中間コード生成部 １３ 中間コード １４ 中間コード 図２において １ ＣＡＳＥ構造処理部 １３ 中間コード １４ 中間コード ２１ ソース プログラム ２２ 構文解析部 ２３ 意味解析部 ２４ 最適化処理部 ２５ コード生成部 ２６ 中間コード ２７ オブジェクト コード
Claims (2)
- 【請求項１】 範囲指定が可能なＣＡＳＥ構造の仕様を
サポートする言語で記述された原始プログラムのコンパ
イラを有する計算機システムにおけるＣＡＳＥ構造の処
理方式において、 ＣＡＳＥ文が現れるたびに、該ＣＡＳＥ文で指定された
値をＳＥＬＥＣＴ ＣＡＳＥブロックごとに記憶してお
いて、すでに記憶してある値と大小関係を比較すること
により、前記ブロックが実行されないときの最適な分岐
先を決定する次期判定分岐処理決定部と、 前記ＣＡＳＥ構造にかかる式を評価した結果に対して判
定し、真ならば対応するＣＡＳＥブロックへ、偽ならば
前記次期判定分岐処理決定部で得た最適な分岐先へ分岐
する中間コードを生成する判定分岐処理生成部と、を有
するＣＡＳＥ構造処理部から構成されることを特徴とす
る範囲指定が可能なＣＡＳＥ構造の処理方式。 - 【請求項２】 前記判定分岐処理生成部が、前記ＣＡＳ
Ｅ文で指定された範囲指定と後に現れた範囲指定との間
の値を持つ前記の範囲指定以降に現れる全ての判定に対
し、分岐テーブルを用いる処理と、分岐テーブルを用い
ない処理とでどちらが高速な処理が可能であるか判断す
る分岐テーブル生成判定部と、 前記分岐テーブル生成判定部で分岐テーブルを用いた方
が高速な処理が可能であると判断されたＣＡＳＥ文で指
定された範囲指定と、次に現れた範囲指定との間の値を
持つ前記範囲指定以降に現れる全ての判定に対し、分岐
テーブルによる分岐を行う中間コードを生成するテーブ
ル分岐中間コード生成部と、を有することを特徴とする
請求項１記載の範囲指定が可能なＣＡＳＥ構造の処理方
式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4352410A JP2500515B2 (ja) | 1992-12-11 | 1992-12-11 | 範囲指定が可能なｃａｓｅ構造の処理方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4352410A JP2500515B2 (ja) | 1992-12-11 | 1992-12-11 | 範囲指定が可能なｃａｓｅ構造の処理方式 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH06180651A true JPH06180651A (ja) | 1994-06-28 |
| JP2500515B2 JP2500515B2 (ja) | 1996-05-29 |
Family
ID=18423887
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP4352410A Expired - Fee Related JP2500515B2 (ja) | 1992-12-11 | 1992-12-11 | 範囲指定が可能なｃａｓｅ構造の処理方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2500515B2 (ja) |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS5960640A (ja) * | 1982-09-30 | 1984-04-06 | Fujitsu Ltd | コンパイラ処理方法 |
| JPH034332A (ja) * | 1989-06-01 | 1991-01-10 | Fujitsu Ltd | コンパイラシステム |
-
1992
- 1992-12-11 JP JP4352410A patent/JP2500515B2/ja not_active Expired - Fee Related
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS5960640A (ja) * | 1982-09-30 | 1984-04-06 | Fujitsu Ltd | コンパイラ処理方法 |
| JPH034332A (ja) * | 1989-06-01 | 1991-01-10 | Fujitsu Ltd | コンパイラシステム |
Also Published As
| Publication number | Publication date |
|---|---|
| JP2500515B2 (ja) | 1996-05-29 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US6243864B1 (en) | Compiler for optimizing memory instruction sequences by marking instructions not having multiple memory address paths | |
| US5606697A (en) | Compiler system for language processing program | |
| US4860203A (en) | Apparatus and method for extracting documentation text from a source code program | |
| US5832273A (en) | System for deleting redundant instructions from high level language source code containing in-line assembly instructions | |
| US20090249307A1 (en) | Program analysis apparatus, program analysis method, and program storage medium | |
| US20080320031A1 (en) | Method and device for analyzing an expression to evaluate | |
| JPH07219758A (ja) | 仕様書生成方法 | |
| US5822592A (en) | Method and system for determining source code location | |
| US5692196A (en) | System and method for conditionally compiling a software compilation unit | |
| RU2115159C1 (ru) | Способ и устройство для проверки использования полей записей во время компиляции | |
| JP3437932B2 (ja) | 配列レンジ・チェックのためのコード生成方法及び装置、並びにバージョニング方法及び装置 | |
| JP2500515B2 (ja) | 範囲指定が可能なｃａｓｅ構造の処理方式 | |
| US4965765A (en) | Distinguishing nested structures by color | |
| EP1121641A1 (en) | Apparatus and method for program optimizing | |
| JPH11272503A (ja) | プログラムのテストデータ自動生成装置 | |
| US8312429B2 (en) | Cell based data processing | |
| WO1997007452A1 (en) | Programmable compiler | |
| JPH08328904A (ja) | プログラム開発支援装置 | |
| JP3417960B2 (ja) | 文章校正支援方法および装置 | |
| Abrahams | The CIMS PL/I compiler | |
| JP2001265605A (ja) | コンパイラの命令列最適化方法、コンパイラ装置、記録媒体、及びプログラム | |
| CN116755700A (zh) | 一种数据收集方法、装置及介质 | |
| JP2000242504A (ja) | コンパイラ装置 | |
| JPH04237365A (ja) | テキスト処理装置における差分検出方式および自動編集方式 | |
| JPH05204705A (ja) | 未定義変数検出処理方法 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| LAPS | Cancellation because of no payment of annual fees |