mono/mini/objects.cs

   1 using System;
   2 using System.Text;
   3 using System.Reflection;
   4 using System.Runtime.InteropServices;
   5 using System.Runtime.CompilerServices;
   6
   7 /*
   8  * Regression tests for the mono JIT.
   9  *
  10  * Each test needs to be of the form:
  11  *
  12  * static int test_<result>_<name> ();
  13  *
  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.
  17  *
  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)
  23  *
  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
  26  * the IL code looks.
  27  */
  28
  29 #if __MOBILE__
  30 namespace ObjectTests
  31 {
  32 #endif
  33
  34 struct Simple {
  35         public int a;
  36         public byte b;
  37         public short c;
  38         public long d;
  39 }
  40
  41 struct Small {
  42         public byte b1;
  43         public byte b2;
  44 }
  45
  46 // Size=2, Align=1
  47 struct Foo {
  48         bool b1;
  49         bool b2;
  50 }
  51
  52 struct Large {
  53         int one;
  54         int two;
  55         long three;
  56         long four;
  57         int five;
  58         long six;
  59         int seven;
  60         long eight;
  61         long nine;
  62         long ten;
  63
  64         public void populate ()
  65         {
  66                 one = 1; two = 2;
  67                 three = 3; four = 4;
  68                 five = 5; six = 6;
  69                 seven = 7; eight = 8;
  70                 nine = 9; ten = 10;
  71         }
  72         public bool check ()
  73         {
  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;
  79         }
  80 }
  81
  82 class Sample {
  83         public int a;
  84         public Sample (int v) {
  85                 a = v;
  86         }
  87 }
  88
  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;
 100 }
 101
 102 enum SampleEnum {
 103         A,
 104         B,
 105         C
 106 }
 107
 108 struct Alpha {
 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;
 110 }
 111
 112 struct Beta {
 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;
 114 }
 115
 116 struct Gamma {
 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;
 118 }
 119
 120 class Tests {
 121
 122 #if !__MOBILE__
 123         public static int Main (string[] args) {
 124                 return TestDriver.RunTests (typeof (Tests), args);
 125         }
 126 #endif
 127
 128         public static int test_0_return () {
 129                 Simple s;
 130                 s.a = 1;
 131                 s.b = 2;
 132                 s.c = (short)(s.a + s.b);
 133                 s.d = 4;
 134                 return s.a - 1;
 135         }
 136
 137         public static int test_0_string_access () {
 138                 string s = "Hello";
 139                 if (s [1] != 'e')
 140                         return 1;
 141                 return 0;
 142         }
 143
 144         public static int test_0_string_virtual_call () {
 145                 string s = "Hello";
 146                 string s2 = s.ToString ();
 147                 if (s2 [1] != 'e')
 148                         return 1;
 149                 return 0;
 150         }
 151
 152         public static int test_0_iface_call () {
 153                 string s = "Hello";
 154                 object o = ((ICloneable)s).Clone ();
 155                 return 0;
 156         }
 157
 158         public static int test_5_newobj () {
 159                 Sample s = new Sample (5);
 160                 return s.a;
 161         }
 162
 163         public static int test_4_box () {
 164                 object obj = 4;
 165                 return (int)obj;
 166         }
 167
 168         public static int test_0_enum_unbox () {
 169                 SampleEnum x = SampleEnum.A;
 170                 object o = x;
 171
 172                 int res = 1;
 173
 174                 res = (int)o;
 175
 176                 return res;
 177         }
 178
 179         static Simple get_simple (int v) {
 180                 Simple r = new Simple ();
 181                 r.a = v;
 182                 r.b = (byte)(v + 1);
 183                 r.c = (short)(v + 2);
 184                 r.d = v + 3;
 185
 186                 return r;
 187         }
 188
 189         public static int test_3_return_struct () {
 190                 Simple v = get_simple (1);
 191
 192                 if (v.a != 1)
 193                         return 0;
 194                 if (v.b != 2)
 195                         return 0;
 196                 if (v.c != 3)
 197                         return 0;
 198                 if (v.d != 4)
 199                         return 0;
 200                 return 3;
 201         }
 202
 203         public virtual Simple v_get_simple (int v)
 204         {
 205                 return get_simple (v);
 206         }
 207
 208         public static int test_2_return_struct_virtual () {
 209                 Tests t = new Tests ();
 210                 Simple v = t.v_get_simple (2);
 211
 212                 if (v.a != 2)
 213                         return 0;
 214                 if (v.b != 3)
 215                         return 0;
 216                 if (v.c != 4)
 217                         return 0;
 218                 if (v.d != 5)
 219                         return 0;
 220                 return 2;
 221         }
 222
 223         static int receive_simple (int a, Simple v, int b) {
 224                 if (v.a != 1)
 225                         return 1;
 226                 if (v.b != 2)
 227                         return 2;
 228                 if (v.c != 3)
 229                         return 3;
 230                 if (v.d != 4)
 231                         return 4;
 232                 if (a != 7)
 233                         return 5;
 234                 if (b != 9)
 235                         return 6;
 236                 return 0;
 237         }
 238
 239         public static int test_5_pass_struct () {
 240                 Simple v = get_simple (1);
 241                 if (receive_simple (7, v, 9) != 0)
 242                         return 0;
 243                 if (receive_simple (7, get_simple (1), 9) != 0)
 244                         return 1;
 245                 return 5;
 246         }
 247
 248         static Simple s_v;
 249         public static int test_5_pass_static_struct () {
 250                 s_v = get_simple (1);
 251                 if (receive_simple (7, s_v, 9) != 0)
 252                         return 0;
 253                 return 5;
 254         }
 255
 256         // Test alignment of small structs
 257
 258         static Small get_small (byte v) {
 259                 Small r = new Small ();
 260
 261                 r.b1 = v;
 262                 r.b2 = (byte)(v + 1);
 263
 264                 return r;
 265         }
 266
 267         static Small return_small (Small s) {
 268                 return s;
 269         }
 270
 271         static int receive_small (int a, Small v, int b) {
 272                 if (v.b1 != 1)
 273                         return 1;
 274                 if (v.b2 != 2)
 275                         return 2;
 276                 return 0;
 277         }
 278
 279         static int receive_small_sparc_many_args (int a, int a2, int a3, int a4, int a5, int a6, Small v, int b) {
 280                 if (v.b1 != 1)
 281                         return 1;
 282                 if (v.b2 != 2)
 283                         return 2;
 284                 return 0;
 285         }
 286
 287         public static int test_5_pass_small_struct () {
 288                 Small v = get_small (1);
 289                 if (receive_small (7, v, 9) != 0)
 290                         return 0;
 291                 if (receive_small (7, get_small (1), 9) != 0)
 292                         return 1;
 293                 if (receive_small_sparc_many_args (1, 2, 3, 4, 5, 6, v, 9) != 0)
 294                         return 2;
 295                 v = return_small (v);
 296                 if (v.b1 != 1)
 297                         return 3;
 298                 if (v.b2 != 2)
 299                         return 4;
 300                 return 5;
 301         }
 302
 303         // 64-bits, 32-bit aligned
 304         struct struct1 {
 305                 public int      a;
 306                 public int      b;
 307         };
 308
 309         static int check_struct1(struct1 x) {
 310                 if (x.a != 1)
 311                         return 1;
 312                 if (x.b != 2)
 313                         return 2;
 314                 return 0;
 315         }
 316
 317         static int pass_struct1(int a, int b, struct1 x) {
 318                 if (a != 3)
 319                         return 3;
 320                 if (b != 4)
 321                         return 4;
 322                 return check_struct1(x);
 323         }
 324
 325         static int pass_struct1(int a, struct1 x) {
 326                 if (a != 3)
 327                         return 3;
 328                 return check_struct1(x);
 329         }
 330
 331         static int pass_struct1(struct1 x) {
 332                 return check_struct1(x);
 333         }
 334
 335         public static int test_0_struct1_args () {
 336                 int r;
 337                 struct1 x;
 338
 339                 x.a = 1;
 340                 x.b = 2;
 341                 if ((r = check_struct1(x)) != 0)
 342                         return r;
 343                 if ((r = pass_struct1(x)) != 0)
 344                         return r + 10;
 345                 if ((r = pass_struct1(3, x)) != 0)
 346                         return r + 20;
 347                 if ((r = pass_struct1(3, 4, x)) != 0)
 348                         return r + 30;
 349                 return 0;
 350         }
 351
 352         // 64-bits, 64-bit aligned
 353         struct struct2 {
 354                 public long     a;
 355         };
 356
 357         static int check_struct2(struct2 x) {
 358                 if (x.a != 1)
 359                         return 1;
 360                 return 0;
 361         }
 362
 363         static int pass_struct2(int a, int b, int c, struct2 x) {
 364                 if (a != 3)
 365                         return 3;
 366                 if (b != 4)
 367                         return 4;
 368                 if (c != 5)
 369                         return 5;
 370                 return check_struct2(x);
 371         }
 372
 373         static int pass_struct2(int a, int b, struct2 x) {
 374                 if (a != 3)
 375                         return 3;
 376                 if (b != 4)
 377                         return 4;
 378                 return check_struct2(x);
 379         }
 380
 381         static int pass_struct2(int a, struct2 x) {
 382                 if (a != 3)
 383                         return 3;
 384                 return check_struct2(x);
 385         }
 386
 387         static int pass_struct2(struct2 x) {
 388                 return check_struct2(x);
 389         }
 390
 391         public static int test_0_struct2_args () {
 392                 int r;
 393                 struct2 x;
 394
 395                 x.a = 1;
 396                 if ((r = check_struct2(x)) != 0)
 397                         return r;
 398                 if ((r = pass_struct2(x)) != 0)
 399                         return r + 10;
 400                 if ((r = pass_struct2(3, x)) != 0)
 401                         return r + 20;
 402                 if ((r = pass_struct2(3, 4, x)) != 0)
 403                         return r + 30;
 404                 if ((r = pass_struct2(3, 4, 5, x)) != 0)
 405                         return r + 40;
 406                 return 0;
 407         }
 408
 409         // 128 bits
 410         struct Struct3 {
 411                 public long i, j, k, l;
 412         }
 413
 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)
 416                         return 1;
 417                 else
 418                         return 0;
 419         }
 420
 421         public static int test_0_struct3_args () {
 422                 Struct3 s = new Struct3 ();
 423                 s.i = 1;
 424                 s.j = 2;
 425                 s.k = 3;
 426                 s.l = 4;
 427
 428                 return pass_struct3 (1, 2, 3, 4, 5, 6, 7, 8, s, 9);
 429         }
 430
 431         // Struct with unaligned size on 64 bit machines
 432         struct Struct4 {
 433         public int i, j, k, l, m;
 434                 public int i1, i2, i3, i4, i5, i6;
 435         }
 436
 437         static int pass_struct4 (Struct4 s) {
 438                 if (s.i + s.j + s.k + s.l + s.m != 15)
 439                         return 1;
 440                 else
 441                         return 0;
 442         }
 443
 444         public static int test_0_struct4_args () {
 445                 Struct4 s = new Struct4 ();
 446                 s.i = 1;
 447                 s.j = 2;
 448                 s.k = 3;
 449                 s.l = 4;
 450                 s.m = 5;
 451
 452                 return pass_struct4 (s);
 453         }
 454
 455
 456
 457         struct AStruct {
 458                 public int i;
 459
 460                 public AStruct (int i) {
 461                         this.i = i;
 462                 }
 463
 464                 public override int GetHashCode () {
 465                         return i;
 466                 }
 467         }
 468
 469         // Test that vtypes are unboxed during a virtual call
 470         public static int test_44_unbox_trampoline () {
 471                 AStruct s = new AStruct (44);
 472                 object o = s;
 473                 return o.GetHashCode ();
 474         }
 475
 476         public static int test_0_unbox_trampoline2 () {
 477                 int i = 12;
 478                 object o = i;
 479
 480                 if (i.ToString () != "12")
 481                         return 1;
 482                 if (((Int32)o).ToString () != "12")
 483                         return 2;
 484                 if (o.ToString () != "12")
 485                         return 3;
 486                 return 0;
 487         }
 488
 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 ();
 493
 494                 s.b = 0xde;
 495                 s.sb = 0xe;
 496                 s.s = 0x12de;
 497                 s.us = 0x12da;
 498                 s.i = 0xdeadbeef;
 499                 s.si = 0xcafe;
 500                 s.l = 0xcafebabe;
 501                 s.f = 3.14F;
 502                 s.d = 3.14;
 503
 504                 s2.b = s.b;
 505                 s2.sb = s.sb;
 506                 s2.s = s.s;
 507                 s2.us = s.us;
 508                 s2.i = s.i;
 509                 s2.si = s.si;
 510                 s2.l = s.l;
 511                 s2.f = s.f;
 512                 s2.d = s.d;
 513
 514                 if (s2.b != 0xde)
 515                         return 1;
 516                 if (s2.s != 0x12de)
 517                         return 2;
 518                 if (s2.i != 0xdeadbeef)
 519                         return 3;
 520                 if (s2.l != 0xcafebabe)
 521                         return 4;
 522                 if (s2.f != 3.14F)
 523                         return 5;
 524                 if (s2.d != 3.14)
 525                         return 6;
 526                 if (s2.sb != 0xe)
 527                         return 7;
 528                 if (s2.us != 0x12da)
 529                         return 9;
 530                 if (s2.si != 0xcafe)
 531                         return 10;
 532
 533                 return 0;
 534         }
 535
 536         class TestRegA {
 537
 538                 long buf_start;
 539                 int buf_length, buf_offset;
 540
 541                 public TestRegA () {
 542                         buf_start = 0;
 543                         buf_length = 0;
 544                         buf_offset = 0;
 545                 }
 546
 547                 public long Seek (long position) {
 548                         long pos = 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);
 553                                 return pos;
 554                         }
 555                         return buf_start;
 556                 }
 557
 558         }
 559
 560         public static int test_0_seektest () {
 561                 TestRegA t = new TestRegA ();
 562                 return (int)t.Seek (0);
 563         }
 564
 565         class Super : ICloneable {
 566                 public virtual object Clone () {
 567                         return null;
 568                 }
 569         }
 570         class Duper: Super {
 571         }
 572
 573         public static int test_0_null_cast () {
 574                 object o = null;
 575
 576                 Super s = (Super)o;
 577
 578                 return 0;
 579         }
 580
 581         public static int test_0_super_cast () {
 582                 Duper d = new Duper ();
 583                 Super sup = d;
 584                 Object o = d;
 585
 586                 if (!(o is Super))
 587                         return 1;
 588                 try {
 589                         d = (Duper)sup;
 590                 } catch {
 591                         return 2;
 592                 }
 593                 if (!(d is Object))
 594                         return 3;
 595                 try {
 596                         d = (Duper)(object)sup;
 597                 } catch {
 598                         return 4;
 599                 }
 600                 return 0;
 601         }
 602
 603         public static int test_0_super_cast_array () {
 604                 Duper[] d = new Duper [0];
 605                 Super[] sup = d;
 606                 Object[] o = d;
 607
 608                 if (!(o is Super[]))
 609                         return 1;
 610                 try {
 611                         d = (Duper[])sup;
 612                 } catch {
 613                         return 2;
 614                 }
 615                 if (!(d is Object[]))
 616                         return 3;
 617                 try {
 618                         d = (Duper[])(object[])sup;
 619                 } catch {
 620                         return 4;
 621                 }
 622                 return 0;
 623         }
 624
 625         public static int test_0_multi_array_cast () {
 626                 Duper[,] d = new Duper [1, 1];
 627                 object[,] o = d;
 628
 629                 try {
 630                         o [0, 0] = new Super ();
 631                         return 1;
 632                 }
 633                 catch (ArrayTypeMismatchException) {
 634                 }
 635
 636                 return 0;
 637         }
 638
 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});
 642
 643                 if (arr1.GetType () != typeof (int[]))
 644                         return 1;
 645
 646                 if (arr2.GetType () == typeof (int[]))
 647                         return 2;
 648
 649                 int[] b;
 650
 651                 b = (int[])arr1;
 652
 653                 try {
 654                         b = (int[])arr2;
 655                         return 3;
 656                 }
 657                 catch (InvalidCastException) {
 658                 }
 659
 660                 if (arr2 is int[])
 661                         return 4;
 662
 663                 int [,] [] arr3 = new int [1, 1] [];
 664                 object o = arr3;
 665                 int [,] [] arr4 = (int [,] [])o;
 666
 667                 return 0;
 668         }
 669
 670         public static int test_0_enum_array_cast () {
 671                 TypeCode[] tc = new TypeCode [0];
 672                 object[] oa;
 673                 ValueType[] vta;
 674                 int[] inta;
 675                 Array a = tc;
 676                 bool ok;
 677
 678                 if (a is object[])
 679                         return 1;
 680                 if (a is ValueType[])
 681                         return 2;
 682                 if (a is Enum[])
 683                         return 3;
 684                 try {
 685                         ok = false;
 686                         oa = (object[])a;
 687                 } catch {
 688                         ok = true;
 689                 }
 690                 if (!ok)
 691                         return 4;
 692                 try {
 693                         ok = false;
 694                         vta = (ValueType[])a;
 695                 } catch {
 696                         ok = true;
 697                 }
 698                 if (!ok)
 699                         return 5;
 700                 try {
 701                         ok = true;
 702                         inta = (int[])a;
 703                 } catch {
 704                         ok = false;
 705                 }
 706                 if (!ok)
 707                         return 6;
 708                 return 0;
 709         }
 710
 711         public static int test_0_more_cast_corner_cases () {
 712                 ValueType[] vta = new ValueType [0];
 713                 Enum[] ea = new Enum [0];
 714                 Array a = vta;
 715                 object[] oa;
 716                 bool ok;
 717
 718                 if (!(a is object[]))
 719                         return 1;
 720                 if (!(a is ValueType[]))
 721                         return 2;
 722                 if (a is Enum[])
 723                         return 3;
 724                 a = ea;
 725                 if (!(a is object[]))
 726                         return 4;
 727                 if (!(a is ValueType[]))
 728                         return 5;
 729                 if (!(a is Enum[]))
 730                         return 6;
 731
 732                 try {
 733                         ok = true;
 734                         oa = (object[])a;
 735                 } catch {
 736                         ok = false;
 737                 }
 738                 if (!ok)
 739                         return 7;
 740
 741                 try {
 742                         ok = true;
 743                         oa = (Enum[])a;
 744                 } catch {
 745                         ok = false;
 746                 }
 747                 if (!ok)
 748                         return 8;
 749
 750                 try {
 751                         ok = true;
 752                         oa = (ValueType[])a;
 753                 } catch {
 754                         ok = false;
 755                 }
 756                 if (!ok)
 757                         return 9;
 758
 759                 a = vta;
 760                 try {
 761                         ok = true;
 762                         oa = (object[])a;
 763                 } catch {
 764                         ok = false;
 765                 }
 766                 if (!ok)
 767                         return 10;
 768
 769                 try {
 770                         ok = true;
 771                         oa = (ValueType[])a;
 772                 } catch {
 773                         ok = false;
 774                 }
 775                 if (!ok)
 776                         return 11;
 777
 778                 try {
 779                         ok = false;
 780                         vta = (Enum[])a;
 781                 } catch {
 782                         ok = true;
 783                 }
 784                 if (!ok)
 785                         return 12;
 786                 return 0;
 787         }
 788
 789         public static int test_0_cast_iface_array () {
 790                 object o = new ICloneable [0];
 791                 object o2 = new Duper [0];
 792                 object t;
 793                 bool ok;
 794
 795                 if (!(o is object[]))
 796                         return 1;
 797                 if (!(o2 is ICloneable[]))
 798                         return 2;
 799
 800                 try {
 801                         ok = true;
 802                         t = (object[])o;
 803                 } catch {
 804                         ok = false;
 805                 }
 806                 if (!ok)
 807                         return 3;
 808
 809                 try {
 810                         ok = true;
 811                         t = (ICloneable[])o2;
 812                 } catch {
 813                         ok = false;
 814                 }
 815                 if (!ok)
 816                         return 4;
 817
 818                 try {
 819                         ok = true;
 820                         t = (ICloneable[])o;
 821                 } catch {
 822                         ok = false;
 823                 }
 824                 if (!ok)
 825                         return 5;
 826
 827                 if (!(o is ICloneable[]))
 828                         return 6;
 829
 830                 /* add tests for interfaces that 'inherit' interfaces */
 831                 return 0;
 832         }
 833
 834         private static int[] daysmonthleap = { 0, 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };
 835
 836         private static int AbsoluteDays (int year, int month, int day)
 837         {
 838                 int temp = 0, m = 1;
 839                 int[] days = daysmonthleap;
 840                 while (m < month)
 841                         temp += days[m++];
 842                 return ((day-1) + temp + (365* (year-1)) + ((year-1)/4) - ((year-1)/100) + ((year-1)/400));
 843         }
 844
 845         public static int test_719162_complex_div () {
 846                 int adays = AbsoluteDays (1970, 1, 1);
 847                 return adays;
 848         }
 849
 850         delegate int GetIntDel ();
 851
 852         static int return4 () {
 853                 return 4;
 854         }
 855
 856         int return5 () {
 857                 return 5;
 858         }
 859
 860         public static int test_2_static_delegate () {
 861                 GetIntDel del = new GetIntDel (return4);
 862                 int v = del ();
 863                 if (v != 4)
 864                         return 0;
 865                 return 2;
 866         }
 867
 868         public static int test_2_instance_delegate () {
 869                 Tests t = new Tests ();
 870                 GetIntDel del = new GetIntDel (t.return5);
 871                 int v = del ();
 872                 if (v != 5)
 873                         return 0;
 874                 return 2;
 875         }
 876
 877         interface IFaceVirtualDel {
 878                 int return_field ();
 879         }
 880
 881         struct VtypeVirtualDelStruct : IFaceVirtualDel {
 882                 public int f;
 883                 public int return_field_nonvirt () {
 884                         return f;
 885                 }
 886                 public int return_field () {
 887                         return f;
 888                 }
 889         }
 890
 891         public static int test_42_vtype_delegate () {
 892                 var s = new VtypeVirtualDelStruct () { f = 42 };
 893                 Func<int> f = s.return_field_nonvirt;
 894                 return f ();
 895         }
 896
 897         public static int test_42_vtype_virtual_delegate () {
 898                 IFaceVirtualDel s = new VtypeVirtualDelStruct () { f = 42 };
 899                 Func<int> f = s.return_field;
 900                 return f ();
 901         }
 902
 903         public static int test_1_store_decimal () {
 904                 decimal[,] a = {{1}};
 905
 906                 if (a[0,0] != 1m)
 907                         return 0;
 908                 return 1;
 909         }
 910
 911         public static int test_2_intptr_stobj () {
 912                 System.IntPtr [] arr = { new System.IntPtr () };
 913
 914                 if (arr [0] != (System.IntPtr)0)
 915                         return 1;
 916                 return 2;
 917         }
 918
 919         static int llmult (int a, int b, int c, int d) {
 920                 return a + b + c + d;
 921         }
 922
 923         /*
 924          * Test that evaluation of complex arguments does not overwrite the
 925          * arguments already in outgoing registers.
 926          */
 927         public static int test_155_regalloc () {
 928                 int a = 10;
 929                 int b = 10;
 930
 931                 int c = 0;
 932                 int d = 0;
 933                 int[] arr = new int [5];
 934
 935                 return llmult (arr [c + d], 150, 5, 0);
 936         }
 937
 938         static bool large_struct_test (Large a, Large b, Large c, Large d)
 939         {
 940                 if (!a.check ()) return false;
 941                 if (!b.check ()) return false;
 942                 if (!c.check ()) return false;
 943                 if (!d.check ()) return false;
 944                 return true;
 945         }
 946
 947         public static int test_2_large_struct_pass ()
 948         {
 949                 Large a, b, c, d;
 950                 a = new Large ();
 951                 b = new Large ();
 952                 c = new Large ();
 953                 d = new Large ();
 954                 a.populate ();
 955                 b.populate ();
 956                 c.populate ();
 957                 d.populate ();
 958                 if (large_struct_test (a, b, c, d))
 959                         return 2;
 960                 return 0;
 961         }
 962
 963         public static unsafe int test_0_pin_string () {
 964                 string x = "xxx";
 965                 fixed (char *c = x) {
 966                         if (*c != 'x')
 967                                 return 1;
 968                 }
 969                 return 0;
 970         }
 971
 972         public static int my_flags;
 973         public static int test_0_and_cmp_static ()
 974         {
 975
 976                 /* various forms of test [mem], imm */
 977
 978                 my_flags = 0x01020304;
 979
 980                 if ((my_flags & 0x01020304) == 0)
 981                         return 1;
 982
 983                 if ((my_flags & 0x00000304) == 0)
 984                         return 2;
 985
 986                 if ((my_flags & 0x00000004) == 0)
 987                         return 3;
 988
 989                 if ((my_flags & 0x00000300) == 0)
 990                         return 4;
 991
 992                 if ((my_flags & 0x00020000) == 0)
 993                         return 5;
 994
 995                 if ((my_flags & 0x01000000) == 0)
 996                         return 6;
 997
 998                 return 0;
 999         }
1000
1001         static byte b;
1002         public static int test_0_byte_compares ()
1003         {
1004                 b = 0xff;
1005                 if (b == -1)
1006                         return 1;
1007                 b = 0;
1008                 if (!(b < System.Byte.MaxValue))
1009                         return 2;
1010
1011                 if (!(b <= System.Byte.MaxValue))
1012                         return 3;
1013
1014                 return 0;
1015         }
1016
1017         public static int test_71_long_shift_right () {
1018                 ulong value = 38654838087;
1019                 int x = 0;
1020                 byte [] buffer = new byte [1];
1021                 buffer [x] = ((byte)(value >> x));
1022                 return buffer [x];
1023         }
1024
1025         static long x;
1026         public static int test_0_addsub_mem ()
1027         {
1028                 x = 0;
1029                 x += 5;
1030
1031                 if (x != 5)
1032                         return 1;
1033
1034                 x -= 10;
1035
1036                 if (x != -5)
1037                         return 2;
1038
1039                 return 0;
1040         }
1041
1042         static ulong y;
1043         public static int test_0_sh32_mem ()
1044         {
1045                 y = 0x0102130405060708;
1046                 y >>= 32;
1047
1048                 if (y != 0x01021304)
1049                         return 1;
1050
1051                 y = 0x0102130405060708;
1052                 y <<= 32;
1053
1054                 if (y != 0x0506070800000000)
1055                         return 2;
1056
1057                 x = 0x0102130405060708;
1058                 x <<= 32;
1059
1060                 if (x != 0x0506070800000000)
1061                         return 2;
1062
1063                 return 0;
1064         }
1065
1066
1067         static uint dum_de_dum = 1;
1068         public static int test_0_long_arg_opt ()
1069         {
1070                 return Foo (0x1234567887654321, dum_de_dum);
1071         }
1072
1073         static int Foo (ulong x, ulong y)
1074         {
1075                 if (x != 0x1234567887654321)
1076                         return 1;
1077
1078                 if (y != 1)
1079                         return 2;
1080
1081                 return 0;
1082         }
1083
1084         public static int test_0_long_ret_opt ()
1085         {
1086                 ulong x = X ();
1087                 if (x != 0x1234567887654321)
1088                         return 1;
1089                 ulong y = Y ();
1090                 if (y != 1)
1091                         return 2;
1092
1093                 return 0;
1094         }
1095
1096         static ulong X ()
1097         {
1098                 return 0x1234567887654321;
1099         }
1100
1101         static ulong Y ()
1102         {
1103                 return dum_de_dum;
1104         }
1105
1106         /* from bug# 71515 */
1107         static int counter = 0;
1108         static bool WriteStuff () {
1109                 counter = 10;
1110                 return true;
1111         }
1112         public static int test_0_cond_branch_side_effects () {
1113                 counter = 5;
1114                 if (WriteStuff()) {
1115                 }
1116                 if (counter == 10)
1117                         return 0;
1118                 return 1;
1119         }
1120
1121         // bug #74992
1122         public static int arg_only_written (string file_name, int[]
1123 ncells ) {
1124                 if (file_name == null)
1125                         return 1;
1126
1127                 ncells = foo ();
1128                 bar (ncells [0]);
1129
1130                 return 0;
1131         }
1132
1133         public static int[] foo () {
1134                 return new int [3];
1135         }
1136
1137         public static void bar (int i) {
1138         }
1139
1140
1141         public static int test_0_arg_only_written ()
1142         {
1143                 return arg_only_written ("md.in", null);
1144         }
1145
1146         static long position = 0;
1147
1148         public static int test_4_static_inc_long () {
1149
1150                 int count = 4;
1151
1152                 position = 0;
1153
1154                 position += count;
1155
1156                 return (int)position;
1157         }
1158
1159         struct FooStruct {
1160
1161                 public FooStruct (long l) {
1162                 }
1163         }
1164
1165         public static int test_0_calls_opcode_emulation () {
1166                 // Test that emulated opcodes do not clobber arguments already in
1167                 // out registers
1168                 checked {
1169                         long val = 10000;
1170                         new FooStruct (val * 10000);
1171                 }
1172                 return 0;
1173         }
1174
1175         public static int test_0_intrins_string_length () {
1176                 string s = "ABC";
1177
1178                 return (s.Length == 3) ? 0 : 1;
1179         }
1180
1181         public static int test_0_intrins_string_chars () {
1182                 string s = "ABC";
1183
1184                 return (s [0] == 'A' && s [1] == 'B' && s [2] == 'C') ? 0 : 1;
1185         }
1186
1187         public static int test_0_intrins_object_gettype () {
1188                 object o = 1;
1189
1190                 return (o.GetType () == typeof (int)) ? 0 : 1;
1191         }
1192
1193         public static int test_0_intrins_object_gethashcode () {
1194                 object o = new Object ();
1195
1196                 return (o.GetHashCode () == o.GetHashCode ()) ? 0 : 1;
1197         }
1198
1199         class FooClass {
1200         }
1201
1202         public static int test_0_intrins_object_ctor () {
1203                 object o = new FooClass ();
1204
1205                 return (o != null) ? 0 : 1;
1206         }
1207
1208         public static int test_0_intrins_array_rank () {
1209                 int[,] a = new int [10, 10];
1210
1211                 return (a.Rank == 2) ? 0 : 1;
1212         }
1213
1214         public static int test_0_intrins_array_length () {
1215                 int[,] a = new int [10, 10];
1216                 Array a2 = a;
1217
1218                 return (a2.Length == 100) ? 0 : 1;
1219         }
1220
1221         public static int test_0_intrins_runtimehelpers_offset_to_string_data () {
1222                 int i = RuntimeHelpers.OffsetToStringData;
1223
1224                 return i - i;
1225         }
1226
1227         public static int test_0_intrins_string_setchar () {
1228                 StringBuilder sb = new StringBuilder ("ABC");
1229
1230                 sb [1] = 'D';
1231
1232                 return sb.ToString () == "ADC" ? 0 : 1;
1233         }
1234
1235         public class Bar {
1236                 bool allowLocation = true;
1237         Foo f = new Foo ();
1238         }
1239
1240         public static int test_0_regress_78990_unaligned_structs () {
1241                 new Bar ();
1242
1243                 return 0;
1244         }
1245
1246         public static unsafe int test_97_negative_index () {
1247                 char[] arr = new char[] {'a', 'b'};
1248                 fixed (char *p = arr) {
1249                         char *i = p + 2;
1250                         char a = i[-2];
1251                         return a;
1252                 }
1253         }
1254
1255         /* bug #82281 */
1256         public static int test_0_unsigned_right_shift_imm0 () {
1257                 uint temp = 0;
1258                 byte[] data = new byte[256];
1259                 for (int i = 0; i < 1; i ++)
1260                         temp = (uint)(data[temp >> 24] | data[temp >> 0]);
1261                 return 0;
1262         }
1263
1264         class Foo2 {
1265                 public virtual int foo () {
1266                         return 0;
1267                 }
1268         }
1269
1270         sealed class Bar2 : Foo2 {
1271                 public override int foo () {
1272                         return 0;
1273                 }
1274         }
1275
1276         public static int test_0_abcrem_check_this_removal () {
1277                 Bar2 b = new Bar2 ();
1278
1279                 // The check_this generated here by the JIT should be removed
1280                 b.foo ();
1281
1282                 return 0;
1283         }
1284
1285         static int invoke_twice (Bar2 b) {
1286                 b.foo ();
1287                 // The check_this generated here by the JIT should be removed
1288                 b.foo ();
1289
1290                 return 0;
1291         }
1292
1293         public static int test_0_abcrem_check_this_removal2 () {
1294                 Bar2 b = new Bar2 ();
1295
1296                 invoke_twice (b);
1297
1298                 return 0;
1299         }
1300
1301         /* #346563 */
1302         public static int test_0_array_access_64_bit () {
1303                 int[] arr2 = new int [10];
1304                 for (int i = 0; i < 10; ++i)
1305                         arr2 [i] = i;
1306                 string s = "ABCDEFGH";
1307
1308                 byte[] arr = new byte [4];
1309                 arr [0] = 252;
1310                 arr [1] = 255;
1311                 arr [2] = 255;
1312                 arr [3] = 255;
1313
1314                 int len = arr [0] | (arr [1] << 8) | (arr [2] << 16) | (arr [3] << 24);
1315                 int len2 = - (len + 2);
1316
1317                 // Test array and string access with a 32 bit value whose upper 32 bits are
1318                 // undefined
1319                 // len2 = 3
1320                 if (arr2 [len2] != 2)
1321                         return 1;
1322                 if (s [len2] != 'C')
1323                         return 2;
1324                 return 0;
1325         }
1326
1327         public static float return_float () {
1328                 return 1.4e-45f;
1329         }
1330
1331         public static int test_0_float_return_spill () {
1332                 // The return value of return_float () is spilled because of the
1333                 // boxing call
1334                 object o = return_float ();
1335                 float f = return_float ();
1336                 return (float)o == f ? 0 : 1;
1337         }
1338
1339         class R4Holder {
1340                 public static float pi = 3.14f;
1341
1342                 public float float_field;
1343         }
1344
1345         public static int test_0_ldsfld_soft_float () {
1346                 if (R4Holder.pi == 3.14f)
1347                         return 0;
1348                 else
1349                         return 1;
1350         }
1351
1352         public static int test_0_ldfld_stfld_soft_float () {
1353                 R4Holder h = new R4Holder ();
1354                 h.float_field = 3.14f;
1355
1356                 if (h.float_field == 3.14f)
1357                         return 0;
1358                 else
1359                         return 1;
1360         }
1361
1362         class R4HolderRemote : MarshalByRefObject {
1363                 public static float pi = 3.14f;
1364
1365                 public float float_field;
1366         }
1367
1368         public static int test_0_ldfld_stfld_soft_float_remote () {
1369                 R4HolderRemote h = new R4HolderRemote ();
1370                 h.float_field = 3.14f;
1371
1372                 if (h.float_field == 3.14f)
1373                         return 0;
1374                 else
1375                         return 1;
1376         }
1377
1378         public static int test_0_locals_soft_float () {
1379                 float f = 0.0f;
1380
1381                 f = 3.14f;
1382
1383                 if (f == 3.14f)
1384                         return 0;
1385                 else
1386                         return 1;
1387         }
1388
1389         struct AStruct2 {
1390                 public int i;
1391                 public int j;
1392         }
1393
1394         static float pass_vtype_return_float (AStruct2 s) {
1395                 return s.i + s.j == 6 ? 1.0f : -1.0f;
1396         }
1397
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;
1400         }
1401
1402         static int range_check_strlen (int i, string s) {
1403                 if (i < 0 || i > s.Length)
1404                         return 1;
1405                 else
1406                         return 0;
1407         }
1408
1409         public static int test_0_range_check_opt () {
1410                 if (range_check_strlen (0, "A") != 0)
1411                         return 1;
1412                 if (range_check_strlen (1, "A") != 0)
1413                         return 2;
1414                 if (range_check_strlen (2, "A") != 1)
1415                         return 3;
1416                 if (range_check_strlen (-100, "A") != 1)
1417                         return 4;
1418                 return 0;
1419         }
1420
1421         static int test_0_array_get_set_soft_float () {
1422                 float[,] arr = new float [2, 2];
1423                 arr [0, 0] = 256f;
1424                 return arr [0, 0] == 256f ? 0 : 1;
1425         }
1426
1427         //repro for #506915
1428         struct Bug506915 { public int val; }
1429         static int test_2_ldobj_stobj_optization ()
1430         {
1431                 int i = 99;
1432                 var a = new Bug506915 ();
1433                 var b = new Bug506915 ();
1434                 if (i.GetHashCode () == 99)
1435                         i = 44;
1436                 var array = new Bug506915 [2];
1437                 array [0].val = 2;
1438                 array [1] = (i == 0) ? a : array [0];
1439
1440                 return array [1].val;
1441         }
1442
1443         /* mcs can't compile this (#646744) */
1444 #if FALSE
1445         static void InitMe (out Gamma noMercyWithTheStack) {
1446                 noMercyWithTheStack = new Gamma ();
1447         }
1448
1449         static int FunNoInline () {
1450                 int x = 99;
1451                 if (x > 344 && x < 22)
1452                         return 333;
1453                 return x;
1454         }
1455
1456         static float DoNothingButDontInline (float a, int b) {
1457                 if (b > 0)
1458                         return a;
1459                 else if (b < 0 && b > 10)
1460                         return 444.0f;
1461                 return a;
1462         }
1463
1464         /*
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"
1469          * to be spilled.
1470         */
1471         public static int test_0_float_load_and_store_with_big_offset ()
1472         {
1473                 object obj = 1.0f;
1474                 Gamma noMercyWithTheStack;
1475                 float res;
1476
1477                 InitMe (out noMercyWithTheStack);
1478
1479                 res = DoNothingButDontInline ((float)obj, FunNoInline ());
1480
1481                 if (!(res == 1.0f))
1482                         return 1;
1483                 return 0;
1484         }
1485 #endif
1486
1487         struct VTypePhi {
1488                 public int i;
1489         }
1490
1491         static int vtype_phi (VTypePhi v1, VTypePhi v2, bool first) {
1492                 VTypePhi v = first ? v1 : v2;
1493
1494                 return v.i;
1495         }
1496
1497         static int test_0_vtype_phi ()
1498         {
1499                 VTypePhi v1 = new VTypePhi () { i = 1 };
1500                 VTypePhi v2 = new VTypePhi () { i = 2 };
1501
1502                 if (vtype_phi (v1, v2, true) != 1)
1503                         return 1;
1504                 if (vtype_phi (v1, v2, false) != 2)
1505                         return 2;
1506
1507                 return 0;
1508         }
1509
1510         [MethodImplAttribute (MethodImplOptions.NoInlining)]
1511         static void UseValue (int index)
1512         {
1513         }
1514
1515         [MethodImplAttribute (MethodImplOptions.NoInlining)]
1516         static bool IsFalse ()
1517         {
1518                 return false;
1519         }
1520
1521         static int test_0_llvm_moving_faulting_loads ()
1522         {
1523                 int[] indexes = null;
1524
1525                 if (IsFalse ()) {
1526                         indexes = new int[0];
1527                 }
1528
1529                 while (IsFalse ()) {
1530                         UseValue (indexes[0]);
1531                         UseValue (indexes[0]);
1532                 }
1533
1534                 return 0;
1535         }
1536
1537         public static bool flag;
1538
1539         class B {
1540
1541                 internal static B[] d;
1542
1543                 static B () {
1544                         flag = true;
1545                 }
1546         }
1547
1548         [MethodImplAttribute (MethodImplOptions.NoInlining)]
1549         static int regress_679467_inner () {
1550                 if (flag == true)
1551                         return 1;
1552                 var o = B.d;
1553                 var o2 = B.d;
1554                 return 0;
1555         }
1556
1557         /*
1558          * FIXME: This fails with AOT #703317.
1559          */
1560         /*
1561         static int test_0_multiple_cctor_calls_regress_679467 () {
1562                 flag = false;
1563                 return regress_679467_inner ();
1564         }
1565         */
1566
1567         static int test_0_char_ctor () {
1568                 string s = new String (new char[] { 'A', 'B' }, 0, 1);
1569                 return 0;
1570         }
1571
1572         static object mInstance = null;
1573
1574         [MethodImpl(MethodImplOptions.Synchronized)]
1575         public static object getInstance() {
1576                 if (mInstance == null)
1577                         mInstance = new object();
1578                 return mInstance;
1579         }
1580
1581         static int test_0_synchronized () {
1582                 getInstance ();
1583                 return 0;
1584         }
1585
1586         struct BStruct {
1587                 public Type t;
1588         }
1589
1590         class Del<T> {
1591                 public static BStruct foo () {
1592                         return new BStruct () { t = typeof (T) };
1593                 }
1594         }
1595
1596         delegate BStruct ADelegate ();
1597
1598         static int test_0_regress_10601 () {
1599                 var act = (ADelegate)(Del<string>.foo);
1600                 BStruct b = act ();
1601                 if (b.t != typeof (string))
1602                         return 1;
1603                 return 0;
1604         }
1605
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;
1610                 return 0;
1611         }
1612
1613         public static void do_throw () {
1614                 throw new Exception ();
1615         }
1616
1617         [MethodImplAttribute (MethodImplOptions.NoInlining)]
1618         static void empty () {
1619         }
1620
1621         // #11297
1622         public static int test_0_llvm_inline_throw () {
1623                 try {
1624                         empty ();
1625                 } catch (Exception) {
1626                         do_throw ();
1627                 }
1628
1629                 return 0;
1630         }
1631
1632         enum ByteEnum : byte {
1633         Zero = 0
1634     }
1635
1636     struct BugStruct {
1637         public ByteEnum f1;
1638         public ByteEnum f2;
1639         public ByteEnum f3;
1640         public byte f4;
1641         public byte f5;
1642         public byte f6;
1643         public byte f7;
1644     }
1645
1646         public static int test_0_14217 () {
1647                 t_14217_inner (new BugStruct ());
1648                 return 0;
1649         }
1650
1651         [MethodImplAttribute (MethodImplOptions.NoInlining)]
1652         static void t_14217_inner (BugStruct bug) {
1653     }
1654
1655         [StructLayout(LayoutKind.Sequential)]
1656         public struct EmptyStruct {
1657         }
1658
1659         class EmptyClass {
1660                 public static EmptyStruct s;
1661         }
1662
1663         // #20349
1664         static int test_0_empty_struct_as_static () {
1665                 var s = EmptyClass.s;
1666                 return 0;
1667         }
1668
1669         // #25487
1670         static int test_0_int_to_r4 () {
1671                 return int_to_r4_inner (255);
1672         }
1673
1674         static int int_to_r4_inner (int value1) {
1675                 int sub = -value1;
1676                 float mult = sub * 1f;
1677                 if (mult != -255.0f)
1678                         return 1;
1679                 else
1680                         return 0;
1681         }
1682
1683         struct HFA4D {
1684                 public double a, b, c, d;
1685         }
1686
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;
1689         }
1690
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;
1695         }
1696
1697         class MulOvfClass {
1698                 [MethodImplAttribute (MethodImplOptions.NoInlining)]
1699                 public unsafe void EncodeIntoBuffer(char* value, int valueLength, char* buffer, int bufferLength) {
1700                 }
1701         }
1702
1703         static unsafe int test_0_mul_ovf_regress_36052 () {
1704                 var p = new MulOvfClass ();
1705
1706                 string typeName = typeof(int).Name;
1707                 int bufferSize = 45;
1708
1709                 fixed (char* value = typeName) {
1710                         char* buffer = stackalloc char[bufferSize];
1711                         p.EncodeIntoBuffer(value, typeName.Length, buffer, bufferSize);
1712                 }
1713                 return 0;
1714         }
1715
1716         struct Struct16 {
1717                 public int a, b, c, d;
1718         }
1719
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
1723                 try {
1724                 } catch {
1725                 }
1726                 return o8.a;
1727         }
1728
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);
1732         }
1733
1734         public static int test_42_pass_16byte_struct_split () {
1735                 return pass_struct16 (null, null, null, null, null, new Struct16 () { a = 42 });
1736         }
1737
1738         public interface IComparer2
1739         {
1740                 Type foo<T> ();
1741         }
1742
1743         public class AClass : IComparer2 {
1744                 public Type foo<T> () {
1745                         return typeof(T);
1746                 }
1747         }
1748
1749         public static int test_0_delegate_to_virtual_generic_on_ifaces () {
1750                 IComparer2 c = new AClass ();
1751
1752                 Func<Type> f = c.foo<string>;
1753                 return f () == typeof(string) ? 0 : 1;
1754         }
1755
1756         public enum ByteEnum2 : byte {
1757                 High = 142
1758         }
1759
1760         [MethodImplAttribute (MethodImplOptions.NoInlining)]
1761         public static int enum_arg_zero_extend (ByteEnum2 b) {
1762                 return (int)b;
1763         }
1764
1765         public static int test_142_byte_enum_arg_zero_extend () {
1766                 return enum_arg_zero_extend (ByteEnum2.High);
1767         }
1768 }
1769
1770 #if __MOBILE__
1771 }
1772 #endif