mono/tests/verifier/invalid_generic_constraints_with_loop.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-514'
   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 'broken.exe'
  16
  17
  18 .namespace test2
  19 {
  20 .class public auto ansi beforefieldinit Test`3<
  21         .ctor (!U) T,
  22         .ctor (!V) U,
  23         .ctor (!T, class [mscorlib]System.IDisposable) V>
  24         extends [mscorlib]System.Object
  25 {
  26         .method public hidebysig specialname rtspecialname instance default void '.ctor' ()  cil managed
  27         {
  28                 .maxstack 8
  29                 ldarg.0
  30                 call instance void object::'.ctor'()
  31                 ret
  32         }
  33
  34         .method public hidebysig
  35            instance default void Method ()  cil managed
  36         {
  37         .maxstack 8
  38         .locals init (
  39         class [mscorlib]System.IDisposable      V_0,
  40         class [mscorlib]System.IDisposable      V_1,
  41         class [mscorlib]System.IDisposable      V_2,
  42         !T      V_3,
  43         !U      V_4,
  44         !V      V_5)
  45         ldloca.s 3
  46         initobj !0
  47         ldloc.3
  48         box !0
  49         brfalse L_0
  50
  51         ldloca.s 3
  52         initobj !0
  53         ldloc.3
  54         br.s L_1
  55
  56 L_0:
  57         call !!0 class [mscorlib]System.Activator::CreateInstance<!0> ()
  58 L_1:
  59         box !0
  60         stloc.0
  61         ldloca.s 4
  62         initobj !1
  63         ldloc.s 4
  64         box !1
  65         brfalse L_2
  66
  67         ldloca.s 4
  68         initobj !1
  69         ldloc.s 4
  70         br.s L_3
  71
  72 L_2:
  73         call !!0 class [mscorlib]System.Activator::CreateInstance<!1> ()
  74 L_3:
  75         box !1
  76         stloc.1
  77         ldloca.s 5
  78         initobj !2
  79         ldloc.s 5
  80         box !2
  81         brfalse L_4
  82
  83         ldloca.s 5
  84         initobj !2
  85         ldloc.s 5
  86         br.s L_5
  87
  88 L_4:
  89         call !!0 class [mscorlib]System.Activator::CreateInstance<!2> ()
  90 L_5:
  91         box !2
  92         stloc.2
  93         ret
  94         }
  95 }
  96 }
  97
  98 .namespace test2
  99 {
 100 .class private auto ansi beforefieldinit MainClass extends [mscorlib]System.Object implements [mscorlib]System.IDisposable  {
 101         .method public hidebysig specialname rtspecialname instance default void '.ctor' ()  cil managed
 102         {
 103                 .maxstack 8
 104                 ldarg.0
 105                 call instance void object::'.ctor'()
 106                 ret
 107         }
 108
 109         .method public final virtual hidebysig newslot instance default void Dispose ()  cil managed
 110         {
 111                 .maxstack 8
 112                 ret
 113         }
 114
 115         .method private static hidebysig default void Main ()  cil managed
 116         {
 117                 .entrypoint
 118                 .maxstack 8
 119                 newobj instance void class test2.Test`3<class test2.MainClass, class test2.MainClass, class test2.MainClass>::'.ctor'()
 120                 callvirt instance void class test2.Test`3<class test2.MainClass, class test2.MainClass, class test2.MainClass>::Method()
 121                 ret
 122         }
 123 }
 124 }
 125