24531904_j

BOUND ─ Check Array Index Against Bounds
オペコード 命令 説明
62 /r BOUND r16,m16&16 r16 ( 配列インデックス ) が m16&16 の指定範囲内かどうかを確認す
る。
62 /r BOUND r32,m32&32 r32 ( 配列インデックス ) が m16&16 の指定範囲内かどうかを確認す
る。
説明
第 1 オペラン ド ( 配列イ ンデ ッ ク ス ) が第 2 オペラン ド ( 範囲オペラ ン ド ) によって指定
される配列の下限か ら 上限 ま での範囲内であるか ど う か判定する。 配列イ ンデ ッ ク ス は、
レ ジ ス タ内の符号付き 整数である。 範囲オペラ ン ド は、 オペラ ン ド ・ サイズ属性が 32 の
場合は 1 対の符号付き ダブルワ ー ド 整数を、 オペラ ン ド ・ サイ ズ属性が 16 の場合は 1 対
の符号付き ワ ー ド 整数を示すメモ リ ・ ロケーシ ョ ンである。 第 1 のダブルワー ド ( または
ワード ) が配列の下限であ り 、 第 2 のダブルワー ド ( またはワー ド ) が配列の上限である。
配列イ ンデ ッ ク ス は下限よ り 大きいか等し く なければな ら ず、 かつ上限にバイ ト 単位の
オペラン ド ・ サイズを加算した値よ り小さいか等し く なければならない。 インデッ クス
が上下限の範囲内でない場合は、 BOUND 範囲外例外 (#BR) が報告される。 ( この例外が
発生した と き は、 セ ー ブ さ れた リ タ ー ン命令ポ イ ン タが BOUND 命令を指している。 )
上下限範囲デ ー タ構造 ( 配列の上下限を内容 と する 2 つのワ ー ド またはダブルワ ー ド )
は、 通常、 配列自体の直前に置いて、 配列の先頭か ら の一定のオ フ セ ッ ト で上下限をア
ドレス指定できるようにする。 配列のアドレスはすでにレジスタにストアされているの
で、 上記の よ う な慣行に よ っ て、 配列の上下限の実効ア ド レ ス を得るために余分なバ
ス・サイクルを避けられる。
操作
IF (ArrayIndex < LowerBound OR ArrayIndex > (UppderBound + OperandSize/8]))
(* Below lower bound or above upper bound *)
THEN
#BR;
FI;
影響を受けるフラグ
なし。
追加の Itanium ベース・システム環境例外
Itanium アーキテクチャ ・
レジスタ ・ フォルト
Itanium アーキテクチャ ・
メモリ ・ フォル ト
NaT レ ジ ス タ参照アボ ー ト 。
VHPT データ ・ フォル ト、 ネス ト された TLB フォルト、
データ TLB フォルト、 代替データTLB フォルト、 デー
タ・ページ不在フォルト、 データNaT ページ参照アボー
ト、 データ・キー・ ミス・フォルト、 データ・キー許可
フォルト、 データ・アクセス権フォルト、 データ・アクセ
ス・ビット ・フォルト、 データ・ダーティ ・ビット ・フォ
ルト。
第 3 巻 : IA-32 基本命令リファレンス 3:393