Author: kumpera
Date: 2008-01-21 13:27:38 -0500 (Mon, 21 Jan 2008)
New Revision: 93430

Added:
   trunk/mono/mono/tests/verifier/unverifiable_ldftn_no_visibility.il
   trunk/mono/mono/tests/verifier/unverifiable_ldvirtftn_no_visibility.il
Modified:
   trunk/mono/mono/tests/verifier/ChangeLog
Log:
2008-01-21 Rodrigo Kumpera <[EMAIL PROTECTED]>

        * unverifiable_ldftn_no_visibility.il: added. visibility
        check for ldftn.

        * unverifiable_ldvirtftn_no_visibility.il: added. visibility
        check for ldvirtftn.



Modified: trunk/mono/mono/tests/verifier/ChangeLog
===================================================================
--- trunk/mono/mono/tests/verifier/ChangeLog    2008-01-21 18:00:11 UTC (rev 
93429)
+++ trunk/mono/mono/tests/verifier/ChangeLog    2008-01-21 18:27:38 UTC (rev 
93430)
@@ -1,3 +1,11 @@
+2008-01-21 Rodrigo Kumpera <[EMAIL PROTECTED]>
+
+       * unverifiable_ldftn_no_visibility.il: added. visibility
+       check for ldftn.
+
+       * unverifiable_ldvirtftn_no_visibility.il: added. visibility
+       check for ldvirtftn.
+
 2008-01-18 Rodrigo Kumpera <[EMAIL PROTECTED]>
 
        * make_tests.sh: added tests for ovf math with floats.

Added: trunk/mono/mono/tests/verifier/unverifiable_ldftn_no_visibility.il
===================================================================
--- trunk/mono/mono/tests/verifier/unverifiable_ldftn_no_visibility.il  
2008-01-21 18:00:11 UTC (rev 93429)
+++ trunk/mono/mono/tests/verifier/unverifiable_ldftn_no_visibility.il  
2008-01-21 18:27:38 UTC (rev 93430)
@@ -0,0 +1,66 @@
+
+.assembly extern mscorlib
+{
+  .ver 2:0:0:0
+  .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) // .z\V.4..
+}
+.assembly 'ldftn_test'
+{
+  .hash algorithm 0x00008004
+  .ver  0:0:0:0
+}
+.module ldftn_test.exe
+
+.class public Test
+       extends [mscorlib]System.Object
+{
+       .method public hidebysig  specialname  rtspecialname instance default 
void .ctor ()  cil managed 
+       {
+               .maxstack 8
+               ldarg.0
+               call instance void object::.ctor()
+               ret 
+       }
+
+       .method public virtual void VirtMethod ()
+       {
+               ret
+       }
+
+       .method family void Method ()
+       {
+               ret
+       }
+
+       .method public static void StaticMethod ()
+       {
+               ret
+       }
+}
+
+.class public auto ansi beforefieldinit Driver
+        extends [mscorlib]System.Object
+{
+       .method public static void Method ()
+       {
+               ret
+       }
+
+       .method public virtual void VirtMethod ()
+       {
+               ret
+       }
+
+       .method public static int32 Main ()
+       {
+               .entrypoint
+               .maxstack 2
+               .locals init (int32 bla)
+
+                // valid
+               ldftn instance void class Test::Method()
+               pop
+               ldc.i4.0
+               ret 
+       }
+}

Added: trunk/mono/mono/tests/verifier/unverifiable_ldvirtftn_no_visibility.il
===================================================================
--- trunk/mono/mono/tests/verifier/unverifiable_ldvirtftn_no_visibility.il      
2008-01-21 18:00:11 UTC (rev 93429)
+++ trunk/mono/mono/tests/verifier/unverifiable_ldvirtftn_no_visibility.il      
2008-01-21 18:27:38 UTC (rev 93430)
@@ -0,0 +1,78 @@
+
+.assembly extern mscorlib
+{
+  .ver 2:0:0:0
+  .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) // .z\V.4..
+}
+.assembly 'ldftn_test'
+{
+  .hash algorithm 0x00008004
+  .ver  0:0:0:0
+}
+.module ldftn_test.exe
+
+.class public Test
+       extends [mscorlib]System.Object
+{
+       .method public hidebysig  specialname  rtspecialname instance default 
void .ctor ()  cil managed 
+       {
+               .maxstack 8
+               ldarg.0
+               call instance void object::.ctor()
+               ret 
+       }
+
+       .method family virtual void VirtMethod ()
+       {
+               ret
+       }
+
+       .method public void Method ()
+       {
+               ret
+       }
+
+       .method public static void StaticMethod ()
+       {
+               ret
+       }
+}
+
+.class sealed MyValueType extends [mscorlib]System.ValueType
+{
+       .field private int32 v
+}
+
+.class public auto ansi beforefieldinit Driver
+        extends [mscorlib]System.Object
+{
+       .method public static void Method ()
+       {
+               ret
+       }
+
+       .method public virtual void VirtMethod ()
+       {
+               ret
+       }
+
+       .method public static void Foo (native int bla) {
+               ret
+       }
+
+       .method public static int32 Main ()
+       {
+               .entrypoint
+               .maxstack 2
+               .locals init (Test V0, MyValueType V1)
+               newobj void class Test::.ctor()
+               stloc.0
+
+               newobj void class Test::.ctor() // valid
+               ldvirtftn instance void class Test::VirtMethod()
+               pop
+
+               ldc.i4.0
+               ret 
+       }
+}

_______________________________________________
Mono-patches maillist  -  Mono-patches@lists.ximian.com
http://lists.ximian.com/mailman/listinfo/mono-patches

Reply via email to