IL 简短指令不短吗？

Question

我正在使用 Reflector 查看有效方法的 IL 代码，并且遇到了以下情况：

L_00a5: leave.s L_0103

带有后缀 .s 的指令应该采用 int8 操作数，并且果然 Leave_S 也应该是这种情况。然而，0x0103是259，超过了int8的容量。该方法以某种方式起作用，但是当我使用方法 Mono.Reflection.Disassembler.GetInstructions 读取指令时

L_00a5: leave.s L_0003

，它检索到的是 3 而不是 259，因为它应该是 int8。所以，我的问题是：原始指令（leave.s L_0103）如何可能？我查看了 ECMA 文档（分区 III：CIL 指令集），我找不到任何解释它的内容。

有什么想法吗？谢谢。

---

编辑#1：好吧，我是个白痴。在分支指令的情况下，偏移量必须从当前指令之后的指令的开头开始计算。我发誓我阅读了文档，但不知何故我设法跳过了它。为我辩护，我今天病得很厉害。叹。

谢谢。 （感谢您没有称我为白痴，尽管这非常白痴：P）

---

编辑＃2：顺便说一句，如果有人感兴趣，当Mono.Reflection.Disassembler。 GetInstructions 反汇编指令，它改变分支指令中操作数的含义。特别是，正如已经指出的那样，分支指令的操作数表示距下一条指令开头的偏移量，而不是距 0 的偏移量。但是，Mono.Reflection返回从 0 开始的偏移量（这可能就是我感到困惑的原因；尽管它没有解释我如何设法跳过部分文档）。

MethodBodyReader.ReadOperand(Instruction instructions) 的摘录：

switch (instruction.OpCode.OperandType) {
...
case OperandType.ShortInlineBrTarget:
    instruction.Operand = (sbyte) (il.ReadByte () + il.position);
    break;
...
}

如您所见，它添加了 il.position，它是下一条指令的偏移量（从 0 开始）。另外，它转换为 sbyte，这就是我得到 3 而不是 259 的原因。这似乎是一个错误（从 0 开始的偏移量可能大于 sbyte）代码>）。我会询问 Jb Evain（作者）并进行汇报。

---

编辑＃3：他还没有回答，但我已将其更改为：

switch (instruction.OpCode.OperandType) {
...
case OperandType.ShortInlineBrTarget:
    instruction.Operand = ((sbyte) il.ReadByte ()) + il.position;
    break;
...
}

并且它似乎解决了我的问题。我转换为 sbyte 以获得正确的符号，以防它是向后跳转（负偏移），然后当我添加 il.position 时（这是一个 int）结果是一个int。

无论如何，我会让你知道他说了什么。

---

编辑#4：我忘了回报。作者确认这是一个错误。

Answer 1

目标指令，表示为距当前指令后面的指令开头的 1 字节有符号偏移

位于 0x103 的 127 字节以内。然而，leave.s 无法从 0xA5 到达 0x03。