mono/tests/verifier/invalid_bad_catch_clause_type.il

   1
   2 //  Microsoft (R) .NET Framework IL Disassembler.  Version 4.0.30319.17929
   3 //  Copyright (c) Microsoft Corporation.  All rights reserved.
   4
   5
   6
   7 // Metadata version: v4.0.30319
   8 .assembly extern mscorlib
   9 {
  10   .publickeytoken = (B7 7A 5C 56 19 34 E0 89 )                         // .z\V.4..
  11   .ver 4:0:0:0
  12 }
  13 .assembly 'test-901'
  14 {
  15   .custom instance void [mscorlib]System.Runtime.CompilerServices.RuntimeCompatibilityAttribute::.ctor() = ( 01 00 01 00 54 02 16 57 72 61 70 4E 6F 6E 45 78   // ....T..WrapNonEx
  16                                                                                                              63 65 70 74 69 6F 6E 54 68 72 6F 77 73 01 )       // ceptionThrows.
  17   .hash algorithm 0x00008004
  18   .ver 0:0:0:0
  19 }
  20 .module 'test-901.exe'
  21 // MVID: {66ECA143-8B2A-47EB-A840-23ED00E2033E}
  22 .imagebase 0x00400000
  23 .file alignment 0x00000200
  24 .stackreserve 0x00100000
  25 .subsystem 0x0003       // WINDOWS_CUI
  26 .corflags 0x00000001    //  ILONLY
  27 // Image base: 0x00620000
  28
  29
  30 // =============== CLASS MEMBERS DECLARATION ===================
  31
  32 .class public auto ansi beforefieldinit Application
  33        extends [mscorlib]System.Object
  34 {
  35   .class auto ansi sealed nested private beforefieldinit '<foo>c__async0`1'<.ctor ([mscorlib]System.Exception, [mscorlib]System.Runtime.Serialization.ISerializable, [mscorlib]System.Runtime.InteropServices._Exception) TException>
  36          extends [mscorlib]System.ValueType
  37          implements [mscorlib]System.Runtime.CompilerServices.IAsyncStateMachine
  38   {
  39     .custom instance void [mscorlib]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 )
  40     .field assembly valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder $builder
  41     .field assembly int32 $PC
  42     .method public hidebysig newslot virtual final
  43             instance void  MoveNext() cil managed
  44     {
  45       // Code size       94 (0x5e)
  46       .maxstack  3
  47       .locals init (class [mscorlib]System.Exception V_0)
  48       IL_0000:  ldarg.0
  49       IL_0001:  ldfld      int32 valuetype Application/'<foo>c__async0`1'<!TException>::$PC
  50       IL_0006:  ldarg.0
  51       IL_0007:  ldc.i4.m1
  52       IL_0008:  stfld      int32 valuetype Application/'<foo>c__async0`1'<!TException>::$PC
  53       IL_000d:  brtrue     IL_005d
  54
  55       .try
  56       {
  57         IL_0012:  call       !!0 [mscorlib]System.Activator::CreateInstance<!TException>()
  58         IL_0017:  box        !TException
  59         IL_001c:  throw
  60
  61       }  // end .try
  62       catch !!0
  63       {
  64         IL_001d:  pop
  65         IL_001e:  ldstr      "caught in correct block"
  66         IL_0023:  call       void [mscorlib]System.Console::WriteLine(string)
  67         IL_0028:  leave      IL_0052
  68
  69       }  // end handler
  70       catch [mscorlib]System.Exception
  71       {
  72         IL_002d:  stloc.0
  73         IL_002e:  ldstr      "caught in generic block"
  74         IL_0033:  call       void [mscorlib]System.Console::WriteLine(string)
  75         IL_0038:  ldstr      "type: "
  76         IL_003d:  ldloc.0
  77         IL_003e:  callvirt   instance class [mscorlib]System.Type [mscorlib]System.Exception::GetType()
  78         IL_0043:  call       string [mscorlib]System.String::Concat(object,
  79                                                                     object)
  80         IL_0048:  call       void [mscorlib]System.Console::WriteLine(string)
  81         IL_004d:  leave      IL_0052
  82
  83       }  // end handler
  84       IL_0052:  ldarg.0
  85       IL_0053:  ldflda     valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder valuetype Application/'<foo>c__async0`1'<!TException>::$builder
  86       IL_0058:  call       instance void [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder::SetResult()
  87       IL_005d:  ret
  88     } // end of method '<foo>c__async0`1'::MoveNext
  89
  90     .method public hidebysig newslot virtual final
  91             instance void  SetStateMachine(class [mscorlib]System.Runtime.CompilerServices.IAsyncStateMachine stateMachine) cil managed
  92     {
  93       .custom instance void [mscorlib]System.Diagnostics.DebuggerHiddenAttribute::.ctor() = ( 01 00 00 00 )
  94       // Code size       13 (0xd)
  95       .maxstack  8
  96       IL_0000:  ldarg.0
  97       IL_0001:  ldflda     valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder valuetype Application/'<foo>c__async0`1'<!TException>::$builder
  98       IL_0006:  ldarg.1
  99       IL_0007:  call       instance void [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder::SetStateMachine(class [mscorlib]System.Runtime.CompilerServices.IAsyncStateMachine)
 100       IL_000c:  ret
 101     } // end of method '<foo>c__async0`1'::SetStateMachine
 102
 103   } // end of class '<foo>c__async0`1'
 104
 105   .method public hidebysig specialname rtspecialname
 106           instance void  .ctor() cil managed
 107   {
 108     // Code size       7 (0x7)
 109     .maxstack  8
 110     IL_0000:  ldarg.0
 111     IL_0001:  call       instance void [mscorlib]System.Object::.ctor()
 112     IL_0006:  ret
 113   } // end of method Application::.ctor
 114
 115   .method private hidebysig static class [mscorlib]System.Threading.Tasks.Task
 116           foo<.ctor ([mscorlib]System.Exception) TException>() cil managed
 117   {
 118     .custom instance void [mscorlib]System.Runtime.CompilerServices.AsyncStateMachineAttribute::.ctor(class [mscorlib]System.Type) = ( 01 00 1C 41 70 70 6C 69 63 61 74 69 6F 6E 2B 3C   // ...Application+<
 119                                                                                                                                        66 6F 6F 3E 63 5F 5F 61 73 79 6E 63 30 60 31 00   // foo>c__async0`1.
 120                                                                                                                                        00 )
 121     .custom instance void [mscorlib]System.Diagnostics.DebuggerHiddenAttribute::.ctor() = ( 01 00 00 00 )
 122     // Code size       33 (0x21)
 123     .maxstack  3
 124     .locals init (valuetype Application/'<foo>c__async0`1'<!!TException> V_0)
 125     IL_0000:  ldloca.s   V_0
 126     IL_0002:  call       valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder::Create()
 127     IL_0007:  stfld      valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder valuetype Application/'<foo>c__async0`1'<!!TException>::$builder
 128     IL_000c:  ldloca.s   V_0
 129     IL_000e:  ldflda     valuetype [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder valuetype Application/'<foo>c__async0`1'<!!TException>::$builder
 130     IL_0013:  dup
 131     IL_0014:  ldloca.s   V_0
 132     IL_0016:  call       instance void [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder::Start<valuetype Application/'<foo>c__async0`1'<!!0>>(!!0&)
 133     IL_001b:  call       instance class [mscorlib]System.Threading.Tasks.Task [mscorlib]System.Runtime.CompilerServices.AsyncTaskMethodBuilder::get_Task()
 134     IL_0020:  ret
 135   } // end of method Application::foo
 136
 137   .method private hidebysig static void  Main(string[] args) cil managed
 138   {
 139     .entrypoint
 140     // Code size       11 (0xb)
 141     .maxstack  8
 142     IL_0000:  call       class [mscorlib]System.Threading.Tasks.Task Application::foo<class [mscorlib]System.InvalidOperationException>()
 143     IL_0005:  callvirt   instance void [mscorlib]System.Threading.Tasks.Task::Wait()
 144     IL_000a:  ret
 145   } // end of method Application::Main
 146
 147 } // end of class Application
 148
 149
 150 // =============================================================
 151
 152 // *********** DISASSEMBLY COMPLETE ***********************