mono/tests/verifier/unverifiable_ref_return_stack_merge.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 'ref-return'
   7 {
   8   .hash algorithm 0x00008004
   9   .ver  0:0:0:0
  10 }
  11 .module 'ref-return.dll' // GUID = {09E5E448-CA90-49A5-AFBA-0AA241F72FBF}
  12
  13
  14 .class private auto ansi beforefieldinit Test extends [mscorlib]System.Object
  15 {
  16         .field  private static  int32 X
  17         .field  private static  int32 Y
  18
  19         .method private static hidebysig  default int32& invalid_branch1 (bool b)  cil managed
  20         {
  21                 .maxstack 1
  22                 .locals init (int32&, int32)
  23                 ldarg.0
  24                 brtrue.s LABEL_1
  25
  26                 ldsflda int32 Test::Y
  27                 br.s LABEL_2
  28
  29 LABEL_1:
  30                 ldloca 1
  31
  32 LABEL_2:
  33                 stloc.0
  34
  35                 ldloc.0
  36                 ret
  37         }
  38
  39         .method private static hidebysig  default int32& invalid_branch2 (bool b)  cil managed
  40         {
  41                 .maxstack 1
  42                 .locals init (int32&, int32)
  43                 ldarg.0
  44                 brtrue.s LABEL_1
  45
  46                 ldloca 1
  47                 br.s LABEL_2
  48
  49 LABEL_1:
  50                 ldsflda int32 Test::X
  51
  52 LABEL_2:
  53                 stloc.0
  54
  55                 ldloc.0
  56                 ret
  57         }
  58 }
  59