短表的操作码我正在做一个小的语言,这是非常相似的HLSL,但仅支持像素着色器。该语言使用reflection.emit构建实现相同功能的点网络程序集。我目前正在测试我的分支指令“if”的实现,并且在我的一个单元测试中(如果使用内部if else的话,其大小如果失败,则显示以下错误消息:错误与Reflection.Emit的
System.NotSupportedException:Illegal单字节分支在位置:32支要求是:132
我追查问题使用缩写形式说明我的情况OpCodes.Br_S。该解决方案很简单,我已经换成OpCodes.Br OpCodes.Br_S但是我有几个关于这个解决方案的问题:
该解决方案对生成的代码对性能的影响? 如果我想正确地生成单个字节的Br_S和其他情况下的Br,我该怎么做?这里的问题是,我使用的访问者模式和分支指令,如“如果”我必须首先输出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来实现ifs,就像.net编译器所做的一样。然而.NET编译器能够根据案例选择br.s或br,我的问题是我该如何做类似的事情?
TNKS
你的IL有点大,没什么大不了的。相信JIT编译器可以做到这一点。这些微型优化不值得你花时间。 – 2010-08-12 18:05:08
我想这样做,但我需要自己生成IL,因为例如在silverlight中没有c#编译器。我想在Silverlight中以及在没有编译器可用的其他环境中使用它... – 2010-08-12 18:07:41
我相信Hans建议您不要打扰简短形式(您遇到问题)并使用标准的长形式,因为这种优化将自动与JIT(Silverlight所具有,就像任何其他CLR impl一样)发生。 – 2010-08-12 23:05:02