src/tests/ilverify/ILTests/ThisStateTests.il


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139

// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.

.assembly extern System.Runtime
{
}

.assembly ThisStateTests
{
}

.class public auto ansi beforefieldinit FieldTestsType
        extends [System.Runtime]System.Object
{
    .field private int32 instanceField
    .field private static int32 staticField

    .method public hidebysig instance void 'special.LoadFieldThisInit..ctor_Valid'() cil managed { ret }
    .method public hidebysig specialname rtspecialname instance void .ctor() cil managed 
    {
        ldarg.0
        call    instance void [System.Runtime]System.Object::.ctor()
        ldarg.0
        ldfld   int32 FieldTestsType::instanceField
        pop
        ret
    }

    .method public hidebysig instance void 'special.LoadFieldThisUninit..ctor_Valid'(int32) cil managed { ret }
    .method public hidebysig specialname rtspecialname instance void .ctor(int32) cil managed 
    {
        ldarg.0
        dup
        ldfld   int32 FieldTestsType::instanceField
        pop
        call    instance void [System.Runtime]System.Object::.ctor()
        ret
    }

    .method public hidebysig instance void 'special.LoadSFieldThisUninit..ctor_Valid'(float64) cil managed { ret }
    .method public hidebysig specialname rtspecialname instance void .ctor(float64) cil managed 
    {
        ldarg.0
        ldsfld   int32 FieldTestsType::staticField
        pop
        call    instance void [System.Runtime]System.Object::.ctor()
        ret
    }

    .method public hidebysig instance void 'special.StoreFieldThisInit..ctor_Valid'(int64) cil managed { ret }
    .method public hidebysig specialname rtspecialname instance void .ctor(int64) cil managed 
    {
        ldarg.0
        call    instance void [System.Runtime]System.Object::.ctor()
        ldarg.0
        ldc.i4.0
        stfld   int32 FieldTestsType::instanceField
        ret
    }

    .method public hidebysig instance void 'special.StoreFieldThisUninit..ctor_Valid'(int32, int32) cil managed { ret }
    .method public hidebysig specialname rtspecialname instance void .ctor(int32, int32) cil managed 
    {
        ldarg.0
        dup
        ldc.i4.0
        stfld   int32 FieldTestsType::instanceField
        call    instance void [System.Runtime]System.Object::.ctor()
        ret
    }

    .method public hidebysig instance void 'special.StoreSFieldThisUninit..ctor_Valid'(native int) cil managed { ret }
    .method public hidebysig specialname rtspecialname instance void .ctor(native int) cil managed 
    {
        ldc.i4.0
        stsfld   int32 FieldTestsType::staticField
        ldarg.0
        call    instance void [System.Runtime]System.Object::.ctor()
        ret
    }
}

.class public auto ansi beforefieldinit ThisStateTestsType
        extends [System.Runtime]System.Object
{
    .method public hidebysig instance void 'special.ThrowThisUninit..ctor_Invalid_UninitStack'() cil managed { ret }
    .method public hidebysig specialname rtspecialname instance void .ctor() cil managed 
    {
        ldarg.0
        throw
        ret
    }

    .method public hidebysig instance void 'special.CallCtorOverload..ctor_Valid'(int32) cil managed { ret }
    .method public hidebysig specialname rtspecialname instance void .ctor(int32) cil managed 
    {
        ldarg.0
        call    instance void ThisStateTestsType::.ctor()
        ret
    }
}

.class public auto ansi beforefieldinit LoadStoreVarTestsType
        extends [System.Runtime]System.Object
{
    .method public hidebysig instance void 'special.StoreLocUninit..ctor_Invalid_StackUninit'() cil managed { ret }
    .method public hidebysig specialname rtspecialname instance void .ctor() cil managed 
    {
        .locals init (
            [0] int32
        )

        ldc.i4.0
        stloc.0
        ldarg.0
        call    instance void [System.Runtime]System.Object::.ctor()
        ret
    }

    .method public hidebysig instance void 'special.StoreThisUninit..ctor_Invalid_ThisUninitStore'(int32) cil managed { ret }
    .method public hidebysig specialname rtspecialname instance void .ctor(int32) cil managed 
    {
        newobj  instance void LoadStoreVarTestsType::.ctor()
        starg 0
        ldarg.0
        call    instance void [System.Runtime]System.Object::.ctor()
        ret
    }

    .method public hidebysig instance void 'special.LoadAddrOfThisUninit..ctor_Invalid_ThisUninitStore'(int64) cil managed { ret }
    .method public hidebysig specialname rtspecialname instance void .ctor(int64) cil managed 
    {
        ldarga 0
        pop
        ldarg.0
        call    instance void [System.Runtime]System.Object::.ctor()
        ret
    }
}