JPH0383140A - 算術式展開方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は言語処理プログラムにおける算術式展開方式に
関し、特に中間結果領域を使用した算術式展開方式に関
する。

〔従来の技術〕

従来、原始プログラム中算術式（原始プログラムにおけ
る算術式であることを明確にするために原始プログラム
中算術式という。これに対して、原始プログラム中算術
式の字句解析や構文解析等の結果により生成される算術
式を単に算術式という〉を記述できるプログラム言語で
記述された原始プログラム中算術式に基づく算術式を基
本命令の並びに展開する際に生成される中間結果領域に
はデータ型属性を持たせることはできず（中間結果領域
の識別番号のみを持たせることができた）、中間結果領
域は常にあらかじめ決められたデータ型属性であるもの
として処理されていた。

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

上述した従来の算術式展開方式では、算術式を基本命令
の並びに展開する際に生成される中間結果領域にはデー
タ型属性を持たせることはできず、中間結果領域は常に
あらかじめ決められたデータ型属性であるものとして処
理されているので、算術式の作用対象（当該算術式に基
づく基本命令の作用対象）があらかじめ決められたデー
タ型属性以外のデータ型属性を持つときに、余分なデー
タ型変換命令を生成しなければならないという欠点があ
る。

本発明の目的は、上述の点に鑑み、算術式を基本命令の
並びに展開する際に余分なデータ型変換命令を生成する
必要がなくなる算術式展開方式を提供することにある。

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

本発明の算術式展開方式は、原始プログラム中算術式に
基づく算術式を中間結果領域を使用した基本命令の並び
に展開する算術式展開方式において、算術式をデータ型
属性を持たない中間結果領域を使用した基本命令の並び
に展開する基本命令展開手段と、この基本命令展開手段
により出力された基本命令によって示される演算が除算
および巾乗算のいずれでもない場合に当該基本命令の中
間結果領域のデータ型属性を当該基本命令の作用対象の
データ型属性に基づいて決定し当該基本命令をデータ型
付き基本命令に変換するデータ型属性決定手段と、この
データ型属性決定手段により生成された当該データ型付
き基本命令の中間結果領域のデータ型属性等に基づいて
当該データ型付き基本命令の２項演算命令の命令型を決
定し当該データ型付き基本命令をデータ型付き命令型付
き基本命令に変換する命令型決定手段とを有する。

〔作用〕

本発明の算術式展開方式では、基本命令展開手段が算術
式をデータ型属性を持たない中間結果領域を使用した基
本命令の並びに展開し、データ型属性決定手段が基本命
令展開手段により出力された基本命令によって示される
演算が除算および巾乗算のいずれでもない場合に当該基
本命令の中間結果領域のデータ型属性を当該基本命令の
作用対象のデータ型属性に基づいて決定し当該基本命令
をデータ型付き基本命令に変換し、命令型決定手段がデ
ータ型属性決定手段により生成された当該データ型付き
基本命令の中間結果領域のデータ型属性等に基づいて当
該データ型付き基本命令の２項演算命令の命令型を決定
し当該データ型付き基本命令をデータ型付き命令型付き
基本命令に変換する。

〔実施例〕

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

第１図は、本発明の算術式展開方式の一実施例を含む言
語処理方式の構成を示すブロック図である。この言語処
理方式は、原始プログラム１と、言語処理プログラム２
と、目的プログラム１２と、算術式１３と、基本命令１
４と、データ型付き基本命令１５と、データ型付き命令
型付き基本命令１６とを含んで構成されている。

言語処理プログラム２は、字句解析処理部３と、構文解
析処理部４と、意味解析処理部５と、コード生成処理部
１０と、目的プログラム出力処理部１１とを含んで構成
されている。

意味解析処理部５内の算術式展開処理部６（本実施例の
算術式展開方式を実現する処理部）は、基本命令展開手
段７と、データ型属性決定手段８と、命令型決定手段９
とを含んで構成されている。

基本命令１４は、２項演算命令（この２項演算命令は、
第１作用対象と第２作用対象との間で２項演算を行い、
その演算結果を第３作用対象に設定する命令である）と
、３つの作用対象（第１作用対象、第２作用対象および
第３作用対象）とから戒り立っており、第３作用対象と
して中間結果領域が使用されている（作用対象の数およ
び中間結果領域が使用される作用対象の数は限定される
ものではない）。

データ型付き基本命令１５は、第３作用対象である中間
結果領域にデータ型属性情報を持つ基本命令である。

データ型付き命令型付き基本命令１６は、細分類された
２項演算命令（データ型属性の要素を持った２項演算命
令）である命令型付き２項演算命令を持つ基本命令であ
る。

第２図は、データ型付き基本命令が生成される際にデー
タ型属性決定手段８により参照される（データ型属性決
定手段８に記憶されている）データ型属性対応表の一例
を示す図である。

このデータ型属性対応表は、基本命令１４の２項演算命
令の第１作用対象および第２作用対象の２つの作用対象
のデータ型属性の組合せによって決まる中間結果領域（
第３作用対象）のデータ型属性を示している。ここで、
「ＣＯＭＰＪは１０進データ項目のデータ型属性を示し
ており、ｒｃＯＭＰ−１」は単精度２進データ項目のデ
ータ型属性を示しており、ｒｃＯＭＰ−２Ｊは倍精度２
進データ項目のデータ型属性を示している。第１作用対
象および第２作用対象のデータ型属性が共に「ＣＯＭＰ
−ＩＪの場合には、有効桁数を考慮して中間結果領域の
データ型属性はｒｃＯＭＰ−２Ｊに設定される。

第３図を参照すると、データ型属性決定手段８による中
間結果領域のデータ型属性の決定処理は、２項演算命令
判定ステップ８１と、除算・巾乗算判定ステフプ８２と
、第１作用対象データ型属性判定ステップ８３と、第２
作用対象データ型属性判定ステップ８４と、第１作用対
象データ型属性ｒｃＯＭＰ−２」決定ステップ８５と、
第１作用対象データ型属性ｒｃＯＭＰＪ決定ステップ８
６とからなる。

次に、このように構成された本実施例の算術式展開方式
を含む言語処理方式の動作について説明する。

言語処理プログラム２は、原始プログラム中算術式を有
する原始プログラムｌを入力し、字句解析処理部３およ
び構文解析処理部４において原始プログラム１の構文的
な正しさのチエツク等を行い（原始プログラム中算術式
に基づく算術式１３の生成も行う）、その後に意味解析
処理部５を起動する。

意味解析処理部５は、意味解析処理の過程で算術式展開
処理部６を起動する。

算術式展開処理部６は、算術式１３が意味的に正しいこ
とをチエツクし、基本命令展開手段７を起動する。

基本命令展開手段７は、算術式１３（意味的に正しいこ
とがチエツクされた算術式１３）を人力し、２項演算命
令と３つの作用対象とからなる基本命令１４を含む基本
命令の並びに展開して出力し、算術式展開処理部６に制
御を戻す。

算術式展開処理部６は、データ型属性決定手段８を起動
する。

データ型属性決定手段８は、以下に示すような処理を行
う（第３図参照）。

まず、基本命令の並びの中の基本命令を入力し、当該基
本命令が２項演算命令に係るものであるか否かを判定す
る（ステップ８１）。

この判定で当該基本命令が２項演算命令に係るものであ
る場合には、当該基本命令が除算または巾乗算を示す命
令であるか否かを判定する（ステップ８２〉。

この判定で当該基本命令が除算または巾乗算を示す命令
でない場合には（この場合の当該基本命令が基本命令１
４であるものとする）、第２図に示すデータ型属性対応
表に基づいて中間結果領域データ型属性決定処理を行う
。

すなわち、基本命令１４の第１作用対象のデータ型属性
がｒｃＯＭＰ−ＩＪであるか否かを判定する（ステップ
８３）。

この判定で基本命令１４の第１作用対象のデータ型属性
がｒｃＯＭＰ−ＩＪである場合には、基本命令１４の第
２作用対象のデータ型属性がｒＣＱＭＰ−１」であるか
否かを判定する（ステップ８４）。

この判定で基本命令１４の第２作用対象のデータ型属性
がｒｃＯＭＰ−ＩＪである場合には、中間結果Ｎ域であ
る第３作用対象のデータ型属性を「ＣＯＭＰ−２Ｊと決
定する（第２図参照）（ステップ８５〉。

ステップ８３の判定で基本命令１４の第１作用対象のデ
ータ型属性がｒｃＯＭＰ−ＩＪ基以外ある場合またはス
テップ８４の判定で基本命令１４の第２作用対象のデー
タ型属性がｒｃＯＭＰ−ＩＪ基以外ある場合には、中間
結果Ｈ域である第３作用対象のデータ型属性をｒｃＯＭ
ＰＪと決定する（第２図参照）　（ステップ８６）。

ステップ８１の判定で当該基本命令が２項演算命令に係
るものでない場合またはステップ８２の判定で当該基本
命令が除算または巾乗算を示す命令である場合には、中
間結果領域データ型属性決定処理を行わない（基本命令
が除算または中乗算を示す命令である場合にはデータ型
属性を特定することが困難であるので、中間結果領域デ
ータ型属性決定処理が行われない）。

データ型属性決定手段８は、以上のような中間結果領域
データ型属性決定処理により決定されたデータ型属性を
示すデータ型属性情報を有するデータ型付き基本命令１
５を生成する（基本命令１４をデータ型付き基本命令１
５に変換する）。

上述のような処理を全ての基本命令を対象として行い、
データ型付き基本命令１５を含む基本命令の並びを出力
すると、データ型属性決定手段８は算術式展開処理部６
に制御′ｎを戻す。

算術式展開処理部６は、命令型決定手段９を起動する。

命令型決定手段９は、データ型属性決定手段８により出
力された基本命令の並びの中のデータ型付き基本命令１
５等のデータ型付き基本命令（以下、データ型付き基本
命令１５を対象として説明する）を入力し、第１作用対
象、第２作用対象および中間結果領域である第３作用対
象の３つの作用対象のデータ型属性の組合せに基づいて
２項演算命令を細分類しく２項演算命令の命令型を決定
し）、２項演算命令を命令型付き２項演算命令（データ
型属性の要素を持つ２項演算命令）に変換し、この変換
に基づいてデータ型付き命令型付き基本命令１６を生威
する（データ型付き基本命令１５をデータ型付き命令型
付き基本命令１６に変換する〉。

上述のような処理を全てのデータ型付き基本命令を対象
として行い、データ型付き命令型付き基本命令１６を含
む基本命令の並びを出力すると、命令型決定手段９は算
術式展開処理部６および意味解析処理部５を介して言語
処理プログラム２に制御を戻す。

言語処理プログラム２は、コード生成処理部１０を起動
する。

コード生成処理部１０は、命令型決定手段９により出力
されたデータ型付き命令型付き基本命令１６を含む基本
命令の並びに基づいて機械語のコード群を生威し、言語
処理プログラム２に制御を戻す。

言語処理プログラム２は目的プログラム出力処理部１１
を起動し、目的プログラム出力処理部１１はコード生成
処理部１０により生成された機械語のコード群に基づい
て目的プログラム１２を出力する。

次に、本実施例の算術式展開方式の具体的な動作につい
て第４図を参照して説明する。

第４図は、Ｃ０ＢＯＬプログラム（ＣＯＢＯＬで記述さ
れた原始プログラム１）４１内の原始プログラム中算術
式４３等に基づいてデータ型付き命令型付き基本命令の
並び（データ型付き命令型付き基本命令を含む基本命令
の並び）４７が生成される態様を示す図である。

Ｃ０ＢＯＬプログラム４１は、データ宣言４２および原
始プログラム中算術式４３を含んでいる。

算術式展開処理部６内の基本命令展開手段７は、データ
宣言４２および原始プログラム中算術式４３に基づいて
字句解析処理部３および構文解析処理部４を介して生成
された算術式１３を、データ型属性を持たない中間結果
領域を使用した基本命令の並び４４に展開する。

ここで、基本命令の並び４４中のｒＡＤＤＪおよびｒＭ
ＯＶＥＪは、それぞれＣ０ＢＯＬ（７）ＡＤＤ命令およ
びＭＯＶＢ命令に対応している〈「Ｔ＃１」は中間結果
領域を示している〉。

データ型属性決定手段８は、基本命令の並び４４を入力
し、各基本命令の中間結果領域のデータ型属性を決定し
、中間結果領域データ型属性情報４６を有するデータ型
付き基本命令の並び（データ型付き基本命令を含む基本
命令の並び）４５を出力する。

命令型決定手段９は、中間結果領域データ型頭性情ｆＩ
１４６を有するデータ型付き基本命令の並び４５を入力
し、データ型付き命令型付き基本命令の並び４７を出力
する。

ここで、データ型付き命令型付き基本命令の並び４７中
のｒＡＤＤ−ＣＯＭＰ　１−１−２Ｊという命令型付き
２項演算命令は、ｒｃＯＭＰ−ＩＪデータ項目とｒｃＯ
ＭＰ−ＩＪデータ項目との間の加算結果をｒｃＯＭＰ−
２Ｊデ一タ項目に入れるＡＤＤ命令を示している。また
、ｒＭＯＶＥ−ＣＯＭＰ２−ＣＯＭＰＪという命令型付
き２項演算命令は、ｒｃＯＭＰ−２Ｊデ一タ項目から「
Ｃ○ＭＰＪデータ項目へのＭＯＶＢ命令を示している。

〔発明の効果〕

以上説明したように本発明は、算術式を中間結果領域を
使用した基本命令の並びに展開する際に中間結果領域へ
のデータ型属性の付与を可能にすることにより、余分な
データ型変換命令を生成する必要がなくなり、データ型
属性に関して基本命令を最適に生成することができると
いう効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例を含む言語処理方式の構成を
示すブロフク図、 第２図は第１図中のデータ型属性決定手段により参照さ
れるデータ型属性対応表の一例を示す図、第３図は第１
図中のデータ型属性決定手段の処理を示す流れ図、 第４図は第１図中の算術式展開処理部（本実施例の算術
式展開方式）の具体的な処理を説明するための図である
。 図において、 １・・・原始プログラム、 ２・・・言語処理プログラム、 ３・・・字句解析処理部、 ４・・・構文解析処理部、 ５・・・意味解析処理部、 ６・・・算術式展開処理部、 ７・・・基本命令展開手段、 ８・・・データ型属性決定手段、 ９・・・命令型決定手段、 ＩＯ・・・コード生成処理部、 １１・・・目的プログラム出力処理部、１２・・・目的
プログラム、 １３・・・算術式、 １４・・・基本命令、 １５・・・データ型付き基本命令、 １６・・・データ型付き命令型付き基本命令、４１・・
・Ｃ０ＢＯＬプログラム、 ４２・・・データ宣言、 ４３・・・原始プログラム中算術式、 ４４・・・基本命令の並び、 ４５・・・データ型付き基本命令の並び、４６・・・中
間結果領域データ型属性情報、４７・・・データ型付き
命令型付き基本命令の並びである。

Claims (1)

1. 【特許請求の範囲】 原始プログラム中算術式に基づく算術式を中間結果領域
   を使用した基本命令の並びに展開する算術式展開方式に
   おいて、 算術式をデータ型属性を持たない中間結果領域を使用し
   た基本命令の並びに展開する基本命令展開手段と、 この基本命令展開手段により出力された基本命令によっ
   て示される演算が除算および巾乗算のいずれでもない場
   合に当該基本命令の中間結果領域のデータ型属性を当該
   基本命令の作用対象のデータ型属性に基づいて決定し当
   該基本命令をデータ型付き基本命令に変換するデータ型
   属性決定手段と、 このデータ型属性決定手段により生成された当該データ
   型付き基本命令の中間結果領域のデータ型属性等に基づ
   いて当該データ型付き基本命令の２項演算命令の命令型
   を決定し当該データ型付き基本命令をデータ型付き命令
   型付き基本命令に変換する命令型決定手段と を有することを特徴とする算術式展開方式。