*
* Each test needs to be of the form:
*
- * static int test_<result>_<name> ();
+ * public static int test_<result>_<name> ();
*
* where <result> is an integer (the value that needs to be returned by
* the method to make it pass.
* the IL code looks.
*/
+struct Alpha {
+ public long a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v;
+}
+
+struct Beta {
+ public Alpha a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v;
+}
+
+struct Gamma {
+ public Beta a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v;
+}
+
class Tests {
static int Main () {
static void dummy () {
}
- static int test_0_return () {
+ public static int test_0_return () {
dummy ();
return 0;
}
return 1;
}
- static int test_2_int_return () {
+ public static int test_2_int_return () {
int r = dummy1 ();
if (r == 1)
return 2;
return val + 1;
}
- static int test_1_int_pass () {
+ public static int test_1_int_pass () {
int r = add1 (5);
if (r == 6)
return 1;
return val + t + b + da;
}
- static int test_1_int_pass_many () {
+ public static int test_1_int_pass_many () {
byte b = 6;
int r = add_many (5, 2, b, 1);
if (r == 14)
}
/* bug #42134 */
- static int test_2_inline_saved_arg_type () {
+ public static int test_2_inline_saved_arg_type () {
float f = 100.0f;
return GetFloat (f) == f? 2: 1;
}
return a + (int)b + c + (int)d;
}
- static int test_5_pass_longs () {
+ public static int test_5_pass_longs () {
return pass_many_types (1, 2, -5, 7);
}
return a+b+c+d+e+f+g+h+i+j;
}
- static int test_55_pass_even_more () {
+ public static int test_55_pass_even_more () {
return overflow_registers (1, 2, 3, 4, 5, 6, 7, 8, 9, 10);
}
return (int)(a + b + c + d + e + f + g);
}
- static int test_1_sparc_argument_passing () {
+ public static int test_1_sparc_argument_passing () {
// The 4. argument tests split reg/mem argument passing
// The 5. argument tests mem argument passing
// The 7. argument tests passing longs in misaligned memory
return (int)(a + b + c + d + e + f + g);
}
- static int test_21_sparc_byte_argument_passing () {
+ public static int test_21_sparc_byte_argument_passing () {
return pass_bytes (0, 1, 2, 3, 4, 5, 6);
}
return (int)(a + b + c + d + e + f + g);
}
- static int test_21_sparc_sbyte_argument_passing () {
+ public static int test_21_sparc_sbyte_argument_passing () {
return pass_sbytes (0, 1, 2, 3, 4, 5, 6);
}
return (int)(a + b + c + d + e + f + g);
}
- static int test_21_sparc_short_argument_passing () {
+ public static int test_21_sparc_short_argument_passing () {
return pass_shorts (0, 1, 2, 3, 4, 5, 6);
}
return (int)(a + b + c + d + e + f + g);
}
- static int test_721_sparc_float_argument_passing () {
+ public static int test_721_sparc_float_argument_passing () {
return pass_floats_doubles (100.0f, 101.0, 102.0, 103.0, 104.0, 105.0f, 106.0);
}
- static int pass_byref_ints_longs (ref int a, ref long b, ref byte c, ref short d, ref long e, ref int f, ref long g) {
+ static float pass_floats (float a, float b, float c, float d, float e, float f, float g, float h, float i, float j) {
+ return a + b + c + d + e + f + g + h + i + j;
+ }
+
+ public static int test_55_sparc_float_argument_passing2 () {
+ return (int)pass_floats (1.0f, 2.0f, 3.0f, 4.0f, 5.0f, 6.0f, 7.0f, 8.0f, 9.0f, 10.0f);
+ }
+
+ public static bool is_small (float value) {
+ double d = (double)value;
+ double d2 = 7.183757E-41;
+ return d - d2 < 0.000001;
+ }
+
+ public static int test_0_float_argument_passing_precision () {
+ float f = 7.183757E-41f;
+ return is_small (f) ? 0 : 1;
+ }
+
+ // The first argument must be passed on a dword aligned stack location
+ static int pass_byref_ints_longs (ref long a, ref int b, ref byte c, ref short d, ref long e, ref int f, ref long g) {
return (int)(a + b + c + d + e + f + g);
}
- static int pass_takeaddr_ints_longs (int a, long b, byte c, short d, long e, int f, long g) {
+ static int pass_takeaddr_ints_longs (long a, int b, byte c, short d, long e, int f, long g) {
return pass_byref_ints_longs (ref a, ref b, ref c, ref d, ref e, ref f, ref g);
}
// Test that arguments are moved to the stack from incoming registers
// when the argument must reside in the stack because its address is taken
- static int test_2_sparc_takeaddr_argument_passing () {
+ public static int test_2_sparc_takeaddr_argument_passing () {
return pass_takeaddr_ints_longs (1, 2, 253, -253, System.Int64.MaxValue, 0, System.Int64.MinValue);
}
+ static int pass_byref_floats_doubles (ref float a, ref double b, ref double c, ref double d, ref double e, ref float f, ref double g) {
+ return (int)(a + b + c + d + e + f + g);
+ }
+
+ static int pass_takeaddr_floats_doubles (float a, double b, double c, double d, double e, float f, double g) {
+ return pass_byref_floats_doubles (ref a, ref b, ref c, ref d, ref e, ref f, ref g);
+ }
+
+ public static int test_721_sparc_takeaddr_argument_passing2 () {
+ return pass_takeaddr_floats_doubles (100.0f, 101.0, 102.0, 103.0, 104.0, 105.0f, 106.0);
+ }
+
+ static void pass_byref_double (out double d) {
+ d = 5.0;
+ }
+
+ // Test byref double argument passing
+ public static int test_0_sparc_byref_double_argument_passing () {
+ double d;
+ pass_byref_double (out d);
+ return (d == 5.0) ? 0 : 1;
+ }
+
static void shift_un_arg (ulong value) {
do {
value = value >> 4;
}
// Test that assignment to long arguments work
- static int test_0_long_arg_assign ()
+ public static int test_0_long_arg_assign ()
{
ulong c = 0x800000ff00000000;
return ptr;
}
- static unsafe int test_0_ptr_return ()
+ public static unsafe int test_0_ptr_return ()
{
void *ptr = new IntPtr (55).ToPointer ();
return (f != f);
}
- static int test_0_isnan () {
+ public static int test_0_isnan () {
float f = 1.0f;
return isnan (f) ? 1 : 0;
}
+
+ static int first_is_zero (int v1, int v2) {
+ if (v1 != 0)
+ return -1;
+ return v2;
+ }
+ public static int test_1_handle_dup_stloc () {
+ int index = 0;
+ int val = first_is_zero (index, ++index);
+ if (val != 1)
+ return 2;
+ return 1;
+ }
+
+ static long return_5low () {
+ return 5;
+ }
+
+ static long return_5high () {
+ return 0x500000000;
+ }
+
+ public static int test_3_long_ret () {
+ long val = return_5low ();
+ return (int) (val - 2);
+ }
+
+ public static int test_1_long_ret2 () {
+ long val = return_5high ();
+ if (val > 0xffffffff)
+ return 1;
+ return 0;
+ }
+
+ static void doit (double value, out long m) {
+ m = (long) value;
+ }
+
+ public static int test_0_ftol_clobber () {
+ long m;
+ doit (1.3, out m);
+ if (m != 1)
+ return 2;
+ return 0;
+ }
+
+ static void InitMe (out Gamma noMercyWithTheStack) {
+ noMercyWithTheStack = new Gamma ();
+ }
+
+ static int FunNoInline () {
+ int x = 99;
+ if (x > 344 && x < 22)
+ throw new Exception ("333");
+ return x;
+ }
+
+ static float DoNothingButDontInline (float a, int b) {
+ if (b > 0)
+ return a;
+ else if (b < 0 && b > 10)
+ throw new Exception ("444");
+ return a;
+ }
+
+ /*
+ * The local register allocator emits loadr8_membase and storer8_membase
+ * to do spilling. This code is generated after mono_arch_lowering_pass so
+ * mono_arch_output_basic_block must know how to deal with big offsets.
+ * This only happens because the call in middle forces the temp for "(float)obj"
+ * to be spilled.
+ */
+ public static int test_0_float_load_and_store_with_big_offset ()
+ {
+ object obj = 1.0f;
+ Gamma noMercyWithTheStack;
+ float res;
+
+ InitMe (out noMercyWithTheStack);
+
+ res = DoNothingButDontInline ((float)obj, FunNoInline ());
+
+ if (!(res == 1.0f)) {
+ Console.WriteLine ("invalid number {0}", res);
+ return 1;
+ }
+ return 0;
+ }
}
projects / mono.git / blobdiff