24531904_j

VERR, VERW—Verify a Segment for Reading or Writing
オペコード 命令 説明
0F 00 /4 VERR r/m16 r/m16 で指定されたセグメントを読み取りできる場合 ZF=1 を設定す
る。
0F 00 /5 VERW r/m16 r/m16 で指定されたセグメントに書き込みできる場合 ZF=1 を設定す
る。
説明
ソース ・オペランドで指定されたコード ・セグメント またはデータ ・セグメントが現行
特権レベル (CPL) から読み取り可能(VERR) または書き込み可能(VERW) であるかを検
証する。 ソ ー ス ・ オペラ ン ド は、 検証するセグメン ト のセグメン ト ・ セレ ク タ を も つ 16
ビッ トのレジスタまたはメモリ ・ロケーションである。 セグメントがアクセス可能で読
み取り可能 (VERR) または書き込み可能(VERW) である場合は、 ZF フラグがセット され
る。 そ うでない場合は、 ZF フラグがクリアされる。 コード ・セグメントが書き込み可能
である と検証されない。 このチェ ッ クは、 システム ・ セグメン ト に行う こ と はできない。
ZF フ ラグをセ ッ ト する には、 以下の条件が満た されていなければな ら ない。
• セグメン ト ・ セレ ク タが NULL でない。
• セレクタは、 ディスク リプタ ・ テーブル (GDT または LDT) の範囲内のデ ィ ス ク リ プ
タを指定していなければならない。
• セレクタは、 ( システム ・ セグメン ト またはゲー ト のディ スク リプタではな く ) コー
ド ・セグメント またはデータ ・セグメントのディスク リプタを指定していなければ
ならない。
• VERR命令では、 セグメント は読み取り 可能でなければなら ない。 VERW 命令では、
セグメ ン ト は 書き 込み可能なデー タ ・ セグメ ント でなければなら ない。
• セグメントがコンフォーミング・コード ・セグメントでない場合は、 セグメントの
DPL は、 CPL およびセグメン ト ・セレクタの RPL の両方以上 ( 以下の特権を も つ )
でなければならない。
こ の検証動作は、 セグ メ ン ト が DS、 ES、 FS、 または GS レジスタにロード され、 指定さ
れたアク セス ( 読み取り ま たは書き込み ) が行われた場合 と同じである。 セレ ク タの値
は保護例外を発生 さ せ る こ と はな く 、 ソ フ ト ウ ェ アは起 こ り 得る セグ メ ン ト ・ ア ク セス
問題を前 も っ て処理で き る。
操作
IF SRC(Offset) > (GDTR(Limit) OR (LDTR(Limit))
THEN
ZF ← 0
Read segment descriptor;
IF SegmentDescriptor(DescriptorType) = 0 (* system segment *)
OR (SegmentDescriptor(Type) ≠ conforming code segment)
AND (CPL > DPL) OR (RPL > DPL)
THEN
ZF ← 0
ELSE
IF ((Instruction = VERR) AND (segment = readable))
OR ((Instruction = VERW) AND (segment = writable))
THEN
ZF ← 1;
FI;
FI;
3:766 第 3 巻 : IA-32 基本命令リファレンス