return b / 2;
}
+ public static int test_2_div_fold4 () {
+ int b = -8;
+ return -(b / 4);
+ }
+
+ public static int test_2_div_fold16 () {
+ int b = 32;
+ return b / 16;
+ }
+
public static int test_719177_div_destreg () {
int year = 1970;
return ((365* (year-1)) + ((year-1)/4));
return 0;
}
-
- static byte b;
- public static int test_0_byte_compares ()
- {
- b = 0xff;
- if (b == -1)
- return 1;
- b = 0;
- if (!(b < System.Byte.MaxValue))
- return 2;
-
- if (!(b <= System.Byte.MaxValue))
- return 3;
-
- return 0;
- }
+
public static int test_0_cmp_regvar_zero ()
{
int n = 10;
return 0;
}
+ public static int test_5_div_un_cfold ()
+ {
+ uint i = 10;
+ uint j = 2;
+
+ return (int)(i / j);
+ }
+
+ public static int test_1_rem_un_cfold ()
+ {
+ uint i = 11;
+ uint j = 2;
+
+ return (int)(i % j);
+ }
}