Vesta
中文
源代码

VERR, VERW

校验读或写入的片段

stableVMJITAOTinstruction

编码

操作码指令Op/En64 位兼容/传统说明
0F 00 /4VERR r/m16M有效有效如果可以读取 r/m16 指定的线段,则设置 ZF = 1 。
0F 00 /5VERW r/m16M有效有效如果可以写入 r/m16 指定的线段,则设置 ZF = 1 。

操作数编码

每个模式对应上表 Op/En 列的一个取值，说明各操作数按书写顺序分别编码在指令的哪个字段，以及指令对它是读、是写还是两者兼有。

M

  1. modrm.rm lecturaModRM 字节的 r/m 字段（第 2-0 位）；当 mod 字段要求时，还包括 SIB 字节和位移

实测开销

正在从 arch-data 加载实测数据...

涉及的标志位

说明

验证用 源操作数 指定的代码或数据段是否可以从当前特权级(CPL)读取(VERR)或写作(VERW). 源操作数是一个16位的寄存器或内存位置,包含段选择子,用于要验证的片段. 如果区段可访问且可读(VERR)或可写(VERW),则设置ZF旗;否则,清除ZF旗. 代码段从未被校验为可写 。 无法对系统段进行此检查 。

要设置ZF旗,必须满足以下条件: 1.

少或与)CPL和段选择子的RPL同时享有特权.

所执行的验证与段选择子装入DS、ES、FS或GS登记册以及所指明的访问(读或写)时进行的验证相同。 段选择子的值不能导致保护例外,使得软件能够预见到可能的分段访问问题.

此指令的操作在非64位模式和64位模式中是相同的. 操作数大小固定在16位.

行动

IF SRC(Offset) > (GDTR(Limit) or (LDTR(Limit))
    THEN ZF := 0; FI;

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;

                ELSE
                      ZF := 0;


          FI;
FI;

受影响的旗帜

ZF旗设定为1,如果区段可访问且可读(VERR)或可写(VERW);否则则设定为0.

异常

保护模式
这些指示的唯一例外是与源操作数非法地址有关的例外。
#GP(0)如果 内存操作数 有效地址位于 CS,DS,ES,FS 或 GS 区段限制之外,则使用 DS,ES,FS 或 GS 寄存器访问内存,并包含 NULL 段选择子.
#SS(0)如果 内存操作数 有效地址在 SS 段限制之外. #PF(fault-code) 如果 页面错误 发生.
#AC(0)如果启用了对齐检查,并且在当前特权级别为3时会给出不对齐的内存引用.
#UD如果使用 LOCK 前缀 。
实地址模式
#UDVERR和VERW指令在实地址模式中不被识别,如果使用LOCK前缀.
虚拟 8086 模式
#UDVERR和VERW指令在虚拟 8086 模式中不被识别,如果使用LOCK前缀.
兼容模式
与保护模式中的例外相同.
64 位模式
#SS(0)如果引用SS部分的内存地址是非冠状的.
#GP(0)如果内存地址是非冠状的. #PF(fault-code) 如果发生 页面错误.
#AC(0)如果启用了对齐检查,并且在当前特权级别为3时会给出不对齐的内存引用.
#UD如果使用 LOCK 前缀 。

来源