1 files changed, 80 insertions, 0 deletions
diff --git a/tests/src/JIT/Methodical/VT/etc/han3.cs b/tests/src/JIT/Methodical/VT/etc/han3.cs
new file mode 100644
index 0000000000..59ed17aac6
--- /dev/null
+++ b/tests/src/JIT/Methodical/VT/etc/han3.cs
@@ -0,0 +1,80 @@
+// Copyright (c) Microsoft. All rights reserved.
+// Licensed under the MIT license. See LICENSE file in the project root for full license information.
+
+using System;
+
+namespace JitTest
+{
+    internal struct Ring
+    {
+        public int size;
+    }
+
+    internal struct Column
+    {
+        public Ring[] rings;
+        private int[] _heightPtr;
+
+        public int height
+        {
+            get { return _heightPtr[0]; }
+            set { _heightPtr[0] = value; }
+        }
+
+        public void Init(int maxHeight, int curHeight)
+        {
+            rings = new Ring[maxHeight];
+            for (int i = 0; i < curHeight; i++)
+            {
+                rings[i].size = maxHeight - i;
+            }
+            _heightPtr = new int[] { curHeight };
+        }
+
+        public void Validate()
+        {
+            for (int i = 1; i < _heightPtr[0]; i++)
+            {
+                if (rings[i - 1].size <= rings[i].size)
+                    throw new Exception();
+            }
+        }
+
+        private static void move1(Column from, Column to)
+        {
+            to.rings[to.height] = from.rings[from.height - 1];
+            to.height = to.height + 1;
+            from.height = from.height - 1;
+            to.Validate();
+            from.Validate();
+        }
+
+        private static int move(Column from, Column to, Column temp, int num)
+        {
+            int C = 1;
+            if (num == 1)
+            {
+                move1(from, to);
+            }
+            else
+            {
+                C += move(from, temp, to, num - 1);
+                move1(from, to);
+                C += move(temp, to, from, num - 1);
+            }
+            return C;
+        }
+
+        private static int Main()
+        {
+            int NUM = 17;
+            Column c1 = new Column();
+            Column c2 = new Column();
+            Column c3 = new Column();
+            c1.Init(NUM, NUM);
+            c2.Init(NUM, 0);
+            c3.Init(NUM, 0);
+            return 100;
+        }
+    }
+}