2 using System
.Collections
.Generic
;
4 using System
.Runtime
.CompilerServices
;
12 public TestStruct (int i
, int j
) {
18 class Enumerator
<T
> : MyIEnumerator
<T
> {
19 T MyIEnumerator
<T
>.Current
{
25 bool MyIEnumerator
<T
>.MoveNext () {
30 class Comparer
<T
> : IComparer
<T
> {
31 bool IComparer
<T
>.Compare (T x
, T y
) {
36 static int Main (string[] args
)
38 return TestDriver
.RunTests (typeof (Tests
), args
);
41 public static int test_1_nullable_unbox ()
43 return Unbox
<int?> (1).Value
;
46 public static int test_1_nullable_unbox_null ()
48 return Unbox
<int?> (null).HasValue
? 0 : 1;
51 public static int test_1_nullable_box ()
53 return (int) Box
<int?> (1);
56 public static int test_1_nullable_box_null ()
58 return Box
<int?> (null) == null ? 1 : 0;
61 public static int test_1_isinst_nullable ()
64 return (o
is int?) ? 1 : 0;
67 public static int test_1_nullable_unbox_vtype ()
69 return Unbox
<TestStruct
?> (new TestStruct (1, 2)).Value
.i
;
72 public static int test_1_nullable_unbox_null_vtype ()
74 return Unbox
<TestStruct
?> (null).HasValue
? 0 : 1;
77 public static int test_1_nullable_box_vtype ()
79 return ((TestStruct
)(Box
<TestStruct
?> (new TestStruct (1, 2)))).i
;
82 public static int test_1_nullable_box_null_vtype ()
84 return Box
<TestStruct
?> (null) == null ? 1 : 0;
87 public static int test_1_isinst_nullable_vtype ()
89 object o
= new TestStruct (1, 2);
90 return (o
is TestStruct
?) ? 1 : 0;
93 public static int test_0_nullable_normal_unbox ()
98 // This uses unbox instead of unbox_any
107 public static void stelem_any
<T
> (T
[] arr
, T elem
) {
111 public static T ldelem_any
<T
> (T
[] arr
) {
115 public static int test_1_ldelem_stelem_any_int () {
116 int[] arr
= new int [3];
119 return ldelem_any (arr
);
122 public static T return_ref
<T
> (ref T t
) {
126 public static T ldelema_any
<T
> (T
[] arr
) {
127 return return_ref
<T
> (ref arr
[0]);
130 public static int test_0_ldelema () {
131 string[] arr
= new string [1];
135 if (ldelema_any
<string> (arr
) == "Hello")
141 public static T
[,] newarr_multi
<T
> () {
145 public static int test_0_newarr_multi_dim () {
146 return newarr_multi
<string> ().GetType () == typeof (string[,]) ? 0 : 1;
154 public static int test_0_iface_call_null_bug_77442 () {
160 catch (NullReferenceException
) {
167 public static int test_18_ldobj_stobj_generics () {
168 GenericClass
<int> t
= new GenericClass
<int> ();
171 return t
.ldobj_stobj (ref i
, ref j
) + i
+ j
;
174 public static int test_5_ldelem_stelem_generics () {
175 GenericClass
<TestStruct
> t
= new GenericClass
<TestStruct
> ();
177 TestStruct s
= new TestStruct (5, 5);
178 return t
.ldelem_stelem (s
).i
;
181 public static int test_0_constrained_vtype_box () {
182 GenericClass
<TestStruct
> t
= new GenericClass
<TestStruct
> ();
184 return t
.toString (new TestStruct ()) == "Tests+TestStruct" ? 0 : 1;
187 public static int test_0_constrained_vtype () {
188 GenericClass
<int> t
= new GenericClass
<int> ();
190 return t
.toString (1234) == "1234" ? 0 : 1;
193 public static int test_0_constrained_reftype () {
194 GenericClass
<String
> t
= new GenericClass
<String
> ();
196 return t
.toString ("1234") == "1234" ? 0 : 1;
199 public static int test_0_box_brtrue_optimizations () {
203 if (!IsNull
<object>(null))
209 [Category ("!FULLAOT")]
210 public static int test_0_generic_get_value_optimization_int () {
211 int[] x
= new int[] {100, 200}
;
213 if (GenericClass
<int>.Z (x
, 0) != 100)
216 if (GenericClass
<int>.Z (x
, 1) != 200)
222 public static int test_0_generic_get_value_optimization_vtype () {
223 TestStruct
[] arr
= new TestStruct
[] { new TestStruct (100, 200), new TestStruct (300, 400) }
;
224 IEnumerator
<TestStruct
> enumerator
= GenericClass
<TestStruct
>.Y (arr
);
227 while (enumerator
.MoveNext ()) {
228 s
= enumerator
.Current
;
235 s
= GenericClass
<TestStruct
>.Z (arr
, 0);
236 if (s
.i
!= 100 || s
.j
!= 200)
239 s
= GenericClass
<TestStruct
>.Z (arr
, 1);
240 if (s
.i
!= 300 || s
.j
!= 400)
246 public static int test_0_nullable_ldflda () {
247 return GenericClass
<string>.BIsAClazz
== false ? 0 : 1;
250 public struct GenericStruct
<T
> {
253 public GenericStruct (T t
) {
258 public class GenericClass
<T
> {
261 public GenericClass (T t
) {
265 public GenericClass () {
268 public T
ldobj_stobj (ref T t1
, ref T t2
) {
275 public T
ldelem_stelem (T t
) {
276 T
[] arr
= new T
[10];
282 public String
toString (T t
) {
283 return t
.ToString ();
286 public static IEnumerator
<T
> Y (IEnumerable
<T
> x
)
288 return x
.GetEnumerator ();
291 public static T
Z (IList
<T
> x
, int index
)
296 protected static T NullB
= default(T
);
297 private static Nullable
<bool> _BIsA
= null;
298 public static bool BIsAClazz
{
306 public class MRO
: MarshalByRefObject
{
307 public GenericStruct
<int> struct_field
;
308 public GenericClass
<int> class_field
;
311 public static int test_0_ldfld_stfld_mro () {
313 GenericStruct
<int> s
= new GenericStruct
<int> (5);
314 // This generates stfld
317 // This generates ldflda
318 if (m
.struct_field
.t
!= 5)
321 // This generates ldfld
322 GenericStruct
<int> s2
= m
.struct_field
;
326 if (m
.struct_field
.t
!= 5)
329 m
.class_field
= new GenericClass
<int> (5);
330 if (m
.class_field
.t
!= 5)
337 [Category ("!FULLAOT")]
338 public static int test_0_generic_virtual_call_on_vtype_unbox () {
339 object o
= new Object ();
340 IFoo h
= new Handler(o
);
342 if (h
.Bar
<object> () != o
)
348 public static int test_0_box_brtrue_opt () {
349 Foo
<int> f
= new Foo
<int> (5);
356 public static int test_0_box_brtrue_opt_regress_81102 () {
357 if (new Foo
<int>(5).ToString () == "null")
367 public static int test_0_ldloca_initobj_opt () {
368 if (new Foo
<S
> (new S ()).get_default ().i
!= 0)
370 if (new Foo
<object> (null).get_default () != null)
375 public static int test_0_variance_reflection () {
376 // covariance on IEnumerator
377 if (!typeof (MyIEnumerator
<object>).IsAssignableFrom (typeof (MyIEnumerator
<string>)))
379 // covariance on IEnumerator and covariance on arrays
380 if (!typeof (MyIEnumerator
<object>[]).IsAssignableFrom (typeof (MyIEnumerator
<string>[])))
382 // covariance and implemented interfaces
383 if (!typeof (MyIEnumerator
<object>).IsAssignableFrom (typeof (Enumerator
<string>)))
386 // contravariance on IComparer
387 if (!typeof (IComparer
<string>).IsAssignableFrom (typeof (IComparer
<object>)))
389 // contravariance on IComparer, contravariance on arrays
390 if (!typeof (IComparer
<string>[]).IsAssignableFrom (typeof (IComparer
<object>[])))
392 // contravariance and interface inheritance
393 if (!typeof (IComparer
<string>[]).IsAssignableFrom (typeof (IKeyComparer
<object>[])))
398 public static int test_0_ldvirtftn_generic_method () {
399 new Tests ().ldvirtftn
<string> ();
401 return the_type
== typeof (string) ? 0 : 1;
404 public static int test_0_throw_dead_this () {
405 new Foo
<string> ("").throw_dead_this ();
411 public static int test_0_inline_infinite_polymorphic_recursion () {
417 private static void f
<T
>(int i
) {
418 if(i
==42) f
<S
<T
>>(i
);
421 // This cannot be made to work with full-aot, since there it is impossible to
422 // statically determine that Foo<string>.Bar <int> is needed, the code only
423 // references IFoo.Bar<int>
424 [Category ("!FULLAOT")]
425 public static int test_0_generic_virtual_on_interfaces () {
426 Foo
<string>.count1
= 0;
427 Foo
<string>.count2
= 0;
428 Foo
<string>.count3
= 0;
430 IFoo f
= new Foo
<string> ("");
431 for (int i
= 0; i
< 1000; ++i
) {
437 if (Foo
<string>.count1
!= 1000)
439 if (Foo
<string>.count2
!= 1000)
441 if (Foo
<string>.count3
!= 1000)
444 VirtualInterfaceCallFromGenericMethod
<long> (f
);
449 public static int test_0_generic_virtual_on_interfaces_ref () {
450 Foo
<string>.count1
= 0;
451 Foo
<string>.count2
= 0;
452 Foo
<string>.count3
= 0;
453 Foo
<string>.count4
= 0;
455 IFoo f
= new Foo
<string> ("");
456 for (int i
= 0; i
< 1000; ++i
) {
462 if (Foo
<string>.count2
!= 1000)
464 if (Foo
<string>.count3
!= 1000)
466 if (Foo
<string>.count4
!= 1000)
473 [Category ("!FULLAOT")]
474 public static int test_2_cprop_bug () {
477 var cmp
= System
.Collections
.Generic
.Comparer
<int>.Default
;
478 if (cmp
.Compare (a
, 0) > 0)
480 do { idx++; }
while (cmp
.Compare (idx
- 1, a
) == 0);
484 enum MyEnumUlong
: ulong {
488 public static int test_0_regress_550964_constrained_enum_long () {
489 MyEnumUlong a
= MyEnumUlong
.Value_2
;
490 MyEnumUlong b
= MyEnumUlong
.Value_2
;
492 return Pan (a
, b
) ? 0 : 1;
495 static bool Pan
<T
> (T a
, T b
)
500 public class XElement
{
501 public string Value
{
506 public static int test_0_fullaot_linq () {
507 var allWords
= new XElement
[] { new XElement { Value = "one" }
};
508 var filteredWords
= allWords
.Where(kw
=> kw
.Value
.StartsWith("T"));
509 return filteredWords
.Count ();
512 public static int test_0_fullaot_comparer_t () {
513 var l
= new SortedList
<TimeSpan
, int> ();
517 public static int test_0_fullaot_comparer_t_2 () {
518 var l
= new Dictionary
<TimeSpan
, int> ();
522 static void enumerate
<T
> (IEnumerable
<T
> arr
) {
523 foreach (var o
in arr
)
525 int c
= ((ICollection
<T
>)arr
).Count
;
528 /* Test that treating arrays as generic collections works with full-aot */
529 public static int test_0_fullaot_array_wrappers () {
530 Tests
[] arr
= new Tests
[10];
531 enumerate
<Tests
> (arr
);
535 static int cctor_count
= 0;
537 public abstract class Beta
<TChanged
>
545 public class Gamma
<T
> : Beta
<T
>
553 public static int test_2_generic_class_init_gshared_ctor () {
560 static int cctor_count2
= 0;
562 class ServiceController
<T
> {
563 static ServiceController () {
567 public ServiceController () {
571 static ServiceController
<T
> Create
<T
>() {
572 return new ServiceController
<T
>();
576 public static int test_2_generic_class_init_gshared_ctor_from_gshared () {
583 public static Type get_type
<T
> () {
587 public static int test_0_gshared_delegate_rgctx () {
588 Func
<Type
> t
= new Func
<Type
> (get_type
<string>);
590 if (t () == typeof (string))
596 // Creating a delegate from a generic method from gshared code
597 public static int test_0_gshared_delegate_from_gshared () {
598 if (gshared_delegate_from_gshared
<object> () != 0)
600 if (gshared_delegate_from_gshared
<string> () != 0)
605 public static int gshared_delegate_from_gshared
<T
> () {
606 Func
<Type
> t
= new Func
<Type
> (get_type
<T
>);
608 return t () == typeof (T
) ? 0 : 1;
611 public static int test_0_marshalbyref_call_from_gshared_virt_elim () {
612 /* Calling a virtual method from gshared code which is changed to a nonvirt call */
613 Class1
<object> o
= new Class1
<object> ();
614 o
.Do (new Class2
<object> ());
618 class Pair
<TKey
, TValue
> {
619 public static KeyValuePair
<TKey
, TValue
> make_pair (TKey key
, TValue
value)
621 return new KeyValuePair
<TKey
, TValue
> (key
, value);
624 public delegate TRet Transform
<TRet
> (TKey key
, TValue
value);
627 public static int test_0_bug_620864 () {
628 var d
= new Pair
<string, Type
>.Transform
<KeyValuePair
<string, Type
>> (Pair
<string, Type
>.make_pair
);
630 var p
= d ("FOO", typeof (int));
631 if (p
.Key
!= "FOO" || p
.Value
!= typeof (int))
638 struct RecStruct
<T
> {
639 public void foo (RecStruct
<RecStruct
<T
>> baz
) {
643 public static int test_0_infinite_generic_recursion () {
644 // Check that the AOT compile can deal with infinite generic recursion through
654 bool IsNull2
<T
> (object value) where T
: struct {
655 T
? item
= (T
?) value;
663 public static int test_0_full_aot_nullable_unbox_from_gshared_code () {
664 if (!new Tests ().IsNull2
<FooStruct
> (null))
666 if (new Tests ().IsNull2
<FooStruct
> (new FooStruct ()))
671 public static int test_0_partial_sharing () {
672 if (PartialShared1 (new List
<string> (), 1) != typeof (string))
674 if (PartialShared1 (new List
<Tests
> (), 1) != typeof (Tests
))
676 if (PartialShared2 (new List
<string> (), 1) != typeof (int))
678 if (PartialShared2 (new List
<Tests
> (), 1) != typeof (int))
683 public static int test_6_partial_sharing_linq () {
684 var messages
= new List
<Message
> ();
686 messages
.Add (new Message () { MessageID = 5 }
);
687 messages
.Add (new Message () { MessageID = 6 }
);
689 return messages
.Max(i
=> i
.MessageID
);
692 public static int test_0_partial_shared_method_in_nonshared_class () {
693 var c
= new Class1
<double> ();
694 return (c
.Foo
<string> (5).GetType () == typeof (Class1
<string>)) ? 0 : 1;
698 public int MessageID
{
703 public static Type PartialShared1
<T
, K
> (List
<T
> list
, K k
) {
707 public static Type PartialShared2
<T
, K
> (List
<T
> list
, K k
) {
711 public class Class1
<T
> {
712 public virtual void Do (Class2
<T
> t
) {
716 public virtual object Foo
<U
> (T t
) {
717 return new Class1
<U
> ();
721 public interface IFace1
<T
> {
725 public class Class2
<T
> : MarshalByRefObject
, IFace1
<T
> {
732 public static void VirtualInterfaceCallFromGenericMethod
<T
> (IFoo f
) {
736 public static Type the_type
;
738 public void ldvirtftn
<T
> () {
739 Foo
<T
> binding
= new Foo
<T
> (default (T
));
741 binding
.GenericEvent
+= event_handler
;
745 public virtual void event_handler
<T
> (Foo
<T
> sender
) {
746 the_type
= typeof (T
);
749 public interface IFoo
{
754 public class Foo
<T1
> : IFoo
761 public override string ToString()
763 return Bar(m_t1
== null ? "null" : "null");
766 public String
Bar (String s
) {
770 public int this [T1 key
] {
773 throw new ArgumentNullException ("key");
777 public void throw_dead_this () {
779 new SomeClass().ThrowAnException();
785 public T1
get_default () {
791 public delegate void GenericEventHandler (Foo
<T1
> sender
);
793 public event GenericEventHandler GenericEvent
;
795 public void fire () {
799 public static int count1
, count2
, count3
, count4
;
801 public void NonGeneric () {
805 public object Bar
<T
> () {
806 if (typeof (T
) == typeof (int))
808 else if (typeof (T
) == typeof (string))
810 else if (typeof (T
) == typeof (object))
816 public class SomeClass
{
817 public void ThrowAnException() {
818 throw new Exception ("Something went wrong");
822 struct Handler
: IFoo
{
825 public Handler(object o
) {
829 public void NonGeneric () {
832 public object Bar
<T
>() {
837 static bool IsNull
<T
> (T t
)
845 static object Box
<T
> (T t
)
850 static T Unbox
<T
> (object o
) {
854 interface IDefaultRetriever
859 class DefaultRetriever
: IDefaultRetriever
861 [MethodImpl(MethodImplOptions
.Synchronized
)]
862 public T GetDefault
<T
>()
868 [Category ("!FULLAOT")]
869 public static int test_0_regress_668095_synchronized_gshared () {
870 return DoSomething (new DefaultRetriever ());
873 static int DoSomething(IDefaultRetriever foo
) {
874 int result
= foo
.GetDefault
<int>();
881 public static int test_0_687865_isinst_with_cache_wrapper () {
882 object o
= new object ();
883 if (o
is Action
<IEnumerable
<Response
>>)