codeb/codea_skinner33_09.call

   1 #define F1(a,b,c)     ((((long)(b) - (long)(c)) * -2UL) - (long)(a))
   2 #define F2(a,b,c)     ((((long)(b) - (long)(c)) * -3UL) - (long)(a))
   3
   4
   5 long f1(long, long, long, long);
   6 long f2(long, long, long, long);
   7
   8 RET(f1(0,    3,  20, 15) == F1(   3,  20, 15) &&
   9     f1(0, -100,  80, 23) == F1(-100,  80, 23) &&
  10     f1(0,   50,  -9, -5) == F1(  50,  -9, -5) &&
  11     f1(0,  -77, -50, 87) == F1( -77, -50, 87) &&
  12
  13         f2(0,    3,  20, 15) == F2(   3,  20, 15) &&
  14     f2(0, -100,  80, 23) == F2(-100,  80, 23) &&
  15     f2(0,   50,  -9, -5) == F2(  50,  -9, -5) &&
  16     f2(0,  -77, -50, 87) == F2( -77, -50, 87) &&
  17
  18     f1(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) ==
  19        F1(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) &&
  20     f2(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) ==
  21        F2(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) &&
  22
  23     f1(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) ==
  24        F1(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) &&
  25     f2(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) ==
  26        F2(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL)
  27    );
  28