[interp] testcase for stack overflow on tail recursion opt

inspired by

./mcs/mcs/assign.cs:
SimpleAssign:CheckEqualAssign ()

diff --git a/mono/tests/Makefile.am b/mono/tests/Makefile.am
index 885335de3469ece7153128370b1788f6b099b8c0..d4f37fa77225415d958420be5f348413c0a51824 100644 (file)
--- a/mono/tests/Makefile.am
+++ b/mono/tests/Makefile.am
@@ -576,7 +576,8 @@ TEST_IL_SRC=                        \
        bug-318677.il   \
        gsharing-valuetype-layout.il    \
        invalid_generic_instantiation.il \
-       bug-45841-fpstack-exceptions.il
+       bug-45841-fpstack-exceptions.il \
+       instance_tailrec.il
 
 if AMD64
 # #651684

diff --git a/mono/tests/instance_tailrec.il b/mono/tests/instance_tailrec.il
new file mode 100644 (file)
index 0000000..a76603b
--- /dev/null
+++ b/mono/tests/instance_tailrec.il
@@ -0,0 +1,177 @@
+/* inspired by
+
+    ./mcs/mcs/assign.cs:
+           SimpleAssign:CheckEqualAssign ()
+
+*/
+
+.assembly extern mscorlib
+{
+  .ver 4:0:0:0
+  .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) // .z\V.4..
+}
+.assembly 'instance_tailrec'
+{
+  .custom instance void class [mscorlib]System.Diagnostics.DebuggableAttribute::'.ctor'(valuetype [mscorlib]System.Diagnostics.DebuggableAttribute/DebuggingModes) =  (01 00 02 01 00 00 00 00 ) // ........
+
+  .custom instance void class [mscorlib]System.Runtime.CompilerServices.RuntimeCompatibilityAttribute::'.ctor'() =  (
+               01 00 01 00 54 02 16 57 72 61 70 4E 6F 6E 45 78   // ....T..WrapNonEx
+               63 65 70 74 69 6F 6E 54 68 72 6F 77 73 01       ) // ceptionThrows.
+
+  .permissionset reqmin = {[mscorlib]System.Security.Permissions.SecurityPermissionAttribute = {property bool 'SkipVerification' = bool(true)}}
+  .hash algorithm 0x00008004
+  .ver  0:0:0:0
+}
+.module instance_tailrec.exe // GUID = {5C65CFE6-9730-430A-BE4D-0F9BAC9C03DA}
+
+.custom instance void class [mscorlib]System.Security.UnverifiableCodeAttribute::'.ctor'() =  (01 00 00 00 ) // ....
+
+
+.namespace test
+{
+  .class public auto ansi beforefieldinit TailRec
+       extends [mscorlib]System.Object
+  {
+    .field  public  int32 counter
+
+    // method line 1
+    .method public hidebysig specialname rtspecialname 
+           instance default void '.ctor' (int32 a)  cil managed 
+    {
+        // Method begins at RVA 0x2050
+       // Code size 15 (0xf)
+       .maxstack 8
+       IL_0000:  ldarg.0 
+       IL_0001:  call instance void object::'.ctor'()
+       IL_0006:  nop 
+       IL_0007:  ldarg.0 
+       IL_0008:  ldarg.1 
+       IL_0009:  stfld int32 test.TailRec::counter
+       IL_000e:  ret 
+    } // end of method TailRec::.ctor
+
+    // method line 2
+    .method public hidebysig 
+           instance default bool tailrec (object obj)  cil managed 
+    {
+        // Method begins at RVA 0x2060
+       // Code size 78 (0x4e)
+       .maxstack 3
+       .locals init (
+               bool    V_0)
+       IL_0000:  nop 
+       IL_0001:  ldarg.1 
+       IL_0002:  brtrue IL_003f
+
+       IL_0007:  nop 
+       IL_0008:  ldarg.0 
+       IL_0009:  dup 
+       IL_000a:  ldfld int32 test.TailRec::counter
+       IL_000f:  ldc.i4.1 
+       IL_0010:  sub 
+       IL_0011:  stfld int32 test.TailRec::counter
+       IL_0016:  ldarg.0 
+       IL_0017:  ldfld int32 test.TailRec::counter
+       IL_001c:  ldc.i4.0 
+       IL_001d:  bgt IL_0029
+
+       IL_0022:  ldc.i4.0 
+       IL_0023:  stloc.0 
+       IL_0024:  br IL_004c
+
+       IL_0029:  ldarg.0 
+       IL_002a:  brfalse IL_0038
+
+       IL_002f:  ldarg.0 
+       IL_0030:  ldnull 
+       // here is the tail call
+       IL_0031:  call instance bool class test.TailRec::tailrec(object)
+       ret
+
+       IL_0038:  ldc.i4.0 
+       IL_0039:  stloc.0 
+       IL_003a:  br IL_004c
+
+       IL_003f:  ldarg.0 
+       IL_0040:  ldarg.1 
+       IL_0041:  callvirt instance bool object::Equals(object)
+       IL_0046:  stloc.0 
+       IL_0047:  br IL_004c
+
+       IL_004c:  ldloc.0 
+       IL_004d:  ret 
+    } // end of method TailRec::tailrec
+
+    // method line 3
+    .method public static hidebysig 
+           default int32 Main ()  cil managed 
+    {
+        // Method begins at RVA 0x20bc
+       .entrypoint
+       // Code size 112 (0x70)
+       .maxstack 2
+       .locals init (
+               class test.TailRec      V_0,
+               bool    V_1,
+               int32   V_2,
+               int32   V_3,
+               int32   V_4,
+               int32   V_5)
+       IL_0000:  nop 
+       IL_0001:  ldnull 
+       IL_0002:  stloc.0 
+       IL_0003:  ldc.i4.1 
+       IL_0004:  stloc.1 
+       IL_0005:  ldc.i4 1337
+       IL_000a:  stloc.2 
+       IL_000b:  ldc.i4 347134
+       IL_0010:  stloc.3 
+       IL_0011:  ldc.i4.0 
+       IL_0012:  stloc.s 4
+       IL_0014:  br IL_0031
+
+       IL_0019:  nop 
+       IL_001a:  ldloc.s 4
+       IL_001c:  newobj instance void class test.TailRec::'.ctor'(int32)
+       IL_0021:  stloc.0 
+       IL_0022:  ldloc.0 
+       IL_0023:  ldnull 
+       IL_0024:  callvirt instance bool class test.TailRec::tailrec(object)
+       IL_0029:  stloc.1 
+       IL_002a:  nop 
+       IL_002b:  ldloc.s 4
+       IL_002d:  ldc.i4.1 
+       IL_002e:  add 
+       IL_002f:  stloc.s 4
+       IL_0031:  ldloc.s 4
+       IL_0033:  ldc.i4 100
+       IL_0038:  blt IL_0019
+
+       IL_003d:  ldloc.0 
+       IL_003e:  brfalse IL_0065
+
+       IL_0043:  ldloc.1 
+       IL_0044:  brtrue IL_0065
+
+       IL_0049:  ldloc.2 
+       IL_004a:  ldc.i4 1337
+       IL_004f:  bne.un IL_0065
+
+       IL_0054:  ldloc.3 
+       IL_0055:  ldc.i4 347134
+       IL_005a:  bne.un IL_0065
+
+       IL_005f:  ldc.i4.0 
+       IL_0060:  br IL_0066
+
+       IL_0065:  ldc.i4.1 
+       IL_0066:  stloc.s 5
+       IL_0068:  br IL_006d
+
+       IL_006d:  ldloc.s 5
+       IL_006f:  ret 
+    } // end of method TailRec::Main
+
+  } // end of class test.TailRec
+}
+