JP3295853B2 - コンパイル処理装置 - Google Patents
コンパイル処理装置Info
- Publication number
- JP3295853B2 JP3295853B2 JP10714292A JP10714292A JP3295853B2 JP 3295853 B2 JP3295853 B2 JP 3295853B2 JP 10714292 A JP10714292 A JP 10714292A JP 10714292 A JP10714292 A JP 10714292A JP 3295853 B2 JP3295853 B2 JP 3295853B2
- Authority
- JP
- Japan
- Prior art keywords
- type
- instruction
- floating
- point
- vector
- 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.)
- Expired - Fee Related
Links
Landscapes
- Complex Calculations (AREA)
- Devices For Executing Special Programs (AREA)
Description
【０００１】
【産業上の利用分野】本発明は、符号なし整数と実数の
変換を行うコンパイル処理装置に関するものである。
変換を行うコンパイル処理装置に関するものである。
【０００２】
【従来の技術】コンピュータのハードウェアにおいて、
一般に固定小数点データは内部で２進数（あるいは２の
補数）で表現する。浮動小数点データは、４ビット単位
の１６進数で表現する。符号なし整数は、１６進数で表
現する。
一般に固定小数点データは内部で２進数（あるいは２の
補数）で表現する。浮動小数点データは、４ビット単位
の１６進数で表現する。符号なし整数は、１６進数で表
現する。
【０００３】
【発明が解決しようとする課題】このとき、符号なし整
数と浮動小数点データの型変換は、数値の表現方法の違
いから現行の整数型と実数型の型変換命令では扱えな
い。更に、通常、ベクトル命令は、特別な命令を除い
て、正規化データを扱うので、１６進表現された符号な
し整数は、非正規化データとなる場合があり、データ例
外を起こすことがあるという問題があった。このため、
符号なし整数と浮動小数点データの間の相互の型変換に
ついて、データ例外が発生しないようにベクトル命令で
実現することが望まれている。例えば 符号なし整数'0xFFFFFFFF'（４バイト）を浮動小数点デ
ータ0x48FFFFFFFF000000'（８バイト）に型変換した
り、浮動小数点データ'Ox48FFFFFFFFFFFFFF'（８バイ
ト）を符号なし整数'0x00000000FFFFFFFF'（４バイト）
に型変換したり、することが望まれている。
数と浮動小数点データの型変換は、数値の表現方法の違
いから現行の整数型と実数型の型変換命令では扱えな
い。更に、通常、ベクトル命令は、特別な命令を除い
て、正規化データを扱うので、１６進表現された符号な
し整数は、非正規化データとなる場合があり、データ例
外を起こすことがあるという問題があった。このため、
符号なし整数と浮動小数点データの間の相互の型変換に
ついて、データ例外が発生しないようにベクトル命令で
実現することが望まれている。例えば 符号なし整数'0xFFFFFFFF'（４バイト）を浮動小数点デ
ータ0x48FFFFFFFF000000'（８バイト）に型変換した
り、浮動小数点データ'Ox48FFFFFFFFFFFFFF'（８バイ
ト）を符号なし整数'0x00000000FFFFFFFF'（４バイト）
に型変換したり、することが望まれている。
【０００４】本発明は、これらの問題を解決するため、
最適化時に符号なし整数と浮動小数点データとの間の相
互の型変換を既存のベクトル命令に変換しておき、実行
時にこれら変換した命令列によって相互の型変換を可能
にすることを目的としている。
最適化時に符号なし整数と浮動小数点データとの間の相
互の型変換を既存のベクトル命令に変換しておき、実行
時にこれら変換した命令列によって相互の型変換を可能
にすることを目的としている。
【０００５】
【課題を解決するための手段】図１を参照して課題を解
決するための手段を説明する。図１において、型変換命
令は、符号なし整数（例えば４バイトデータ）を所定
バイト数データ（例えば８バイトデータ）に変換するも
のである。
決するための手段を説明する。図１において、型変換命
令は、符号なし整数（例えば４バイトデータ）を所定
バイト数データ（例えば８バイトデータ）に変換するも
のである。
【０００６】非正規化型変換命令は、変換した所定バ
イト数データに符号と指数を設定するものである。正規
化型変換命令は、符号と指数を設定した非正規化デー
タを正規化した浮動小数点データに変換するものであ
る。
イト数データに符号と指数を設定するものである。正規
化型変換命令は、符号と指数を設定した非正規化デー
タを正規化した浮動小数点データに変換するものであ
る。
【０００７】仮数部整数化命令は、浮動小数点データ
の仮数部を整数に変換するものである。整数型変換命令
は、仮数部を整数に変換したデータの、符号と指数を
０にして指数なしに変換するものである。
の仮数部を整数に変換するものである。整数型変換命令
は、仮数部を整数に変換したデータの、符号と指数を
０にして指数なしに変換するものである。
【０００８】
【作用】本発明は、図１に示すように、最適化時に、符
号なし整数を浮動小数点データへの変換に対応して、符
号なし整数（例えば４バイトデータ）を所定バイト数デ
ータ（例えば８バイトデータ）に変換する型変換命令
と、変換した所定バイト数データに符号と指数を設定す
る非正規化型変換命令と、符号と指数を設定した非正
規化データを正規化した浮動小数点データに変換する正
規化型変換命令を設定するようにしている。
号なし整数を浮動小数点データへの変換に対応して、符
号なし整数（例えば４バイトデータ）を所定バイト数デ
ータ（例えば８バイトデータ）に変換する型変換命令
と、変換した所定バイト数データに符号と指数を設定す
る非正規化型変換命令と、符号と指数を設定した非正
規化データを正規化した浮動小数点データに変換する正
規化型変換命令を設定するようにしている。
【０００９】そして、実行時にこれら設定した型変換命
令が符号なし整数を所定バイト数データに変換し、非
正規化型変換命令がこの所定バイト数データを非正規
型データに変換し、正規化型変換命令がこの非正規化
型データを正規化した浮動小数点データに変換するよう
にしている。
令が符号なし整数を所定バイト数データに変換し、非
正規化型変換命令がこの所定バイト数データを非正規
型データに変換し、正規化型変換命令がこの非正規化
型データを正規化した浮動小数点データに変換するよう
にしている。
【００１０】また、最適化時に、浮動小数点データを符
号なし整数への変換に対応して、浮動小数点データの仮
数部を整数に変換する仮数部整数化命令と、この仮数
部を整数に変換したデータの、符号と指数を０にして指
数なしに変換する整数型変換命令とを設定するように
している。
号なし整数への変換に対応して、浮動小数点データの仮
数部を整数に変換する仮数部整数化命令と、この仮数
部を整数に変換したデータの、符号と指数を０にして指
数なしに変換する整数型変換命令とを設定するように
している。
【００１１】そして、実行時にこれら設定した仮数部整
数化命令が浮動小数点データの仮数部を整数に変換
し、整数型変換命令がこれを符号なし整数に変換する
ようにしている。
数化命令が浮動小数点データの仮数部を整数に変換
し、整数型変換命令がこれを符号なし整数に変換する
ようにしている。
【００１２】従って、最適化時に符号なし整数と浮動小
数点データとの間の相互の型変換を既存のベクトル命令
に変換しておき、実行時にこれら変換した命令列によっ
て相互の型変換を行うことが可能となる。
数点データとの間の相互の型変換を既存のベクトル命令
に変換しておき、実行時にこれら変換した命令列によっ
て相互の型変換を行うことが可能となる。
【００１３】
【実施例】次に、図１から図７を用いて本発明の実施例
の構成および動作を詳細に説明する。
の構成および動作を詳細に説明する。
【００１４】図１は、本発明の１実施例構成図を示す。
図１において、ソースプログラム１は、コンパイラ２が
コンパイルしようとする対象のソースプログラムであっ
て、ここでは、符号なし整数を浮動小数点データに変換
したり、浮動小数点データを符号なし整数に変換したり
する内容を含んだソースプログラムである。
図１において、ソースプログラム１は、コンパイラ２が
コンパイルしようとする対象のソースプログラムであっ
て、ここでは、符号なし整数を浮動小数点データに変換
したり、浮動小数点データを符号なし整数に変換したり
する内容を含んだソースプログラムである。
【００１５】コンパイラ２は、ソースプログラム１をコ
ンパイル（翻訳）してオブジェクトプログラム８を生成
するものであって、ソースプログラム解析部３、最適化
部４およびコード生成部７などから構成されるものであ
る。
ンパイル（翻訳）してオブジェクトプログラム８を生成
するものであって、ソースプログラム解析部３、最適化
部４およびコード生成部７などから構成されるものであ
る。
【００１６】ソースプログラム解析部３は、ソースプロ
グラム１を解析（形態素解析、構文解析など）して構文
木などの最適化部４が最適化を行うために必要な情報を
生成するものである。
グラム１を解析（形態素解析、構文解析など）して構文
木などの最適化部４が最適化を行うために必要な情報を
生成するものである。
【００１７】最適化部４は、ソースプログラム解析部３
によって解析された情報をもとに、最適化を行うもので
あって、ここでは、ベクトル命令生成部５およびハード
依存変換部６などから構成されるものである。
によって解析された情報をもとに、最適化を行うもので
あって、ここでは、ベクトル命令生成部５およびハード
依存変換部６などから構成されるものである。
【００１８】ベクトル命令生成部５は、ソースプログラ
ム解析部３によって解析された情報などをもとにソース
プログラムのベクトル処理を行うベクトル命令を生成す
るものである。
ム解析部３によって解析された情報などをもとにソース
プログラムのベクトル処理を行うベクトル命令を生成す
るものである。
【００１９】ハード依存変換部６は、コンピュータシス
テムのハードウェアに依存した変換を行うものであっ
て、ここでは、符号なし整数を浮動小数点データに変換
および浮動小数点データを符号なし整数に変換するため
のハードウェアが持つベクトル命令列に変換するもので
ある。ここでは、符号なし整数を浮動小数点データに変
換するために、型変換命令（例えばＶＯＳ命令）、
非正規化型変換命令（例えばＶＯＳ命令）、正規化型
変換命令（例えばＶＡＵＳ命令）に変換したり、あるい
は浮動小数点データを符号なし整数に変換するために、
加数部整数化命令（例えばＶＡＤ命令）および整数
型変換命令（例えばＶＮ命令）に変換したりするもので
ある（図２から図７を用いて後述する）。
テムのハードウェアに依存した変換を行うものであっ
て、ここでは、符号なし整数を浮動小数点データに変換
および浮動小数点データを符号なし整数に変換するため
のハードウェアが持つベクトル命令列に変換するもので
ある。ここでは、符号なし整数を浮動小数点データに変
換するために、型変換命令（例えばＶＯＳ命令）、
非正規化型変換命令（例えばＶＯＳ命令）、正規化型
変換命令（例えばＶＡＵＳ命令）に変換したり、あるい
は浮動小数点データを符号なし整数に変換するために、
加数部整数化命令（例えばＶＡＤ命令）および整数
型変換命令（例えばＶＮ命令）に変換したりするもので
ある（図２から図７を用いて後述する）。
【００２０】コード生成部７は、最適化した後の内部形
式を、実行可能形式のオブジェクトプログラム８を生成
するものである。オブジェクトプログラム８は、実行可
能形式のプログラムである。
式を、実行可能形式のオブジェクトプログラム８を生成
するものである。オブジェクトプログラム８は、実行可
能形式のプログラムである。
【００２１】次に、図２から図４を用いて図１の構成に
おける、符号なし整数を浮動小数点データに変換すると
きの動作を、図４の具体例をもとに詳細に説明する。こ
こで、データ形式は、 ・符号なし整数は４バイト ・浮動小数点データは８バイト ・ビット０は符号を表し、０は正、１は負 ・ビット１から７は指数部で、１６のベキ乗 ・ビット８から仮数部で、４ビットを単位とした１６進 とする。
おける、符号なし整数を浮動小数点データに変換すると
きの動作を、図４の具体例をもとに詳細に説明する。こ
こで、データ形式は、 ・符号なし整数は４バイト ・浮動小数点データは８バイト ・ビット０は符号を表し、０は正、１は負 ・ビット１から７は指数部で、１６のベキ乗 ・ビット８から仮数部で、４ビットを単位とした１６進 とする。
【００２２】図２は、本発明の符号なし整数から浮動小
数点への型変換ベクトル命令の変換処理フローチャート
を示す。これは、具体的には、図４のベクトル命令 ＶＣＥＩ(vt1,vt2)という符号なし整数から浮動小数点
への型変換ベクトル命令を入力とし、 ＶＯＳ(vt3,0,vt2)（型変換命令） ＶＯＳ(vt4,0x4E0・・0,VT3)（非正規化型変換命
令） ＶＡＵＳ(vt1,0,vt4)（正規化型変換命令） のハードウェアが持つ３つのベクトル命令に変換し、図
１のハード依存変換部６が出力する。
数点への型変換ベクトル命令の変換処理フローチャート
を示す。これは、具体的には、図４のベクトル命令 ＶＣＥＩ(vt1,vt2)という符号なし整数から浮動小数点
への型変換ベクトル命令を入力とし、 ＶＯＳ(vt3,0,vt2)（型変換命令） ＶＯＳ(vt4,0x4E0・・0,VT3)（非正規化型変換命
令） ＶＡＵＳ(vt1,0,vt4)（正規化型変換命令） のハードウェアが持つ３つのベクトル命令に変換し、図
１のハード依存変換部６が出力する。
【００２３】 ここで、vt1:型変換先のベクトルレジスタ vt2:型変換元のベクトルレジスタ vt3、vt4:新たに割りつけたベクトルレジスタ ＶＯＳ：ベクトルＯＲスカラ命令 ＶＡＵＳ：ベクトル浮動小数点加算命令（非正規化） である。以下説明する。
【００２４】図２において、Ｓ１は、型変換命令（Ｖ
ＯＳ）の生成を行う。この生成は、ＶＯＳ命令のオペラ
ンド１に新しいベクトルレジスタvt3を割りつける。Ｖ
ＯＳ命令のオペランド２に常に０の数値を割りつける。
ＯＳ）の生成を行う。この生成は、ＶＯＳ命令のオペラ
ンド１に新しいベクトルレジスタvt3を割りつける。Ｖ
ＯＳ命令のオペランド２に常に０の数値を割りつける。
【００２５】ＶＯＳ命令のオペランド３に変換元のベク
トルレジスタvt2を割りつける。これらによって、図４
のの出力１：ＶＯＳ(vt3,0,vt2)が生成されることと
なる。。
トルレジスタvt2を割りつける。これらによって、図４
のの出力１：ＶＯＳ(vt3,0,vt2)が生成されることと
なる。。
【００２６】Ｓ２は、非正規化型変換命令（ＶＯＳ）
の生成を行う。この生成は、ＶＯＳ命令のオペランド１
に新しいベクトルレジスタvt4を割りつける。ＶＯＳ命
令のオペランド２に常に'0x4E00000000000000'の数値を
割りつける。
の生成を行う。この生成は、ＶＯＳ命令のオペランド１
に新しいベクトルレジスタvt4を割りつける。ＶＯＳ命
令のオペランド２に常に'0x4E00000000000000'の数値を
割りつける。
【００２７】ＶＯＳ命令のオペランド３にのＶＯＳ命
令のオペランド１を割りつけてvt3とする。これらによ
って、図４のの出力２：ＶＯＳ(vt4,0x4E00...0,vt3)
が生成されることとなる。。
令のオペランド１を割りつけてvt3とする。これらによ
って、図４のの出力２：ＶＯＳ(vt4,0x4E00...0,vt3)
が生成されることとなる。。
【００２８】Ｓ３は、正規化型変換命令（ＶＡＵＳ）
の生成を行う。この生成は、ＶＡＵＳ命令のオペランド
１に変換先のベクトルレジスタvt1を割りつける。
の生成を行う。この生成は、ＶＡＵＳ命令のオペランド
１に変換先のベクトルレジスタvt1を割りつける。
【００２９】ＶＡＵＳ命令のオペランド２に常に０の数
値を割りつける。ＶＡＵＳ命令のオペランド３にのＶ
ＯＳ命令のオペランド１を割りつけてvt4とする。
値を割りつける。ＶＡＵＳ命令のオペランド３にのＶ
ＯＳ命令のオペランド１を割りつけてvt4とする。
【００３０】これらによって、図４のの出力３：ＶＡ
ＵＳ(vt1,0,vt4)が生成されることとなる。以上によっ
て、最適化時に符号なし整数を浮動小数点データ（実数
型）へのベクトル変換命令ＶＣＥ１(vt1,vt2)の入力に
対応して、 ＶＯＳ(vt3,0,vt2) ＶＯＳ(vt4,0x4E0・・0,VT3) ＶＡＵＳ(vt1,0,vt4) の３つのベクトル命令にして出力する。そして、後述す
る図３の実行時に当該図４の左側に記載したように実行
し、符号なし整数を浮動小数点データに変換するように
している。
ＵＳ(vt1,0,vt4)が生成されることとなる。以上によっ
て、最適化時に符号なし整数を浮動小数点データ（実数
型）へのベクトル変換命令ＶＣＥ１(vt1,vt2)の入力に
対応して、 ＶＯＳ(vt3,0,vt2) ＶＯＳ(vt4,0x4E0・・0,VT3) ＶＡＵＳ(vt1,0,vt4) の３つのベクトル命令にして出力する。そして、後述す
る図３の実行時に当該図４の左側に記載したように実行
し、符号なし整数を浮動小数点データに変換するように
している。
【００３１】図３は、本発明の符号なし整数から浮動小
数点への型変換されたベクトル命令実行論理フローチャ
ートを示す。これは、図２のフローチャートによって変
換されたベクトル命令（図４の右側に記載した出力１の
、出力２の、出力３ののベクトル命令）を実行す
るときのフローチャートであって、具体的には図４の左
側の、、に記載した処理である。以下順次説明す
る。
数点への型変換されたベクトル命令実行論理フローチャ
ートを示す。これは、図２のフローチャートによって変
換されたベクトル命令（図４の右側に記載した出力１の
、出力２の、出力３ののベクトル命令）を実行す
るときのフローチャートであって、具体的には図４の左
側の、、に記載した処理である。以下順次説明す
る。
【００３２】図３において、Ｓ１１は、型変換命令
（ＶＯＳ）で８バイトデータに変換する。これは、図４
の出力１のＶＯＳ(vt3,0,vt2)によって符号なし整数例
えば４バイトデータで表現できる最大の値（１０進で２
32−１=4294967295) '0xFFFFFFFF'を ８バイトのデータ '0x00000000FFFFFFFF'に変換する。
（ＶＯＳ）で８バイトデータに変換する。これは、図４
の出力１のＶＯＳ(vt3,0,vt2)によって符号なし整数例
えば４バイトデータで表現できる最大の値（１０進で２
32−１=4294967295) '0xFFFFFFFF'を ８バイトのデータ '0x00000000FFFFFFFF'に変換する。
【００３３】この変換は、データに符号、指数部を付与
するために、処理上８バイトに拡張したものである。Ｓ
１２は、非正規化型変換命令（ＶＯＳ）で、符号と指
数を設定する。これは、図４の出力２のＶＯＳ(vt4,0x4
E...0,vt3)によって８バイトの非正規化データに値を変
換する。
するために、処理上８バイトに拡張したものである。Ｓ
１２は、非正規化型変換命令（ＶＯＳ）で、符号と指
数を設定する。これは、図４の出力２のＶＯＳ(vt4,0x4
E...0,vt3)によって８バイトの非正規化データに値を変
換する。
【００３４】'0x00000000FFFFFFFF'に '0x4E00000000000000'を論理和し、 '0x4E000000FFFFFFFF'に変換し、非正規化データとす
る。
る。
【００３５】この非正規化データへの変換は、Ｓ１１の
８バイトデータに、正符号＝０（ビット０）と加算した
ときに正規化される最高桁数１４を指数部に加えて非正
規化データ形式に変換したものである。
８バイトデータに、正符号＝０（ビット０）と加算した
ときに正規化される最高桁数１４を指数部に加えて非正
規化データ形式に変換したものである。
【００３６】Ｓ１３は、正規化型変換命令（ＶＯＵ
Ｓ）で正規化する。これは、図４の出力３のＶＡＵＳ(v
t1,0,vt4)によって非正規化データを正規化データに変
換する。
Ｓ）で正規化する。これは、図４の出力３のＶＡＵＳ(v
t1,0,vt4)によって非正規化データを正規化データに変
換する。
【００３７】'0x4E000000FFFFFFFF'に '0x0000000000000000'を加算し、正規化データに変換す
る。この正規化データへの変換は、'0x4E000000FFFFFFF
F'の仮数部を左にシフトして先頭に１がきたときの回数
（ここでは６回）を、指数部４Ｅから減算した値（ここ
では４８）に指数部を設定して正規化データにするもの
である。
る。この正規化データへの変換は、'0x4E000000FFFFFFF
F'の仮数部を左にシフトして先頭に１がきたときの回数
（ここでは６回）を、指数部４Ｅから減算した値（ここ
では４８）に指数部を設定して正規化データにするもの
である。
【００３８】以上によって、実行時に、符号なし整数を
浮動小数点に型変換することが可能となる。図４は、本
発明の具体例（その１）を示す。これは、符号なし整
数'OxFFFFFFFF'を浮動小数点データ(実数型)に変換する
例を示す。
浮動小数点に型変換することが可能となる。図４は、本
発明の具体例（その１）を示す。これは、符号なし整
数'OxFFFFFFFF'を浮動小数点データ(実数型)に変換する
例を示す。
【００３９】は、８バイトデータにする。は、８バ
イトの非正規化データに値を変換する。は、と０を
非正規化加算命令で加算する。この加算結果が求める浮
動小数点データである。
イトの非正規化データに値を変換する。は、と０を
非正規化加算命令で加算する。この加算結果が求める浮
動小数点データである。
【００４０】次に、図５から図７を用いて図１の構成に
おける、浮動小数点データを符号なし整数に変換すると
きの動作を、図７の具体例をもとに詳細に説明する。こ
こで、データ形式は、 ・浮動小数点データは８バイト ・ビット０は符号を表し、０は正、１は負 ・ビット１から７は指数部で、１６のベキ乗 ・ビット８から仮数部で、４ビットを単位とした１６進 ・符号なし整数は４バイト とする。
おける、浮動小数点データを符号なし整数に変換すると
きの動作を、図７の具体例をもとに詳細に説明する。こ
こで、データ形式は、 ・浮動小数点データは８バイト ・ビット０は符号を表し、０は正、１は負 ・ビット１から７は指数部で、１６のベキ乗 ・ビット８から仮数部で、４ビットを単位とした１６進 ・符号なし整数は４バイト とする。
【００４１】図５は、本発明の浮動小数点から符号なし
整数への型変換ベクトル命令の変換処理フローチャート
を示す。これは、具体的には、図７のベクトル命令 ＶＣＥＩ(vt1,vt2)という浮動小数点から符号なし整数
への型変換ベクトル命令を入力とし、 ＶＡＤ(vt3,0X4E80...0,vt2)（仮数部整数化命令) ＶＮ(vt1,0x00..FF,vt3)（整数型変換命令) のハードウェア依存の２つのベクトル命令に変換し、図
１のハード依存変換部６が出力する。
整数への型変換ベクトル命令の変換処理フローチャート
を示す。これは、具体的には、図７のベクトル命令 ＶＣＥＩ(vt1,vt2)という浮動小数点から符号なし整数
への型変換ベクトル命令を入力とし、 ＶＡＤ(vt3,0X4E80...0,vt2)（仮数部整数化命令) ＶＮ(vt1,0x00..FF,vt3)（整数型変換命令) のハードウェア依存の２つのベクトル命令に変換し、図
１のハード依存変換部６が出力する。
【００４２】 ここで、vt1:型変換先のベクトルレジスタ vt2:型変換元のベクトルレジスタ vt3:新たに割りつけたベクトルレジスタ である。以下説明する。
【００４３】図５において、Ｓ２１は、仮数部整数化
命令（ＶＡＤ）の生成を行う。この生成は、ＶＡＤ命令
のオペランド１に新しいベクトルレジスタvt3を割りつ
ける。
命令（ＶＡＤ）の生成を行う。この生成は、ＶＡＤ命令
のオペランド１に新しいベクトルレジスタvt3を割りつ
ける。
【００４４】ＶＡＤ命令のオペランド２に常に'Ox4E800
00000000000'の数値を割りつける。ＶＡＤ命令のオペラ
ンド３に変換元のベクトルレジスタvt2を割りつける。
00000000000'の数値を割りつける。ＶＡＤ命令のオペラ
ンド３に変換元のベクトルレジスタvt2を割りつける。
【００４５】これらによって、図７のの出力１：ＶＡ
Ｄ(vt3,0x4E80...0,vt2)が生成されることとなる。。Ｓ
２２は、整数型変換命令（ＶＮ）の生成を行う。この
生成は、ＶＮ命令のオペランド１に変換先のベクトルレ
ジスタvt1を割りつける。
Ｄ(vt3,0x4E80...0,vt2)が生成されることとなる。。Ｓ
２２は、整数型変換命令（ＶＮ）の生成を行う。この
生成は、ＶＮ命令のオペランド１に変換先のベクトルレ
ジスタvt1を割りつける。
【００４６】ＶＮ命令のオペランド２に常に'0x0000000
0FFFFFFFF'の数値を割りつける。ＶＮ命令のオペランド
３にのＶＯＳ命令のオペランド１を割りつけてvt3と
する。
0FFFFFFFF'の数値を割りつける。ＶＮ命令のオペランド
３にのＶＯＳ命令のオペランド１を割りつけてvt3と
する。
【００４７】これらによって、図７のの出力２：ＶＮ
(vt1,0x00....FF,vt3)が生成されることとなる。。以上
によって、最適化時に浮動小数点データを符号なし整数
型へのベクトル変換命令ＶＣＥ１(vt1,vt2)の入力に対
応して、 ＶＡＤ(vt3,0x4E80...00,vt2) ＶＮ(vt1,0x00...FF,VT3) の２つのベクトル命令にして出力する。そして、後述す
る図６の実行時に当該図７の左側に記載したように実行
し、浮動小数点データを符号ない整数に変換するように
している。
(vt1,0x00....FF,vt3)が生成されることとなる。。以上
によって、最適化時に浮動小数点データを符号なし整数
型へのベクトル変換命令ＶＣＥ１(vt1,vt2)の入力に対
応して、 ＶＡＤ(vt3,0x4E80...00,vt2) ＶＮ(vt1,0x00...FF,VT3) の２つのベクトル命令にして出力する。そして、後述す
る図６の実行時に当該図７の左側に記載したように実行
し、浮動小数点データを符号ない整数に変換するように
している。
【００４８】図６は、本発明の浮動小数点から符号なし
整数へ型変換されたベクトル命令実行論理フローチャー
トを示す。これは、図５のフローチャートによって変換
されたベクトル命令（図７の右側に記載した出力４の
、出力５ののベクトル命令）を実行するときのフロ
ーチャートであって、具体的には図７の左側の、に
記載した処理である。以下順次説明する。
整数へ型変換されたベクトル命令実行論理フローチャー
トを示す。これは、図５のフローチャートによって変換
されたベクトル命令（図７の右側に記載した出力４の
、出力５ののベクトル命令）を実行するときのフロ
ーチャートであって、具体的には図７の左側の、に
記載した処理である。以下順次説明する。
【００４９】図６において、Ｓ３１は、仮数部整数化
命令（ＶＡＤ）で仮数部を整数に変換する。これは、図
７の出力４のＶＡＤ(vt3,0x4E80...00,vt2)によって浮
動小数点データ例えば８バイトデータの仮数部を整数に
変換する。即ち、指数部を大きい方に合わせ、図７の
の最下段に示すように、仮数部を４バイトにシフトす
る。
命令（ＶＡＤ）で仮数部を整数に変換する。これは、図
７の出力４のＶＡＤ(vt3,0x4E80...00,vt2)によって浮
動小数点データ例えば８バイトデータの仮数部を整数に
変換する。即ち、指数部を大きい方に合わせ、図７の
の最下段に示すように、仮数部を４バイトにシフトす
る。
【００５０】Ｓ３２は、整数型変換命令（ＶＮ）で、
符号と指数を０にして符号なしに変換する。これは、図
７の出力５のＶＮ(vt1,0x00...FF,vt3)によって、上位
４バイトを０でクリアし、下位４バイトに値が残るよう
に、'Ox00000000FFFFFFFF'と論理積の演算を行い、４バ
イトの符号なし整数とする。
符号と指数を０にして符号なしに変換する。これは、図
７の出力５のＶＮ(vt1,0x00...FF,vt3)によって、上位
４バイトを０でクリアし、下位４バイトに値が残るよう
に、'Ox00000000FFFFFFFF'と論理積の演算を行い、４バ
イトの符号なし整数とする。
【００５１】以上によって、実行時に、浮動小数点を符
号なし整数に型変換することが可能となる。図７は、本
発明の具体例（その２）を示す。これは、実数型（浮動
小数点データ）である'0x48FFFFFFFFFFFFFF'を符号なし
整数型に変換する例を示す。
号なし整数に型変換することが可能となる。図７は、本
発明の具体例（その２）を示す。これは、実数型（浮動
小数点データ）である'0x48FFFFFFFFFFFFFF'を符号なし
整数型に変換する例を示す。
【００５２】は、仮数部を下位４バイトにつまるよう
なデータを加算する。は、上部４バイトをクリアす
る。この結果が求める符号なし整数型のデータである。
なデータを加算する。は、上部４バイトをクリアす
る。この結果が求める符号なし整数型のデータである。
【００５３】
【発明の効果】以上説明したように、本発明によれば、
最適化時に符号なし整数と浮動小数点データとの間の相
互の型変換を既存のベクトル命令に変換しておき、実行
時にこれら変換した命令列によって相互の型変換を行う
構成を採用しているため、符号なし整数型と浮動小数点
データの型変換をベクトル化できるので、ベクトル実行
部分が増加し、実行性能を向上させることができる。
最適化時に符号なし整数と浮動小数点データとの間の相
互の型変換を既存のベクトル命令に変換しておき、実行
時にこれら変換した命令列によって相互の型変換を行う
構成を採用しているため、符号なし整数型と浮動小数点
データの型変換をベクトル化できるので、ベクトル実行
部分が増加し、実行性能を向上させることができる。
【図１】本発明の１実施例構成図である。
【図２】本発明の符号なし整数から浮動小数点への型変
換ベクトル命令の変換処理フローチャートである。
換ベクトル命令の変換処理フローチャートである。
【図３】本発明の符号なし整数から浮動小数点への型変
換されたベクトル命令実行論理フローチャートである。
換されたベクトル命令実行論理フローチャートである。
【図４】本発明の具体例（その１）である。
【図５】本発明の浮動小数点から符号なし整数への型変
換ベクトル命令の変換フローチャートである。
換ベクトル命令の変換フローチャートである。
【図６】本発明の浮動小数点から符号なし整数への型変
換されたベクトル命令実行論理フローチャートである。
換されたベクトル命令実行論理フローチャートである。
【図７】本発明の具体例（その２）である。
１：ソースプログラム ２：コンパイラ ３：ソースプログラム解析部 ４：最適化部 ５：ベクトル命令生成部 ６：ハード依存変換部 ７：コード生成部 ８：オブジェクトプログラム ：型変化命令 ：非正規化型変換命令 ：正規化型変換命令 ：仮数部整数化命令 ：整数型変換命令
───────────────────────────────────────────────────── フロントページの続き (56)参考文献 特開 平４−135277（ＪＰ，Ａ) 特開 昭62−97031（ＪＰ，Ａ) 特開 昭61−91722（ＪＰ，Ａ) (58)調査した分野(Int.Cl.7，ＤＢ名) G06F 9/45 G06F 17/16
Claims (2)
- 【請求項１】ソースプログテムを解析し、中間言語を生
成し、中間言語での変換を行って、ベクトル命令を含む
オブジェクトコードの生成を行うコンパイル処理装置に
おいて、 変換元のデータが符号なし整数型で格納されているベク
トルレジスタと、変換後のデータが正規型浮動小数点型
で格納されるべきベクトルレジスタを指定した、符号な
し整数型から浮動小数点型への型変換中間ベクトル命令
に対して、８バイト整数型ベクトルレジスタと、非正規
型浮動小数点型ベクトルレジスタを割り当て、与えられ
た符号なし整数型で格納されているベクトルレジスタ
と、割り当てられた８バイト整数型ベクトルレジスタを
指定した、符号なし整数型から８バイト符号なし命令整
数型への型変換命令と、割り当てられた８バイト整数型
ベクトルレジスタと、割り当てられた非正規型浮動小数
点型ベクトルレジスタを指定した、８バイト符号なし整
数型から非正規型浮動小数点型への型変換命令と、割り
当てられた非正規型浮動小数点型ベクトルレジスタと、
与えられた正規型浮動小数点型ベクトルレジスタを指定
した、浮動小数の正規化命令とを生成するハード依存変
換部を備えたことを特徴とするコンパイル処理装置。 - 【請求項２】ソースプログラムを解析し、中間言語を生
成し、中間言語での変換を行って、ベクトル命令を含む
オブジェクトコードの生成を行うコンパイル処理装置に
おいて、 変換元のデータが正規型浮動小数点型で格納されている
ベクトルレジスタと変換後のデータが符号なし整数型で
格納されるべきベクトルレジスタを指定した、浮動小数
点型から符号なし整数型への型変換中間ベクトル命令に
対して、与えられた正規型浮動小数点型で格納されてい
るベクトルレジスタに、正規型浮動小数点型に格納でき
る最大の正の整数の仮数部の最上位ビット以外を０とし
た値を指定した正規型浮動小数点型と正規型浮動小数点
型符号の加算命令と、正規型浮動小数点型データの格納
されているベクトルレジスタのデータの下位４バイトを
指定したベクトルレジスタに符号なし整数型として取り
出す命令と、を生成するハード依存変換部を備えたこと
を特徴とするコンパイル処理装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP10714292A JP3295853B2 (ja) | 1992-04-27 | 1992-04-27 | コンパイル処理装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP10714292A JP3295853B2 (ja) | 1992-04-27 | 1992-04-27 | コンパイル処理装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH05303498A JPH05303498A (ja) | 1993-11-16 |
| JP3295853B2 true JP3295853B2 (ja) | 2002-06-24 |
Family
ID=14451582
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP10714292A Expired - Fee Related JP3295853B2 (ja) | 1992-04-27 | 1992-04-27 | コンパイル処理装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP3295853B2 (ja) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8633936B2 (en) * | 2008-04-21 | 2014-01-21 | Qualcomm Incorporated | Programmable streaming processor with mixed precision instruction execution |
-
1992
- 1992-04-27 JP JP10714292A patent/JP3295853B2/ja not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| JPH05303498A (ja) | 1993-11-16 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Granlund et al. | Eliminating branches using a superoptimizer and the GNU C compiler | |
| CN111078290B (zh) | 一种用于可扩展指令集的编译器及编译方法 | |
| US6842764B2 (en) | Minimum and maximum operations to facilitate interval multiplication and/or interval division | |
| US20060101425A1 (en) | Method and apparatus for automatically converting numeric data to a processor efficient format for performing arithmetic operations | |
| US6751638B2 (en) | Min and max operations for multiplication and/or division under the simple interval system | |
| US7325230B2 (en) | System for compiling source programs into machine language programs, a computer implemented method for the compiling and a computer program product for the compiling within the computer system | |
| US5067068A (en) | Method for converting an iterative loop of a source program into parellelly executable object program portions | |
| JP2001101012A (ja) | プログラムコード変換方法 | |
| US8056064B2 (en) | Method for recognition of acyclic instruction patterns | |
| Said et al. | FPU bit-width optimization for approximate computing: A non-intrusive approach | |
| JP3295853B2 (ja) | コンパイル処理装置 | |
| CN112416313B (zh) | 支持大整数数据类型和运算符的编译方法 | |
| KR20080096306A (ko) | 규칙에 기반하여 스케일링 쉬프트의 최적의 위치를 찾는컴파일 방법 및 시스템 | |
| US20020144097A1 (en) | Computer program conversion and compilation | |
| White | Reconfigurable, retargetable bignums: A case study in efficient, portable Lisp system building | |
| JP2003076557A (ja) | 整数除算または整数剰余算を含むアプリケーションプログラム向けのマイクロプロセッサの開発システム | |
| CN112445485B (zh) | 基于编译实现的可扩展向量掩码功能的方法和装置 | |
| JP2665392B2 (ja) | コンパイル処理方式 | |
| Lefèvre | SIPE: Small integer plus exponent | |
| JP3311775B2 (ja) | ポインタベクトル化方式 | |
| Corbett | Enhanced arithmetic for Fortran | |
| Connors et al. | A software-oriented floating-point format for enhancing automotive control systems | |
| Anderssén | Converting CUDA programs to run on AMD GPUs | |
| Li et al. | LLVM Framework: Research and Applications | |
| JPH04229324A (ja) | 誤差評価プログラム生成実行方式 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20020312 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20080412 Year of fee payment: 6 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090412 Year of fee payment: 7 |
|
| LAPS | Cancellation because of no payment of annual fees |