sdcc/support/regression/tests/funptrsstructreturn.c.in

   1 /*  Test return of struct / union - mcs51 code generation for calls via function pointers to functions to functions returnign struct / union is different from both no-struct function pointer calls and non-pointer calls to struct-returning functions. So we want a separate test here. Also, when this test found a bug in stm8 codegen, so it is useful beyond mcs51.
   2
   3     type: char, int, long, long long
   4
   5  */
   6
   7 #include <testfwk.h>
   8
   9 #ifndef __SDCC_pdk14 // Lack of memory
  10 #if !defined(__SDCC_ds390) && !defined(__SDCC_ds390) && !defined(__SDCC_hc08) && !defined(__SDCC_s08) && !defined(__SDCC_mos6502) && !defined(__SDCC_mos65c02) // struct return not yet supported
  11 struct s
  12 {
  13         {type} a;
  14         {type} b;
  15 };
  16
  17 union u
  18 {
  19         unsigned char a;
  20         {type} b;
  21 };
  22
  23 struct s f(void)
  24 {
  25         struct s r;
  26         r.a = 1;
  27         r.b = 2;
  28         return(r);
  29 }
  30
  31 union u g(void)
  32 {
  33         union u r;
  34         r.a = 1;
  35         return(r);
  36 }
  37
  38 int g1(struct s (*f)(void))
  39 {
  40         struct s r;
  41         r = (*f)(); // Assignment of returned struct
  42         return r.a + r.b;
  43 }
  44
  45 int g2(struct s (*f)(void))
  46 {
  47         return (*f)().a + (*f)().b; // Access to member of returned struct
  48 }
  49
  50 int h1(union u (*g)(void))
  51 {
  52         union u r;
  53         r = (*g)(); // Assignment of returned struct
  54         return r.a + 1;
  55 }
  56
  57 int h2(union u (*g)(void))
  58 {
  59         return (*g)().a + 1; // Access to member of returned struct
  60 }
  61 #endif
  62 #endif
  63
  64 void testRet (void)
  65 {
  66 #if !defined(__SDCC_ds390) && !defined(__SDCC_ds390) && !defined(__SDCC_hc08) && !defined(__SDCC_s08) && !defined(__SDCC_mos6502) && !defined(__SDCC_mos65c02) // struct return not yet supported
  67 #ifndef __SDCC_pdk14 // Lack of memory
  68         ASSERT (g1(&f) == 3);
  69         ASSERT (g2(&f) == 3);
  70         ASSERT (h1(&g) == 2);
  71         ASSERT (h2(&g) == 2);
  72 #endif
  73 #endif
  74 }
  75