mono/tests/verifier/valid_generic_inst_field_might_have_zero_size.il

   1 .assembly extern mscorlib
   2 {
   3   .ver 2:0:0:0
   4   .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) // .z\V.4..
   5 }
   6 .assembly 'gtest-106'
   7 {
   8   .custom instance void class [mscorlib]System.Runtime.CompilerServices.RuntimeCompatibilityAttribute::'.ctor'() =  (
   9                 01 00 01 00 54 02 16 57 72 61 70 4E 6F 6E 45 78   // ....T..WrapNonEx
  10                 63 65 70 74 69 6F 6E 54 68 72 6F 77 73 01       ) // ceptionThrows.
  11
  12   .hash algorithm 0x00008004
  13   .ver  0:0:0:0
  14 }
  15 .module 'gtest-106.exe' // GUID = {6DDC13E4-6237-4A6D-A5D7-ABE1083C4C55}
  16
  17
  18   .class public sequential ansi sealed beforefieldinit KeyValuePair`2<X,Y>
  19         extends [mscorlib]System.ValueType
  20   {
  21     .field  private  unsigned int8 $PRIVATE$
  22
  23     // method line 1
  24     .method public hidebysig  specialname  rtspecialname
  25            instance default void '.ctor' (!X x, !Y y)  cil managed
  26     {
  27         // Method begins at RVA 0x20ec
  28         // Code size 1 (0x1)
  29         .maxstack 8
  30         IL_0000:  ret
  31     } // end of method KeyValuePair`2::.ctor
  32
  33   } // end of class KeyValuePair`2
  34
  35   .class interface public auto ansi abstract IComparer`1<T>
  36   {
  37
  38     // method line 2
  39     .method public virtual  hidebysig  newslot  abstract
  40            instance default int32 Compare (!T x)  cil managed
  41     {
  42         // Method begins at RVA 0x0
  43     } // end of method IComparer`1::Compare
  44
  45   } // end of class IComparer`1
  46
  47   .class public auto ansi beforefieldinit KeyValuePairComparer`2<K,V>
  48         extends [mscorlib]System.Object
  49         implements class IComparer`1<valuetype KeyValuePair`2<!0,!1>>  {
  50
  51     // method line 3
  52     .method public hidebysig  specialname  rtspecialname
  53            instance default void '.ctor' ()  cil managed
  54     {
  55         // Method begins at RVA 0x20f0
  56         // Code size 7 (0x7)
  57         .maxstack 8
  58         IL_0000:  ldarg.0
  59         IL_0001:  call instance void object::'.ctor'()
  60         IL_0006:  ret
  61     } // end of method KeyValuePairComparer`2::.ctor
  62
  63     // method line 4
  64     .method public final  virtual  hidebysig  newslot
  65            instance default int32 Compare (valuetype KeyValuePair`2<!K, !V> a)  cil managed
  66     {
  67         // Method begins at RVA 0x20f8
  68         // Code size 2 (0x2)
  69         .maxstack 8
  70         IL_0000:  ldc.i4.0
  71         IL_0001:  ret
  72     } // end of method KeyValuePairComparer`2::Compare
  73
  74   } // end of class KeyValuePairComparer`2
  75
  76   .class public auto ansi beforefieldinit TreeBag`1<T>
  77         extends [mscorlib]System.Object
  78   {
  79     .field  private  class IComparer`1<!0> comparer
  80     .field  private  !0 item
  81
  82     // method line 5
  83     .method public hidebysig  specialname  rtspecialname
  84            instance default void '.ctor' (class IComparer`1<!T> comparer, !T item)  cil managed
  85     {
  86         // Method begins at RVA 0x20fc
  87         // Code size 21 (0x15)
  88         .maxstack 8
  89         IL_0000:  ldarg.0
  90         IL_0001:  call instance void object::'.ctor'()
  91         IL_0006:  ldarg.0
  92         IL_0007:  ldarg.1
  93         IL_0008:  stfld class IComparer`1<!0> class TreeBag`1<!0>::comparer
  94         IL_000d:  ldarg.0
  95         IL_000e:  ldarg.2
  96         IL_000f:  stfld !0 class TreeBag`1<!0>::item
  97         IL_0014:  ret
  98     } // end of method TreeBag`1::.ctor
  99
 100     // method line 6
 101     .method public hidebysig
 102            instance default int32 Find ()  cil managed
 103     {
 104         // Method begins at RVA 0x2114
 105         // Code size 18 (0x12)
 106         .maxstack 8
 107         IL_0000:  ldarg.0
 108         IL_0001:  ldfld class IComparer`1<!0> class TreeBag`1<!0>::comparer
 109         IL_0006:  ldarg.0
 110         IL_0007:  ldfld !0 class TreeBag`1<!0>::item
 111         IL_000c:  callvirt instance int32 class IComparer`1<!T>::Compare(!0)
 112         IL_0011:  ret
 113     } // end of method TreeBag`1::Find
 114
 115   } // end of class TreeBag`1
 116
 117   .class public auto ansi beforefieldinit X
 118         extends [mscorlib]System.Object
 119   {
 120
 121     // method line 7
 122     .method public hidebysig  specialname  rtspecialname
 123            instance default void '.ctor' ()  cil managed
 124     {
 125         // Method begins at RVA 0x2128
 126         // Code size 7 (0x7)
 127         .maxstack 8
 128         IL_0000:  ldarg.0
 129         IL_0001:  call instance void object::'.ctor'()
 130         IL_0006:  ret
 131     } // end of method X::.ctor
 132
 133     // method line 8
 134     .method public static  hidebysig
 135            default void Main ()  cil managed
 136     {
 137         // Method begins at RVA 0x2130
 138         .entrypoint
 139         // Code size 32 (0x20)
 140         .maxstack 5
 141         .locals init (
 142                 valuetype KeyValuePair`2<int32, int32>  V_0,
 143                 class KeyValuePairComparer`2<int32, int32>      V_1,
 144                 class TreeBag`1<valuetype KeyValuePair`2<int32, int32>> V_2)
 145         IL_0000:  ldloca.s 0
 146         IL_0002:  ldc.i4.3
 147         IL_0003:  ldc.i4.s 0x59
 148         IL_0005:  call instance void valuetype KeyValuePair`2<int32, int32>::'.ctor'(!0, !1)
 149         IL_000a:  newobj instance void class KeyValuePairComparer`2<int32, int32>::'.ctor'()
 150         IL_000f:  stloc.1
 151         IL_0010:  ldloc.1
 152         IL_0011:  ldloc.0
 153         IL_0012:  newobj instance void class TreeBag`1<valuetype KeyValuePair`2<int32, int32>>::'.ctor'(class IComparer`1<!0>, !0)
 154         IL_0017:  stloc.2
 155         IL_0018:  ldloc.2
 156         IL_0019:  callvirt instance int32 class TreeBag`1<valuetype KeyValuePair`2<int32, int32>>::Find()
 157         IL_001e:  pop
 158         IL_001f:  ret
 159     } // end of method X::Main
 160
 161   } // end of class X
 162