JPS61262936A

JPS61262936A - マスク生成処理方式

Info

Publication number: JPS61262936A
Application number: JP10542985A
Authority: JP
Inventors: Michio Ino; 猪野　道夫; Masaaki Takiuchi; 滝内　政昭; Koichiro Hotta; 耕一郎堀田
Original assignee: Fujitsu Ltd
Current assignee: Fujitsu Ltd
Priority date: 1985-05-17
Filing date: 1985-05-17
Publication date: 1986-11-20
Also published as: JPH0447349B2

Abstract

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

Description

【発明の詳細な説明】〔概要〕マスク情報をもつ中間コードを得ているコンパイラにお
いて、複数のブロックから制御を受ける自ブロックに対
応する上記マスク情報を生成するに当って、自ブロック
とハ゛ソクドミネータとの間において制御の流れに飛び
出しがあるか否かをチェックし、飛び出しがない場合に
バソクドミネータに対応するマスク情報を自ブロックに
対するマスフ情報として、転記するよう構成し、マスク
生成処理を最適化するようにすることが開示される。

〔産業上の利用分野〕

本発明は、マスク生成処理方式、特にコンパイラにおい
て、中間コードに対応するマスク情報を生成するに当っ
て、可能な範囲でバックドミネータのマスク情報をその
まま転記する方法を採用できるようにしたマスク生成処
理方式に関するものである。

〔従来の技術〕

従来から、コンパイラにおいては、第４図に示す如く、
第４図図示上半に示す如きソース・プログラム１から下
半に示す如き中間コード２に変換する処理が存在する。

なお２図示ソース・プログラム１は、■の値が「４０」
からｒｌｏＯＪまでの間ではＡ　（Ｉ）　＝Ｂ　（１）　十Ｃ（１）なる計算を行う
ことを表わしている。そして、上記Ｉの値が「１」から
ｒ　１００　Ｊまである間で「４０」からＩＩ　ＯＯＪ
までの範囲でのみ上記計算を行うことを中間コード２に
おいて指示するために、マスク（ｍａｓｋ）情報として
、マスクの最初のビットから３９番目のビン１〜までを
「０−１とし、４０番目力）ら１００番目までのビット
を「１」としたものを用いる。

上記の如きマスク情報を生成する場合に１例えば第５図
や第６図図示ブロック「７」で示すブロックの如きブロ
ックについては、マスク生成に問題があった。

なお、第５図や第６図は、与えられたソース・プログラ
ムの形態をブロックがチェーンに連結されている形で表
現したものである。図示ブロックは１例えば第４図図示
のプログラム】の如く、制御の流れが変わらない範囲で
の１つまたは一連の命令をひとつの固まりとしてブロッ
クで表現したものである。第５図や第６図図示の場合に
は、ブロック「１」の結果がブロック「２」と１３」と
に伝えられ、ブロック「３」の結果がブロック「４」と
「５」とに伝えられ、ブロック「４」と「５」との夫々
との結果がブロック「６」に伝えられ、ブロック「２」
と「６」との結果が夫々ブロック「７」に伝えられてい
る。ただ第６図図示の場合には、ブロック「５」の結果
の一部がブロック「６」に伝えられ、他の一部がブロッ
クｒｙＪに伝えられる形となっている。

従来の場合、第５図や第６図に示すブロック「７」の如
く、複数のブロックから制御を受けるブロックに対応す
るマスク情報を生成する場合には。

図示ブロック「２」に対応するマスク情報とブロック「
６」に対応するマスク情報とについてオア論理をとる形
で、すなわチＯＲテキストを用いる形で、当該ブロック
「７」に対するマスク情報を生成していた。

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

従来上述の如き形でブロック「７」に対するマスク情報
が生成されていたが、オブジェクト上で得られるマスク
情報に冗長なも１７′）となっていた。

この点を・考察するに、第５図図示の如く、ブロック「
７」を自ブロックとするとき、自ブロック「７」から上
方にさかのぼってゆき自ブロック「７」に至るルートが
必らず通過するブロックを探してそのブロック「１」を
上記自ブロック「７」のバソクドミネータと呼ぶが、ブ
ロック「１」からブロック「７」までの間に、第５図に
示すように制御の流れが外部に飛び出していないケース
と。

第６図に示すように飛び出しているケースとが存在する
ことが判る。そして、第５図図示の如く飛び出しのない
場合には、ブロック「７」に対するマスク情報は、バッ
クドミネータであるブロック「１」のそれと同じである
はずである。

一方、第５図および第６図の場合には、各ブロック相互
間で制御の流れがどのように流れているかを表わすチェ
ーンであるか、ソース・プログラム上で各ブロックがど
のように出現しているかを調べると、第５図図示の態様
の場合には第７図図示の如き形で各ブロックが出現して
いることが判り、また第６図図示の態様の場合には第８
図図示の如き形で出現していることが判明する。

〔問題点を解決するだめの手段〕

本発明は、上記の問題を解決しているものであり、第５
図図示の如きチェイン状態になっているか否かを判別し
、第５図図示の如き場合にはバックドミネータのマスク
情報を転記するようにしている。

第１図は本発明の原理構成図を示し９図中の符号３は範
囲決定部、４は色づけ処理部、５は色検査部、６はＯＲ
テキスト利用処理部、７はマスク転記処理部を表わして
いる。

範囲決定部３においては１例えば第５図または第６図図
示のブロック「７」からみてバソクドミネータに該当す
るブロック「１」を決定するものである。

〔作用〕

以下の処理において１色づけ処理部４は、上記パックド
ミネータが見出された状態で、第７図または第８図の如
きブロックの出現順にしたがって。

ブロック「１」からブロック「７」までの間に位置する
ブロックに対して、同じ色、即ち同じＩＤ情報をつげて
ゆく。

色検査部５は２次にパソクドミネータに該当するブロッ
ク「１」から、第２図および第３図において後述すると
同じ処理で、第５図または第６図図示のチェーンに沿っ
てブロックｒ２’Ｊ、ｒ３Ｊ・・・のＩＤ情報を調べて
ゆく。

第５図図示の如きチェインの如き場合には、第７図図示
の出現順の説明図から判る如く、ブロック「１」ないし
「７」はすべて同じＩＤ情報力月二記処理４においてつ
けられている。このため処理５においては、他の色、即
ち他のＩＤ情報をもつブロックに出合うことなく、ブロ
ック「７」に到達する。

しかし、第６図図示のチェインの如き場合には。

第８図図示の出現順の説明図から判る如く、処理４にお
いて、ブロックｒｙＪには同じ色、即ち同じＩＤ情報が
つけられていない。このために、処理５においてブロッ
クｒｙＪに達したとき同じ色。

即ち同じＩＤ情報を持っていないブロックが存在するこ
とが検出される。

ＯＲテキスト利用処理部６ば、第６図図示の如きチェイ
ン状態にある場合に、従来から行われている如く、ブロ
ック「２」のマスク情報とブロック「６」のマスク情報
とのオア論理をとって、ブロック「７」のマスク情報に
する。

マスク転記処理部７は、第５図図示の如きチェイン状態
にある場合に、バックドミネータに該当するブロック「
１」のマスク情報をそのままブロック「７」のマスク情
報とする。

〔実施例〕

第２図および第３図は、第１図図示の色検査部５におけ
る処理をより具体的に説明する説明図である。

今仮に、第２図図示の如きチェインの下で、上記にいう
自ブロックｒｘＪのバソクドミネータに該当するブロッ
クがブロック「１」であったとする。

そして、このようなブロックのチェインの下で、第１図
図示の色づけ処理部４によって色づけがされているとす
る。なお、第２図図示の場合には、上述の飛び出しが存
在せず、同じ色、即ち同じＩＤ情報がつけられている状
態にある。

第１図図示の色検査部５における検査処理は。

バソクドミネータに該当するブロック「１」から。

第３図図示の如く、各ブロックをスタック８内に取込ん
でゆく。このとき、先に調べられたブロックに対しては
ブロックに関する情報を保持する領域上にその旨を書込
んでおき、複数回チェックを受けることがないようにさ
れる。

第３図を参照して説明すると、ブロック「１」を取込ん
で色を調べる。次いでブロック「１」からの制御がわた
るブロックが２つあることから。

ブロック「２」とブロック「３」とを取込んで。

例えばブロック「３」の側をチェックする。次いでブロ
ック「３」につらなるブロック「４」を取込んで調べる
。次いでブロック「５」を取り込んで調べる。次いでブ
ロック「６」と「７」とを取込んで９例えばブロック「
７」側を調べる。次にブロック「８」を調べる。次にブ
ロック「９」を調べる。次にブロック「９」につらなる
ブロックｒｘＪを取込もうとするが、当該ブロックｒｘ
Ｊは、いわゆる自ブロックであることから、先にベンデ
ィング状態にしておいたブロック「６」を調べる。次い
でブロック「６」につらなるブロック「８」を取込もう
とするが、・既にチェック済みであることから、ベンデ
ィング状態においであるブロック「２」を調べる。

次にブロック「２」から制御がわたるブロック「１０」
と「１１」とを取込んで２例えばブロック「１１」側を
チェックする。次いで、ブロック「１２」を取込んでチ
ェックする。次いで・・・・・・の如く、各ブロックは
、第３図図示のスタックに取込まれては調べられてゆく
。そして最後にブロック「１８」を調べた後には自ブロ
ック「Ｘ」しか調べるものがなくなることから、ブロッ
ク「１」からブロックｒｘＪに到る間のすべてのブロッ
クが同じ色、即ち同じ情報をもっていることが判る。

したがって、第１図図示のマスク転記処理部７によって
、ブロック「１」に対応するマスク情報がブロックｒｘ
Ｊに対応するマスク情報として転記される。

〔発明の効果〕

以上説明した如く１本発明によれば、可能な範囲におい
て２マスク情報の附与に当って冗長性を加えることなく
処理することが可能となる。

【図面の簡単な説明】

第１図は本発明の原理構成図、第２図および第３図は第
１図図示の色検査部における処理を説明する説明図、第
４図ないし第８図は夫々マスク情報について説明する説
明図を示す。図中、１はソース・プログラム、２は中間コード、３は
範囲決定部、４は色づけ処理部、５は色検査部、６はオ
ア・テキスト利用処理部、７はマスク転記処理部を表わ
している。 −Ｎ＝ｇ寮デーー÷■塑ザ箭 ≧ 図３区６゛ヴトこ？

Claims

【特許請求の範囲】制御の流れが変わらない１つまたは一連の命令に対応づ
けられるブロックがチェーンに連結される構成をもつソ
ース・プログラム（１）を、上記ブロックに対応したマ
スク情報をもつ中間コード（２）に変換する処理を行う
コンパイラにおいて、複数のブロックからの制御を受ける自ブロックに対する
マスク情報生成処理に当って、上記制御を受ける複数の
ブロックの夫々のマスク情報についてのオア論理をとっ
て当該自ブロックに対するマスク情報を生成するオア・
テキスト利用処理部（６）と、バックドミネータのマスク情報を自ブロックに対するマ
スク情報として転記して生成するマスク転記処理部（７
）とのいずれかにて当該自ブロックに対するマスク情報を生
成するよう構成し、上記マスク転記処理部（７）は、上記自ブロックと上記
バックドミネータとの間において、制御の流れに飛び出
しが存在するか否かをチェックし、存在しない場合に当
該転記を実行するようにされ、かつ上記オア・テキスト
利用処理部（６）は、上記飛び出しが存在する場合に当
該オア・テキスト利用処理を実行するようにしたことを特徴とするマスク生成処理方式。