2005-01-25 Sebastien Pouliot <sebastien@ximian.com>

[mono.git] / mono / mini / iltests.il

diff --git a/mono/mini/iltests.il b/mono/mini/iltests.il
index 736f140863bca290164439f8bc59df914944f566..a703b7fe3882cecead505f3cbc31065ccc50c623 100644 (file)
--- a/mono/mini/iltests.il
+++ b/mono/mini/iltests.il
@@ -4,12 +4,13 @@
 
 .class public auto ansi sealed beforefieldinit Tests {
 
-       .method static public int32 Main() il managed {
+       .method static public int32 Main(string[] args) il managed {
                .entrypoint
                
                ldtoken Tests
                call       class [mscorlib]System.Type [mscorlib]System.Type::GetTypeFromHandle(valuetype [mscorlib]System.RuntimeTypeHandle)
-               call       int32 [TestDriver]TestDriver::RunTests(class [mscorlib]System.Type)
+               ldarg.0
+               call       int32 [TestDriver]TestDriver::RunTests(class [mscorlib]System.Type, string[])
                ret
        }
 
@@ -231,7 +232,7 @@
        }
 
        .method static public int32 test_0_localloc () cil managed {
-               .locals init (native int, native int, native int)
+               .locals init (native int, native int, native int, native int, int32)
 
                ldc.i4 6
                localloc
@@ -248,17 +249,52 @@
                conv.i
                stloc.2
 
-               // br OK1
+               // Variable length
+               ldc.i4 128
+               stloc.s 4
+               ldloc.s 4
+               localloc
+               conv.i
+               stloc.3
+
+               // Check zero initialized
+               ldloc.0
+               ldind.i4
+               ldc.i4.0
+               beq OK1
+               ldc.i4.1
+               br FAIL
+
+OK1:
+               ldloc.3
+               ldind.i4
+               ldc.i4.0
+               beq OK2
+               ldc.i4.2
+               br FAIL
+
+OK2:
+               ldloc.3
+               ldc.i4.s 124
+               add
+               ldind.i4
+               ldc.i4.0
+               beq OK3
+               ldc.i4.3
+               br FAIL
+
+OK3:
                ldloc.1
                ldc.i4 999999
                stind.i4
                ldloc.1
                ldind.i4
                ldc.i4 999999
-               beq OK1
+               beq OK4
+               ldc.i4.4
                br FAIL
 
-OK1:
+OK4:
                ldloc.0
                ldc.i4 999999
                stind.i4
@@ -266,8 +302,10 @@ OK1:
                ldind.i4
                ldc.i4 999999
                beq PASS
+               ldc.i4.5
+               br FAIL
 
-FAIL:  ldc.i4.1
+FAIL:
                ret
 
 PASS:  ldc.i4.0
@@ -498,7 +536,6 @@ COND:   ldloc.0
 
        .method public static int32 test_0_get_type_from_handle_on_bblock_boundary () cil managed 
        {
-               .entrypoint
                .maxstack 16
        
                ldc.i4.1
@@ -510,9 +547,9 @@ COND:   ldloc.0
                ldtoken [mscorlib]System.Object
        AFTER:
                call class [mscorlib]'System.Type' class [mscorlib]'System.Type'::'GetTypeFromHandle'(valuetype [mscorlib]'System.RuntimeTypeHandle')
-               callvirt string class [mscorlib]System.Type::get_FullName ()
+               callvirt instance string class [mscorlib]System.Type::get_FullName ()
                ldstr "System.String"
-               callvirt bool class [mscorlib]System.Object::Equals(object)
+               callvirt instance bool class [mscorlib]System.Object::Equals(object)
                ldc.i4.0
                ceq
                ret 
@@ -560,4 +597,40 @@ COND:   ldloc.0
                ceq
                ret
        }
+       
+       .method public static int32 test_1_array_type_mismatch_ldelema  () {
+               .locals init (int32 r)
+               
+                       ldc.i4.1
+                       newarr string
+                       ldc.i4.0 
+                       ldelema string
+                       pop
+               
+               .try {
+                       ldc.i4.1
+                       newarr string
+                       ldc.i4.0 
+                       ldelema object
+                       pop
+                       
+                       leave end
+               } catch [mscorlib]System.ArrayTypeMismatchException {
+                       pop
+                       ldc.i4.1
+                       stloc.0
+                       leave end
+               }
+       end:
+               ldloc.0
+               ret
+       }
+
+       .method public static int32 test_1_conv_ovf_i8_with_i4 () {
+                       ldc.i4.m1 
+                       conv.ovf.i8
+                       conv.ovf.i4
+                       neg
+                       ret
+       }
 }