Vesta
中文
源代码

BOUND

对照边界检查阵列索引

stableVMJITAOTinstruction

编码

操作码指令Op/En64 位兼容/传统说明
62 /rBOUND r16, m16&16RM无效有效请检查access-date=中的日期值 (帮助) r16(阵列指数)是否在m16&16指定的界限内.
62 /rBOUND r32, m32&32RM无效有效请检查access-date=中的日期值 (帮助) r32(阵列指数)是否在m32&32指定的界限内.

操作数编码

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

RM

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

实测开销

未实测：不在 64 位处理器上运行。

说明

BOUND确定第一个操作数(阵列指数)是否在指定的一个阵列的边界内,第二个操作数(范围操作数). 数组索引是位于寄存器中的签名整数。 边框操作数是一个内存位置,它包含一对签名的双字插入符(当操作数的大小属性为32)或一对签名的单字插入符(当操作数的大小属性为16). 第一双词(或单词)是数组的下限,第二双词(或单词)是数组的上限. 数组指数必须大于或等于下限,小于或等于上限加上字节中的操作数大小. 如果索引不在界限内,则表示一个BOUND范围超过例外(#BR). 当生成此例外时,保存的返回 指令指针 指向 BOUND 指令.

边框限制数据结构(包含数组下限和上限的两字或双字)通常放在数组本身之前,使得极限可以通过从数组开始的常数抵消来进行处理. 由于数组的地址已经存在于寄存器中,这种做法避免了额外的总线周期,以获得数组界限的有效地址.

此指令以兼容模式和遗留模式执行 。 在64位模式下无效 。

行动

IF 64bit Mode
    THEN
          #UD;
    ELSE
          IF (ArrayIndex < LowerBound OR ArrayIndex > UpperBound) THEN
          (* Below lower bound or above upper bound *)
                IF <equation for PL enabled> THEN BNDSTATUS := 0
                #BR;
          FI;

FI;

受影响的旗帜

None.

异常

保护模式
#BR如果极限测试失败了。
#UD如果第二个 操作数 不是 内存位置。如果使用 LOCK 前缀 。
#GP(0)如果 内存操作数 的有效地址位于 CS,DS,ES,FS 或 GS 区段限制之外,如果 DS,ES,FS,或 GS 注册簿中包含 NULL 段选择子.
#SS(0)如果 内存操作数 有效地址在 SS 段限制之外. #PF(fault-code) 如果 页面错误 发生.
#AC(0)如果启用了对齐检查,并且在当前特权级别为3时会给出不对齐的内存引用.
实地址模式
#BR如果极限测试失败了。
#UD如果第二个 操作数 不是 内存位置。如果使用 LOCK 前缀 。
#GP如果内存操作数的有效地址在CS,DS,ES,FS或GS段限制之外.
#SS如果 内存操作数 的有效地址在 SS 段限制之外。
虚拟 8086 模式
#BR如果极限测试失败了。
#UD如果第二个 操作数 不是 内存位置。如果使用 LOCK 前缀 。
#GP(0)如果内存操作数的有效地址在CS,DS,ES,FS或GS段限制之外.
#SS(0)如果 内存操作数 有效地址在 SS 段限制之外. #PF(fault-code) 如果 页面错误 发生.
#AC(0)如果启用对齐检查, 并使用不对齐的内存引用 。
兼容模式
与保护模式中的例外相同.
64 位模式
#UD如果在64位模式下.

来源