c# - Reflection.Emit 中的短格式操作码错误

Question

我正在制作一种与 hlsl 非常相似但仅支持像素着色器的小型语言。该语言使用 reflection.emit 构建实现相同功能的 .NET 程序集。我目前正在测试分支指令 if 的实现，并在我的一个单元测试中(一个大的 if 和内部 if/elses ) 失败并显示以下错误消息:

System.NotSupportedException : Illegal one-byte branch at position: 32. Requested branch was: 132.

我已将问题追溯到在我的案例 OpCodes.Br_S 中使用短格式指令。解决方案很简单，我用 OpCodes.Br 替换了 OpCodes.Br_S 但是我对这个解决方案有几个问题:

这个解决方案对生成代码的性能有影响吗？

如果我想为单字节正确生成 Br_S 并为其他情况正确生成 Br 我该怎么做？这里的问题是我使用的是访问者模式，对于像 if 这样的分支指令，我必须首先输出 Br 或 Br_s 并且到那时，我无法知道剩余的代码是否需要不止一个字节才能跳转到标签。为了更好地说明我的问题，这是我为以下语句生成的代码:

我的语言:

int a = -1; if (1>1) { a=1; } else if (2>2) { a=2; }

IL:

.method public virtual final instance int32 Main() cil managed
{

    .maxstack 4
    .locals init (
        [0] int32 num)
    L_0000: ldc.i4.m1 
    L_0001: stloc.0 
    L_0002: ldc.i4.1 
    L_0003: ldc.i4.1 
    L_0004: ble.s L_000a
    L_0006: ldc.i4.1 
    L_0007: stloc.0 
    L_0008: br.s L_0010
    L_000a: ldc.i4.2 
    L_000b: ldc.i4.2 
    L_000c: ble.s L_0010
    L_000e: ldc.i4.2 
    L_000f: stloc.0 
    L_0010: ldloc.0 
    L_0011: ret 
}

在这种情况下，我使用两条简短的指令 ble.s 和 br.s 来实现 if 就像.NET 编译器的作用。但是 .NET 编译器可以根据情况选择 br.s 或 br，我的问题是如何做类似的事情？

谢谢

Answer 1

如果你想这样做，你需要在生成分支本身之前计算到分支目标的偏移量，然后确定偏移量是否小到足以被短格式指令达到。我认为使用 Reflection.Emit 库没有特别简单的方法来做到这一点。