2 using System.Collections.Generic;
10 public TestStruct (int i, int j) {
16 class Enumerator <T> : MyIEnumerator <T> {
17 T MyIEnumerator<T>.Current {
23 bool MyIEnumerator<T>.MoveNext () {
28 class Comparer <T> : IComparer <T> {
29 bool IComparer<T>.Compare (T x, T y) {
34 static int Main (string[] args)
36 return TestDriver.RunTests (typeof (Tests), args);
39 public static int test_1_nullable_unbox ()
41 return Unbox<int?> (1).Value;
44 public static int test_1_nullable_unbox_null ()
46 return Unbox<int?> (null).HasValue ? 0 : 1;
49 public static int test_1_nullable_box ()
51 return (int) Box<int?> (1);
54 public static int test_1_nullable_box_null ()
56 return Box<int?> (null) == null ? 1 : 0;
59 public static int test_1_isinst_nullable ()
62 return (o is int?) ? 1 : 0;
65 public static int test_1_nullable_unbox_vtype ()
67 return Unbox<TestStruct?> (new TestStruct (1, 2)).Value.i;
70 public static int test_1_nullable_unbox_null_vtype ()
72 return Unbox<TestStruct?> (null).HasValue ? 0 : 1;
75 public static int test_1_nullable_box_vtype ()
77 return ((TestStruct)(Box<TestStruct?> (new TestStruct (1, 2)))).i;
80 public static int test_1_nullable_box_null_vtype ()
82 return Box<TestStruct?> (null) == null ? 1 : 0;
85 public static int test_1_isinst_nullable_vtype ()
87 object o = new TestStruct (1, 2);
88 return (o is TestStruct?) ? 1 : 0;
91 public static int test_0_nullable_normal_unbox ()
96 // This uses unbox instead of unbox_any
105 public static void stelem_any<T> (T[] arr, T elem) {
109 public static T ldelem_any<T> (T[] arr) {
113 public static int test_1_ldelem_stelem_any_int () {
114 int[] arr = new int [3];
117 return ldelem_any (arr);
120 public static T return_ref<T> (ref T t) {
124 public static T ldelema_any<T> (T[] arr) {
125 return return_ref<T> (ref arr [0]);
128 public static int test_0_ldelema () {
129 string[] arr = new string [1];
133 if (ldelema_any <string> (arr) == "Hello")
139 public static T[,] newarr_multi<T> () {
143 public static int test_0_newarr_multi_dim () {
144 return newarr_multi<string> ().GetType () == typeof (string[,]) ? 0 : 1;
152 public static int test_0_iface_call_null_bug_77442 () {
158 catch (NullReferenceException) {
165 public static int test_18_ldobj_stobj_generics () {
166 GenericClass<int> t = new GenericClass <int> ();
169 return t.ldobj_stobj (ref i, ref j) + i + j;
172 public static int test_5_ldelem_stelem_generics () {
173 GenericClass<TestStruct> t = new GenericClass<TestStruct> ();
175 TestStruct s = new TestStruct (5, 5);
176 return t.ldelem_stelem (s).i;
179 public static int test_0_constrained_vtype_box () {
180 GenericClass<TestStruct> t = new GenericClass<TestStruct> ();
182 return t.toString (new TestStruct ()) == "Tests+TestStruct" ? 0 : 1;
185 public static int test_0_constrained_vtype () {
186 GenericClass<int> t = new GenericClass<int> ();
188 return t.toString (1234) == "1234" ? 0 : 1;
191 public static int test_0_constrained_reftype () {
192 GenericClass<String> t = new GenericClass<String> ();
194 return t.toString ("1234") == "1234" ? 0 : 1;
197 public static int test_0_box_brtrue_optimizations () {
201 if (!IsNull<object>(null))
207 [Category ("!FULLAOT")]
208 public static int test_0_generic_get_value_optimization_int () {
209 int[] x = new int[] {100, 200};
211 if (GenericClass<int>.Z (x, 0) != 100)
214 if (GenericClass<int>.Z (x, 1) != 200)
220 public static int test_0_generic_get_value_optimization_vtype () {
221 TestStruct[] arr = new TestStruct[] { new TestStruct (100, 200), new TestStruct (300, 400) };
222 IEnumerator<TestStruct> enumerator = GenericClass<TestStruct>.Y (arr);
225 while (enumerator.MoveNext ()) {
226 s = enumerator.Current;
233 s = GenericClass<TestStruct>.Z (arr, 0);
234 if (s.i != 100 || s.j != 200)
237 s = GenericClass<TestStruct>.Z (arr, 1);
238 if (s.i != 300 || s.j != 400)
244 public static int test_0_nullable_ldflda () {
245 return GenericClass<string>.BIsAClazz == false ? 0 : 1;
248 public struct GenericStruct<T> {
251 public GenericStruct (T t) {
256 public class GenericClass<T> {
259 public GenericClass (T t) {
263 public GenericClass () {
266 public T ldobj_stobj (ref T t1, ref T t2) {
273 public T ldelem_stelem (T t) {
274 T[] arr = new T [10];
280 public String toString (T t) {
281 return t.ToString ();
284 public static IEnumerator<T> Y (IEnumerable <T> x)
286 return x.GetEnumerator ();
289 public static T Z (IList<T> x, int index)
294 protected static T NullB = default(T);
295 private static Nullable<bool> _BIsA = null;
296 public static bool BIsAClazz {
304 public class MRO : MarshalByRefObject {
305 public GenericStruct<int> struct_field;
306 public GenericClass<int> class_field;
309 public static int test_0_ldfld_stfld_mro () {
311 GenericStruct<int> s = new GenericStruct<int> (5);
312 // This generates stfld
315 // This generates ldflda
316 if (m.struct_field.t != 5)
319 // This generates ldfld
320 GenericStruct<int> s2 = m.struct_field;
324 if (m.struct_field.t != 5)
327 m.class_field = new GenericClass<int> (5);
328 if (m.class_field.t != 5)
335 [Category ("!FULLAOT")]
336 public static int test_0_generic_virtual_call_on_vtype_unbox () {
337 object o = new Object ();
338 IFoo h = new Handler(o);
340 if (h.Bar<object> () != o)
346 public static int test_0_box_brtrue_opt () {
347 Foo<int> f = new Foo<int> (5);
354 public static int test_0_box_brtrue_opt_regress_81102 () {
355 if (new Foo<int>(5).ToString () == "null")
365 public static int test_0_ldloca_initobj_opt () {
366 if (new Foo<S> (new S ()).get_default ().i != 0)
368 if (new Foo<object> (null).get_default () != null)
373 public static int test_0_variance_reflection () {
374 // covariance on IEnumerator
375 if (!typeof (MyIEnumerator<object>).IsAssignableFrom (typeof (MyIEnumerator<string>)))
377 // covariance on IEnumerator and covariance on arrays
378 if (!typeof (MyIEnumerator<object>[]).IsAssignableFrom (typeof (MyIEnumerator<string>[])))
380 // covariance and implemented interfaces
381 if (!typeof (MyIEnumerator<object>).IsAssignableFrom (typeof (Enumerator<string>)))
384 // contravariance on IComparer
385 if (!typeof (IComparer<string>).IsAssignableFrom (typeof (IComparer<object>)))
387 // contravariance on IComparer, contravariance on arrays
388 if (!typeof (IComparer<string>[]).IsAssignableFrom (typeof (IComparer<object>[])))
390 // contravariance and interface inheritance
391 if (!typeof (IComparer<string>[]).IsAssignableFrom (typeof (IKeyComparer<object>[])))
396 public static int test_0_ldvirtftn_generic_method () {
397 new Tests ().ldvirtftn<string> ();
399 return the_type == typeof (string) ? 0 : 1;
402 public static int test_0_throw_dead_this () {
403 new Foo<string> ("").throw_dead_this ();
407 // This cannot be made to work with full-aot, since there it is impossible to
408 // statically determine that Foo<string>.Bar <int> is needed, the code only
409 // references IFoo.Bar<int>
410 [Category ("!FULLAOT")]
411 public static int test_0_generic_virtual_on_interfaces () {
412 Foo<string>.count1 = 0;
413 Foo<string>.count2 = 0;
414 Foo<string>.count3 = 0;
416 IFoo f = new Foo<string> ("");
417 for (int i = 0; i < 1000; ++i) {
423 if (Foo<string>.count1 != 1000)
425 if (Foo<string>.count2 != 1000)
427 if (Foo<string>.count3 != 1000)
430 VirtualInterfaceCallFromGenericMethod<long> (f);
436 [Category ("!FULLAOT")]
437 public static int test_2_cprop_bug () {
440 var cmp = System.Collections.Generic.Comparer<int>.Default ;
441 if (cmp.Compare (a, 0) > 0)
443 do { idx++; } while (cmp.Compare (idx - 1, a) == 0);
447 static int cctor_count = 0;
449 public abstract class Beta<TChanged>
457 public class Gamma<T> : Beta<T>
465 public static int test_2_generic_class_init_gshared_ctor () {
472 public static void VirtualInterfaceCallFromGenericMethod <T> (IFoo f) {
476 public static Type the_type;
478 public void ldvirtftn<T> () {
479 Foo <T> binding = new Foo <T> (default (T));
481 binding.GenericEvent += event_handler;
485 public virtual void event_handler<T> (Foo<T> sender) {
486 the_type = typeof (T);
489 public interface IFoo {
494 public class Foo<T1> : IFoo
501 public override string ToString()
503 return Bar(m_t1 == null ? "null" : "null");
506 public String Bar (String s) {
510 public int this [T1 key] {
513 throw new ArgumentNullException ("key");
517 public void throw_dead_this () {
519 new SomeClass().ThrowAnException();
525 public T1 get_default () {
531 public delegate void GenericEventHandler (Foo<T1> sender);
533 public event GenericEventHandler GenericEvent;
535 public void fire () {
539 public static int count1, count2, count3;
541 public void NonGeneric () {
545 public object Bar <T> () {
546 if (typeof (T) == typeof (int))
548 else if (typeof (T) == typeof (string))
554 public class SomeClass {
555 public void ThrowAnException() {
556 throw new Exception ("Something went wrong");
560 struct Handler : IFoo {
563 public Handler(object o) {
567 public void NonGeneric () {
570 public object Bar<T>() {
575 static bool IsNull<T> (T t)
583 static object Box<T> (T t)
588 static T Unbox <T> (object o) {