ビット関数

整数データ型は,内部的には 2 進数の 2 の補数表現で表現されています。2 進表現におけるビット位置は,右 (最下位ビット) から左 (最上位ビット) へと番号が付けられます。一番右のビット位置が 0 という番号になります。

組込み関数 IANDIORIEOR,および NOT は,いずれもその引数のすべてのビットに作用します。結果のビット 0 は,指定された論理演算を引数のビット 0 に適用することによって得られます。結果のビット 1 は,指定された論理演算を引数のビット 1 に適用することによって得られます (以下同様)。

関数 ISHFTISHFTC は 2 進パターンをけた移動させます。

関数 IBSETIBCLRBTEST,および IBITS と,サブルーチン MVBITS は,ビット・フィールドに作用します。

ビット・フィールドとは,2 進パターン中の連続したビットの組のことです。ビット・フィールドは,開始ビット位置と長さによって指定されます。ビット・フィールドはその演算対象に完全に含まれていなくてはなりません。

たとえば,整数 47 は次のように表現されます。

2 進パターン 0...0101111
ビット位置 n...6543210
n は,数値記憶単位に含まれるビット位置の数です。

ビット 3 ~ 6 に含まれているビット・フィールドは,開始位置を 3,長さを 4 と指定することで引用できます。

負の整数は,2 の補数表現によって表現されます。たとえば,整数 -47 は次のように表現されます。

2 進パターン 1...1010001
ビット位置 n...6543210
n は,数値記憶単位に含まれるビット位置の数です。

ビット位置 n の値は次のようになります。

	負の数値の場合は 1
	非負の数値の場合は 0

パターン中の値の最上位ビットからビット n までのすべての上位ビットは,ビット n と同じです。

IBITSMVBITS は一般ビット・フィールドに作用します。これらの組込み関数には,ビット・フィールドの開始位置と長さの両方が引数として渡されます。IBSETIBCLR,および BTEST は 1 ビット・フィールドに作用します。これらの関数は長さの引数を必要としません。

IBSETIBCLR,および BTEST のビット位置範囲は次のとおりです。

IBITS の場合,ビット位置には任意の数値を指定することができます。長さ範囲は,Alpha および ia64 プロセッサーでは 0 ~ 63,ia32 プロセッサーでは 0 ~ 31 です。

次の例は,IBSETIBCLR,および BTEST を示しています。

	I = 4
	J = IBSET (I,5)
	PRINT *, 'J = ',J
	K = IBCLR (J,2)
	PRINT *, 'K = ',K
	PRINT *, 'Bit 2 of K is ',BTEST(K,2)
	END

結果は,J = 36K = 32K のビット 2 は F です。

性能と必要なメモリーの最適な選択が可能になるように,Compaq Fortran は以下の整数データ型を用意しています。

データ型 必要な記憶域 (バイト数)
INTEGER(1) 1
INTEGER(2) 2
INTEGER(4) 4
INTEGER(8) 8

個々のビット操作関数は,これらすべての整数型に作用する総称形式と,個々の型のための個別形式を持っています。

ビット位置を引用したり,記憶単位中の 2 進パターンを移動させる組込み関数を指定するときには,そのデータ型によって表現可能な整数の範囲外にある値を作り出さないように注意してください。移動しようとしているオブジェクトの大きさよりも大きいか,それと等しい量だけ移動を行った場合の結果は 0 となります。

次に例を示します。

	INTEGER(2) I,J
	I = 1
	J = 17
	I = ISHFT(I,J)

変数 IJINTEGER(2) 型です。このため,ISHFT 総称関数は,INTEGER(2) の結果を返す IISHFT 個別関数にマップされます。INTEGER(2) の結果は -32768 ~ 32767 の範囲になくてはなりませんが,値 1 を左に 17 けただけ移動すると,2 進パターン 1 の後に 17 個のゼロが続いたもの,すなわち整数値 131072 が得られます。この例の場合,I 中の結果は 0 になります。

上の例は,IINTEGER(4) であれば有効となります。その場合,ISHFT は,INTEGER(4) の値を返す JISHFT 個別関数にマップされるからです。

ISHFT が定数の第 1 引数を宣言して呼び出された場合,その結果は基本整数型の大きさと,第 1 引数を含むことができる最小の整数の大きさのどちらか大きい方になります。