JPS63115235A - 比較演算子依存のスケルトン内ラベル生成方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 ［概　要］ 情報処理装置において、実行すべきプログラムが高級言
語で書かれている場合に、コンパイラが、これを中間言
語命令による記述に変換してから、これを更にハードウ
ェアの動作に対応する機械語命令に展開する。このよう
な中間言語命令を機械語命令へ展開する方式として一般
にスケルトン展開方式が用いられることが多い。

従来のスケルトン展開方式において、比較分岐系の中間
言語命令についてスケルトン展開を行なうとそのスケル
トン命令数と展開パターンの数が非常に大きくなりスケ
ルトン設計作業が複雑化するため、コンパイラのサイズ
が大となったり、設計ミスを生ずる可能性が大となった
りするなどの問題点があった。本発明はこのような従来
の問題点を解決するための一手段として比較演算子の種
別による生成ラベルの展開パターンを圧縮することの可
能な技術について開示している。

［産業上の利用分野］ 本発明はコンパイラが中間言語命令を目的プログラム（
機械語〉に展開するためのスケルトン展開方式に関する
ものであって、特に比較分岐系の中間言語命令のスケル
トン設計の手法に係る。

［従来の技術］ 情報処理装置において、プロセッサが実行すべき命令は
機械語で記述されている必要がある。

コンパイラは通常高級言語で記述されたプログラムを一
旦中間言語命令に翻訳してからこれを機械語による目的
プログラムに展開する。この中間言語命令を目的プログ
ラムに展開する方式の一つとしてスケルトン展開方式が
ある。

スケルトン展開方式においては、展開生成される可能性
のある命令は総てスケルトンに組み込むこと、および展
開生成される命令を切り分けるための条件は総て取り出
し条件に組み入れることが原則である。

従来のスケルトン展開方式ではこの原則に従って、比較
分岐系の中間言語命令においても、生成されるＢＣ命令
（ＢＲＡＮＣ！ｌ　ＯＮ　Ｃ０ＮＤＩＴＩＯＮ命令）の
マスクの違いまで含めて、スケルトンに総て組み込み、
比較演算子の種別（ＥＱ、ＮＥ、ＧＴ、ＬＴ。

ＧＥ、ＬＥ）も取り出し条件に組み入れでいた。

第５図（ａ〜ｄ）は従来のスケルトン設計書の例を示す
図であって、比較分岐系の中間言語命令の一つであるＣ
ＢＣＣｉ命令のスケルトン設計書の例を示している。

同図において５０はスケルトン命令の列であり、５１は
取り出しの条件のビット列を縦方向に表示したものであ
り、５２は取り出し条件に応じて生成されるべきスケル
トン命令に対応する位置に“１”が表示されるパターン
を表している。（５３〜５５については後述する）５０
で示したスケルトン命令の列の中のパＣＬ　Ｃ”　、“
ＣＬＩ”などは比較命令であり、”ＢＣ’”は条件分岐
命令であり、“ＩｂＯＥＱＵ”は生成ラベル定義である
。また、５１で示した取り出し条件のビット列は上から
下へそれぞれビット１〜ビツト６と言うようにビット番
号を付したとき、各ビットの値と取り出し条件との関係
は第１表〜第３表に示すとおりである。

第　　１　　表 第　　２　　表 第　　３　　表 ［発明が解決しようとする問題点コ 上述したような従来の原則に忠実に従って設計したスケ
ルトン設計書は、第５図を見ても明らかなようにスケル
トン命令数（縦幅）と展開パターンの数（横幅）が非常
に大きくなり、設計作業が複雑化するという問題点があ
った。

従来の比較分岐系の中間言語命令のスケルトンを分析し
て見ると、同一の部分的なパターンが繰り返し現れてい
ることが分かる。

第５図においては、このような繰り返し現れるパターン
を口で囲んで数字符５３〜５５によって示している。

これらのパターンの中身は比較演算子にのみ依存し、比
較の対象となるオペランドの属性には全く関係しない。

すなわち、オペランドの属性によって、このパターンが
現れるか否かが変わるのみで、このビットパターン自体
が崩れることはない。

そして、他の中間言語命令を更に分析することにより、
これらのパターンは個々の中間言語命令によらず、比較
分岐系の中間言語命令に共通したものであることも分か
る。

本発明はこのような点に着目して、比較演算子の種別に
よる展開バリエーションをスケルトン展開と切り離す（
比較演算子の種別を取り出し条件に組み入れない）こと
により、スケルトン設計書を簡潔なものとすることの可
能な手段の内比較演算子の種別による生成ラベルの展開
パターンを吸収することの可能な手段を提供することを
目的としている。

［問題点を解決するための手段］ 本発明によれば上述の目的は前記特許請求の範囲に記載
のとおり、コンパイラが比較分岐系の中間言語命令から
機械語による目的プログラムを生成するためのスケルト
ン設計書を作成する場合に、該比較分岐系の中間言語命
令の比較演算子の種類に無関係にスケルトン命令を取り
出す条件を設定すると共に、取り出されたスケルトン命
令が比較演算子依存の生成ラベル定義であって比較演算
子がｒＮｏｔ　Ｅｑｕａｌ」であるとき生成定義ラベル
の出力を抑止することを特徴とする比較演算子依存のス
ケルトン内ラベル生成方式により達成される。

［実施例］ 第１図は本発明の一実施例のスケルトン設計書の例を示
す図であって、ＣＢＣＣｉ命令のスケルトン設計書を示
している。

同図において、取り出し条件のビット１およびビット２
．３については、前記第１表および第２表に示したもの
と変わりはないが、第３表に示した比較演算子の種類に
対応する３ビツト（従来の場合のビット４〜６）は取り
出し条件として設定していない。

また、スケルトン命令番号１１のｒｌｂｏ　ＥＱＩＪ＋
Ｊは、従来の生成ラベル定義’ＩｂＯＥＱＵ　＊　」が
比較演算子ｉがｒＮｏｔ　Ｅｑｕａｌ」のときは不要で
あることから、従来のスケルトン展開の原則とは別の方
法によって実現するための「比較演算子依存のスケルト
ン内生成ラベル」である。

比較演算子依存であることは、°＊°でなくて′＋′で
あることによりわかる。このラベル定義は、ビットが°
１′の状態であったとしても無条件に生成されるわけで
はなく、比較演算子ｉ≠ＮＥの場合にのみ生成され、比
較演算子１＝ＮＥの場合には、生成が抑止される。

第１図において明らかなように、ＣＢＣＣｉ命令の場合
、従来の方式においては前記第５図に示したように取り
出し条件が６ビツト必要であるため　２６通りのパター
ン展開が必要であり、スケルトン命令も２４通り必要で
あったが、本発明によれば、比較演算子の種類を取り出
し条件から除外した結果、取り出し条件は３ビツトとな
り　２３通りのパターン展開で良く、また、スケルトン
命令も１１通りのもので済むのでスケルトン設計書が非
常にコンパクトなものとなっている。

第２図は本発明の１実施例の処理の流れを示すブロック
図であって、１はオブジェクト展開区、２はスケルトン
展開ルーチン、３は中間言語命令列、４は比較演算子設
定ルーチン、５は取り出し条件判定ルーチン、６はスケ
ルトン、７は出力命令列、８はスケルトン設計書を表し
ている。

以下、第２図について処理の流れを順を追って説明する
。

■第１図に例を示したようなスケルトン設計書８はツー
ルにより変換されて第３図に示すようなスケルトン６と
なり、コンパイラのオブジェクト展開区１に組み込まれ
る。

このスケルトンには、第３図に示すようにスケルトン設
計書の’ＩｂＯＥＱＵ　＊　Ｊまたは川ｂＯＥＱＵ＋Ｊ
に対応して、比較演算子無依存のラベル定義か、比較演
算子依存の生成ラベル定義かを識別するコードが入って
いる。

■処理に際してコンパイラはまず中間言語命令列３から
中間言語命令を一つ取り出して入力する。（これが例え
ばＣＢＣＣｉ命令とする。）■スケルトン展開ルーチン
２は比較演算子設定ルーチンを呼び出して、比較演算子
ｉを作業域に設定する。

■スケルトン展開ルーチン２は該当する中間言語命令（
この場合はＣＢＣＣｉ命令）専用の取り出し条件判定ル
ーチン５を呼び出して第１表あるいは第２表に示すよう
な取り出し条件の状態を決定する。

■そしてスケルトン展開ルーチン２は取り出し条件の状
態に応じて必要なスケルトン命令を繰り返し取り出す。

■そのとき、取り出されたスケルトン命令が比較演算子
無依存の生成ラベル定義であれば、そのまま出力命令列
７に出力される。

また、取り出されたスケルトン命令が比較演算子依存の
生成ラベル定義であれば、比較演算子ｉが調べられる。

比較演算子ｉがＮＥでなければ、生成ラベル定義が出力
命令列７に出力される。比較演算子ｉがＮＥならば、生
成ラベル定義の出力は抑止される。

第４図は本発明の一実施例のデータの流れの例を示す図
で、（ａ）は比較演算子がＥＱ（ｉ＝ＥＱ）の場合、通
し番号１１のスケルトン命令が選択されたときく取出し
条件が’ＯＯＯ’、’１００’以外のとき）でもラベル
名定義生成までの様子を示しており、（ｂ）は比較演算
子がＮＥ（１＝ＮＥ）の場合、通し番号１１のスケルト
ン命令が選択されたときく取出し条件が’ＯＯＯ’、’
１００’以外のとき）でもラベル内定義が生成されない
様子を示している。

第４図において、９は入力中間言語命令、１０はスケル
トン命令、１１は作業域、１２は機械語命令、１３は属
性篩ラベル名票を表している。） ［発明の効果］ 以上説明したように本発明によれば、スケルトン設計時
に比較演算子に依存する部分を考慮する必要がないので
スケルトン設計作業が格段に楽になり、設計ミスの入り
込む余地が圧倒的に少なくなるという利点がある。

そして、スケルトン設計書がコンパクトで見易くなる上
、スケルトンもコンパクトになるからコンパイラのサイ
ズが縮小するという利点もある。

【図面の簡単な説明】

第１図は本発明の一実施例のスケルトン設計書の例を示
す図、第２図は本発明の１実施例の処理の流れを示すブ
ロック図、第３図は本発明の一実施例の処理の流れを示
す図、第４図は本発明の一実施例のデータの流れの例を
示す図、第５図は従来のスケルトン設計書の例を示す図
である。 １・・・・・・オブジェクト展開区、２・・・・・・ス
ケルトン展開ルーチン、３・・・・・・中間言語命令列
、４・・・・・・比較演算子設定ルーチン、５・・・・
・・取り出し条件判定ルーチン、６・・・・・・スケル
トン、７・・・・・・出力命令列、８・・・・・・スケ
ルトン設計書、９・・・・・・入力中間言語命令、１０
・・・・・・スケルトン命令、１１・・・・・・作業域
、１２・・・・・・機械語命令、１３・・・・・・属性
篩ラベル名票 、／ 代理人　弁理士　井　桁　貞　二　、′＼゛−ノー　パ ＼（−ン ０ｏＯ００００００００００００００００００口くＮ　
　＼　　＋＋　　＋＋　　＋＋　　Ｓ　　＋＋＋＋＋＋
−＼ＮＮ＼　　＼”　０　”　“−二゛”Ｏ” １に ）口０ロロｅｅｏｏｏｏ口０ロロロロｏｏｏｏ口算５図
（ （Ｃ） 番号　スケルトン命令 悴５図１ イ０２） ・　・　・　・　・　・　・　・　１１１１１１　・　
・（イの、３）

Claims (1)

【特許請求の範囲】
1. コンパイラが比較分岐系の中間言語命令から機械語によ
   る目的プログラムを生成するためのスケルトン設計書を
   作成する場合に、該比較分岐系の中間言語命令の比較演
   算子の種類に無関係にスケルトン命令を取り出す条件を
   設定すると共に、取り出されたスケルトン命令が比較演
   算子依存の生成ラベル定義であって比較演算子が「Ｎｏ
   ｔ　Ｅｑｕａｌ」であるとき生成定義ラベルの出力を抑
   止することを特徴とする比較演算子依存のスケルトン内
   ラベル生成方式。