VERR/VERW—Verify a Segment for Reading or WritingInstruction Operand EncodingDescriptionVerifies whether the code or data segment specified with the source operand is readable (VERR) or writable (VERW) from the current privilege level (CPL). The source operand is a 16-bit register or a memory location that contains the segment selector for the segment to be verified. If the segment is accessible and readable (VERR) or writable (VERW), the ZF flag is set; otherwise, the ZF flag is cleared. Code segments are never verified as writable. This check cannot be performed on system segments. To set the ZF flag, the following conditions must be met:•The segment selector is not NULL.•The selector must denote a descriptor within the bounds of the descriptor table (GDT or LDT).•The selector must denote the descriptor of a code or data segment (not that of a system segment or gate).•For the VERR instruction, the segment must be readable.•For the VERW instruction, the segment must be a writable data segment.•If the segment is not a conforming code segment, the segment’s DPL must be greater than or equal to (have less or the same privilege as) both the CPL and the segment selector's RPL.The validation performed is the same as is performed when a segment selector is loaded into the DS, ES, FS, or GS register, and the indicated access (read or write) is performed. The segment selector's value cannot result in a protection exception, enabling the software to anticipate possible segment access problems.This instruction’s operation is the same in non-64-bit modes and 64-bit mode. The operand size is fixed at 16 bits.OperationIF 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)THENZF := 0;ELSEIF ((Instruction= VERR) and (Segment readable))or ((Instruction =VERW) and (Segment writable))THEN ZF := 1;FI;FI;OpcodeInstructionOp/ En64-Bit ModeCompat/Leg ModeDescription0F 00 /4VERR r/m16MValidValidSet ZF=1 if segment specified with r/m16 can be read.0F 00 /5VERW r/m16MValidValidSet ZF=1 if segment specified with r/m16 can be written.Op/EnOperand 1Operand 2Operand 3Operand 4MModRM:r/m (r)NANANA
This UNOFFICIAL reference was generated from the official Intel® 64 and IA-32 Architectures Software Developer’s Manual by a dumb script. There is no guarantee that some parts aren't mangled or broken and is distributed WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.