2 .assembly extern TestDriver {}
3 .assembly extern mscorlib {}
5 .class public auto ansi sealed beforefieldinit Tests {
7 .method static public int32 Main(string[] args) il managed {
11 call class [mscorlib]System.Type [mscorlib]System.Type::GetTypeFromHandle(valuetype [mscorlib]System.RuntimeTypeHandle)
13 call int32 [TestDriver]TestDriver::RunTests(class [mscorlib]System.Type, string[])
17 // make sure the register allocator works when the return value of
19 .method static public int32 test_0_div_regalloc () il managed {
33 .method static public int32 test_1_ceq_to_i4 () il managed {
47 .method static public int32 test_3_shl_regvars () il managed {
94 .method static public int32 test_1_fceq_to_i4 () il managed {
114 // This should be manually checked. Basically under -O=linears,
115 // you should not see tons of register spilling.
117 .method static public int32 test_1_bytedreg_free () il managed {
153 // This should be manually checked. Basically under -O=linears,
154 // you should not see tons of register spilling.
156 .method static public int32 test_0_bytesreg1_free () il managed {
195 .method static public int32 test_1_shift_regvar () il managed {
216 // this only happens with the managed pointer, not an unmanaged one.
217 .method static public int32 test_0_foo () il managed {
234 .method static public int32 test_0_localloc () cil managed {
235 .locals init (native int, native int, native int, native int, int32)
260 // Check zero initialized
309 // Try allocations bigger than one page
335 .method private static void do_localloc () cil managed {
340 IL_0001: ldc.i4 131072
347 // Check that localloc can't be inlined
348 .method static public int32 test_0_localloc_inline () cil managed {
358 START: call void class Tests::do_localloc()
371 .method static public int32 test_3_copy_used_bug () il managed {
397 // demonstrate that the copy_used_var is not a fix for the above bug
398 .method static public int32 test_3_copy_used_indir_bug () il managed {
425 .method static public void do_nothing (int32 a) il managed {
429 // demonstrate the block_split failure: needs -O=inline
430 // mini -O=inline --compile Tests:test_0_split_block_bug iltests.exe
431 .method static public int32 test_0_split_block_bug () il managed {
441 call void class Tests::do_nothing (int32)
449 .method public void inline_do_nothing () il managed {
452 .method static public int32 test_1_checkthis_inlining () il managed {
454 call instance void class Tests::inline_do_nothing ()
459 .class nested private auto ansi sealed beforefieldinit TailCallStruct
460 extends [mscorlib]System.ValueType {
461 .field public int32 a
462 .field public int32 b
465 .method static valuetype Tests/TailCallStruct tail1 (valuetype Tests/TailCallStruct arg) {
468 ldfld int32 Tests/TailCallStruct::a
471 stfld int32 Tests/TailCallStruct::a
474 ldfld int32 Tests/TailCallStruct::a
477 stfld int32 Tests/TailCallStruct::a
482 .method static valuetype Tests/TailCallStruct tail2 (valuetype Tests/TailCallStruct arg) {
485 call valuetype Tests/TailCallStruct Tests::tail1 (valuetype Tests/TailCallStruct)
489 .class nested private auto ansi sealed beforefieldinit TailCallStructBig
490 extends [mscorlib]System.ValueType {
491 .field public int32 a
492 .field public int32 b
493 .field public int32 c
494 .field public int32 d
495 .field public int32 e
498 .method static valuetype Tests/TailCallStructBig tail_vret_by_addr_inner (valuetype Tests/TailCallStructBig arg) {
501 ldfld int32 Tests/TailCallStructBig::a
504 stfld int32 Tests/TailCallStructBig::a
509 .method static valuetype Tests/TailCallStructBig tail_vret_by_addr (valuetype Tests/TailCallStructBig arg) {
512 call valuetype Tests/TailCallStructBig Tests::tail_vret_by_addr_inner (valuetype Tests/TailCallStructBig)
516 .method static public int32 test_3_tail_call_vret_by_addr () il managed {
519 valuetype Tests/TailCallStructBig arg2
524 stfld int32 Tests/TailCallStructBig::a
526 call valuetype Tests/TailCallStructBig Tests::tail_vret_by_addr (valuetype Tests/TailCallStructBig)
530 ldfld int32 Tests/TailCallStructBig::a
534 .method static public int32 test_9_tail_call_vret_by_val () il managed {
537 valuetype Tests/TailCallStruct arg
541 stfld int32 Tests/TailCallStruct::a
544 stfld int32 Tests/TailCallStruct::b
546 call valuetype Tests/TailCallStruct Tests::tail2 (valuetype Tests/TailCallStruct)
550 ldfld int32 Tests/TailCallStruct::a
552 ldfld int32 Tests/TailCallStruct::b
557 .method static public int32 tail3 (int32 i, int32 j) il managed {
564 .method static public int32 tail4 (int32 i, int32 j) il managed {
569 // Test arg0 allocated to a register
579 // Test switched up argument variables as the actual arguments
583 call int32 Tests::tail3 (int32, int32)
587 .method static public int32 test_24_tail_calls2 () il managed {
600 call int32 Tests::tail4 (int32, int32)
604 .method public static int32 test_5_jmp () cil managed {
607 call int32 Tests::jmp2 (int32, int32)
611 .method public static int32 jmp2 (int32, int32) cil managed {
620 jmp int32 Tests::jmp3 (int32, int32)
625 .method public static int32 jmp3 (int32 i, int32 j) cil managed {
632 .method static public int32 test_11_switch_with_nonempty_stack () il managed {
647 .method public static int32 test_5_endfinally_with_nonempty_stack () il managed {
661 .method public static int32 test_0_conv_ovf_i8_neg () il managed {
676 .method public static int32 test_1234_conv_u4 () cil managed {
685 .method public static int32 test_0_conv_ovf_i_un () cil managed {
704 sizeof [mscorlib]System.IntPtr
711 } catch [mscorlib]System.OverflowException {
723 .method public static int32 test_0_conv_ovf_u_un () cil managed {
738 .method public static int32 test_0_conv_ovf_i () cil managed {
753 .method public static int32 test_0_conv_ovf_u () cil managed {
768 .method public static int32 test_1234_conv_ovf_i8_un () cil managed {
777 .method public static int32 test_0_lconv_ovf_i () cil managed {
793 .method public static int32 test_0_lconv_ovf_u () cil managed {
809 .method public static int32 test_0_lconv_ovf_i_un () cil managed {
825 .method public static int32 test_0_lconv_ovf_u_un () cil managed {
841 .method public static int32 test_0_lconv_to_ovf_u8_un () cil managed {
857 .method public static int32 test_2_lconv_to_ovf_i4_un () cil managed {
859 .locals init (int32 res)
876 } catch [mscorlib]System.OverflowException {
884 ldc.i8 0xffffffff80000000
890 } catch [mscorlib]System.OverflowException {
900 .method public static int32 test_1_lconv_to_ovf_i_un () cil managed {
902 .locals init (int32 res)
914 .method public static int32 test_32_lconv_to_u8 () cil managed
925 .method public static int32 test_32_lconv_to_i8 () cil managed
936 .method public static int32 test_15_lconv_to_u () cil managed
944 #if !defined(__ppc__) && !defined(__powerpc__) && !defined(__arm__)
945 // PPC handles overflow by clipping, but this test assumes
946 // no overflow handling. According to ECMA the result of
947 // float->int conversion is undefined if overflow occurs, so
948 // both behaviours are valid.
949 .method public static int32 test_0_fconv_to_i () cil managed {
965 .method public static int32 test_0_get_type_from_handle_on_bblock_boundary () cil managed
972 ldtoken [mscorlib]System.String
975 ldtoken [mscorlib]System.Object
977 call class [mscorlib]'System.Type' class [mscorlib]'System.Type'::'GetTypeFromHandle'(valuetype [mscorlib]'System.RuntimeTypeHandle')
978 callvirt instance string class [mscorlib]System.Type::get_FullName ()
979 ldstr "System.String"
980 callvirt instance bool class [mscorlib]System.Object::Equals(object)
986 .method public static int32 test_0_bug59580 ()
988 ldc.r4 float32(0x7FC00000)
989 ldc.r4 float32(0x7FC00000)
1000 .method public static int32 test_1_bug60056 () {
1001 .locals init (int32 m5)
1019 .method public static int32 test_1_conv_u8_cfold () {
1023 ldc.i8 0x00000000ffffffff
1029 .method public static int32 test_1_array_type_mismatch_ldelema () {
1030 .locals init (int32 r)
1046 } catch [mscorlib]System.ArrayTypeMismatchException {
1057 .method public static int32 test_1_conv_ovf_i8_with_i4 () {
1066 .method public static int32 test_0_initlocals_float_ptr () {
1070 float32& pinned V_1,
1073 newarr [mscorlib]System.Single
1081 ldelema [mscorlib]System.Single
1091 .method public static int32 test_7_conv_ovf_u8_un () {
1093 .locals init (unsigned int64)
1103 .method public static int32 test_1_bug_74591 () {
1105 .locals init (int32)
1118 .class nested public auto ansi Integer
1119 extends [mscorlib]System.Object {
1121 .field public bool n
1123 .method public hidebysig specialname rtspecialname
1124 instance default void .ctor (unsigned int64 i, bool n) cil managed
1128 call instance void class [mscorlib]System.Object::.ctor()
1131 stfld bool Tests/Integer::n
1136 .method public static int32 test_1_bug_74726 () {
1145 newobj instance void class Tests/Integer::.ctor(unsigned int64, bool)
1146 ldfld bool Tests/Integer::n
1152 .class nested private auto ansi sealed xxx
1153 extends [mscorlib]System.ValueType
1155 .field public object a
1157 .method public hidebysig specialname rtspecialname
1158 instance default void .ctor () cil managed
1163 } // end of class xxx
1165 .method public static int32 test_0_newobj_vtype () {
1168 valuetype Tests/xxx V_0
1171 newobj instance void valuetype Tests/xxx::.ctor ()
1174 ldfld object Tests/xxx::a
1183 .method public static int32 test_0_newobj_vtype_primitive () {
1190 newobj instance void native int::'.ctor'(int32)
1202 .method public static int32 test_1_filters () {
1210 ldstr "OnErrorSub test Exception"
1211 newobj instance void class [mscorlib]System.Exception::.ctor(string)
1221 // Should not be called
1243 .class nested private auto ansi sealed beforefieldinit TheStruct
1244 extends [mscorlib]System.ValueType {
1245 .field public int32 a
1246 .field public int32 b
1249 .method public static int32 test_5_cpobj () {
1252 valuetype Tests/TheStruct v_0,
1253 valuetype Tests/TheStruct v_1
1258 stfld int32 Tests/TheStruct::a
1262 stfld int32 Tests/TheStruct::b
1266 cpobj Tests/TheStruct
1269 ldfld int32 Tests/TheStruct::a
1271 ldfld int32 Tests/TheStruct::b
1277 .method public static int32 test_5_ldobj_stloc_optimization () {
1280 valuetype Tests/TheStruct v_0,
1281 valuetype Tests/TheStruct v_1
1286 stfld int32 Tests/TheStruct::a
1290 stfld int32 Tests/TheStruct::b
1293 ldobj valuetype Tests/TheStruct
1297 ldfld int32 Tests/TheStruct::a
1299 ldfld int32 Tests/TheStruct::b
1305 .method public static int32 test_1_cpobj_reference () {
1312 newobj instance void object::.ctor()
1325 .method public static int32 test_1_initobj_reference () {
1331 newobj instance void object::.ctor()
1343 .method public static int32 test_1_ldobj_reference () {
1349 newobj instance void object::.ctor()
1359 .method public static int32 test_5_vtype_on_bb_boundary () {
1362 valuetype Tests/TheStruct v_0,
1363 valuetype Tests/TheStruct v_1
1368 stfld int32 Tests/TheStruct::a
1372 stfld int32 Tests/TheStruct::b
1379 ldfld int32 Tests/TheStruct::a
1381 ldfld int32 Tests/TheStruct::b
1386 .method public static int32 test_5_different_in_stacks () cil managed {
1410 .method public static int32 test_3_larray_get_set () {
1415 newobj instance void int32[0...]::.ctor(int32)
1420 call instance void int32[0...]::Set(int32, int32)
1424 call instance void int32[0...]::Set(int32, int32)
1428 call instance int32 int32[0...]::Get(int32)
1431 call instance int32 int32[0...]::Get(int32)
1436 .method public static int32 test_0_pop_side_effects () {
1445 catch [mscorlib]System.ArithmeticException {
1457 .method public static void regalloc_regress_78314_helper (object o) cil managed
1462 .method public static int32 test_1_regalloc_regress_78314 () cil managed
1464 // Code size 68 (0x44)
1466 .locals init (int32 V_0, bool V_1)
1469 IL_0002: br.s IL_003b
1472 IL_001e: ldc.i4.s 10
1475 IL_0022: ldc.i4.s 10
1479 IL_0028: box [mscorlib]System.Boolean
1480 IL_0032: call void Tests::regalloc_regress_78314_helper(object)
1487 IL_003f: blt.s IL_0004
1496 .method public static void try_block_end_remove_if_useless () cil managed {
1514 .try T_START to T1_END finally handler F1_START to F1_END
1517 .method public static int32 test_0_try_block_end_remove_if_useless () cil managed {
1518 call void class Tests::try_block_end_remove_if_useless ()
1523 .method private static int32 test_0_regress_78629_switch_next_ins_target () cil managed
1533 // This belongs to basic-float.cs, but its hard to tell mcs/csc to
1534 // generate the non .un version of the opcodes
1535 .method private static hidebysig
1536 default int32 test_4_float_branch_nan () cil managed
1538 // Method begins at RVA 0x27a4
1539 // Code size 74 (0x4a)
1545 IL_0000: ldc.r8 (00 00 00 00 00 00 f8 ff)
1553 IL_0018: bge.s IL_001a
1565 IL_0022: ble.s IL_002e
1576 IL_0036: blt.s IL_0038
1587 IL_0040: bgt.s IL_0042
1598 } // end of method Tests::test_5_float_branch_nan
1600 .method private static hidebysig
1601 default void regress_80622_inner (object x) cil managed
1603 .locals (unsigned int8 i)
1604 // Method begins at RVA 0x2050
1605 // Code size 14 (0xe)
1608 IL_1001: unbox unsigned int8
1609 IL_1006: ldobj unsigned int8
1610 IL_000b: conv.ovf.i4.un
1616 .method private static hidebysig
1617 default int32 test_0_regress_80622 () cil managed
1621 IL_0005: box unsigned int8
1622 IL_000a: call void class Tests::regress_80622_inner (object)
1627 .method private static default int32 test_0_regresss_80190 () cil managed
1630 .locals init (int32 V_0,
1634 IL_0002: ldloca.s V_0
1645 .class interface nested public auto ansi abstract IFaceWithStaticMethod
1647 .method public static specialname
1648 default void foo () cil managed noinlining
1655 .class nested public auto ansi AClass extends [mscorlib]System.Object implements Tests/IFaceWithStaticMethod
1657 .method public hidebysig specialname rtspecialname
1658 instance default void .ctor () cil managed
1666 // Test that static methods in interfaces are ignored during vtable construction
1667 .method private static default int32 test_0_ifaces_with_static_methods () cil managed
1671 newobj instance void class Tests/AClass::.ctor()
1677 .method private static hidebysig default int32 Foo<T> (!!T n) cil managed {
1688 .method static public int32 test_0_nullable_box_brtrue () cil managed {
1690 .locals init (valuetype [mscorlib]System.Nullable`1<int32> V_0)
1693 call int32 class Tests::Foo<valuetype [mscorlib]System.Nullable`1<int32>> (!!0)
1698 .method static public int32 test_0_ldelema_type_check () cil managed {
1700 .locals init (object[] V_0,
1712 } catch [mscorlib]System.ArrayTypeMismatchException {
1726 } catch [mscorlib]System.ArrayTypeMismatchException {
1738 readonly. ldelema object
1740 } catch [mscorlib]System.ArrayTypeMismatchException {
1764 .method static public int32 test_0_array_address_type_check () cil managed {
1766 .locals init (object[] V_0,
1771 newobj instance void object[,]::.ctor(int32, int32)
1778 call instance object& object[,]::Address(int32, int32)
1780 } catch [mscorlib]System.ArrayTypeMismatchException {
1787 newobj instance void string[,]::.ctor(int32, int32)
1794 call instance object& object[,]::Address(int32, int32)
1796 } catch [mscorlib]System.ArrayTypeMismatchException {
1803 newobj instance void string[,]::.ctor(int32, int32)
1810 readonly. call instance object& object[,]::Address(int32, int32)
1812 } catch [mscorlib]System.ArrayTypeMismatchException {
1832 .field public static unsigned int64 'ull'
1834 .field public static int32 'shift2'
1836 .method public static int32 test_0_long_shift_regalloc () cil managed
1838 .locals (unsigned int32 'cilsimp.28', unsigned int64 'cilsimp.27', int32 'cilsimp.26')
1842 ldc.i8 81985529234382576
1843 stsfld unsigned int64 Tests::ull
1845 stsfld int32 Tests::shift2
1847 ldsfld unsigned int64 Tests::ull
1849 ldsfld int32 Tests::shift2
1860 ldc.i8 1311768467750121216
1868 // Test calling ldfld directly on a vtype instead of a vtype address
1869 .method public static int32 test_5_call_ldfld_vtype () cil managed
1873 valuetype Tests/TailCallStruct arg
1877 stfld int32 Tests/TailCallStruct::a
1880 stfld int32 Tests/TailCallStruct::b
1882 call valuetype Tests/TailCallStruct Tests::tail2 (valuetype Tests/TailCallStruct)
1883 ldfld int32 Tests/TailCallStruct::a
1887 .method public static int32 throw_ret () cil managed
1890 newobj instance void class [mscorlib]System.OverflowException::.ctor(string)
1896 .method public static int32 throw2_ret () cil managed
1903 call int32 Tests::throw_ret ()
1907 // Test inlining a method which contains just a throw
1908 .method public static int32 test_0_inline_throw () cil managed
1916 call int32 Tests::throw2_ret ()
1919 } catch [mscorlib]System.OverflowException {
1932 .method public static int32 test_0_stelem_any_null_opt () cil managed
1940 newarr [mscorlib]System.Object
1951 stelem.any [mscorlib]System.Object
1966 .method public static hidebysig
1967 default int32 manyargs_callee (int32 a, int32 b, int32 c, int32 d, int32 e, int32 f, int32 g, int32 h, int32 i, int32 j, int32 k, int32 l, int32 m, int32 n, int32 o, int32 p) cil managed
1969 // Method begins at RVA 0x20f4
1970 // Code size 44 (0x2c)
2004 } // end of method main::callee
2007 .method public static hidebysig
2008 default int32 manyargs_tail_caller (int32 a, int32 b, int32 c, int32 d, int32 e, int32 f, int32 g, int32 h, int32 i, int32 j, int32 k, int32 l, int32 m, int32 n, int32 o, int32 p) cil managed
2010 // Method begins at RVA 0x2124
2011 // Code size 34 (0x22)
2030 IL_001c: call int32 class Tests::manyargs_callee(int32, int32, int32, int32, int32, int32, int32, int32, int32, int32, int32, int32, int32, int32, int32, int32)
2032 } // end of method main::caller
2035 .method public static hidebysig
2036 default int32 test_0_many_args_tail_call () cil managed
2038 // Method begins at RVA 0x2154
2039 // Code size 43 (0x2b)
2049 IL_0008: ldc.i4.s 0x09
2050 IL_000a: ldc.i4.s 0x0a
2051 IL_000c: ldc.i4.s 0x0b
2052 IL_000e: ldc.i4.s 0x0c
2053 IL_0010: ldc.i4.s 0x0d
2054 IL_0012: ldc.i4.s 0x0e
2055 IL_0014: ldc.i4.s 0x0f
2056 IL_0016: ldc.i4.s 0x10
2057 IL_0018: call int32 class Tests::manyargs_tail_caller(int32, int32, int32, int32, int32, int32, int32, int32, int32, int32, int32, int32, int32, int32, int32, int32)
2059 IL_0022: beq IL_0029
2065 } // end of method main::Main
2067 .class nested private auto ansi beforefieldinit R1
2068 extends [mscorlib]System.MarshalByRefObject
2070 .field public int32 test_field
2072 .method public hidebysig specialname rtspecialname
2073 instance default void '.ctor' () cil managed
2079 .method public static hidebysig
2080 default int32 return_0 () cil managed
2086 .method public static hidebysig
2087 default int32 test_1_volatile_marshalbyref_bug_432673 () cil managed
2093 newobj instance void class Tests/R1::.ctor ()
2098 stfld int32 Tests/R1::test_field
2099 call int32 class Tests::return_0 ()
2105 .method public static default int32 return_2 () cil managed
2115 .method public static hidebysig
2116 default int32 test_1_cmov_opt_regress_463357 () cil managed
2118 call int32 class Tests::return_2 ()
2131 .method public static hidebysig default int32 cmov_opt_regress_474718_inner (int32 A_1) cil managed
2134 .locals init (int32 V_0, bool V_1, bool V_2)
2143 IL_001f: brfalse IL_0036
2160 .method public static default int32 test_0_cmov_opt_regress_474718 () cil managed
2164 call int32 Tests::cmov_opt_regress_474718_inner (int32)
2168 .method public static default int32 test_5_createarr_newobj () cil managed
2173 newobj void char[]::.ctor(int32)
2178 .method public static default int32 test_0_initblk_3_regress_481458 () cil managed
2181 .locals init (native int)
2187 // Set the first value to 3
2194 // Zero out the first 3 values
2200 // Load the first value
2209 .method public static float32 GetFloat32() cil managed noinlining
2212 ldc.r8 0.19975845134874831
2216 /* Disabled until they can be fixed to run on amd64
2217 .method public static default int32 test_0_implicit_float_to_double_conversion () cil managed
2221 call float32 Tests::GetFloat32()
2222 ldc.r8 0.19975845134874831
2233 .method public static default int32 test_0_long_to_r8_un_overflow () cil managed
2236 ldc.i8 0x00FFFFFFFFFFFFFF
2239 ldc.i8 0x100000000000000
2245 ldc.i8 0x00FFFFFFFFFFFFFF
2249 ldc.i8 0x100000000000000
2259 .field public static int32 shift1
2261 .method public static int32 regress_497271_helper (int32 i) cil managed
2267 .method public static int32 test_0_regalloc_regress_497271 () cil managed
2272 stsfld int32 Tests::shift1
2273 ldsfld int32 Tests::shift1
2288 call int32 Tests::regress_497271_helper (int32)
2292 call int32 Tests::regress_497271_helper (int32)
2296 .field private static int32 Value
2298 .method public static hidebysig specialname
2299 default int32 regress_513931_inner () cil managed
2301 // Method begins at RVA 0x225c
2302 // Code size 52 (0x34)
2310 stsfld int32 Tests::Value
2313 IL_0001: ldsfld int32 Tests::Value
2322 IL_0010: brtrue.s IL_0027
2326 IL_0014: ldc.i4.s 0x7b
2332 IL_001d: brtrue.s IL_0023
2336 IL_0021: br.s IL_0032
2340 IL_0025: br.s IL_0032
2343 IL_002c: newobj instance void class [mscorlib]System.Exception::'.ctor'()
2349 .method public static hidebysig specialname
2350 default int32 test_0_regress_513931 () cil managed
2352 call int32 Tests::regress_513931_inner ()