.assembly extern mscorlib { auto }

.assembly MyIlApp { }

.module MyIlApp.exe

.namespace MyIlApp

{

    // public struct VC

    .class public value sealed auto VC

    {

        // public int val_int32;

        .field public int32 val_int32

        // public string val_string;

        .field public string val_string

    }

    // public sealed class MainClass

    .class public sealed auto ansi MainClass

    {

        // public static int _val;

        .field public static int32 _val

        // public static void check(int argument1)

        .method public static void check(int32) cil managed

        {

            // string temp;

            .locals init ([]string temp)

            // if (MyIlApp.MainClass._val == argument1)

            // {

            //     System.Console.WriteLine("The value equals to the argument.");

            // }

            // else

            // {

            //     System.Console.WriteLine("The value does not equal to the argument.");

            // }

            ldsfld int32 MyIlApp.MainClass::_val

            ldarg.0

            beq TrueEqual

            ldstr "The value does not equal to the argument."

            call void [mscorlib]System.Console::WriteLine(string)

            br ThisIsEnd

            TrueEqual:

            ldstr "The value equals to the argument."

            call void [mscorlib]System.Console::WriteLine(string)

            // temp = argument1.ToString();    // 注意这里用 call 而不是 callvirt，因为 argument1 是 int32 类型，未装箱的时候没有V表

            ThisIsEnd:

            ldarga.s

            call instance string [mscorlib]System.Int32::ToString()

            stloc.0

            // System.Console.Write("The real value is:");

            ldstr "The real value is: "

            call void [mscorlib]System.Console::Write(string)

            // System.Console.WriteLine(temp);

            ldloc.0

            call void [mscorlib]System.Console::WriteLine(string)

            // return;

            ret

        }

        // public static void Main()

        .method public static void Main() cil managed

        {

            // .entrypoint 伪指令表示是程序入口点

            .entrypoint

            /* Test Case 1 */

            // string input;

            // int v;

            .locals init ([] string input,

                          [] int32 v)

            // System.Console.WriteLine("Hi. Please input a string:");

            ldstr "Hi. Please input a string:"

            call void [mscorlib]System.Console::WriteLine(string)

            // input = System.Console.ReadLine();

            call string [mscorlib]System.Console::ReadLine()

            stloc.0

            // System.Console.WriteLine(input);

            ldloc.0

            call void [mscorlib]System.Console::WriteLine(string)

            // v = System.Int32.Parse(input);

            ldloc.0

            call int32 [mscorlib]System.Int32::Parse(string)

            stloc.1

            // MyIlApp.MainClass._val = 9000;

            ldc.i4

            stsfld int32 MyIlApp.MainClass::_val

            // System.Console.WriteLine(MyIlApp.MainClass._val.ToString());

            ldsflda int32 MyIlApp.MainClass::_val

            call instance string [mscorlib]System.Int32::ToString()

            call void [mscorlib]System.Console::WriteLine(string)

            // MyIlApp.MainClass.check(v);

            ldloc.1

            call void [MyIlApp]MyIlApp.MainClass::check(int32)

            /* Test Case 2 */

            // VC vc1;

            .locals init ([] valuetype [MyIlApp]MyIlApp.VC vc1)

            // vc1.val_string = "Test string of VC";

            ldloca.s

            ldstr "Test string of VC"

            stfld string MyIlApp.VC::val_string

            // vc1.val_int32 = 8;

            ldloca.s

            ldc.i4.8

            stfld int32 MyIlApp.VC::val_int32

            // System.Console.WriteLine(vc1.val_string);

            ldloca.s

            ldfld string MyIlApp.VC::val_string

            call void [mscorlib]System.Console::WriteLine(string)

            // System.Console.WriteLine(vc1.val_int32.ToString());    // 《Expert .NET 2.0 IL Assembler》上说 ldflda “不能使用值类型的实例，也不能获取指向值类型实例的对象引用或指针”，有误。为了实现类似 a.X = 100（a 为 System.Drawing.Point 类型）这样的调用，需要用到 call 指令，也就需要用到 ldflda 而不是 ldfld；不过后者可以用在不访问实例函数/字段的情况下

            ldloca.s

            ldflda int32 MyIlApp.VC::val_int32

            call instance string [mscorlib]System.Int32::ToString()

            call void [mscorlib]System.Console::WriteLine(string)

            // return;

            ret

        }

    }

}