Блок 'if' в IL

Question

Я думаю, что, возможно, мне не хватает чего-то важного, но я не могу понять, как построить условный оператор в IL с помощью динамического метода. Раньше я только слегка баловался, но сейчас мне нужно расширить код.

Есть ли какая-то документация где-то, что я не нашел (кроме документации CLI), или у кого-то есть пример кода? Это было бы фантастически.

Приветствия,

Answer 1

В зависимости от конкретной кода, различные инструкции ветвления вашего друга.

Вот

if(memory[pointer] > 0) goto IL_0002; 

в IL:

IL_001f: ldsfld  uint8[] BFHelloWorldCSharp.Program::memory 
IL_0024: ldsfld  int16 BFHelloWorldCSharp.Program::pointer 
IL_0029: ldelem.u1 
IL_002a: ldc.i4.0 
IL_002b: bgt  IL_0002 

Вы в основном раздвинуть значения, которые вы хотите сравнить в стек, а затем вызвать bgt прыгать, где вам нужно.

Вы можете проверить OpCodes Class для быстрого обзора команд IL, например brtrue/brfalse или beq.

Я бы также рекомендовал записать команду if в C#, скомпилировать ее и использовать ILDASM или Reflector для поиска сгенерированного ИЛ.

Answer 2

Вот как это происходит:

Определить метку, например:

var skipProperty = il.DefineLabel(); 

называют ваше состояние:

il.Emit(OpCodes.Brtrue, skipProperty); 

в том месте, где вы хотите, чтобы пропустить (например, конец if):

il.MarkLabel(skipProperty); 

Итак, вы создаете ярлык (сначала вам нужно сделать так, чтобы ссылка существовала, вы называете «метку» позже, чтобы поместить метку в фактическое место в коде, который вы хотите). OpCodes.Brtrue является лишь одним из многих условных операций, перечисленных в статье link text (спасибо Michael