1long long 2simple_rand () 3{ 4 static unsigned long long seed = 47114711; 5 unsigned long long this = seed * 1103515245 + 12345; 6 seed = this; 7 return this >> 8; 8} 9 10unsigned long long int 11random_bitstring () 12{ 13 unsigned long long int x; 14 int n_bits; 15 long long ran; 16 int tot_bits = 0; 17 18 x = 0; 19 for (;;) 20 { 21 ran = simple_rand (); 22 n_bits = (ran >> 1) % 16; 23 tot_bits += n_bits; 24 25 if (n_bits == 0) 26 return x; 27 else 28 { 29 x <<= n_bits; 30 if (ran & 1) 31 x |= (1 << n_bits) - 1; 32 33 if (tot_bits > 8 * sizeof (long long) + 6) 34 return x; 35 } 36 } 37} 38 39#define ABS(x) ((x) >= 0 ? (x) : -(x)) 40 41main () 42{ 43 long long int i; 44 45 for (i = 0; i < 10000; i++) 46 { 47 unsigned long long x, y; 48 x = random_bitstring (); 49 y = random_bitstring (); 50 51 if (sizeof (int) == sizeof (long long)) 52 goto save_time; 53 54 { unsigned long long xx = x, yy = y, r1, r2; 55 if (yy == 0) continue; 56 r1 = xx / yy; 57 r2 = xx % yy; 58 if (r2 >= yy || r1 * yy + r2 != xx) 59 abort (); 60 } 61 { signed long long xx = x, yy = y, r1, r2; 62 if ((unsigned long long) xx << 1 == 0 && yy == -1) 63 continue; 64 r1 = xx / yy; 65 r2 = xx % yy; 66 if (ABS (r2) >= (unsigned long long) ABS (yy) || (signed long long) (r1 * yy + r2) != xx) 67 abort (); 68 } 69 save_time: 70 { unsigned int xx = x, yy = y, r1, r2; 71 if (yy == 0) continue; 72 r1 = xx / yy; 73 r2 = xx % yy; 74 if (r2 >= yy || r1 * yy + r2 != xx) 75 abort (); 76 } 77 { signed int xx = x, yy = y, r1, r2; 78 if ((unsigned int) xx << 1 == 0 && yy == -1) 79 continue; 80 r1 = xx / yy; 81 r2 = xx % yy; 82 if (ABS (r2) >= (unsigned int) ABS (yy) || (signed int) (r1 * yy + r2) != xx || ((xx < 0) != (r2 < 0) && r2)) 83 abort (); 84 } 85 { unsigned short xx = x, yy = y, r1, r2; 86 if (yy == 0) continue; 87 r1 = xx / yy; 88 r2 = xx % yy; 89 if (r2 >= yy || r1 * yy + r2 != xx) 90 abort (); 91 } 92 { signed short xx = x, yy = y, r1, r2; 93 r1 = xx / yy; 94 r2 = xx % yy; 95 if (ABS (r2) >= (unsigned short) ABS (yy) || (signed short) (r1 * yy + r2) != xx) 96 abort (); 97 } 98 { unsigned char xx = x, yy = y, r1, r2; 99 if (yy == 0) continue; 100 r1 = xx / yy; 101 r2 = xx % yy; 102 if (r2 >= yy || r1 * yy + r2 != xx) 103 abort (); 104 } 105 { signed char xx = x, yy = y, r1, r2; 106 r1 = xx / yy; 107 r2 = xx % yy; 108 if (ABS (r2) >= (unsigned char) ABS (yy) || (signed char) (r1 * yy + r2) != xx) 109 abort (); 110 } 111 } 112 113 exit (0); 114} 115