2010-08-12 55 views
3

短表的操作码我正在做一个小的语言,这是非常相似的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

+3

你的IL有点大,没什么大不了的。相信JIT编译器可以做到这一点。这些微型优化不值得你花时间。 – 2010-08-12 18:05:08

+0

我想这样做,但我需要自己生成IL,因为例如在silverlight中没有c#编译器。我想在Silverlight中以及在没有编译器可用的其他环境中使用它... – 2010-08-12 18:07:41

+0

我相信Hans建议您不要打扰简短形式(您遇到问题)并使用标准的长形式,因为这种优化将自动与JIT(Silverlight所具有,就像任何其他CLR impl一样)发生。 – 2010-08-12 23:05:02

回答

6

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

+0

请,我有兴趣了解这种回应。我有类似的问题。你有什么好说的?你能解释一些插图。您也可以指向我可以从中受益的其他资源。提前致谢。 – Tebo 2012-09-24 08:00:02

+2

@ColourBlend - 即使'ILGenerator' API允许你传入一个标签(并且框架根据放置标签的位置来计算相关的偏移量),分支指令的目标就是在IL代码中指定的偏移量, 。 'Br_S'(和其他短指令)要求偏移量可以适合一个字节(即指令流中不超过127字节的偏移量)。这有帮助吗? – kvb 2012-09-24 14:03:39

+0

谢谢。这很有帮助。在你回复之前,我已经仔细研究了一下。 DynamicMethod的运行速度是否等于静态方法(设计时间方法)?将设计时间方法转换为MSIL会提高性能吗? – Tebo 2012-09-24 16:15:40