C#/.Net CIL - ldarga.s 如何获得 index/argument（ldarga.s vs ldarga vs ldarga.0 操作码）？

Question

我正在尝试逐条解释 CIL 指令。我正在使用 Mono.Reflection 获取指令列表，我不知道如何解释 'ldarga.s'。

我知道"ldarga" - Load the argument address to the evaluation stack." 但是 'ldarga.s' 的参数/索引是什么，即加载/压入堆栈？ - 该指令在 IL_0004 以下汇编器列表下。

另一条指令"ldarg.0"（没有"a"）参数加载/压栈"first"，"ldarg.1"第二个参数加载/压栈在另一个示例中，"ldloca.s" - "Loads the address of the local variable at the specified index into the evaluation stack.") 索引在指令操作数中。

这是我的代码我在 class Test

中有函数 "Funkcja1"

public int Funkcja1(int p1, string p2, ProcesTest p3)
    {
        var zmienalokaln1 = p1;
        var zmiennaLokaln2 = p2 + p1.ToString();
        Metoda1();
        var zmienna3 = zmienalokaln1 + zmiennaLokaln2;
        return zmienna + p1 + p2.Length + zmienna3.Length;
    }

函数汇编程序（由 JetBrains dotPeek 生成）：

.method public hidebysig instance int32
Funkcja1(
  int32 p1,
  string p2,
  class Cvl.VirtualMachine.Test.ProcesTest p3
) cil managed
{
.maxstack 2
.locals init (
  [0] int32 zmienalokaln1,
  [1] string zmiennaLokaln2,
  [2] string zmienna3,
  [3] int32 V_3
)

// [18 9 - 18 10]
IL_0000: nop

// [19 13 - 19 36]
IL_0001: ldarg.1      // p1
IL_0002: stloc.0      // zmienalokaln1

// [20 13 - 20 53]
IL_0003: ldarg.2      // p2
IL_0004: ldarga.s     p1
IL_0006: call         instance string [System.Runtime]System.Int32::ToString()
IL_000b: call         string [System.Runtime]System.String::Concat(string, string)
IL_0010: stloc.1      // zmiennaLokaln2

// [22 13 - 22 23]
IL_0011: ldarg.0      // this
IL_0012: call         instance void Cvl.VirtualMachine.Test.ProcesTest::Metoda1()
IL_0017: nop

// [24 13 - 24 59]
IL_0018: ldloca.s     zmienalokaln1
IL_001a: call         instance string [System.Runtime]System.Int32::ToString()
IL_001f: ldloc.1      // zmiennaLokaln2
IL_0020: call         string [System.Runtime]System.String::Concat(string, string)
IL_0025: stloc.2      // zmienna3

// [26 13 - 26 63]
IL_0026: ldarg.0      // this
IL_0027: ldfld        int32 Cvl.VirtualMachine.Test.ProcesTest::zmienna
IL_002c: ldarg.1      // p1
IL_002d: add
IL_002e: ldarg.2      // p2
IL_002f: callvirt     instance int32 [System.Runtime]System.String::get_Length()
IL_0034: add
IL_0035: ldloc.2      // zmienna3
IL_0036: callvirt     instance int32 [System.Runtime]System.String::get_Length()
IL_003b: add
IL_003c: stloc.3      // V_3
IL_003d: br.s         IL_003f

// [27 9 - 27 10]
IL_003f: ldloc.3      // V_3
IL_0040: ret

} // end of method ProcesTest::Funkcja1

来自Mono.Reflection.Disassembler.GetInstructions(这个MethodBase self)

操作数是'p1'

我需要以某种方式在函数参数列表中指定此参数 ('p1') 的索引，在本例中等于 0（第一个参数）

Answer 1

ldarga.s中的操作数可以由System.Reflection.ParameterInfo.

和index = parameterInfo.Position;

if (instruction.Operand is System.Reflection.ParameterInfo parameterInfo)
{
   Index = parameterInfo.Position;
}

C#/.Net CIL - ldarga.s 如何获得 index/argument（ldarga.s vs ldarga vs ldarga.0 操作码）？

C#/.Net CIL - ldarga.s how to get index/argument (ldarga.s vs ldarga vs ldarga.0 opcode)?

c#

.net

cil

opcode

mono.cecil