Lua中的'if'语句的字节码能否向后跳转？

我正在编写一些 Lua 代码，可以读取字符串.dump() 函数生成的字节码。我假设（因为它允许一些优化和较少的编码），当 OP_JMP 指令用于 if 语句时，它会向前增加指令指针。它们实际上可以向后跳跃，因为它们使用了 sBx 值（它可以是负数）。我只对标准 Lua 5.1 实现中 if 语句的字节码感兴趣。

我使用了 chunkspy（顺便说一句，它是一个很棒的工具）来查看一些样本的字节码。

这里是一个基本的 if 语句：

a, b = 1, 2
if a == b then
  print '='
elseif a < b then
  print '<'
else
  print '>'
end

它产生了四个跳跃，其中没有一个是负数：

[08] jmp 4; to [13]
[12] jmp 11; to [24]
[16] jmp 4; to [21]
[20] jmp 3; to [24]

我尝试在 Lua 源代码 中寻找答案，但这只会令人困惑（如果我花时间掌握它，我相信它是超级优雅的代码）。

有人知道在 Lua 的 OP_JMP 指令具有负 sBx 值的 if 语句情况吗？或者他们总是正值？