4

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

System.NotSupportedException：位置非法的一字节分支：32。请求的分支是：132。

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

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

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

我的语言：

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

伊利诺伊：

.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并像 .NET 编译器一样br.s实现s。if但是 .NET 编译器可以根据情况进行选择br.s，br我的问题是我该如何做类似的事情？

Tnks

4

1 回答 1

7

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

于 2010-08-12T17:27:37.083 回答