mono/tests/verifier/invalid_cgt_un_valuetype_and_null.il

   1 .assembly extern mscorlib
   2 {
   3   .ver 4:0:0:0
   4   .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) // .z\V.4..
   5 }
   6 .assembly 'test-pattern-01'
   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 'test-pattern-01.exe' // GUID = {9F506173-2872-430E-8B04-E4C828ABCFA1}
  16
  17
  18   .class private auto ansi beforefieldinit TypePattern
  19         extends [mscorlib]System.Object
  20   {
  21
  22     // method line 1
  23     .method public hidebysig specialname rtspecialname
  24            instance default void '.ctor' ()  cil managed
  25     {
  26         // Method begins at RVA 0x2050
  27         // Code size 7 (0x7)
  28         .maxstack 8
  29         IL_0000:  ldarg.0
  30         IL_0001:  call instance void object::'.ctor'()
  31         IL_0006:  ret
  32     } // end of method TypePattern::.ctor
  33
  34     // method line 2
  35     .method public static hidebysig
  36            default int32 Main ()  cil managed
  37     {
  38         // Method begins at RVA 0x2058
  39         .entrypoint
  40         // Code size 63 (0x3f)
  41         .maxstack 2
  42         .locals init (
  43                 object  V_0,
  44                 bool    V_1,
  45                 valuetype [mscorlib]System.Nullable`1<unsigned int8>    V_2)
  46         IL_0000:  ldc.i4.4
  47         IL_0001:  newobj instance void valuetype [mscorlib]System.Nullable`1<int32>::'.ctor'(!0)
  48         IL_0006:  box valuetype [mscorlib]System.Nullable`1<int32>
  49         IL_000b:  stloc.0
  50         IL_000c:  ldloc.0
  51         IL_000d:  isinst valuetype [mscorlib]System.Nullable`1<unsigned int8>
  52         IL_0012:  unbox.any valuetype [mscorlib]System.Nullable`1<unsigned int8>
  53         IL_0017:  stloc.2
  54
  55         IL_0019:  ldnull
  56
  57         IL_0018:  ldloc.2
  58         // box valuetype [mscorlib]System.Nullable`1<unsigned int8>
  59
  60
  61         IL_001a:  cgt.un
  62         IL_001c:  stloc.1
  63         IL_001d:  ldloca.s 2
  64         IL_001f:  call instance bool valuetype [mscorlib]System.Nullable`1<unsigned int8>::get_HasValue()
  65         IL_0024:  brfalse IL_002b
  66
  67         IL_0029:  ldc.i4.5
  68         IL_002a:  ret
  69         IL_002b:  ldloc.1
  70         IL_002c:  brfalse IL_0033
  71
  72         IL_0031:  ldc.i4.5
  73         IL_0032:  ret
  74         IL_0033:  ldstr "ok"
  75         IL_0038:  call void class [mscorlib]System.Console::WriteLine(string)
  76         IL_003d:  ldc.i4.0
  77         IL_003e:  ret
  78     } // end of method TypePattern::Main
  79
  80   } // end of class TypePattern
  81