codeb/codea_skinner33_04.call

   1 #define F1(a,b)     ((long)(a) - (-3UL * (long)(b)))
   2 #define F2(a,b)     ((long)(a) - (2UL * (long)(b)))
   3 #define F3(a,b)     ((long)(a) - (5UL * (long)(b)))
   4 #define  F(a,b,c,d) ((long)(a) - (8UL * ((long)(b) - (-4UL * ((long)(c) - (-3UL * (long)(d)))))))
   5
   6 /* based on mrstrcmp_13
   7    in our language the lea opts are only possible for -1, -2, -4 and -8
   8    this testcase tests other constants
   9 */
  10
  11 long f1(long, long, long);
  12 long f2(long, long, long);
  13 long f3(long, long, long);
  14 long f(long, long, long, long, long);
  15
  16 RET(f1(0,    3,  20) == F1(   3,  20) &&
  17     f1(0, -100,  80) == F1(-100,  80) &&
  18     f1(0,   50,  -9) == F1(  50,  -9) &&
  19     f1(0,  -77, -50) == F1( -77, -50) &&
  20
  21     f2(0,    3,  20) == F2(   3,  20) &&
  22     f2(0, -100,  80) == F2(-100,  80) &&
  23     f2(0,   50,  -9) == F2(  50,  -9) &&
  24     f2(0,  -77, -50) == F2( -77, -50) &&
  25
  26     f3(0,    3,  20) == F3(   3,  20) &&
  27     f3(0, -100,  80) == F3(-100,  80) &&
  28     f3(0,   50,  -9) == F3(  50,  -9) &&
  29     f3(0,  -77, -50) == F3( -77, -50) &&
  30
  31     f(0,  10,  20,  30,  40) == F( 10,  20,  30,  40) &&
  32     f(0, -10,  20, -30,  40) == F(-10,  20, -30,  40) &&
  33     f(0,  10, -20,  30, -40) == F( 10, -20,  30, -40) &&
  34     f(0, -10, -20, -30, -40) == F(-10, -20, -30, -40) &&
  35
  36     f1(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) ==
  37        F1(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) &&
  38     f2(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) ==
  39        F2(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) &&
  40     f3(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) ==
  41        F3(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) &&
  42
  43     f1(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) ==
  44        F1(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) &&
  45     f2(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) ==
  46        F2(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) &&
  47     f3(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) ==
  48        F3(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL)
  49    );
  50