3 using System.Reflection;
4 using System.Runtime.InteropServices;
5 using System.Runtime.CompilerServices;
8 * Regression tests for the mono JIT.
10 * Each test needs to be of the form:
12 * static int test_<result>_<name> ();
14 * where <result> is an integer (the value that needs to be returned by
15 * the method to make it pass.
16 * <name> is a user-displayed name used to identify the test.
18 * The tests can be driven in two ways:
19 * *) running the program directly: Main() uses reflection to find and invoke
20 * the test methods (this is useful mostly to check that the tests are correct)
21 * *) with the --regression switch of the jit (this is the preferred way since
22 * all the tests will be run with optimizations on and off)
24 * The reflection logic could be moved to a .dll since we need at least another
25 * regression test file written in IL code to have better control on how
64 public void populate ()
74 return one == 1 && two == 2 &&
75 three == 3 && four == 4 &&
76 five == 5 && six == 6 &&
77 seven == 7 && eight == 8 &&
78 nine == 9 && ten == 10;
84 public Sample (int v) {
89 [StructLayout ( LayoutKind.Explicit )]
90 struct StructWithBigOffsets {
91 [ FieldOffset(10000) ] public byte b;
92 [ FieldOffset(10001) ] public sbyte sb;
93 [ FieldOffset(11000) ] public short s;
94 [ FieldOffset(11002) ] public ushort us;
95 [ FieldOffset(12000) ] public uint i;
96 [ FieldOffset(12004) ] public int si;
97 [ FieldOffset(13000) ] public long l;
98 [ FieldOffset(14000) ] public float f;
99 [ FieldOffset(15000) ] public double d;
109 public long a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v;
113 public Alpha a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v;
117 public Beta a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v;
123 public static int Main (string[] args) {
124 return TestDriver.RunTests (typeof (Tests), args);
128 public static int test_0_return () {
132 s.c = (short)(s.a + s.b);
137 public static int test_0_string_access () {
144 public static int test_0_string_virtual_call () {
146 string s2 = s.ToString ();
152 public static int test_0_iface_call () {
154 object o = ((ICloneable)s).Clone ();
158 public static int test_5_newobj () {
159 Sample s = new Sample (5);
163 public static int test_4_box () {
168 public static int test_0_enum_unbox () {
169 SampleEnum x = SampleEnum.A;
179 static Simple get_simple (int v) {
180 Simple r = new Simple ();
183 r.c = (short)(v + 2);
189 public static int test_3_return_struct () {
190 Simple v = get_simple (1);
203 public virtual Simple v_get_simple (int v)
205 return get_simple (v);
208 public static int test_2_return_struct_virtual () {
209 Tests t = new Tests ();
210 Simple v = t.v_get_simple (2);
223 static int receive_simple (int a, Simple v, int b) {
239 public static int test_5_pass_struct () {
240 Simple v = get_simple (1);
241 if (receive_simple (7, v, 9) != 0)
243 if (receive_simple (7, get_simple (1), 9) != 0)
249 public static int test_5_pass_static_struct () {
250 s_v = get_simple (1);
251 if (receive_simple (7, s_v, 9) != 0)
256 // Test alignment of small structs
258 static Small get_small (byte v) {
259 Small r = new Small ();
262 r.b2 = (byte)(v + 1);
267 static Small return_small (Small s) {
271 static int receive_small (int a, Small v, int b) {
279 static int receive_small_sparc_many_args (int a, int a2, int a3, int a4, int a5, int a6, Small v, int b) {
287 public static int test_5_pass_small_struct () {
288 Small v = get_small (1);
289 if (receive_small (7, v, 9) != 0)
291 if (receive_small (7, get_small (1), 9) != 0)
293 if (receive_small_sparc_many_args (1, 2, 3, 4, 5, 6, v, 9) != 0)
295 v = return_small (v);
303 // 64-bits, 32-bit aligned
309 static int check_struct1(struct1 x) {
317 static int pass_struct1(int a, int b, struct1 x) {
322 return check_struct1(x);
325 static int pass_struct1(int a, struct1 x) {
328 return check_struct1(x);
331 static int pass_struct1(struct1 x) {
332 return check_struct1(x);
335 public static int test_0_struct1_args () {
341 if ((r = check_struct1(x)) != 0)
343 if ((r = pass_struct1(x)) != 0)
345 if ((r = pass_struct1(3, x)) != 0)
347 if ((r = pass_struct1(3, 4, x)) != 0)
352 // 64-bits, 64-bit aligned
357 static int check_struct2(struct2 x) {
363 static int pass_struct2(int a, int b, int c, struct2 x) {
370 return check_struct2(x);
373 static int pass_struct2(int a, int b, struct2 x) {
378 return check_struct2(x);
381 static int pass_struct2(int a, struct2 x) {
384 return check_struct2(x);
387 static int pass_struct2(struct2 x) {
388 return check_struct2(x);
391 public static int test_0_struct2_args () {
396 if ((r = check_struct2(x)) != 0)
398 if ((r = pass_struct2(x)) != 0)
400 if ((r = pass_struct2(3, x)) != 0)
402 if ((r = pass_struct2(3, 4, x)) != 0)
404 if ((r = pass_struct2(3, 4, 5, x)) != 0)
411 public long i, j, k, l;
414 static int pass_struct3 (int i, int j, int k, int l, int m, int n, int o, int p, Struct3 s, int q) {
415 if (s.i + s.j + s.k + s.l != 10)
421 public static int test_0_struct3_args () {
422 Struct3 s = new Struct3 ();
428 return pass_struct3 (1, 2, 3, 4, 5, 6, 7, 8, s, 9);
431 // Struct with unaligned size on 64 bit machines
433 public int i, j, k, l, m;
434 public int i1, i2, i3, i4, i5, i6;
437 static int pass_struct4 (Struct4 s) {
438 if (s.i + s.j + s.k + s.l + s.m != 15)
444 public static int test_0_struct4_args () {
445 Struct4 s = new Struct4 ();
452 return pass_struct4 (s);
460 public AStruct (int i) {
464 public override int GetHashCode () {
469 // Test that vtypes are unboxed during a virtual call
470 public static int test_44_unbox_trampoline () {
471 AStruct s = new AStruct (44);
473 return o.GetHashCode ();
476 public static int test_0_unbox_trampoline2 () {
480 if (i.ToString () != "12")
482 if (((Int32)o).ToString () != "12")
484 if (o.ToString () != "12")
489 // Test fields with big offsets
490 public static int test_0_fields_with_big_offsets () {
491 StructWithBigOffsets s = new StructWithBigOffsets ();
492 StructWithBigOffsets s2 = new StructWithBigOffsets ();
518 if (s2.i != 0xdeadbeef)
520 if (s2.l != 0xcafebabe)
539 int buf_length, buf_offset;
547 public long Seek (long position) {
549 /* interaction between the register allocator and
550 * allocating arguments to registers */
551 if (pos >= buf_start && pos <= buf_start + buf_length) {
552 buf_offset = (int) (pos - buf_start);
560 public static int test_0_seektest () {
561 TestRegA t = new TestRegA ();
562 return (int)t.Seek (0);
565 class Super : ICloneable {
566 public virtual object Clone () {
573 public static int test_0_null_cast () {
581 public static int test_0_super_cast () {
582 Duper d = new Duper ();
596 d = (Duper)(object)sup;
603 public static int test_0_super_cast_array () {
604 Duper[] d = new Duper [0];
615 if (!(d is Object[]))
618 d = (Duper[])(object[])sup;
625 public static int test_0_multi_array_cast () {
626 Duper[,] d = new Duper [1, 1];
630 o [0, 0] = new Super ();
633 catch (ArrayTypeMismatchException) {
639 public static int test_0_vector_array_cast () {
640 Array arr1 = Array.CreateInstance (typeof (int), new int[] {1}, new int[] {0});
641 Array arr2 = Array.CreateInstance (typeof (int), new int[] {1}, new int[] {10});
643 if (arr1.GetType () != typeof (int[]))
646 if (arr2.GetType () == typeof (int[]))
657 catch (InvalidCastException) {
663 int [,] [] arr3 = new int [1, 1] [];
665 int [,] [] arr4 = (int [,] [])o;
670 public static int test_0_enum_array_cast () {
671 TypeCode[] tc = new TypeCode [0];
680 if (a is ValueType[])
694 vta = (ValueType[])a;
711 public static int test_0_more_cast_corner_cases () {
712 ValueType[] vta = new ValueType [0];
713 Enum[] ea = new Enum [0];
718 if (!(a is object[]))
720 if (!(a is ValueType[]))
725 if (!(a is object[]))
727 if (!(a is ValueType[]))
789 public static int test_0_cast_iface_array () {
790 object o = new ICloneable [0];
791 object o2 = new Duper [0];
795 if (!(o is object[]))
797 if (!(o2 is ICloneable[]))
811 t = (ICloneable[])o2;
827 if (!(o is ICloneable[]))
830 /* add tests for interfaces that 'inherit' interfaces */
834 private static int[] daysmonthleap = { 0, 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };
836 private static int AbsoluteDays (int year, int month, int day)
839 int[] days = daysmonthleap;
842 return ((day-1) + temp + (365* (year-1)) + ((year-1)/4) - ((year-1)/100) + ((year-1)/400));
845 public static int test_719162_complex_div () {
846 int adays = AbsoluteDays (1970, 1, 1);
850 delegate int GetIntDel ();
852 static int return4 () {
860 public static int test_2_static_delegate () {
861 GetIntDel del = new GetIntDel (return4);
868 public static int test_2_instance_delegate () {
869 Tests t = new Tests ();
870 GetIntDel del = new GetIntDel (t.return5);
877 interface IFaceVirtualDel {
881 struct VtypeVirtualDelStruct : IFaceVirtualDel {
883 public int return_field_nonvirt () {
886 public int return_field () {
891 public static int test_42_vtype_delegate () {
892 var s = new VtypeVirtualDelStruct () { f = 42 };
893 Func<int> f = s.return_field_nonvirt;
897 public static int test_42_vtype_virtual_delegate () {
898 IFaceVirtualDel s = new VtypeVirtualDelStruct () { f = 42 };
899 Func<int> f = s.return_field;
903 public static int test_1_store_decimal () {
904 decimal[,] a = {{1}};
911 public static int test_2_intptr_stobj () {
912 System.IntPtr [] arr = { new System.IntPtr () };
914 if (arr [0] != (System.IntPtr)0)
919 static int llmult (int a, int b, int c, int d) {
920 return a + b + c + d;
924 * Test that evaluation of complex arguments does not overwrite the
925 * arguments already in outgoing registers.
927 public static int test_155_regalloc () {
933 int[] arr = new int [5];
935 return llmult (arr [c + d], 150, 5, 0);
938 static bool large_struct_test (Large a, Large b, Large c, Large d)
940 if (!a.check ()) return false;
941 if (!b.check ()) return false;
942 if (!c.check ()) return false;
943 if (!d.check ()) return false;
947 public static int test_2_large_struct_pass ()
958 if (large_struct_test (a, b, c, d))
963 public static unsafe int test_0_pin_string () {
965 fixed (char *c = x) {
972 public static int my_flags;
973 public static int test_0_and_cmp_static ()
976 /* various forms of test [mem], imm */
978 my_flags = 0x01020304;
980 if ((my_flags & 0x01020304) == 0)
983 if ((my_flags & 0x00000304) == 0)
986 if ((my_flags & 0x00000004) == 0)
989 if ((my_flags & 0x00000300) == 0)
992 if ((my_flags & 0x00020000) == 0)
995 if ((my_flags & 0x01000000) == 0)
1002 public static int test_0_byte_compares ()
1008 if (!(b < System.Byte.MaxValue))
1011 if (!(b <= System.Byte.MaxValue))
1017 public static int test_71_long_shift_right () {
1018 ulong value = 38654838087;
1020 byte [] buffer = new byte [1];
1021 buffer [x] = ((byte)(value >> x));
1026 public static int test_0_addsub_mem ()
1043 public static int test_0_sh32_mem ()
1045 y = 0x0102130405060708;
1048 if (y != 0x01021304)
1051 y = 0x0102130405060708;
1054 if (y != 0x0506070800000000)
1057 x = 0x0102130405060708;
1060 if (x != 0x0506070800000000)
1067 static uint dum_de_dum = 1;
1068 public static int test_0_long_arg_opt ()
1070 return Foo (0x1234567887654321, dum_de_dum);
1073 static int Foo (ulong x, ulong y)
1075 if (x != 0x1234567887654321)
1084 public static int test_0_long_ret_opt ()
1087 if (x != 0x1234567887654321)
1098 return 0x1234567887654321;
1106 /* from bug# 71515 */
1107 static int counter = 0;
1108 static bool WriteStuff () {
1112 public static int test_0_cond_branch_side_effects () {
1122 public static int arg_only_written (string file_name, int[]
1124 if (file_name == null)
1133 public static int[] foo () {
1137 public static void bar (int i) {
1141 public static int test_0_arg_only_written ()
1143 return arg_only_written ("md.in", null);
1146 static long position = 0;
1148 public static int test_4_static_inc_long () {
1156 return (int)position;
1161 public FooStruct (long l) {
1165 public static int test_0_calls_opcode_emulation () {
1166 // Test that emulated opcodes do not clobber arguments already in
1170 new FooStruct (val * 10000);
1175 public static int test_0_intrins_string_length () {
1178 return (s.Length == 3) ? 0 : 1;
1181 public static int test_0_intrins_string_chars () {
1184 return (s [0] == 'A' && s [1] == 'B' && s [2] == 'C') ? 0 : 1;
1187 public static int test_0_intrins_object_gettype () {
1190 return (o.GetType () == typeof (int)) ? 0 : 1;
1193 public static int test_0_intrins_object_gethashcode () {
1194 object o = new Object ();
1196 return (o.GetHashCode () == o.GetHashCode ()) ? 0 : 1;
1202 public static int test_0_intrins_object_ctor () {
1203 object o = new FooClass ();
1205 return (o != null) ? 0 : 1;
1208 public static int test_0_intrins_array_rank () {
1209 int[,] a = new int [10, 10];
1211 return (a.Rank == 2) ? 0 : 1;
1214 public static int test_0_intrins_array_length () {
1215 int[,] a = new int [10, 10];
1218 return (a2.Length == 100) ? 0 : 1;
1221 public static int test_0_intrins_runtimehelpers_offset_to_string_data () {
1222 int i = RuntimeHelpers.OffsetToStringData;
1227 public static int test_0_intrins_string_setchar () {
1228 StringBuilder sb = new StringBuilder ("ABC");
1232 return sb.ToString () == "ADC" ? 0 : 1;
1236 bool allowLocation = true;
1240 public static int test_0_regress_78990_unaligned_structs () {
1246 public static unsafe int test_97_negative_index () {
1247 char[] arr = new char[] {'a', 'b'};
1248 fixed (char *p = arr) {
1256 public static int test_0_unsigned_right_shift_imm0 () {
1258 byte[] data = new byte[256];
1259 for (int i = 0; i < 1; i ++)
1260 temp = (uint)(data[temp >> 24] | data[temp >> 0]);
1265 public virtual int foo () {
1270 sealed class Bar2 : Foo2 {
1271 public override int foo () {
1276 public static int test_0_abcrem_check_this_removal () {
1277 Bar2 b = new Bar2 ();
1279 // The check_this generated here by the JIT should be removed
1285 static int invoke_twice (Bar2 b) {
1287 // The check_this generated here by the JIT should be removed
1293 public static int test_0_abcrem_check_this_removal2 () {
1294 Bar2 b = new Bar2 ();
1302 public static int test_0_array_access_64_bit () {
1303 int[] arr2 = new int [10];
1304 for (int i = 0; i < 10; ++i)
1306 string s = "ABCDEFGH";
1308 byte[] arr = new byte [4];
1314 int len = arr [0] | (arr [1] << 8) | (arr [2] << 16) | (arr [3] << 24);
1315 int len2 = - (len + 2);
1317 // Test array and string access with a 32 bit value whose upper 32 bits are
1320 if (arr2 [len2] != 2)
1322 if (s [len2] != 'C')
1327 public static float return_float () {
1331 public static int test_0_float_return_spill () {
1332 // The return value of return_float () is spilled because of the
1334 object o = return_float ();
1335 float f = return_float ();
1336 return (float)o == f ? 0 : 1;
1340 public static float pi = 3.14f;
1342 public float float_field;
1345 public static int test_0_ldsfld_soft_float () {
1346 if (R4Holder.pi == 3.14f)
1352 public static int test_0_ldfld_stfld_soft_float () {
1353 R4Holder h = new R4Holder ();
1354 h.float_field = 3.14f;
1356 if (h.float_field == 3.14f)
1362 class R4HolderRemote : MarshalByRefObject {
1363 public static float pi = 3.14f;
1365 public float float_field;
1368 public static int test_0_ldfld_stfld_soft_float_remote () {
1369 R4HolderRemote h = new R4HolderRemote ();
1370 h.float_field = 3.14f;
1372 if (h.float_field == 3.14f)
1378 public static int test_0_locals_soft_float () {
1394 static float pass_vtype_return_float (AStruct2 s) {
1395 return s.i + s.j == 6 ? 1.0f : -1.0f;
1398 public static int test_0_vtype_arg_soft_float () {
1399 return pass_vtype_return_float (new AStruct2 () { i = 2, j = 4 }) > 0.0 ? 0 : 1;
1402 static int range_check_strlen (int i, string s) {
1403 if (i < 0 || i > s.Length)
1409 public static int test_0_range_check_opt () {
1410 if (range_check_strlen (0, "A") != 0)
1412 if (range_check_strlen (1, "A") != 0)
1414 if (range_check_strlen (2, "A") != 1)
1416 if (range_check_strlen (-100, "A") != 1)
1421 static int test_0_array_get_set_soft_float () {
1422 float[,] arr = new float [2, 2];
1424 return arr [0, 0] == 256f ? 0 : 1;
1428 struct Bug506915 { public int val; }
1429 static int test_2_ldobj_stobj_optization ()
1432 var a = new Bug506915 ();
1433 var b = new Bug506915 ();
1434 if (i.GetHashCode () == 99)
1436 var array = new Bug506915 [2];
1438 array [1] = (i == 0) ? a : array [0];
1440 return array [1].val;
1443 /* mcs can't compile this (#646744) */
1445 static void InitMe (out Gamma noMercyWithTheStack) {
1446 noMercyWithTheStack = new Gamma ();
1449 static int FunNoInline () {
1451 if (x > 344 && x < 22)
1456 static float DoNothingButDontInline (float a, int b) {
1459 else if (b < 0 && b > 10)
1465 * The local register allocator emits loadr8_membase and storer8_membase
1466 * to do spilling. This code is generated after mono_arch_lowering_pass so
1467 * mono_arch_output_basic_block must know how to deal with big offsets.
1468 * This only happens because the call in middle forces the temp for "(float)obj"
1471 public static int test_0_float_load_and_store_with_big_offset ()
1474 Gamma noMercyWithTheStack;
1477 InitMe (out noMercyWithTheStack);
1479 res = DoNothingButDontInline ((float)obj, FunNoInline ());
1491 static int vtype_phi (VTypePhi v1, VTypePhi v2, bool first) {
1492 VTypePhi v = first ? v1 : v2;
1497 static int test_0_vtype_phi ()
1499 VTypePhi v1 = new VTypePhi () { i = 1 };
1500 VTypePhi v2 = new VTypePhi () { i = 2 };
1502 if (vtype_phi (v1, v2, true) != 1)
1504 if (vtype_phi (v1, v2, false) != 2)
1510 [MethodImplAttribute (MethodImplOptions.NoInlining)]
1511 static void UseValue (int index)
1515 [MethodImplAttribute (MethodImplOptions.NoInlining)]
1516 static bool IsFalse ()
1521 static int test_0_llvm_moving_faulting_loads ()
1523 int[] indexes = null;
1526 indexes = new int[0];
1529 while (IsFalse ()) {
1530 UseValue (indexes[0]);
1531 UseValue (indexes[0]);
1537 public static bool flag;
1541 internal static B[] d;
1548 [MethodImplAttribute (MethodImplOptions.NoInlining)]
1549 static int regress_679467_inner () {
1558 * FIXME: This fails with AOT #703317.
1561 static int test_0_multiple_cctor_calls_regress_679467 () {
1563 return regress_679467_inner ();
1567 static int test_0_char_ctor () {
1568 string s = new String (new char[] { 'A', 'B' }, 0, 1);
1572 static object mInstance = null;
1574 [MethodImpl(MethodImplOptions.Synchronized)]
1575 public static object getInstance() {
1576 if (mInstance == null)
1577 mInstance = new object();
1581 static int test_0_synchronized () {
1591 public static BStruct foo () {
1592 return new BStruct () { t = typeof (T) };
1596 delegate BStruct ADelegate ();
1598 static int test_0_regress_10601 () {
1599 var act = (ADelegate)(Del<string>.foo);
1601 if (b.t != typeof (string))
1606 static int test_0_regress_11058 () {
1607 int foo = -252674008;
1608 int foo2 = (int)(foo ^ 0xF0F0F0F0); // = 28888
1609 var arr = new byte[foo2].Length;
1613 public static void do_throw () {
1614 throw new Exception ();
1617 [MethodImplAttribute (MethodImplOptions.NoInlining)]
1618 static void empty () {
1622 public static int test_0_llvm_inline_throw () {
1625 } catch (Exception) {
1632 enum ByteEnum : byte {
1646 public static int test_0_14217 () {
1647 t_14217_inner (new BugStruct ());
1651 [MethodImplAttribute (MethodImplOptions.NoInlining)]
1652 static void t_14217_inner (BugStruct bug) {
1655 [StructLayout(LayoutKind.Sequential)]
1656 public struct EmptyStruct {
1660 public static EmptyStruct s;
1664 static int test_0_empty_struct_as_static () {
1665 var s = EmptyClass.s;
1670 static int test_0_int_to_r4 () {
1671 return int_to_r4_inner (255);
1674 static int int_to_r4_inner (int value1) {
1676 float mult = sub * 1f;
1677 if (mult != -255.0f)
1684 public double a, b, c, d;
1687 static double arm64_hfa_on_stack_inner (double d1, double d2, double d3, double d4, double d5, double d6, double d7, double d8, HFA4D s) {
1688 return s.a + s.b + s.c + s.d;
1691 static int test_0_arm64_hfa_on_stack () {
1692 var s = new HFA4D () { a = 1.0, b = 2.0, c = 3.0, d = 4.0 };
1693 var res = arm64_hfa_on_stack_inner (1, 2, 3, 4, 5, 6, 7, 8, s);
1694 return res == 10.0 ? 0 : 1;
1698 [MethodImplAttribute (MethodImplOptions.NoInlining)]
1699 public unsafe void EncodeIntoBuffer(char* value, int valueLength, char* buffer, int bufferLength) {
1703 static unsafe int test_0_mul_ovf_regress_36052 () {
1704 var p = new MulOvfClass ();
1706 string typeName = typeof(int).Name;
1707 int bufferSize = 45;
1709 fixed (char* value = typeName) {
1710 char* buffer = stackalloc char[bufferSize];
1711 p.EncodeIntoBuffer(value, typeName.Length, buffer, bufferSize);
1717 public int a, b, c, d;
1720 [MethodImplAttribute (MethodImplOptions.NoInlining)]
1721 static int pass_struct16 (object o0, object o2, object o3, object o4, object o5, object o6, object o7, Struct16 o8) {
1722 // This disables LLVM
1729 [MethodImplAttribute (MethodImplOptions.NoInlining)]
1730 static int pass_struct16 (object o0, object o2, object o3, object o6, object o7, Struct16 o8) {
1731 return pass_struct16 (o0, o2, null, o3, null, o6, o7, o8);
1734 public static int test_42_pass_16byte_struct_split () {
1735 return pass_struct16 (null, null, null, null, null, new Struct16 () { a = 42 });
1738 public interface IComparer2
1743 public class AClass : IComparer2 {
1744 public Type foo<T> () {
1749 public static int test_0_delegate_to_virtual_generic_on_ifaces () {
1750 IComparer2 c = new AClass ();
1752 Func<Type> f = c.foo<string>;
1753 return f () == typeof(string) ? 0 : 1;
1756 public enum ByteEnum2 : byte {
1760 [MethodImplAttribute (MethodImplOptions.NoInlining)]
1761 public static int enum_arg_zero_extend (ByteEnum2 b) {
1765 public static int test_142_byte_enum_arg_zero_extend () {
1766 return enum_arg_zero_extend (ByteEnum2.High);